全文获取类型
收费全文 | 7853篇 |
免费 | 1477篇 |
国内免费 | 1110篇 |
专业分类
航空 | 6194篇 |
航天技术 | 1371篇 |
综合类 | 966篇 |
航天 | 1909篇 |
出版年
2024年 | 78篇 |
2023年 | 401篇 |
2022年 | 463篇 |
2021年 | 483篇 |
2020年 | 446篇 |
2019年 | 472篇 |
2018年 | 309篇 |
2017年 | 357篇 |
2016年 | 409篇 |
2015年 | 412篇 |
2014年 | 509篇 |
2013年 | 438篇 |
2012年 | 518篇 |
2011年 | 526篇 |
2010年 | 471篇 |
2009年 | 485篇 |
2008年 | 440篇 |
2007年 | 453篇 |
2006年 | 336篇 |
2005年 | 314篇 |
2004年 | 296篇 |
2003年 | 278篇 |
2002年 | 209篇 |
2001年 | 247篇 |
2000年 | 167篇 |
1999年 | 147篇 |
1998年 | 116篇 |
1997年 | 93篇 |
1996年 | 84篇 |
1995年 | 51篇 |
1994年 | 84篇 |
1993年 | 49篇 |
1992年 | 77篇 |
1991年 | 65篇 |
1990年 | 51篇 |
1989年 | 61篇 |
1988年 | 18篇 |
1987年 | 14篇 |
1986年 | 4篇 |
1985年 | 6篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
151.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
152.
本文用非定常数值法研究了钝体燃烧器后的紊流参数分布和能量逆转,并对Boussinesq的雷诺应力模式和双方程k-ε紊流模型提出了改进方案。这样不仅计算出了能量逆转区,而且紊流参数分布也与实验相符。 相似文献
153.
154.
确定投影空间维数和建立投影空间模型是计算机视觉领域中形态图计算时一个十分重要的基本问题,本文根据态图计算时特征视图拓扑结构等价的特点,指出轴测投影下的投影空间是二维空间,透视投影空间为三维空间,并分别了投影空间模型的建立方法,从而使复杂物体形科计算是简单可行。 相似文献
155.
火箭竖立在发射台上时的地面风激振动载荷是火箭尾段结构的设计状态。本文是捆绑火箭的地面风激振动的风洞试验研究的部分结果。文中介绍了地面风载荷模型风洞试验的原理、模型相似要求,以及模拟试验技术、试验方法与数据处理等。并讨论了助推器、外表面突出物与鼓包不对称分布的影响等。 相似文献
156.
一个基于故障树模型的诊断系统 总被引:3,自引:1,他引:3
提出一种基于故障树模型的诊断方法,并基于该方法实现了一个验证性的诊断系统。基于故障树的层次诊断模型,提出了确定性推理方法和可能性推理方法及面向故障树的基于框架和广义规则的混合知识表示方法。最后在COM-PAQ486微机上,Windows环境下,用borlandC++实现了该诊断系统,并通过对一个电路系统实验台的诊断验证了方法的有效性。 相似文献
157.
季蓉芬 《运载火箭与返回技术》1995,16(1):66-81
本文介绍了地球扰动大气模型和建立该模型的方法。文中详细描述了该模型中,密度变化的各单个分量和风场变化的各单个分量,并给出了它们各自的计算公式。本大气扰动模型中包含了137个大气扰动状态方案,可供返回轨道计算、救生轨道计算和返回控制设计计算分别选用。 相似文献
158.
本文主要阐述了本实验室在参加由CNAS组织的湿度传感器能力验证活动中,当最终结果报告中出现临界值情况时,应采取的措施:包括分析误差的主要来源,制定相应的纠正措施,并验证结果的过程。 相似文献
159.
根据垂尾载荷校准及建模需求,对飞机V型外倾双垂尾结构受载情况进行了分析和简化,确定了校准试验载荷,研制了垂尾载荷校准试验专用龙门梁架。采用液压协调加载技术,完成了外倾双垂尾载荷校准试验,建立了满足测载要求的载荷模型。此种方法充分利用了左右垂尾外倾、双垂尾之间空间较大的特点,对左右垂尾对称施加向外的单点、多点载荷,加载载荷侧向分量左右自平衡,垂向分量依靠飞机自身重量即可平衡,飞机不需要复杂的固定与约束。试验中采用先搭建龙门框架,再停放飞机的方法,降低了试验风险、加快了试验进度,取得了良好的试验结果,对其他此类结构的载荷校准具有一定的借鉴作用。 相似文献