全文获取类型
收费全文 | 652篇 |
免费 | 109篇 |
国内免费 | 69篇 |
专业分类
航空 | 591篇 |
航天技术 | 70篇 |
综合类 | 91篇 |
航天 | 78篇 |
出版年
2024年 | 7篇 |
2023年 | 22篇 |
2022年 | 35篇 |
2021年 | 35篇 |
2020年 | 44篇 |
2019年 | 35篇 |
2018年 | 42篇 |
2017年 | 23篇 |
2016年 | 31篇 |
2015年 | 29篇 |
2014年 | 40篇 |
2013年 | 30篇 |
2012年 | 35篇 |
2011年 | 32篇 |
2010年 | 41篇 |
2009年 | 42篇 |
2008年 | 22篇 |
2007年 | 22篇 |
2006年 | 19篇 |
2005年 | 16篇 |
2004年 | 16篇 |
2003年 | 19篇 |
2002年 | 18篇 |
2001年 | 16篇 |
2000年 | 17篇 |
1999年 | 11篇 |
1998年 | 18篇 |
1997年 | 13篇 |
1996年 | 11篇 |
1995年 | 8篇 |
1994年 | 18篇 |
1993年 | 16篇 |
1992年 | 19篇 |
1991年 | 7篇 |
1990年 | 9篇 |
1989年 | 8篇 |
1987年 | 1篇 |
1986年 | 1篇 |
1985年 | 2篇 |
排序方式: 共有830条查询结果,搜索用时 187 毫秒
11.
12.
施庆生 《南京航空航天大学学报》1996,28(6):800-805
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL。讨论了它的形式系统和语义解释,但未论及其完备性。本文对MTL系统作进一步的讨论。在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备。 相似文献
13.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
14.
多模态逻辑作为模态逻辑的扩充,是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统,自创立后得到了很大发展,并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充,本文构造了一种基于中介逻辑的多模态逻辑系统MMK,讨论了它的推理规则和语义解释,并证明了MMK的可靠性和完备性,在此基础上给出了一种基于中介逻辑的时态逻辑系统MT,对它的可靠性和完备性进行了讨论。最后,分析了相应的经典多模态逻辑系统与MMK系统及经典时态逻辑系统和MT系统之间的关系。 相似文献
15.
本文提出以系统最大能量比率作为衡量轴系稳定性裕度的判据,和传统的对数衰减率与系统阻尼判据相比,该判据综合了系统所有模态的信息,考虑了特征值与特征向量的共同影响。最大能量比率较小的轴系具有较大的稳定性裕度;最大能量比率较大的轴系具有较小的稳定性裕度。探讨了特征向量在评估稳定性裕度的重要作用,指出了传统的对数衰减率与系统阻尼判据在评估轴承稳定性裕度时的局限性。作为应用实例,用最大能量比率判据考察了一模型转了轴承系统的稳定性裕度,并与用对数衰减率及系统阻尼判据所得结论进行了对比。结果表明,用本文提出的判据所得的结论与实际情况比较一致。此外,应用模型转子的计算结果,进一步阐明了对数衰减率与系统阻尼判据的共同不足是采集的信息太少。 相似文献
16.
在中介公理集合论系统(MS)中重新定义了良集的概念,讨论了它的性质。证明良集完全满足经典公理集合论系统(ZFC-:ZFC系统中去掉正则公理)的全部公理,且其配套的逻辑系统恰为中介逻辑的二值子系统FI*ML,说明整个经典数学也能奠基于MS之上,从而最终回答了中介数学与经典数学的包含关系问题。 相似文献
17.
《燃气涡轮试验与研究》2015,(6):14-20
通过对油滴变形和运动、油滴/腔壁碰撞过程质量和动量转移,以及二次油滴沉积的分析,在考虑油滴尺寸统计分布特征的情况下,建立了轴承腔中润滑油滴沉积过程中沉积质量和动量转移分析模型。探讨了油滴的变形特征和变形对油滴运行轨迹的影响,以及油滴变形和二次沉积效应对典型尺寸油滴沉积特性与润滑油滴沉积特性的影响。计算结果表明,由于变形后油滴所受阻力增加,运行轨迹更加弯曲;受气相介质影响,油滴无量纲长半轴和短半轴呈动态变化且变形量呈对称分布;一次沉积质量增加,一次动量转移减小;二次油滴沉积是润滑油沉积质量和动量转移的主要部分;相较于转子转速,密封进气量对油滴沉积质量的影响更大;动量转移量随着转子转速的升高而增大,而密封进气量的影响与之相反。 相似文献
18.
针对航空发动机圆柱滚子轴承在高速轻载条件下的打滑问题,开展试验与理论研究。基于滚动轴承打滑试验,探究内圈转速、径向载荷对轴承打滑特性的影响。同时考虑轴承工作径向游隙变化,求解滚子受力情况与轴承总力矩,并结合试验结果进行分析。研究表明,轴承内圈转速低于10 000 r/min时,径向载荷增大使轴承工作径向游隙增大,同时加剧轴承打滑程度。随着内圈转速升高,轴承工作径向游隙逐渐减小;存在内圈临界转速,此时轴承打滑率最大。不同径向载荷下内圈临界转速有所差别,本次试验所得内圈临界转速在7 000~8 000 r/min之间。轴承整体滚子的总力矩直接影响轴承打滑程度。 相似文献
19.
20.