全文获取类型
收费全文 | 168篇 |
免费 | 74篇 |
国内免费 | 19篇 |
专业分类
航空 | 177篇 |
航天技术 | 27篇 |
综合类 | 7篇 |
航天 | 50篇 |
出版年
2024年 | 1篇 |
2023年 | 5篇 |
2022年 | 7篇 |
2021年 | 5篇 |
2020年 | 9篇 |
2019年 | 8篇 |
2018年 | 11篇 |
2017年 | 8篇 |
2016年 | 13篇 |
2015年 | 11篇 |
2014年 | 27篇 |
2013年 | 14篇 |
2012年 | 13篇 |
2011年 | 21篇 |
2010年 | 16篇 |
2009年 | 19篇 |
2008年 | 9篇 |
2007年 | 18篇 |
2006年 | 7篇 |
2005年 | 10篇 |
2004年 | 3篇 |
2003年 | 2篇 |
2002年 | 4篇 |
2001年 | 1篇 |
2000年 | 3篇 |
1999年 | 3篇 |
1998年 | 1篇 |
1997年 | 3篇 |
1995年 | 2篇 |
1994年 | 1篇 |
1991年 | 4篇 |
1989年 | 1篇 |
1988年 | 1篇 |
排序方式: 共有261条查询结果,搜索用时 15 毫秒
151.
152.
153.
操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分,本文在分析操作系统需求的基础上,采用有限状态机在操作系统需求层进行形式化描述,并针对应用在某航天器上的SpaceOS2在需求层进行了建模,相应地在定理证明工具Coq中进行了描述建模;然后定义了六条操作系统应满足的全局性质并进行了形式化描述,给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的,为进一步全面形式化验证奠定了基础. 相似文献
154.
为使高压涡轮导叶非轴对称端壁造型在减少二次流损失、提高气动性能方面更好的发挥作用,以某一级高压涡轮为研究对象,采用端壁参数化造型、三维Navier-Stokes(N-S)方程流场求解和基于人工神经网络的遗传算法相结合的优化方法对涡轮导叶进行非轴对称端壁的优化设计。优化目标为在控制涡轮导叶进口质量流量、出口马赫数及出口气流角的情况下,导叶出口总压损失系数和出口二次流动能最小化。对比分析优化前后端壁对涡轮导叶出口参数和涡轮级性能的影响。结果表明:优化后得到的非轴对称端壁有效地改善了涡轮导叶通道内的流场,抑制了通道内二次流涡系的发展,降低了导叶出口处的流动损失,涡轮导叶出口总压损失系数降低了14.85%,高压涡轮级等熵效率提高了0.456%。 相似文献
155.
对转压气机最先失速级的小扰动理论分析 总被引:2,自引:0,他引:2
对转压气机(CRC)由于其独特的气动和结构优势而被认为是进一步提高航空发动机推重比的重要技术途径之一。在小扰动理论的基础上发展了对转压气机旋转失速的小扰动分析方法,并以实验室对转压气机为研究对象,采用小扰动理论和计算流体力学(CFD)数值模拟两种方法对不同转速匹配工况下的最先失速级位置进行了相应的研究,为对转压气机失速边界的预估探索一种快速有效的方法。研究结果表明:①旋转失速的小扰动分析方法可以较好地预估对转压气机失速边界和最先失速级位置;②小扰动分析方法和CFD计算结果均显示:转速匹配方案对对转压气机最先失速级位置存在明显的影响。当转速比大于或等于0.9时,转子2为最先失速级;当转速比小于0.9时,转子1为最先失速级;③由于小扰动分析方法进行了大量的简化,因而使得预估值同实际值之间存在相应的误差。同时,由于对转压气机级间存在较强的非定常性,进而使得相对误差进一步增大。 相似文献
156.
157.
飞机客舱座椅是大型客机体现市场优势和竞争力的一项重要内容,由于新一代客机在空间容量、客舱品质上都有了很大的提升,这必将对旅客座椅提出全新的要求,推动座椅面临全面的更新换代。本文着重介绍新一代国产航空座椅的设计及其取证工作。 相似文献
158.
159.
提出了设计赋形波束FLAPS天线的一种方法,并研制了某赋形波束FLAPS天线样机,测试结果和计算结果吻合,满足设计要求。 相似文献