全文获取类型
收费全文 | 12509篇 |
免费 | 1946篇 |
国内免费 | 2351篇 |
专业分类
航空 | 7355篇 |
航天技术 | 3437篇 |
综合类 | 2163篇 |
航天 | 3851篇 |
出版年
2024年 | 20篇 |
2023年 | 58篇 |
2022年 | 184篇 |
2021年 | 209篇 |
2020年 | 296篇 |
2019年 | 156篇 |
2018年 | 207篇 |
2017年 | 176篇 |
2016年 | 185篇 |
2015年 | 387篇 |
2014年 | 644篇 |
2013年 | 690篇 |
2012年 | 793篇 |
2011年 | 868篇 |
2010年 | 995篇 |
2009年 | 1014篇 |
2008年 | 926篇 |
2007年 | 871篇 |
2006年 | 736篇 |
2005年 | 635篇 |
2004年 | 461篇 |
2003年 | 393篇 |
2002年 | 416篇 |
2001年 | 459篇 |
2000年 | 501篇 |
1999年 | 616篇 |
1998年 | 589篇 |
1997年 | 470篇 |
1996年 | 435篇 |
1995年 | 349篇 |
1994年 | 388篇 |
1993年 | 332篇 |
1992年 | 298篇 |
1991年 | 253篇 |
1990年 | 210篇 |
1989年 | 187篇 |
1988年 | 134篇 |
1987年 | 108篇 |
1986年 | 56篇 |
1985年 | 24篇 |
1984年 | 18篇 |
1983年 | 14篇 |
1982年 | 18篇 |
1981年 | 9篇 |
1980年 | 4篇 |
1974年 | 3篇 |
1973年 | 3篇 |
1971年 | 1篇 |
1967年 | 1篇 |
1965年 | 4篇 |
排序方式: 共有10000条查询结果,搜索用时 859 毫秒
911.
912.
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。 相似文献
913.
914.
介绍了基于ALTERA公司FPGA器件的高速实时FFT运算单元实现及频率域脉冲压缩处理的设计方法.在分析了基8、按频率抽取FFT算法的基础上,采用多级同步流水线结构,利用现场可编程门阵列(FPGA)完成了最大4096点块浮点FFT.整个设计划分成多个功能模块,采用VHDL描述语言,并在Stratix器件上实现.结果表明,利用FPGA实现复杂的数字信号处理(DSP)算法是完全可行的. 相似文献
915.
916.
研究了线性调频连续波SAR的距离徙动算法成像.针对线性调频续波SAR的特点,在STOP AND GO近似成立的条件下,讨论距离徙动算法的实现过程.STOP AND GO近似失效时,通过补偿线性调频连续波SAR连续运动引入的多普勒频移,提出了改进,并给出仿真验证. 相似文献
917.
918.
919.
920.
基于软件无线电与认知无线电的空间信息获取 总被引:1,自引:0,他引:1
作为空间军事行动及联合作战的基础和关键前提,空间信息获取离不开先进的无线电技术.在软件无线电(SDR)与认知无线电(CR)的概念和原理的基础上,结合二者的功能结构和工作特点,讨论了基于这两种通信技术的软件星和认知星概念,以及以软件星或认知星为有效载荷平台的空间信息获取技术,并对其功能特点与应用价值进行了阐述. 相似文献