全文获取类型
收费全文 | 6359篇 |
免费 | 955篇 |
国内免费 | 1251篇 |
专业分类
航空 | 3612篇 |
航天技术 | 1824篇 |
综合类 | 1183篇 |
航天 | 1946篇 |
出版年
2024年 | 3篇 |
2023年 | 22篇 |
2022年 | 84篇 |
2021年 | 66篇 |
2020年 | 135篇 |
2019年 | 54篇 |
2018年 | 75篇 |
2017年 | 66篇 |
2016年 | 66篇 |
2015年 | 176篇 |
2014年 | 341篇 |
2013年 | 363篇 |
2012年 | 388篇 |
2011年 | 419篇 |
2010年 | 519篇 |
2009年 | 527篇 |
2008年 | 472篇 |
2007年 | 446篇 |
2006年 | 377篇 |
2005年 | 319篇 |
2004年 | 218篇 |
2003年 | 174篇 |
2002年 | 171篇 |
2001年 | 233篇 |
2000年 | 252篇 |
1999年 | 347篇 |
1998年 | 331篇 |
1997年 | 263篇 |
1996年 | 273篇 |
1995年 | 201篇 |
1994年 | 208篇 |
1993年 | 196篇 |
1992年 | 173篇 |
1991年 | 139篇 |
1990年 | 125篇 |
1989年 | 103篇 |
1988年 | 76篇 |
1987年 | 66篇 |
1986年 | 35篇 |
1985年 | 19篇 |
1984年 | 9篇 |
1983年 | 8篇 |
1982年 | 9篇 |
1981年 | 4篇 |
1980年 | 2篇 |
1976年 | 1篇 |
1974年 | 3篇 |
1973年 | 3篇 |
1971年 | 1篇 |
1965年 | 3篇 |
排序方式: 共有8565条查询结果,搜索用时 15 毫秒
971.
972.
973.
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。 相似文献
974.
975.
介绍了基于ALTERA公司FPGA器件的高速实时FFT运算单元实现及频率域脉冲压缩处理的设计方法.在分析了基8、按频率抽取FFT算法的基础上,采用多级同步流水线结构,利用现场可编程门阵列(FPGA)完成了最大4096点块浮点FFT.整个设计划分成多个功能模块,采用VHDL描述语言,并在Stratix器件上实现.结果表明,利用FPGA实现复杂的数字信号处理(DSP)算法是完全可行的. 相似文献
976.
977.
研究了线性调频连续波SAR的距离徙动算法成像.针对线性调频续波SAR的特点,在STOP AND GO近似成立的条件下,讨论距离徙动算法的实现过程.STOP AND GO近似失效时,通过补偿线性调频连续波SAR连续运动引入的多普勒频移,提出了改进,并给出仿真验证. 相似文献
978.
979.
980.
模糊自整定PID控制及其在航天产品真空热试验中的应用分析 总被引:2,自引:2,他引:0
文章首先分析了航天产品热试验时被控对象的特点,并进行了建模分析,接着介绍了如何通过参数自整定技术获得PID的3个初始参数,并进行了模糊自校正PID控制器设计。为了检验该控制方法的控制效果,文章选取了3次有代表性的试验数据进行了仿真分析。结果表明,模糊自校正PID控制方法具有适应性强、控制精度高、抑制试验系统温度滞后明显的优点,该方法较原控制方法超调量有所减小,过渡过程有所加快,抗干扰能力显著增强,较好地解决了控制系统快速性和小超调量之间的矛盾。 相似文献