全文获取类型
收费全文 | 5938篇 |
免费 | 1180篇 |
国内免费 | 1410篇 |
专业分类
航空 | 5110篇 |
航天技术 | 1403篇 |
综合类 | 904篇 |
航天 | 1111篇 |
出版年
2024年 | 19篇 |
2023年 | 113篇 |
2022年 | 235篇 |
2021年 | 298篇 |
2020年 | 328篇 |
2019年 | 369篇 |
2018年 | 339篇 |
2017年 | 354篇 |
2016年 | 389篇 |
2015年 | 374篇 |
2014年 | 458篇 |
2013年 | 353篇 |
2012年 | 452篇 |
2011年 | 483篇 |
2010年 | 389篇 |
2009年 | 397篇 |
2008年 | 346篇 |
2007年 | 376篇 |
2006年 | 310篇 |
2005年 | 281篇 |
2004年 | 240篇 |
2003年 | 251篇 |
2002年 | 172篇 |
2001年 | 158篇 |
2000年 | 154篇 |
1999年 | 140篇 |
1998年 | 107篇 |
1997年 | 82篇 |
1996年 | 80篇 |
1995年 | 74篇 |
1994年 | 82篇 |
1993年 | 65篇 |
1992年 | 62篇 |
1991年 | 64篇 |
1990年 | 46篇 |
1989年 | 37篇 |
1988年 | 38篇 |
1987年 | 10篇 |
1986年 | 3篇 |
排序方式: 共有8528条查询结果,搜索用时 15 毫秒
61.
62.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
63.
一个柔性化MIS系统的设计与开发 总被引:1,自引:0,他引:1
本文针对传统MIS系统的局限,提出了柔性化MIS系统的概念和定义。着重介绍了一个柔性化MIS系统NMS开发实例,介绍其设计思想和实现该系统柔性化所具备的支撑模块及这些模块的设计要点和功能等,还介绍了该系统的体系结构。在该系统中用户可以灵活地定义或修改数据模式,而且输入、输出、查询、修改、删除和统计等模块均为通用的,不因数据模式或系统功能的修改而变动源程序。源程序的中用户库名和所有条件成分均以参数或 相似文献
64.
65.
深层搅拌法技术及其工程应用 总被引:1,自引:0,他引:1
深层搅拌技术是对软土地基进行处理的较常用技术 ,它具有加固效果显著、形式灵活多样、环境无污染、施工机具简单、施工速度快、节省投资等优点 ,目前在地基处理和基坑工程中广泛采用。本文主要阐述该技术特点及在地基处理工程中的应用 ,对同类工程设计具有重要的参考价值。 相似文献
66.
考虑凝固收缩作用的凝固过程及其液相流动的有限元计算模型 总被引:1,自引:0,他引:1
当要考虑凝固收缩作用所带来的密度变化时,至今所得出的凝固过程及其液相流动数学模型在应用有限元方法进行计算机模拟时有困难。通过建立A变量及与速度的关系,提出了以固液两相区微元体守恒性分析为基础,建立了质量、动量、能量方程式。 相似文献
67.
卫星优化热设计方法 总被引:2,自引:0,他引:2
潘增富 《中国空间科学技术》1993,13(4):1-9
试图把最优化技术应用于卫星工程的热设计中,提出一种优化热设计的方法,并以14个节点模型作为实例进行了计算分析,采用Hooke-Jeeves 的直接搜索法得到了满意的结果。初步编制的计算机程序,可作为卫星热设计方案计算的基础。 相似文献
68.
冗余度机器人力控制的运动学稳定性分析 总被引:1,自引:0,他引:1
把非冗余度机器人位置/力混合控制方案引入到冗余度机器人,用线性化的动力学模型对其运动学稳定性进行分析,提出一种改进的基于运动学稳定的冗余度机器人混合控制策略。仿真研究结果证明了所提出方法的有效性。 相似文献
69.
针对新月形厚覆冰导线的升力系数在风攻角15°附近存在突变的问题,分别采用基于k-ωSST湍流模型的雷诺时均法和大涡模拟(LES)的数值方法对新月形厚覆冰导线在风攻角10°~20°范围进行了模拟。通过对比两种数值方法计算得到的覆冰导线气动力系数、流场结构和表面风压,发现LES方法能够更好地捕捉新月形覆冰导线表面的小尺度涡结构,得到的覆冰导线气动力参数计算结果与风洞试验数据高度吻合;而k-ωSST湍流模型难以模拟壁面上小尺度涡,捕捉不到升力系数的突变。根据覆冰导线不同壁面区域的压力分布,发现上侧壁面处的涡结构影响整体流场,并在下侧壁面曲率、来流夹角和壁面切线方向共同作用下导致升力系数突变。LES的气动力参数模拟结果可为覆冰导线防舞提供参考。 相似文献
70.
基于低矮建筑物实测数据的改进湍流物理模型 总被引:1,自引:0,他引:1
要准确模拟低矮建筑物壁面上分离涡位置的平均风压比较困难,这些区域在绕钝体流动中也是很关键的部位.本文在Spalart-Allamaras湍流物理模型的基础上,根据钝体绕流流场特性,结合低矮建筑物上的实测数据,调试并选取合适的参数,提高涡粘预测的准确性,提出了改进的S-A湍流物理模型.通过对6m立方体和Silsoe低矮建筑模型进行稳态数值模拟,由改进S-A湍流模型得到的屋面、背风和侧风面上平均风压结果,比目前公认的模拟钝体绕流效果较好的SST湍流模型有较大改善,比风洞实验更接近实测结果.由此可以看出,本文改进湍流模型的方法,将是一条提高预测建筑物表面平均风压精度很有效的途径. 相似文献