全文获取类型
收费全文 | 866篇 |
免费 | 40篇 |
国内免费 | 14篇 |
专业分类
航空 | 499篇 |
航天技术 | 58篇 |
综合类 | 94篇 |
航天 | 269篇 |
出版年
2024年 | 4篇 |
2023年 | 18篇 |
2022年 | 19篇 |
2021年 | 38篇 |
2020年 | 27篇 |
2019年 | 14篇 |
2018年 | 6篇 |
2017年 | 17篇 |
2016年 | 15篇 |
2015年 | 14篇 |
2014年 | 31篇 |
2013年 | 21篇 |
2012年 | 33篇 |
2011年 | 37篇 |
2010年 | 26篇 |
2009年 | 26篇 |
2008年 | 43篇 |
2007年 | 41篇 |
2006年 | 45篇 |
2005年 | 52篇 |
2004年 | 44篇 |
2003年 | 41篇 |
2002年 | 32篇 |
2001年 | 31篇 |
2000年 | 21篇 |
1999年 | 15篇 |
1998年 | 28篇 |
1997年 | 25篇 |
1996年 | 17篇 |
1995年 | 17篇 |
1994年 | 21篇 |
1993年 | 16篇 |
1992年 | 16篇 |
1991年 | 17篇 |
1990年 | 14篇 |
1989年 | 16篇 |
1988年 | 5篇 |
1987年 | 12篇 |
1986年 | 2篇 |
1985年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有920条查询结果,搜索用时 31 毫秒
71.
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10... 相似文献
72.
目前,苏霍伊民用飞机公司的"超级喷气"100的原型机已累计飞行710架次,飞行时间超过了1800小时,完成了全部适航认证程序的70%。该公司预计该机今年11月可取得俄罗斯适航证,并坚称将按承诺时间,即今年年底之前向亚美尼亚航空公司和俄罗斯国际航空公司交付首批"超级喷气"100飞机。 相似文献
73.
考虑四种主要随机因素:载荷(作用应力)、缺陷尺寸、断裂韧性、流变应力等参数的不确定性,针对较为常见的焊接结构型式,如平板、球罐、圆柱形容器等结构上可能存在的不同缺陷类型,基于双判据失效准则,编制了较为通用的含缺陷焊接结构概率安全评定程序。对国产CF-62钢制容积为1531m3的球罐可能存在的缺陷进行了概率安全评定,通过对评定参数的敏感性分析,指出了影响其可靠性的关键因素。 相似文献
74.
本文研究了一种基于航空器飞行轨迹线性外推冲突预测的短期冲突告警(STCA)算法,并给出算法的具体实现方案。仿真实验结果证明了算法的有效性,适用于雷达监视下的程序管制间隔标准和管制体制。 相似文献
75.
多重分形谱在材料分析中的应用研究 总被引:13,自引:0,他引:13
基于多重分形谱的物理意义,通过图像分析与处理技术,利用Delphi语言设计了图像结构的多重分形谱的计算程序。通过程序中图像黑白二值化转化阈值的设定,实现了从材料组织结构形貌图像上提取其相应的概率测度和标度指数的功能,并计算了它们的多重分形谱。分析表明:在对材料的组织结构进行研究的问题中,多重分形谱是一种有意义的表征参数,能够从多分形角度对材料的组织结构开展定量化的分析与解释。 相似文献
76.
舒忠正 《南京航空航天大学学报》1986,(1)
本文说明了符号微分程序系统的一些特征、功能、设计思想和程序设计技术。 该系统是使用人工智能专用语言LISP写成的,并且已经在CROMEMCO系统Ⅲ微型计算机上正确地运行。文中还给出了在该机器上求出的一些复杂函数的符号微分实例。 相似文献
77.
78.
在Google Earth的三维地形数据的基础上,建立了完整的计算机辅助仪表飞行程序设计系统,在GoogleEarth上绘制出飞行程序保护区。并建立机场数据库,存储机场数据以及保护区各重要位置点数据,导入AUTOCAD,完成AUTO CAD出图。实现计算机辅助飞行程序设计。 相似文献
79.
我国西部地形复杂,高原和山地较多,航空公司不仅需要选派特殊改装的飞机和经过严格训练的精英机组执行这些机场的飞行任务,还要承担大量起飞减载、返航、备降、取消航班等不正常航班所造成的经济损失。使用RNPAR程序可以使航空器有效绕开超高障碍物,缓解空域矛盾,很适于在地形复杂、气候多变的高原机场推广使用。 相似文献
80.