全文获取类型
收费全文 | 6264篇 |
免费 | 1308篇 |
国内免费 | 1254篇 |
专业分类
航空 | 3665篇 |
航天技术 | 1929篇 |
综合类 | 1283篇 |
航天 | 1949篇 |
出版年
2024年 | 6篇 |
2023年 | 23篇 |
2022年 | 85篇 |
2021年 | 66篇 |
2020年 | 136篇 |
2019年 | 81篇 |
2018年 | 107篇 |
2017年 | 95篇 |
2016年 | 114篇 |
2015年 | 190篇 |
2014年 | 363篇 |
2013年 | 384篇 |
2012年 | 391篇 |
2011年 | 418篇 |
2010年 | 520篇 |
2009年 | 531篇 |
2008年 | 472篇 |
2007年 | 446篇 |
2006年 | 377篇 |
2005年 | 318篇 |
2004年 | 219篇 |
2003年 | 174篇 |
2002年 | 171篇 |
2001年 | 233篇 |
2000年 | 252篇 |
1999年 | 347篇 |
1998年 | 331篇 |
1997年 | 263篇 |
1996年 | 272篇 |
1995年 | 202篇 |
1994年 | 208篇 |
1993年 | 196篇 |
1992年 | 173篇 |
1991年 | 139篇 |
1990年 | 125篇 |
1989年 | 106篇 |
1988年 | 80篇 |
1987年 | 77篇 |
1986年 | 42篇 |
1985年 | 26篇 |
1984年 | 19篇 |
1983年 | 15篇 |
1982年 | 11篇 |
1981年 | 8篇 |
1980年 | 2篇 |
1976年 | 1篇 |
1974年 | 3篇 |
1973年 | 3篇 |
1971年 | 1篇 |
1965年 | 3篇 |
排序方式: 共有8826条查询结果,搜索用时 15 毫秒
481.
482.
483.
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。 相似文献
484.
485.
486.
487.
488.
国外长焦距高分辨率遥感相机桁架结构研究 总被引:3,自引:0,他引:3
桁架结构具有构型简单、拆装和运输方便等优点,被大量用于航空航天、桥梁、建筑、车辆以及船泊等领域.文章介绍和分析了国际上长焦距、高分辨率空间及地面遥感相机桁架结构设计技术;探索和总结了相机桁架结构的布局特点、设计方法和装调技术等关键问题,为我国高分辨率遥感相机的研制提供参考. 相似文献
489.
区域极点及方差约束下的航天器拦截控制:静态输出反馈情形 总被引:2,自引:0,他引:2
本文提出并讨论了具有选通窗约束的航天器拦截控制问题,指出航天器拦截控制的稳暂态性能指标可表现为系统稳态状态方差及闭环区域极点的形式。然后,基于配置控制的思想,本文完整地给出了期望静态反馈控制器的存在条件及其解析表达式,并举例说明所提设计方法的直接性与有效性 相似文献
490.
本文通过综合多个领域知识,引进功能特征描述概念,运用证据理论,提出了对飞行器等复杂系统进行分析诊断的一个新方法并初步完成了专家系统原型,通过具体实例,再现了故障现象 相似文献