全文获取类型
收费全文 | 1818篇 |
免费 | 404篇 |
国内免费 | 372篇 |
专业分类
航空 | 1320篇 |
航天技术 | 355篇 |
综合类 | 269篇 |
航天 | 650篇 |
出版年
2024年 | 7篇 |
2023年 | 17篇 |
2022年 | 55篇 |
2021年 | 64篇 |
2020年 | 86篇 |
2019年 | 62篇 |
2018年 | 65篇 |
2017年 | 74篇 |
2016年 | 82篇 |
2015年 | 79篇 |
2014年 | 113篇 |
2013年 | 125篇 |
2012年 | 131篇 |
2011年 | 146篇 |
2010年 | 139篇 |
2009年 | 135篇 |
2008年 | 100篇 |
2007年 | 123篇 |
2006年 | 125篇 |
2005年 | 104篇 |
2004年 | 73篇 |
2003年 | 70篇 |
2002年 | 99篇 |
2001年 | 67篇 |
2000年 | 57篇 |
1999年 | 57篇 |
1998年 | 53篇 |
1997年 | 44篇 |
1996年 | 47篇 |
1995年 | 42篇 |
1994年 | 29篇 |
1993年 | 18篇 |
1992年 | 21篇 |
1991年 | 25篇 |
1990年 | 12篇 |
1989年 | 14篇 |
1988年 | 9篇 |
1987年 | 8篇 |
1986年 | 7篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 3篇 |
1980年 | 2篇 |
1965年 | 1篇 |
1900年 | 1篇 |
排序方式: 共有2594条查询结果,搜索用时 15 毫秒
31.
32.
大曲率弯道和叶栅内的湍流数值模拟 总被引:3,自引:0,他引:3
本文在贴体曲线坐标系下应用非交错网格技术,发展了适于求解复杂流动的压力修正算法,采用速度的协变物理分量为动量方程的求解变量,推导得出一个适于任何曲线坐标系下控制单元体界面流通量的插值模式,可以有效地抑制不合理的波动压力场,计算表明,算法稳定收敛,计算值与试验值吻合良好,同时能预示通道内复杂的流动现象。 相似文献
33.
本文利用自适应区域方法调节机翼后每个Trefftz平面上的计算域,使得尾涡对这个计算域边界的影响足够小,从而提高了计算的精度和时间。考虑到间断面的影响,在尾涡面上引入有旋项对流场进行计算。椭圆载荷机翼计算表明本文计算结果与经典Betz理论一致。用本文方法对某轰炸机进行了计算,计算结果已用于预计其实际飞行的尾涡面。 相似文献
34.
35.
钢板弹簧作为汽车的重要部件,它的强度与刚度对汽车的性能影响很大。本文探讨了采用间隙元法对钢板弹簧进行了有限元分析的可能性,并且对变截面钢板弹簧设计计算所采用的公式进行了分析与讨论。 相似文献
36.
针对旋翼无人机在三维障碍物环境中自主飞行时路径搜索速度慢、轨迹生成通常忽略无人机动力学特性的问题,发展一种基于改进A^*算法并同时考虑无人机动力学特性和运动学性能的快速轨迹规划方法。首先,在三维障碍物环境中运用改进A^*算法通过剔除部分网格节点降低A^*算法的节点计算量,提升算法的路径搜索速度;其次,以最小化飞行轨迹的四阶导数作为目标函数,以路径点处的位置、速度、加速度等各阶导数作为约束条件优化飞行轨迹;最后,在三维障碍物环境中对比A^*算法改进前后的路径搜索结果,并对优化的飞行轨迹进行仿真飞行测试。结果表明:改进A^*算法大幅降低了A^*算法的节点计算量,显著提升了路径搜索速度;且无人机能够始终以较小位置误差沿优化轨迹光滑连续飞行。 相似文献
37.
运用油松分布的性质和二元泰勒级数展开方法,研究了初始处于下能级的级联三能级JC模型中的原子与两个初始相于辐射场的相互作用,得到了原子能级算符、光子数和偶极矩算符的平均值的近似解析解,与前人数值结果相比,更加明确地反映了系统的量子效应。 相似文献
38.
制造系统里所用的微处理器中,单片机只能做逻辑处理和简单数学计算,而数字信号处理器(DSP)可进行相当复杂的数学处理。本文概述DSP的数学原理及其技术特点,介绍了基于DSP智能控制器在制造业中实时测控系统的应用实例。 相似文献
39.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
40.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。 相似文献