全文获取类型
收费全文 | 724篇 |
免费 | 157篇 |
国内免费 | 111篇 |
专业分类
航空 | 493篇 |
航天技术 | 168篇 |
综合类 | 134篇 |
航天 | 197篇 |
出版年
2024年 | 4篇 |
2023年 | 20篇 |
2022年 | 35篇 |
2021年 | 37篇 |
2020年 | 41篇 |
2019年 | 36篇 |
2018年 | 33篇 |
2017年 | 35篇 |
2016年 | 21篇 |
2015年 | 34篇 |
2014年 | 49篇 |
2013年 | 43篇 |
2012年 | 56篇 |
2011年 | 55篇 |
2010年 | 53篇 |
2009年 | 53篇 |
2008年 | 45篇 |
2007年 | 60篇 |
2006年 | 44篇 |
2005年 | 38篇 |
2004年 | 25篇 |
2003年 | 17篇 |
2002年 | 17篇 |
2001年 | 21篇 |
2000年 | 19篇 |
1999年 | 15篇 |
1998年 | 9篇 |
1997年 | 14篇 |
1996年 | 15篇 |
1995年 | 8篇 |
1994年 | 5篇 |
1993年 | 4篇 |
1992年 | 7篇 |
1991年 | 6篇 |
1990年 | 6篇 |
1989年 | 5篇 |
1988年 | 1篇 |
1987年 | 3篇 |
1986年 | 1篇 |
1984年 | 2篇 |
排序方式: 共有992条查询结果,搜索用时 212 毫秒
641.
高低周复合疲劳试验中振动应力的监测与计算 总被引:4,自引:0,他引:4
某型航空发动机涡轮叶片高低周复合疲劳试验中,对考核部位振动应力的监测与控制是试验的难点之一.本文采用监测振幅的方法,并结合试验中的测量数据,对施加高低周载荷的试验系统进行数值模拟计算和分析,得到了试验测量振幅与考核点振动应力的关系.从而将试验中可测量和不可测量联系起来,为试验研究和试验数据处理提供了依据. 相似文献
642.
643.
644.
"神舟3号"运行高度上大气密度的变化 总被引:4,自引:2,他引:4
"神舟3号"(SZ-3)大气密度探测器搭载在SZ-3留轨舱上于2002年3月发射入轨,在轨运行期间获得了轨道舱运行高度范围(330-410km)内的大气密度数据.数据分析表明,无明显太阳和地磁扰动时,热层大气密度的主要变化之一是日照和阴影区域之间的涨落变化,最大涨落变化比约为3.0,变化比与太阳和地磁活动程度有关.在2002-04-17和2002-04-19的强地磁扰动时,全球热层大气密度上涨,同时在磁扰峰期探测获得30°N-40°N区域出现密度扰动异常现象.对强地磁扰动在运行轨道高度上大气密度最大涨幅约为60%左右,响应过程在时间上要比地磁扰动过程滞后6-7h,日照和阴影区域中大气密度的响应变化程度明显不同.在太阳活动程度发生变化时,热层大气密度会呈现出明显的正相关变化关系. 相似文献
645.
航天器自主天文导航系统的可观测性及可观测度分析 总被引:10,自引:0,他引:10
天文导航系统中的观测量是一个重要的精度影响因素,星光角距和星光仰角是天文导航中两种最常用的观测信息,首先介绍了这两种观测信息及其量测方程的建立,然后从天文导航系统的可观测性和可观测度的角度,以观测矩阵的条件数作为系统可观测度的度量标准,分析了由于所选用的观测量的不同所导致的系统导航性能的差别,同时给出了一种衡量天文导航系统中的观测量和系统性能的分析方法.计算机仿真结果证明了该方法的有效性. 相似文献
647.
本文介绍了磁选态铯原子钟产品化进展情况,包括人们广泛关注的产品的性能指标测试、可靠性保证及寿命评估等,提出了铯束管采用单束束光学和电路采用了数字化技术是实现性能指标的基本保证;给出了产品化初期出现的一些故障现象及解决措施,以及为进一步提高可靠性开展的环境适应性试验;并讨论了电子倍增器寿命评估方法,提出寿命评估公式,对铯钟的寿命给出了评估结果。最后提出了产品化过程中还需要进一步探索的问题,不仅对磁选态铯原子钟的产品化有帮助,而且对光抽运铯钟甚至其他种类原子钟的产品化亦有参考价值。 相似文献
648.
提出了一种新的周期循环相关信号,即伪随机屏蔽二进阵列偶.文中给出了其定义,并研究了它的变换性质.为了减少搜索范围,提高计算机搜索效率,文中研究给出了一些伪随机屏蔽二进阵列偶存在的组合允许务件,在此基础上,利用计算机搜索出若干体积小于22的伪随机屏蔽二进阵列偶.搜索结果表明:伪随机屏蔽二进阵列偶具有很高的能量效率,因而可以作为同步码或多用户码应用于工程中. 相似文献
649.
650.
对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。 相似文献