全文获取类型
收费全文 | 1326篇 |
免费 | 73篇 |
国内免费 | 33篇 |
专业分类
航空 | 819篇 |
航天技术 | 169篇 |
综合类 | 122篇 |
航天 | 322篇 |
出版年
2024年 | 7篇 |
2023年 | 25篇 |
2022年 | 25篇 |
2021年 | 34篇 |
2020年 | 25篇 |
2019年 | 28篇 |
2018年 | 9篇 |
2017年 | 29篇 |
2016年 | 48篇 |
2015年 | 44篇 |
2014年 | 47篇 |
2013年 | 55篇 |
2012年 | 94篇 |
2011年 | 100篇 |
2010年 | 86篇 |
2009年 | 101篇 |
2008年 | 98篇 |
2007年 | 82篇 |
2006年 | 62篇 |
2005年 | 66篇 |
2004年 | 66篇 |
2003年 | 59篇 |
2002年 | 57篇 |
2001年 | 64篇 |
2000年 | 30篇 |
1999年 | 24篇 |
1998年 | 11篇 |
1997年 | 11篇 |
1996年 | 9篇 |
1995年 | 2篇 |
1994年 | 7篇 |
1993年 | 3篇 |
1992年 | 7篇 |
1991年 | 1篇 |
1990年 | 4篇 |
1989年 | 12篇 |
排序方式: 共有1432条查询结果,搜索用时 46 毫秒
151.
152.
153.
随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质. 相似文献
154.
叶群峰 《民用飞机设计与研究》2010,(3):51-53
机务维修费用是民机运营成本中最关键的一部分,飞机在研发设计阶段就决定了维修费用的八成。主要分析了波音787梦想飞机的"易维修性设计",探讨民机维修性设计发展方向,以期对我国大飞机事业的发展起到积极的推动作用。 相似文献
155.
156.
157.
建立了激光陀螺抖轮的三维有限元模型,对其振动特性进行了模态分析,建立了整个 模型B样条小波有限元模型;研究了一类新的有限元空间,它以B样条小波函数作为有限等参 元的形状函数;建立了模型的B样条小波有限元序列,利用B样条小波函数的变尺度特性在不 改变网格的剖分下提高分辨率,因此在处理局部应力集中,曲率分布突变边界等应用中具有 一定的优势,所以它的结果更接近于实际。最后对系统模型进行了仿真,给出了各个阶次 模态值,通过与传统有限元比较发现小波有限元具有收敛性好、求解迅速和网格划分灵活
等优点,这对于激光陀螺抖轮的优化设计具有重要参考价值。
相似文献
等优点,这对于激光陀螺抖轮的优化设计具有重要参考价值。
相似文献
158.
引言民航语音通信系统(内话系统)联网技术是指根据国际电信联盟和国际民航组织规定的通信协议实现语音通信系统间管制移交电话和无线电设备的联网,以达到电话通路和无线电设备的共享。 相似文献
159.
函数型数据的回归分析研究主要集中在函数型线性模型。不要求因变量为连续型随机变量,可以为离散型或属性数据(对应于泊松或Logistic回归),对同时含有数值型多元变量和函数型变量的广义线性模型的估计问题进行分析,采用非参数方法得到了参数部分和非参数部分的估计量,并给出了一种重加权算法进行参数求解,解决了含数值型和函数型混合数据类型自变量的回归问题,同时扩展了函数型线性模型的应用范围。估计过程中,分别采用了函数型主成分和B样条基函数,并给出了基函数个数选择的准则。数值模拟结果表明,所提出方法具有良好的可行性与正确性。 相似文献
160.
目前我国北斗导航增强系统的完好性参数设计缺少针对差分信息有效性的降效参数设计,不满足航空无线电委员会(RTCA)提出的接口协议,无法同国际其他GNSS星基增强系统相兼容。根据RTCA接口协议,针对我国卫星导航系统的完好性降效参数处理算法进行了研究,利用北斗实测数据分析了完好性降效参数对用户增强服务的影响,验证了算法的有效性。结果表明,正常情况下,北斗导航系统增强服务三维定位精度可达到113m。当用户丢失部分差分改正信息时,定位精度约144m,精度下降约274%,利用完好性降效参数对过期差分信息进行降效处理,优化定位权阵,可将定位精度提高至117m,达到正常增强服务水平。 相似文献