全文获取类型
收费全文 | 1416篇 |
免费 | 51篇 |
国内免费 | 46篇 |
专业分类
航空 | 911篇 |
航天技术 | 67篇 |
综合类 | 141篇 |
航天 | 394篇 |
出版年
2024年 | 3篇 |
2023年 | 9篇 |
2022年 | 9篇 |
2021年 | 27篇 |
2020年 | 28篇 |
2019年 | 14篇 |
2018年 | 11篇 |
2017年 | 18篇 |
2016年 | 32篇 |
2015年 | 18篇 |
2014年 | 45篇 |
2013年 | 30篇 |
2012年 | 82篇 |
2011年 | 67篇 |
2010年 | 41篇 |
2009年 | 49篇 |
2008年 | 73篇 |
2007年 | 76篇 |
2006年 | 69篇 |
2005年 | 81篇 |
2004年 | 67篇 |
2003年 | 70篇 |
2002年 | 61篇 |
2001年 | 59篇 |
2000年 | 54篇 |
1999年 | 36篇 |
1998年 | 49篇 |
1997年 | 53篇 |
1996年 | 35篇 |
1995年 | 43篇 |
1994年 | 37篇 |
1993年 | 36篇 |
1992年 | 37篇 |
1991年 | 29篇 |
1990年 | 23篇 |
1989年 | 19篇 |
1988年 | 5篇 |
1987年 | 13篇 |
1986年 | 2篇 |
1985年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
排序方式: 共有1513条查询结果,搜索用时 703 毫秒
1.
航空发动机熄火预测是重要关键问题之一,湍流和化学反应的非线性相互作用使预测非常困难。本文采用大涡模拟(LES)对湍流进行高精度模拟,采用概率密度函数输运方程湍流燃烧模型(TPDF)耦合JL4、Z66和H73三种化学反应机理,对预混丙烷钝体熄火现象和规律进行研究。JL4的反应机理最简单,反应释热快,局部放热高,火焰宽度大,火焰两侧温度梯度大,燃烧更加趋于稳定,无法模拟出熄火状态。H73机理绝热火焰温度低,火焰温度低,回流区中部OH含量高;在近熄火状态,大量CO被氧化,释放热量过高导致无法模拟出熄火现象。Z66机理可以模拟出火焰正常状态,在低当量比下也可以模拟出熄火状态。本文算例中,局部Da数大于1的区域超过35%则会发生熄火。 相似文献
2.
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向. 相似文献
3.
代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力,提升审查效率,研究者们逐渐将目光转向以深度学习技术为首人工智能领域,尝试寻求技术上得突破,以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动,即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况,对未来代码审查的发展方向作了进一步的探讨. 相似文献
4.
摘要: 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求,设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术,改进现有的前向计算动态切片算法,利用动态程序切片收集程序运行时的动态信息,构造程序切片谱,设定相关统计量统计程序语句的脆弱性可疑度,生成脆弱性定位报告.在发现软件中存在的脆弱性后,该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析,实验证明了该方法的有效性. 相似文献
5.
叙述了采用数控卷板机实现贮液舱舱体蒙皮预弯、卷圆一次完成的成型新工艺。该工艺减少了加工工作量,缩短了加工周期。 相似文献
6.
7.
章引平 《航空标准化与质量》2001,(2):25-26
规划使用保障是 GJB 3872— 99《装备综合保障通用要求》中提出的一个新概念,本文主要探讨了规划使用保障的定义、工作内容、基本程序以及涉及的主要分析方法等。 相似文献
8.
9.
10.
叙述了在网络化DNC系统中引入嵌入式系统方案的必要性;在试验验证的基础上,提出了一套基于嵌入式系统的设计方法,以解决在网络化DNC系统构建过程中存在的现场数控设备多样性信息化特征之间互不兼容的问题。 相似文献