全文获取类型
收费全文 | 719篇 |
免费 | 173篇 |
国内免费 | 125篇 |
专业分类
航空 | 571篇 |
航天技术 | 143篇 |
综合类 | 65篇 |
航天 | 238篇 |
出版年
2024年 | 21篇 |
2023年 | 63篇 |
2022年 | 76篇 |
2021年 | 75篇 |
2020年 | 69篇 |
2019年 | 59篇 |
2018年 | 44篇 |
2017年 | 32篇 |
2016年 | 38篇 |
2015年 | 44篇 |
2014年 | 51篇 |
2013年 | 45篇 |
2012年 | 58篇 |
2011年 | 59篇 |
2010年 | 35篇 |
2009年 | 40篇 |
2008年 | 48篇 |
2007年 | 34篇 |
2006年 | 28篇 |
2005年 | 20篇 |
2004年 | 17篇 |
2003年 | 21篇 |
2002年 | 10篇 |
2001年 | 3篇 |
2000年 | 5篇 |
1999年 | 2篇 |
1998年 | 2篇 |
1997年 | 4篇 |
1996年 | 2篇 |
1995年 | 4篇 |
1994年 | 1篇 |
1993年 | 3篇 |
1990年 | 2篇 |
1989年 | 1篇 |
1988年 | 1篇 |
排序方式: 共有1017条查询结果,搜索用时 62 毫秒
11.
12.
13.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
14.
采用两种亚网格湍流燃烧模型,即化学建表方法结合假定概率密度模型和稀疏拉格朗日过滤密度函数方法,对高雷诺数湍流非预混火焰Flame D进行数值研究,定量比较不同亚网格模型的差异,并对火焰特征、污染生物生成特性进行分析。结果表明,两类亚网格燃烧模型预测的温度及大组分分布相近,稀疏拉格朗日过滤密度函数方法可以更好地模拟CO质量分数分布。不同的假定概率分布均可合理描述湍流与火焰的相互作用,之间的差别主要体现在NO分布,Dirac函数远高估了NO生成,而Top-hat函数则略低估了NO生成,Beta函数表现最优。Flame D的高温区及NO质量分数均主要分布在当量混合线及富燃侧附近。受高温伴流的影响,NO质量分数与温度一直保持高度正相关,峰值主要集中在标量耗散率很小的区域。不同截面上,反应物中的O_2和生成物中的H_2O均与NO高度相关。 相似文献
15.
16.
美国航宇局(NASA)著名的知识共享杂志——《问杂志》曾刊载了弗兰克J.瑟珀里纳撰写的《将"哈勃"成功的秘诀用于"星座"》一文,作者通过自己作为"哈勃"项目负责人的亲身经历,讲述了"哈勃"成功背后的故事,以鲜活的例子论航天系统工程之道。文中阐述的"哈勃"成功的四大要素,即体系架构的开发、新技术的在轨应用、着眼未来和协同合作,对于航天工程项目管理具有深刻的启示意义。 相似文献
17.
18.
小型固定翼无人机集群综述和未来发展综述 总被引:8,自引:6,他引:2
围绕小型固定翼无人机集群这一难度高、发展快、应用前景广阔、多学科交叉的新方向,从集群系统内涵、现有典型项目、关键技术3个角度综述了国内外小型固定翼无人机集群的研究现状。在系统梳理集群系统内涵和应用优势的基础上,从集群协同模式探索、分布指挥体系构建、核心关键技术突破和集群验证等4个视角总结现有典型项目,从体系架构、通信组网、决策与规划、飞机平台、集群飞行、集群安全与集群指控等7个核心点综述了技术研究现状。最后,综合小型固定翼无人机集群中亟需解决的关键技术,展望了这一领域未来的发展趋势。 相似文献
19.
20.