全文获取类型
收费全文 | 398篇 |
免费 | 97篇 |
国内免费 | 55篇 |
专业分类
航空 | 283篇 |
航天技术 | 110篇 |
综合类 | 20篇 |
航天 | 137篇 |
出版年
2024年 | 1篇 |
2023年 | 17篇 |
2022年 | 22篇 |
2021年 | 25篇 |
2020年 | 18篇 |
2019年 | 13篇 |
2018年 | 19篇 |
2017年 | 6篇 |
2016年 | 18篇 |
2015年 | 8篇 |
2014年 | 18篇 |
2013年 | 14篇 |
2012年 | 17篇 |
2011年 | 30篇 |
2010年 | 14篇 |
2009年 | 11篇 |
2008年 | 15篇 |
2007年 | 30篇 |
2006年 | 34篇 |
2005年 | 26篇 |
2004年 | 28篇 |
2003年 | 18篇 |
2002年 | 9篇 |
2001年 | 15篇 |
2000年 | 20篇 |
1999年 | 13篇 |
1998年 | 14篇 |
1997年 | 14篇 |
1996年 | 8篇 |
1995年 | 6篇 |
1994年 | 9篇 |
1993年 | 6篇 |
1992年 | 11篇 |
1991年 | 8篇 |
1990年 | 7篇 |
1989年 | 5篇 |
1988年 | 2篇 |
1987年 | 1篇 |
排序方式: 共有550条查询结果,搜索用时 31 毫秒
71.
72.
73.
74.
75.
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。 相似文献
76.
A monostatic 24-h debris observation campaign (BPE-1/2000) has been prepared and conducted using FGAN's TIRA L-Band system. Based on experiences from previous Beam-park experiments a similar largely automated data processing is applied on an extended range window of 300–2000km. More than 1500 detections are encountered, 471 of them are verified as being real objects in Low-Earth-Orbit (LEO). PROOF's observation forecasting of catalogued objects is evaluated against the observed objects, and the difficulties obtaining radar cross-sections (RCSs) and object sizes from Beam-park experiments are discussed. Sidelobe detections are identified by using background information like two-line element (TLE) sets and/or catalogued RCSs.In comparison with previous experiments, the statistics show similarities confirming the concept of Beam-park experiments for space debris observations, despite the snapshot character of 24-h experiments. The comparison with MASTER/PROOF'99 and ORDEM2000 leads to a reasonable agreement between models and observations. 相似文献
77.
Rajat Acharya Bijoy Roy M.R. Sivaraman Ashish Dasgupta 《Advances in Space Research (includes Cospar's Information Bulletin, Space Research Today)》2012
It is important to use models developed specifically for the equatorial ionospheric estimation for real-time applications, particularly in Satellite Navigation. This work demonstrates a methodology for improved predictions of VTEC in real time using the model developed for the equatorial ionosphere by the authors. This work has been done using TEC data of the low solar activity period of 2005 obtained using dual frequency GPS receivers installed under the GAGAN project of ISRO. For the purpose, the model is first used in conjunction with Kriging technique. Improvement in accuracy is observed when compared with the estimations from the model alone using the measurements as true reference. Further improvement is obtained by Bayesian combination of these estimates with independent Neural Network based predictions. Statistical performance of improvement is provided. An improvement of ∼1 m in confidence level of estimation of VTEC is obtained. 相似文献
78.
根据飞机纵向PIO的特点,提出了预测分析PIO所用的人-机闭环系统数学模型,其中飞机采用等效系统数学模型,驾驶员操纵采用McRuer模型,参数按地面人-机模拟飞行跟踪试验确定,集中介绍了四种飞机纵向PIO预测准则,Smith-Geddes准则,修正带宽准则,增益,相位裕度准则,Neal-Smith原则,并提供了相应的计算方法。 相似文献
79.
80.
牛欣 《民用飞机设计与研究》2014,(3):103-108
运用价值型投入产出模型,基于投入产出表,分析我国民机产业在国民经济中的地位、与各部门之间的相关联系、对其他部门的依赖性以及对国民经济的带动,并进一步与民航产业进行对比分析。研究结果进一步印证民机产业在国民经济发展中的重要性,为进一步争取国家政策支持提供理论基础和依据。 相似文献