全文获取类型
收费全文 | 94篇 |
免费 | 19篇 |
国内免费 | 20篇 |
专业分类
航空 | 47篇 |
航天技术 | 20篇 |
综合类 | 14篇 |
航天 | 52篇 |
出版年
2023年 | 3篇 |
2022年 | 3篇 |
2021年 | 10篇 |
2020年 | 3篇 |
2019年 | 4篇 |
2017年 | 2篇 |
2016年 | 1篇 |
2015年 | 3篇 |
2014年 | 3篇 |
2013年 | 2篇 |
2012年 | 7篇 |
2011年 | 7篇 |
2010年 | 6篇 |
2009年 | 5篇 |
2008年 | 8篇 |
2007年 | 7篇 |
2006年 | 6篇 |
2005年 | 5篇 |
2004年 | 6篇 |
2003年 | 5篇 |
2002年 | 3篇 |
2001年 | 2篇 |
2000年 | 4篇 |
1997年 | 5篇 |
1996年 | 3篇 |
1995年 | 5篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 2篇 |
1991年 | 3篇 |
1990年 | 2篇 |
1989年 | 1篇 |
1988年 | 2篇 |
1986年 | 1篇 |
1983年 | 1篇 |
排序方式: 共有133条查询结果,搜索用时 31 毫秒
1.
2.
3.
4.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
5.
系统地回顾了含多处损伤MSD结构的损伤连通准则,指出采用Dugdale的片状塑性区尺寸的Swift韧带屈服准则对一般工程材料最为合适.对具有潜在危险性的典型的广泛MSD结构作了剩余强度分析,分析结果表明:广泛MSD大大地降低了结构的剩余强度. 相似文献
6.
7.
SCI网络拓扑结构的可生存性 总被引:1,自引:0,他引:1
从航空电子系统的需求出发,研究了适于航电系统的SCI(Scalable Coherent Interface)网络拓扑结构的可生存性.选择了由双节点或skip-a-node结构形式构成的网格形、蝶形等适于SCI网络的拓扑形式并构造了二种网络拓扑结构以便于不同结构的可生存性比较.同时考虑边及节点损坏的情况,利用图的邻接矩阵对网络连通关系进行了计算和分析,找到并印证了具有高可生存性的拓扑形式,同时发现相同结构下小环方向的改变对可生存性也有影响. 相似文献
8.
KM6水平舱舱门是为“人-船-服”热真空联合试验的任务要求而定的,是KM6水平舱人员进出舱内的重要通道。在KM6水平舱各舱体上设置相应的气压平衡装置,以使方形舱门能在真空条件下转动或平动开闭。舱门为方形转动或平动舱门,门轴装置采用双轴铰链机构,开启灵活,联动锁紧机构可靠,使得舱门法兰结构形成可靠的真空自位密封。结果表明:该舱门系统经受了KM6水平舱联合调试和“SZ-6神舟六号”飞船轨道舱泄复压试验的考验,各项技术指标均满足要求,实现了真空条件下的快速开启和有效的自位密封,达到了研制目的。 相似文献
9.
10.