全文获取类型
收费全文 | 10305篇 |
免费 | 1844篇 |
国内免费 | 1342篇 |
专业分类
航空 | 7956篇 |
航天技术 | 1756篇 |
综合类 | 1290篇 |
航天 | 2489篇 |
出版年
2024年 | 111篇 |
2023年 | 442篇 |
2022年 | 548篇 |
2021年 | 562篇 |
2020年 | 531篇 |
2019年 | 550篇 |
2018年 | 405篇 |
2017年 | 439篇 |
2016年 | 522篇 |
2015年 | 512篇 |
2014年 | 627篇 |
2013年 | 522篇 |
2012年 | 651篇 |
2011年 | 650篇 |
2010年 | 596篇 |
2009年 | 596篇 |
2008年 | 573篇 |
2007年 | 550篇 |
2006年 | 440篇 |
2005年 | 436篇 |
2004年 | 415篇 |
2003年 | 388篇 |
2002年 | 291篇 |
2001年 | 337篇 |
2000年 | 230篇 |
1999年 | 219篇 |
1998年 | 192篇 |
1997年 | 159篇 |
1996年 | 134篇 |
1995年 | 127篇 |
1994年 | 141篇 |
1993年 | 90篇 |
1992年 | 118篇 |
1991年 | 101篇 |
1990年 | 107篇 |
1989年 | 102篇 |
1988年 | 31篇 |
1987年 | 24篇 |
1986年 | 6篇 |
1985年 | 9篇 |
1984年 | 1篇 |
1983年 | 2篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
191.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
192.
本文用非定常数值法研究了钝体燃烧器后的紊流参数分布和能量逆转,并对Boussinesq的雷诺应力模式和双方程k-ε紊流模型提出了改进方案。这样不仅计算出了能量逆转区,而且紊流参数分布也与实验相符。 相似文献
193.
本文以运载火箭为例,阐述了通过传递函数(随机激振)求模态参数的方法。由传递函数的虚频、实频、相频曲线识别出固有频率、固有振型、模态阻尼比、模态刚度和横态质量等参数,并与传统的正弦调谐激振法求得的结果进行了比较,最后讨论了两种方法的优缺点。 相似文献
194.
195.
应用扩展连续算法研究推力矢量飞机动力学特性 总被引:2,自引:0,他引:2
应用扩展的分支和连续算法对推力矢量控制飞机的飞行运动力学特性进行了研究。与标准的分支和连续算法不同,扩展后的分支和连续算法可用于计算飞机特定配平状态的连续曲线,所以不仅能获得飞行性能指标,同时可确定飞机的稳定性。本中扩展分支和连续算法被用于检验推力矢量控制律的有效性,确定了飞行包线边界,分析了配平飞行的稳定性的操纵性以及预测飞行偏离。结果表明,扩展连续方法可获得大量的飞行动力学信息,在推力矢量控制飞机的初步设计中具有广泛的应用前景。 相似文献
196.
确定投影空间维数和建立投影空间模型是计算机视觉领域中形态图计算时一个十分重要的基本问题,本文根据态图计算时特征视图拓扑结构等价的特点,指出轴测投影下的投影空间是二维空间,透视投影空间为三维空间,并分别了投影空间模型的建立方法,从而使复杂物体形科计算是简单可行。 相似文献
197.
火箭竖立在发射台上时的地面风激振动载荷是火箭尾段结构的设计状态。本文是捆绑火箭的地面风激振动的风洞试验研究的部分结果。文中介绍了地面风载荷模型风洞试验的原理、模型相似要求,以及模拟试验技术、试验方法与数据处理等。并讨论了助推器、外表面突出物与鼓包不对称分布的影响等。 相似文献
198.
199.
一个基于故障树模型的诊断系统 总被引:3,自引:1,他引:3
提出一种基于故障树模型的诊断方法,并基于该方法实现了一个验证性的诊断系统。基于故障树的层次诊断模型,提出了确定性推理方法和可能性推理方法及面向故障树的基于框架和广义规则的混合知识表示方法。最后在COM-PAQ486微机上,Windows环境下,用borlandC++实现了该诊断系统,并通过对一个电路系统实验台的诊断验证了方法的有效性。 相似文献
200.
微波晶体管S参数的自动测试 ZXT-1自动实时巡回检测系统已在鞍钢运行并通过鉴定 总被引:1,自引:0,他引:1
简述了微波晶体管S参数自动测试的必要性和迫切性。重点阐述了提高测试精确度的原理,以及实现自动测试的几个关键问题和程序流程图。最后介绍了测试结果及误差分析。 相似文献