全文获取类型
收费全文 | 4738篇 |
免费 | 1285篇 |
国内免费 | 924篇 |
专业分类
航空 | 3728篇 |
航天技术 | 971篇 |
综合类 | 743篇 |
航天 | 1505篇 |
出版年
2024年 | 31篇 |
2023年 | 111篇 |
2022年 | 276篇 |
2021年 | 295篇 |
2020年 | 246篇 |
2019年 | 209篇 |
2018年 | 264篇 |
2017年 | 244篇 |
2016年 | 204篇 |
2015年 | 268篇 |
2014年 | 281篇 |
2013年 | 291篇 |
2012年 | 336篇 |
2011年 | 361篇 |
2010年 | 331篇 |
2009年 | 386篇 |
2008年 | 319篇 |
2007年 | 286篇 |
2006年 | 329篇 |
2005年 | 262篇 |
2004年 | 205篇 |
2003年 | 197篇 |
2002年 | 163篇 |
2001年 | 159篇 |
2000年 | 103篇 |
1999年 | 113篇 |
1998年 | 95篇 |
1997年 | 104篇 |
1996年 | 72篇 |
1995年 | 51篇 |
1994年 | 41篇 |
1993年 | 62篇 |
1992年 | 47篇 |
1991年 | 52篇 |
1990年 | 38篇 |
1989年 | 32篇 |
1988年 | 24篇 |
1987年 | 21篇 |
1986年 | 17篇 |
1985年 | 7篇 |
1984年 | 6篇 |
1982年 | 1篇 |
1981年 | 3篇 |
1980年 | 1篇 |
1965年 | 1篇 |
1900年 | 2篇 |
排序方式: 共有6947条查询结果,搜索用时 15 毫秒
101.
102.
103.
104.
105.
本组系列论文(I)-(Ⅴ)从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状,确立了无穷观背景世界的三分法原则,指出了两种穷观相互排斥的局限性,形成了统一两种无穷于同一框架中的基本观点,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。 相似文献
106.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
107.
本文对海洋平台在风、浪及海流等多种载荷组合作用下的可靠性进行了分析计算,采用优选随机载单元法进行结构数的随机域离散。文中的海洋平台算例结构表明了优选随机域单元法的高效性,以及在海洋工程的结构系统可靠性计算中的考虑载荷组合作用的必要性。 相似文献
108.
在《机械设计基础》课程教改中加强学生实践能力的培养 总被引:2,自引:0,他引:2
为加强学生实践能力的培养,切实提高教学质量,针对《机械设计基础》课程教学中存在的几个现实问题,提出了课程教学改革的意见。 相似文献
109.
本文介绍了一种基于微控制器控制,以GPS为主要导航手段,且基于多传感器信息融合的自主移动机器人导航系统的软硬件设计思想及实现方法。重点讨论了基于栅格法的导航算法在微控制器系统中的实现。最后给出了该导航系统在比较典型的环境中实现导航与避障的实验结果。 相似文献
110.