全文获取类型
收费全文 | 3927篇 |
免费 | 792篇 |
国内免费 | 968篇 |
专业分类
航空 | 3319篇 |
航天技术 | 780篇 |
综合类 | 526篇 |
航天 | 1062篇 |
出版年
2024年 | 16篇 |
2023年 | 85篇 |
2022年 | 167篇 |
2021年 | 170篇 |
2020年 | 148篇 |
2019年 | 176篇 |
2018年 | 164篇 |
2017年 | 202篇 |
2016年 | 239篇 |
2015年 | 207篇 |
2014年 | 272篇 |
2013年 | 254篇 |
2012年 | 322篇 |
2011年 | 396篇 |
2010年 | 265篇 |
2009年 | 274篇 |
2008年 | 211篇 |
2007年 | 281篇 |
2006年 | 259篇 |
2005年 | 188篇 |
2004年 | 178篇 |
2003年 | 147篇 |
2002年 | 136篇 |
2001年 | 111篇 |
2000年 | 106篇 |
1999年 | 94篇 |
1998年 | 99篇 |
1997年 | 83篇 |
1996年 | 72篇 |
1995年 | 56篇 |
1994年 | 72篇 |
1993年 | 49篇 |
1992年 | 40篇 |
1991年 | 38篇 |
1990年 | 30篇 |
1989年 | 29篇 |
1988年 | 30篇 |
1987年 | 13篇 |
1986年 | 8篇 |
排序方式: 共有5687条查询结果,搜索用时 15 毫秒
21.
基于软件文档可执行的想法,设计了一个适用于指称语义描述的可执行规范说明语言——JZC,并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念,使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试,JZC核心子集编译器的开发采用了该种方法,其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介JZC的语言特点,给出了编译器开发过程的一个描述框架和证明梗概 相似文献
22.
一种划分航空知识点类型的方法 总被引:1,自引:0,他引:1
基于航空知识提出一种划分知识点类型的方法,对各种知识点类型进行统计,给出知识点的存储结构。 相似文献
23.
24.
本文结合作者编制计算机辅助机械设计课程设计应用软件的经验,介绍了机械设计中计算机应用程序的构造、流程和数据处理方法,这些方法适用于计算量大、数据量多的设计过程。 相似文献
25.
讨论了用现代设计方法学理论确定总线式电子设备结构设计方案的方法 ,将现代设计方法学理论应用于结构设计 ,可以使设备结构设计更加合理 ,使电子设备更能适应新技术的发展和设计周期短 ,生产批量大的要求。 相似文献
26.
卫星星座系统多学科设计优化研究 总被引:4,自引:4,他引:4
分析了卫星星座系统设计包含的星座设计、卫星设计、发射选择等学科之间的耦合关系,特别是卫星各分系统之间的耦合关系,建立了包括发射费用分析、成本分析在内的卫星星座系统多学科分析模型。在此基础上,采用分布式协同进化MDO算法,将星座设计优化和卫星的设计优化在自治基础上充分协同,对一个同时包含离散/连续设计变量、需进行星座结构和参数同时优化的虚拟的海洋监视卫星星座系统进行了多学科设计优化。算法对离散设计变量采用二进制编码,连续设计变量采用实数编码,并分别采用相应的进化算子。采用最大长度编码,根据一定的规则确定基因的显性和隐性,来处理结构和参数同时优化引起的设计变量维数可变的问题。设计结果显示了多学科设计优化的优势和分布式协同进化MDO算法对卫星星座系统这样的复杂多学科设计优化问题的有效性. 相似文献
27.
28.
二次抛物线型面喷管参数的优化选择 总被引:1,自引:0,他引:1
二次抛物线型面是火箭发动机喷管较常用的一种型面,对其参数进行优化选择是必要的,在喷管型面长度和出口扩张半角确定的条件下,优化方法是把比冲作为目标函数,利用一维等熵流的气动力公式,二次抛物线型面的几何关系和计算机求极大值方法,确定达到比冲最佳值的设计变量一喷管初扩张角和出口马赫数。 相似文献
29.
大型复合材料结构优化设计方法研究 总被引:11,自引:2,他引:11
建立了适合于大型复合材料结构的优化设计方法,该方法在复合材料结构有限元分析的基础上对复合材料结构进行优化设计。在建立有限元模型时应用了区域划分技术,然后对结构分两级进行优化:第一级是对结构的铺层角度进行优化。第二级对结构的铺层厚度进行优化。最后,以工字梁结构为例,进行了算法验证。 相似文献
30.
基于MATLAB的现代优化算法在飞行器气动外形设计中的应用 总被引:4,自引:4,他引:4
本文发展了MATLAB语言环境下的现代优化算法,包括遗传算法、模拟退火算法和基于分支联赛选择的多目标遗传算法,并用来求解高超声速飞行器气动外形参数优化问题。所研究的气动外形为带控制舵飞行器和可变弯体飞行器。在MATLAB环境下,求解了最大化升阻比的单目标优化问题和具体有两个冲突目标(最小化铰链力矩并且最大化平均操纵效率)的多目标优化问题。实际算例表明,在快速有效的气动力分析方法辅助之下,本文所发展的MATLAB现代优化算法可以在飞行器初始设计中发挥作用。本文所提供的现代优化算法是对MATLAB优化工具箱的一个有益的扩展。 相似文献