全文获取类型
收费全文 | 1101篇 |
免费 | 204篇 |
国内免费 | 131篇 |
专业分类
航空 | 838篇 |
航天技术 | 155篇 |
综合类 | 77篇 |
航天 | 366篇 |
出版年
2024年 | 9篇 |
2023年 | 78篇 |
2022年 | 79篇 |
2021年 | 81篇 |
2020年 | 72篇 |
2019年 | 89篇 |
2018年 | 38篇 |
2017年 | 68篇 |
2016年 | 52篇 |
2015年 | 62篇 |
2014年 | 71篇 |
2013年 | 79篇 |
2012年 | 95篇 |
2011年 | 84篇 |
2010年 | 73篇 |
2009年 | 59篇 |
2008年 | 48篇 |
2007年 | 76篇 |
2006年 | 44篇 |
2005年 | 43篇 |
2004年 | 21篇 |
2003年 | 12篇 |
2002年 | 18篇 |
2001年 | 18篇 |
2000年 | 11篇 |
1999年 | 10篇 |
1998年 | 10篇 |
1997年 | 7篇 |
1996年 | 12篇 |
1995年 | 1篇 |
1994年 | 7篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1991年 | 2篇 |
1989年 | 2篇 |
1988年 | 1篇 |
排序方式: 共有1436条查询结果,搜索用时 15 毫秒
951.
对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。 相似文献
952.
载荷校准试验是飞机飞行载荷测量的关键技术环节,而校准试验载荷的加载方式、载荷量级的大小直接影响着载荷建模及飞行实测载荷精准度。本文提出的液压多点协调加载技术,可实现飞机机翼多点、自动控制、协调加卸载,与以往人工单点加载试验相比,载荷量级提高到了机翼限制载荷的40%以上,并可模拟机翼在飞行时气动载荷的压心分布情况进行试验加卸载,提高了试验载荷模拟飞行载荷的真实程度。采用多点协调加载数据建立机翼的载荷方程,较以往单点数据,方程精度提高了4%以上,为提高实测载荷精度奠定了坚实的基础技术。 相似文献
953.
954.
基于管道网络算法的概念,开发了适用于内冷通道换热计算的程序,耦合外流场求解程序HIT3D,以Mark II叶片实验工况5411的结果做验证,传热系数和温度的计算值与实验值有着较好的吻合.在此基础上,对某型高压涡轮动叶内冷通道的复杂流路,建立流体网络计算模型.对原型结构吸力面一侧叶顶新增一排气膜孔,并对前部和后部蛇形通道的两组相邻通道间新增连接起平衡作用的贯通孔各3个.改型设计和原型都用开发的管道网络程序计算流动和换热参数.结果显示:在入口冷气边界条件相同条件下,相对原型,改型设计最高温度和平均温度都有10K以上的降低,叶片吸力面局部高温区集中的状况改有所善.改型设计效果在CFX全三维模拟中亦得到证实. 相似文献
955.
针对纤维均匀排布的单向纤维增强复合材料在横向拉伸荷载下基体产生应力集中的问题,提出了横向拉伸荷载下基体应力集中系数的表征方法。基于复合材料细观力学理论,通过编写程序在代表体积元(Representative Volume Element, RVE)模型上施加周期性边界条件,实现了单、双轴横向拉伸荷载下基体应力集中系数的计算,并通过单向纤维增强SiC/TC4复合材料板的横向拉伸试验验证了所建模型的有效性。利用所建模型计算不同纤维体积分数、材料组分以及温度条件下基体应力集中系数并分析其影响规律。计算结果表明:单轴横向拉伸应力集中系数随着纤维体积分数的增加而增大,双轴横向拉伸应力集中系数随着纤维体积分数的增加呈现出先减小后增大的趋势;在20℃~500℃区间内,单轴横向拉伸应力集中系数最大可达2.8,双轴横向拉伸应力集中系数最大达2.4。 相似文献
956.
基于国内运输类飞机适航认证需要,系统分析了CCAR/FAR25.981条款变迁历史、内涵与指标要求;并从型号申请人的角度针对适航取证过程中拟采取的符合性方法开展了初步探讨,归纳总结出不同类型油箱可燃性指标及符合性验证方法;在此基础上,研究了美国联邦航空局(FAA)官方颁布的油箱可燃性评估应用程序。研究表明:①燃油箱可燃性适航符合性验证工作重点是可燃性暴露时间评估方法的应用;不同类型油箱,所允许的机队平均可燃性暴露水平不同,其中,机身油箱是适航审定关注的重点;②为了确定隔舱的平均燃油温度、气相空间温度和油箱壁面温度,并根据平均燃油温度计算燃油箱隔舱的热时间常数和平衡温差以用于蒙特卡洛分析,最经济有效的方法是建立燃油箱热模型;③计算机队平均可燃性暴露时间的难点在于平衡温差与时间常数的准确获取,对于该问题,可以通过遗传算法追踪来予以解决。 相似文献
957.
958.
目前,我国民用飞机维修手册验证工作尚无相关标准和规范,亟需开展相关研究工作,争取早日建立完备的手册验证体系。在国产某型客机试飞阶段,结合试飞改装工作进行大批量维修手册操作验证工作,提出手册验证操作的技术要求、操作流程和实施要点;以襟翼高升力系统和结构部件的飞机维修手册验证程序为例,从实际操作可行性和省时性角度出发,开展手册验证计划编排和验证实施方法设计,总结维修操作难度较大的襟翼拆装程序编写实施要点、注意事项、常见维修性问题及改进方法,为后续验证工作提出建议。 相似文献
959.
960.