全文获取类型
收费全文 | 1020篇 |
免费 | 195篇 |
国内免费 | 123篇 |
专业分类
航空 | 796篇 |
航天技术 | 140篇 |
综合类 | 72篇 |
航天 | 330篇 |
出版年
2024年 | 9篇 |
2023年 | 74篇 |
2022年 | 72篇 |
2021年 | 80篇 |
2020年 | 71篇 |
2019年 | 88篇 |
2018年 | 36篇 |
2017年 | 64篇 |
2016年 | 51篇 |
2015年 | 59篇 |
2014年 | 68篇 |
2013年 | 74篇 |
2012年 | 86篇 |
2011年 | 82篇 |
2010年 | 69篇 |
2009年 | 51篇 |
2008年 | 41篇 |
2007年 | 71篇 |
2006年 | 40篇 |
2005年 | 31篇 |
2004年 | 19篇 |
2003年 | 10篇 |
2002年 | 16篇 |
2001年 | 17篇 |
2000年 | 10篇 |
1999年 | 10篇 |
1998年 | 10篇 |
1997年 | 4篇 |
1996年 | 10篇 |
1995年 | 1篇 |
1994年 | 6篇 |
1992年 | 3篇 |
1991年 | 2篇 |
1989年 | 2篇 |
1988年 | 1篇 |
排序方式: 共有1338条查询结果,搜索用时 15 毫秒
191.
192.
设计开发了MSVAS(建模与仿真VV&A(校核、验证和确认)辅助软件),提高导弹动力学仿真系统VV&A自动化程度。过程管理模块通过工程配置文件设计,提供VV&A流程的图形化设计与管理、任务安排等功能,指导VV&A工作顺利进行;评估分析模块提供方法库,为各类具体评估工作提供技术方法支持;模型测试模块提供各种试验设计方法,目的是为充分测试评估模型的可信性设计各类测试实例;资源管理模块对导弹动力学系统VV&A所涉及到的数据、模型和文档等资源进行了合理、有效的管理。MSVAS能为导弹动力学仿真系统VV&A提供过程管理、技术等支持,提高了VV&A工作效率,并减轻工作者的负担。 相似文献
193.
据欧空局网站2012年6月14日报道,第二批两颗"伽利略-在轨验证星"已经完成真空与太空极端温度试验,预计将于2012年9月28日发射升空。这两颗卫星与2011年10月21日发射的第一批两颗"伽利略-在轨验证星"几乎一模一样, 相似文献
194.
为实现高空螺旋桨高效率和轻质量之间的权衡设计,提出一种考虑螺旋桨气动-结构性能的多学科多目标优化设计方法,理论上可得到约束条件下推力最大和质量最小的Pareto解集。但工程应用中,变量太多,可接受时间内仅能获得Pareto解集拟合趋势。为避免优化周期太长,提出以下阶段性优化方法。阶段1:根据上述Pareto解集拟合趋势和平台约束,确定最优桨径;阶段2:进行基于最优桨径的气动优化获得气动外形,结构优化获得结构方案。使用该方法对高空太阳能无人机螺旋桨优化,两个阶段耗时分别为96 h和4 h。对获得螺旋桨制造,仿真和试验,对比结果表明:推力最大误差为10.9%,质量误差为6.9%,刚度误差为15.2%,固有频率误差为15.4%,试验结果也表明该方法的合理有效性。 相似文献
195.
随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质. 相似文献
196.
提出了弹上电子产品开展发射可靠性验证试验的必要性判别方法,论述了弹上电子产品完成飞行可靠性验证试验后,无须再开展发射可靠性验证试验,为工程决策提供了技术支撑。 相似文献
197.
针对风洞试验模型操纵面角度的改变,开发了内埋式自动变角机构及控制系统,对控制角度进行了地面校准,并采用三角翼模型进行了风洞常规测力实验、重复性实验和操纵面效率试验。结果表明,采用自动变角机构改变操纵面角度的试验精准度均较高,完全满足国军标的要求,说明本操纵面自动变角系统的研制是成功的,在风洞试验中可以代替人工更换角度片方式,大大提高实验效率。 相似文献
198.
<正>我国卫星专家透露,嫦娥一号卫星在完成既定任务后,又做了多项额外的技术验证和科学试验。其中很重要的一项就是验证月球100公里轨道的热环境 相似文献
199.
200.
提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现. 相似文献