全文获取类型
| 收费全文 | 857篇 |
| 免费 | 76篇 |
| 国内免费 | 86篇 |
专业分类
| 航空 | 542篇 |
| 航天技术 | 208篇 |
| 综合类 | 89篇 |
| 航天 | 180篇 |
出版年
| 2024年 | 2篇 |
| 2023年 | 4篇 |
| 2022年 | 5篇 |
| 2021年 | 30篇 |
| 2020年 | 16篇 |
| 2019年 | 16篇 |
| 2018年 | 20篇 |
| 2017年 | 28篇 |
| 2016年 | 35篇 |
| 2015年 | 37篇 |
| 2014年 | 43篇 |
| 2013年 | 46篇 |
| 2012年 | 52篇 |
| 2011年 | 54篇 |
| 2010年 | 45篇 |
| 2009年 | 45篇 |
| 2008年 | 52篇 |
| 2007年 | 40篇 |
| 2006年 | 52篇 |
| 2005年 | 50篇 |
| 2004年 | 42篇 |
| 2003年 | 70篇 |
| 2002年 | 56篇 |
| 2001年 | 38篇 |
| 2000年 | 25篇 |
| 1999年 | 14篇 |
| 1998年 | 24篇 |
| 1997年 | 25篇 |
| 1996年 | 6篇 |
| 1995年 | 9篇 |
| 1994年 | 6篇 |
| 1993年 | 7篇 |
| 1992年 | 6篇 |
| 1991年 | 6篇 |
| 1990年 | 8篇 |
| 1989年 | 4篇 |
| 1988年 | 1篇 |
排序方式： 共有1019条查询结果，搜索用时 390 毫秒
411.
新型机载飞控软件综合了更多的应用功能,需配备合适的操作系统作为基础.根据新型机载飞控软件开发需求,对操作系统和配套开发工具的要求进行讨论,形成相应的评估表.同时对国内外在飞控上有应用的4个操作系统进行分析评估,选出最适合目标机载飞控软件的操作系统. 相似文献
412.
模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查. 相似文献
413.
414.
首先应用奇异摄动方法，编制了Ｊ７Ｌ非实时的最短时间三元转弯的优化软件，然后利用速率调度的方法，实现了软件的实时，在Ｊ７Ｌ飞行模拟器上进行的飞行试验结果表明，该优化软化是成功的，生成的最优轨迹的变化趋势是正确的。 相似文献
415.
刘又诚 《北京航空航天大学学报》1997,23(1):68-73
叙述了软件标准符合性测试方法，提供了断言类型判定，测试级别，测试套集，测试工具等关键技术的解决方案，对软件标准测试，软件质量保证均有一定的指导作用。 相似文献
416.
417.
计算机系统电磁兼容性设计 总被引：2，自引：0，他引：2
计算机系统对电磁环境十分敏感，同时还会污染局部电磁环境对其他设备构成干扰。本文分析了数字计算机系统的敏感机理，并提出了抗干扰措施。 相似文献
418.
阐述了软件开发过程中可靠性定量指标的分配原则和方法 ,对定量指标的验证进行了分析和探讨 ,研究了基于不同模型的验证方法 ,最后给出了一个控制软件可靠性分配和验证的例子。 相似文献
419.
首先研究了当前软件测试工具一般采用的自动测试过程,然后根据当前自动测试过程中的瓶颈,针对对象式程序,设计了改进的自动测试过程,并讨论了改进的自动测试过程中关键步骤的实现技术。 相似文献
420.
利用MATLAB语言编程来识别定量称量系统的参数，显示了递推最小二乘算法易于在线识别的特点和MATALAB在系统识别应用中的广阔前景。 相似文献