全文获取类型
收费全文 | 7356篇 |
免费 | 1784篇 |
国内免费 | 1500篇 |
专业分类
航空 | 5279篇 |
航天技术 | 1818篇 |
综合类 | 1052篇 |
航天 | 2491篇 |
出版年
2024年 | 22篇 |
2023年 | 89篇 |
2022年 | 274篇 |
2021年 | 340篇 |
2020年 | 364篇 |
2019年 | 230篇 |
2018年 | 293篇 |
2017年 | 312篇 |
2016年 | 289篇 |
2015年 | 367篇 |
2014年 | 462篇 |
2013年 | 500篇 |
2012年 | 575篇 |
2011年 | 576篇 |
2010年 | 592篇 |
2009年 | 515篇 |
2008年 | 482篇 |
2007年 | 432篇 |
2006年 | 416篇 |
2005年 | 315篇 |
2004年 | 247篇 |
2003年 | 245篇 |
2002年 | 289篇 |
2001年 | 249篇 |
2000年 | 265篇 |
1999年 | 299篇 |
1998年 | 287篇 |
1997年 | 208篇 |
1996年 | 164篇 |
1995年 | 149篇 |
1994年 | 135篇 |
1993年 | 133篇 |
1992年 | 100篇 |
1991年 | 111篇 |
1990年 | 71篇 |
1989年 | 61篇 |
1988年 | 76篇 |
1987年 | 47篇 |
1986年 | 24篇 |
1985年 | 9篇 |
1984年 | 9篇 |
1983年 | 6篇 |
1982年 | 4篇 |
1981年 | 3篇 |
1965年 | 3篇 |
1900年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 46 毫秒
101.
102.
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。 相似文献
103.
104.
105.
106.
近年来,遗传算法的研究十分引人注目,作为一种新型的、模拟生物进化过程的随机化搜索和优化方法。其算法简单通用,鲁棒性强,在组合优化、机器学习、自适应控制和规划设计等领域的应用中已展现了其特色和魅力。该方法是一种不需要任何初始信息并可以寻求全局最优解的、高效的优化组合方法。文章就是利用遗传算法对某一电机控制系统的PID参数进行优化,以提高控制系统的性能指标。 相似文献
107.
编队飞行卫星群的轨道动力学特性与构形设计 总被引:20,自引:6,他引:20
编队飞行卫星群由一些相对距离近的小卫星组成,在严格的条件下,若干颗伴随卫星环绕一颗中心卫星作相对运动,相对轨道为特别性质的椭圆,本文研究了编队飞行卫星群的轨道动力学特性,提出了编队飞行的轨道构形设计的原则和方法。 相似文献
108.
基于Web方式下的信息管理系统的开发 总被引:1,自引:0,他引:1
本文介绍了一个基于Web方式下信息信息管理系统的开发实例,重点阐述了Web方式下信息管理系统的设计思想以及及关键技术的实现 相似文献
109.
DS1620芯片是一种新型的测量温度和调节温度的器件。它本身就是一个数字温度计,能够输出9位二进制的温度值;同时,借助其三个温度报警输出和控制信号,DS1620也可作为温度调节器使用。本文详细阐述了DS1620数字温度计/温度调节器的特点、结构和原理,并结合具体例子介绍了DS1620的应用。文中给出了相关电路和程序框图。 相似文献
110.