全文获取类型
收费全文 | 3953篇 |
免费 | 694篇 |
国内免费 | 401篇 |
专业分类
航空 | 3086篇 |
航天技术 | 580篇 |
综合类 | 439篇 |
航天 | 943篇 |
出版年
2024年 | 33篇 |
2023年 | 147篇 |
2022年 | 158篇 |
2021年 | 202篇 |
2020年 | 204篇 |
2019年 | 225篇 |
2018年 | 128篇 |
2017年 | 158篇 |
2016年 | 175篇 |
2015年 | 170篇 |
2014年 | 171篇 |
2013年 | 177篇 |
2012年 | 228篇 |
2011年 | 235篇 |
2010年 | 208篇 |
2009年 | 195篇 |
2008年 | 191篇 |
2007年 | 232篇 |
2006年 | 173篇 |
2005年 | 177篇 |
2004年 | 108篇 |
2003年 | 148篇 |
2002年 | 137篇 |
2001年 | 191篇 |
2000年 | 111篇 |
1999年 | 97篇 |
1998年 | 62篇 |
1997年 | 74篇 |
1996年 | 68篇 |
1995年 | 56篇 |
1994年 | 66篇 |
1993年 | 51篇 |
1992年 | 56篇 |
1991年 | 52篇 |
1990年 | 58篇 |
1989年 | 104篇 |
1988年 | 1篇 |
1987年 | 7篇 |
1986年 | 4篇 |
1985年 | 2篇 |
1984年 | 1篇 |
1982年 | 4篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1979年 | 1篇 |
排序方式: 共有5048条查询结果,搜索用时 265 毫秒
1.
2.
3.
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向. 相似文献
4.
为研究前体尾流对降落伞工作性能的非定常影响,基于Realizablek -ε 湍流模型采用PISO算法开展了物伞系统的非定常绕流数值计算,获得了精细的流场旋涡结构。在此基础上,研究了不同拖曳比下物伞系统的尾涡演变规律、流场分布规律以及伞衣气动特性变化。结果表明:前体尾涡导致伞衣入口处的涡量大小和方向时刻变化,随拖曳比增加,涡量黏性耗散增强,进入伞衣的旋涡强度逐渐减弱,伞衣入口形成稳定的负涡量区,伞衣尾涡脱离周期随之延长;拖曳比对尾涡区后端(伞衣入口处)流场压力的影响远大于前端,随拖曳比增加,流动形式逐渐由闭式转变为开式,流场的速度分布和压力分布更为对称,伞衣入口形成稳定的正压区,内外压差增加;当拖曳比大于9时,前体尾流对降落伞阻力系数和表面压强系数的影响减小。 相似文献
5.
升力体式混合飞艇是全球远距离大载重运输的重要选择,随着全球贸易的发展,逐渐成为国内外的研究热点。作为航空宇航技术、新能源技术和高性能材料技术相结合的新概念飞行器,混合飞艇设计过程需对多个学科进行综合考虑和优化。为了将多学科设计优化(MDO)方法引入到混合飞艇的总体设计中,将其分解为能源子系统、气动和推进子系统以及结构和重量子系统。在子系统模型构建的基础上,提出具有自适应能力的基于响应面的并行子空间优化(CSSO-RS)算法,将重量平衡和能量平衡作为实现远距离载重运输的约束条件,并提出爬升、日间巡航、滑翔和夜间巡航的多阶段任务剖面,以充分利用太阳能电池、燃料电池和锂电池的优势,实现混合飞艇的最优化设计。优化结果表明:具有自适应能力的优化算法在精确度和计算效率上均有明显的优势,同时重量分配的结果也为混合飞艇结构轻量化设计和能源系统设计提出了更高的要求。 相似文献
6.
特征型紧致加权基本无振荡(WENO)混合格式HCW-R结合了迎风紧致格式CS5-P和WENO格式,具有十分优异的分辨率特性。但在求解多维方程组时,HCW-R格式需要求解块状三对角方程组,因而计算代价十分高昂。采用迎风紧致格式CS5-F代替CS5-P,构造了一个新的特征型紧致WENO混合格式HCW-E。由于HCW-E的特殊形式,其可沿迎风方向、由边界处向内推进求解,避免了处理三对角或块状三对角方程组,从而其计算代价与显式格式无异。虽然就分辨率而言,HCW-E稍逊于HCW-R,但前者的计算效率要显著高于后者。因此,当花费相同的计算代价,HCW-E格式可以获得更好的数值结果。一系列求解Euler方程组的数值试验验证了HCW-E的高分辨率特性和相比HCW-R更高的计算效率。HCW-E格式的效率优势在求解高维问题时更为明显。 相似文献
7.
复合材料尾减管发挥着支撑直升机尾减速器和尾桨的重要作用。由于受尾桨的推力作用尾减管在使用过程中会沿推力方向产生变形,若变形过大会影响尾桨的正常运行进而对直升机安全产生威胁。为掌握复合材料尾减管在限制载荷作用下的变形情况并评估仿真分析的准确程度,对尾减管变形状况进行了有限元仿真和试验验证,仿真与试验的边界条件设置均模拟产品的真实装机状态。研究表明,复合材料尾减管变形位移的试验结果最大值为9.22mm,仿真结果比试验结果的最小值相比高出0.69mm,仿真与试验结果的偏差较小,吻合程度较高。 相似文献
9.
新一代航空武器列装部队,使用维护阶段软件保障的问题日益突出。本文从软件测试的角度出发,详细阐述了在航空武器装备使用维护阶段的软件验证的工程考虑,对双V测试完整性、风险评估、回归测试、新增功能测试、第三方软件变化导致的测试以及测试自动化等多个使用维护阶段可能发生的工程活动进行概要描述,并指出其中工程考虑的关键要素。 相似文献
10.