全文获取类型
收费全文 | 4403篇 |
免费 | 931篇 |
国内免费 | 947篇 |
专业分类
航空 | 3037篇 |
航天技术 | 1166篇 |
综合类 | 656篇 |
航天 | 1422篇 |
出版年
2024年 | 12篇 |
2023年 | 55篇 |
2022年 | 136篇 |
2021年 | 170篇 |
2020年 | 178篇 |
2019年 | 116篇 |
2018年 | 145篇 |
2017年 | 158篇 |
2016年 | 132篇 |
2015年 | 204篇 |
2014年 | 278篇 |
2013年 | 310篇 |
2012年 | 327篇 |
2011年 | 357篇 |
2010年 | 400篇 |
2009年 | 345篇 |
2008年 | 335篇 |
2007年 | 275篇 |
2006年 | 263篇 |
2005年 | 193篇 |
2004年 | 152篇 |
2003年 | 128篇 |
2002年 | 129篇 |
2001年 | 128篇 |
2000年 | 155篇 |
1999年 | 167篇 |
1998年 | 199篇 |
1997年 | 139篇 |
1996年 | 118篇 |
1995年 | 91篇 |
1994年 | 81篇 |
1993年 | 89篇 |
1992年 | 65篇 |
1991年 | 59篇 |
1990年 | 43篇 |
1989年 | 35篇 |
1988年 | 44篇 |
1987年 | 33篇 |
1986年 | 15篇 |
1985年 | 7篇 |
1984年 | 5篇 |
1983年 | 5篇 |
1982年 | 3篇 |
1965年 | 2篇 |
排序方式: 共有6281条查询结果,搜索用时 15 毫秒
71.
72.
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。 相似文献
73.
74.
重点研究了卫星通过轨道机动逃避碰撞、拦截并经一段时间后返回原轨道的逃逸方式。利用非线性规划理论建立了脉冲推力能量最省的逃逸轨迹规划模型,并考虑非球形摄动的影响对模型进行了修正。通过仿真验证了模型的正确性及求解的可行性,并分析了非球形摄动因素对逃逸过程的影响。 相似文献
75.
76.
将文献[1]中的局部模型跟踪变结构理论用于导弹控制系统设计,探索了一条设计控制系统的新路。某型号导弹控制系统设计中采用了本文提出的参数选择法,获得了良好的仿真结果。 相似文献
77.
78.
固体火箭发动机排气二次燃烧的抑制技术 总被引:6,自引:0,他引:6
介绍了无烟固体火箭推进剂研究的最新进展——固体火箭发动机排气二次燃烧的抑制技术,内容包括二次燃烧的产生机理、抑制机理和国外技术现状等.国外经验表明,采用少量的抑制剂可以达到对高能无烟推进剂发动机排气二次火焰的抑制. 相似文献
79.
80.
介绍用微波计算机辅助设计软件优化设计大功率固态微波脉冲功率放大器的方法,重点描述了这种方法的几个关键技术和分析、设计过程,包括建立晶体管的模型,确定电路的拓扑结构和偏置电路的形式,仿真、优化、公差分析等等。用惠普公司的微波计算机辅助设计软件—HP-EESOF软件优化设计了一个输出功率为110W的脉冲功率放大器,并进行了安装、调试和测试,测试的结果完全符合设计的要求。 相似文献