全文获取类型
收费全文 | 1284篇 |
免费 | 347篇 |
国内免费 | 275篇 |
专业分类
航空 | 1024篇 |
航天技术 | 410篇 |
综合类 | 122篇 |
航天 | 350篇 |
出版年
2024年 | 7篇 |
2023年 | 28篇 |
2022年 | 83篇 |
2021年 | 99篇 |
2020年 | 96篇 |
2019年 | 80篇 |
2018年 | 74篇 |
2017年 | 106篇 |
2016年 | 85篇 |
2015年 | 113篇 |
2014年 | 105篇 |
2013年 | 93篇 |
2012年 | 102篇 |
2011年 | 98篇 |
2010年 | 125篇 |
2009年 | 96篇 |
2008年 | 93篇 |
2007年 | 96篇 |
2006年 | 61篇 |
2005年 | 50篇 |
2004年 | 26篇 |
2003年 | 34篇 |
2002年 | 34篇 |
2001年 | 28篇 |
2000年 | 13篇 |
1999年 | 21篇 |
1998年 | 13篇 |
1997年 | 11篇 |
1996年 | 7篇 |
1995年 | 4篇 |
1994年 | 2篇 |
1993年 | 3篇 |
1992年 | 4篇 |
1991年 | 5篇 |
1990年 | 1篇 |
1989年 | 5篇 |
1988年 | 2篇 |
1987年 | 1篇 |
1984年 | 1篇 |
1966年 | 1篇 |
排序方式: 共有1906条查询结果,搜索用时 156 毫秒
1.
根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向. 相似文献
2.
微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。 相似文献
3.
4.
5.
6.
简介时钟脉冲细分技术的原理,着重分析其细分误差因素,给出了计算实际最大细分数的理论公式,并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系,对光栅信号时钟脉冲细分系统的参数设计具有指导意义。 相似文献
7.
8.
毕丽 《华北航天工业学院学报》2005,15(2):50-51
英语教学,特别是低年级英语教学既需要教师的积极性,更需要学生的积极性,二者缺一不可。要想发挥学生的学习积极性,首先应发挥英语自身的魅力,启发学生的积极性;其次,以情感促教学调动学生的积极性;再者,采取有效措施巩固学生的积极性。 相似文献
9.
10.