全文获取类型
收费全文 | 8023篇 |
免费 | 1370篇 |
国内免费 | 1033篇 |
专业分类
航空 | 6133篇 |
航天技术 | 1367篇 |
综合类 | 1025篇 |
航天 | 1901篇 |
出版年
2024年 | 74篇 |
2023年 | 336篇 |
2022年 | 381篇 |
2021年 | 453篇 |
2020年 | 416篇 |
2019年 | 427篇 |
2018年 | 282篇 |
2017年 | 321篇 |
2016年 | 391篇 |
2015年 | 380篇 |
2014年 | 494篇 |
2013年 | 412篇 |
2012年 | 505篇 |
2011年 | 507篇 |
2010年 | 454篇 |
2009年 | 486篇 |
2008年 | 468篇 |
2007年 | 476篇 |
2006年 | 349篇 |
2005年 | 363篇 |
2004年 | 347篇 |
2003年 | 314篇 |
2002年 | 247篇 |
2001年 | 291篇 |
2000年 | 192篇 |
1999年 | 163篇 |
1998年 | 140篇 |
1997年 | 108篇 |
1996年 | 91篇 |
1995年 | 65篇 |
1994年 | 95篇 |
1993年 | 58篇 |
1992年 | 88篇 |
1991年 | 78篇 |
1990年 | 56篇 |
1989年 | 70篇 |
1988年 | 19篇 |
1987年 | 16篇 |
1986年 | 4篇 |
1985年 | 6篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
171.
施庆生 《南京航空航天大学学报》1996,28(6):800-805
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL。讨论了它的形式系统和语义解释,但未论及其完备性。本文对MTL系统作进一步的讨论。在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备。 相似文献
172.
郭鑫 《长沙航空职业技术学院学报》2007,7(2):27-29
高校音乐教育的育人功能主要体现在对大学生的品德、智力、身心、审美等多方面的影响与熏陶,促进大学生德智体美全面发展。高校音乐教育要充分发挥其育人功能,必须坚持“以人为本”,树立音乐教育大教育观,强化“以学生为本”的教学理念,倡导“音乐生活”观。 相似文献
173.
在时域内建立了直升机粘弹减摆器的非线性模型。该模型基于不可逆热力学原理,在线性滞弹性位移场(Anelastic displacement fields,ADFs)模型的基础上,通过一组材料状态变量函数引入了粘弹性材料的非线性特性;文中以硅橡胶为研究对象,在粘弹减摆器实际工作中比较典型的幅值和频率范围内,进行了简谐实验,并通过两位移幅值(0.1cm,0.6cm)的应变/应力滞迟回线直接进行模型参数识别。最后,通过与线化复模量、不同幅值的应变/应力的滞迟回线等实验数据比较,证实了本文模型具有较好的可靠性,为进一步研究直升机粘弹减摆器的性能和带减摆器的旋翼气弹分析奠定了基础。 相似文献
174.
火箭弹气动弹性发散计算研究 总被引:1,自引:0,他引:1
本文对火箭弹气动弹性发散计算进行了较详细的研究,包括与气动弹性发散计算方法有关的结构质量一刚度模型、气动升力模型和安全裕度要求等。 相似文献
175.
本文建立某型飞机Ⅱ梁框结构裂纹形成寿命NP 与裂纹扩展寿命N P 之间的可靠度模型 ,将安全寿命设计与损伤容限设计原理有机结合 ,计算了在给定结构可靠度下该型飞机机翼Ⅱ梁框的检修周期 相似文献
176.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
177.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。 相似文献
178.
本文用非定常数值法研究了钝体燃烧器后的紊流参数分布和能量逆转,并对Boussinesq的雷诺应力模式和双方程k-ε紊流模型提出了改进方案。这样不仅计算出了能量逆转区,而且紊流参数分布也与实验相符。 相似文献
179.
180.
确定投影空间维数和建立投影空间模型是计算机视觉领域中形态图计算时一个十分重要的基本问题,本文根据态图计算时特征视图拓扑结构等价的特点,指出轴测投影下的投影空间是二维空间,透视投影空间为三维空间,并分别了投影空间模型的建立方法,从而使复杂物体形科计算是简单可行。 相似文献