全文获取类型
收费全文 | 6354篇 |
免费 | 956篇 |
国内免费 | 1251篇 |
专业分类
航空 | 3608篇 |
航天技术 | 1825篇 |
综合类 | 1182篇 |
航天 | 1946篇 |
出版年
2024年 | 3篇 |
2023年 | 22篇 |
2022年 | 84篇 |
2021年 | 65篇 |
2020年 | 135篇 |
2019年 | 54篇 |
2018年 | 75篇 |
2017年 | 64篇 |
2016年 | 66篇 |
2015年 | 175篇 |
2014年 | 341篇 |
2013年 | 363篇 |
2012年 | 389篇 |
2011年 | 418篇 |
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年 | 332篇 |
1997年 | 263篇 |
1996年 | 272篇 |
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篇 |
排序方式: 共有8561条查询结果,搜索用时 15 毫秒
971.
972.
973.
974.
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。 相似文献
975.
976.
介绍了基于ALTERA公司FPGA器件的高速实时FFT运算单元实现及频率域脉冲压缩处理的设计方法.在分析了基8、按频率抽取FFT算法的基础上,采用多级同步流水线结构,利用现场可编程门阵列(FPGA)完成了最大4096点块浮点FFT.整个设计划分成多个功能模块,采用VHDL描述语言,并在Stratix器件上实现.结果表明,利用FPGA实现复杂的数字信号处理(DSP)算法是完全可行的. 相似文献
977.
978.
研究了线性调频连续波SAR的距离徙动算法成像.针对线性调频续波SAR的特点,在STOP AND GO近似成立的条件下,讨论距离徙动算法的实现过程.STOP AND GO近似失效时,通过补偿线性调频连续波SAR连续运动引入的多普勒频移,提出了改进,并给出仿真验证. 相似文献
979.
980.