全文获取类型
收费全文 | 12353篇 |
免费 | 1631篇 |
国内免费 | 1524篇 |
专业分类
航空 | 8711篇 |
航天技术 | 1932篇 |
综合类 | 1290篇 |
航天 | 3575篇 |
出版年
2024年 | 79篇 |
2023年 | 394篇 |
2022年 | 389篇 |
2021年 | 508篇 |
2020年 | 512篇 |
2019年 | 521篇 |
2018年 | 407篇 |
2017年 | 401篇 |
2016年 | 455篇 |
2015年 | 461篇 |
2014年 | 631篇 |
2013年 | 500篇 |
2012年 | 689篇 |
2011年 | 740篇 |
2010年 | 614篇 |
2009年 | 674篇 |
2008年 | 732篇 |
2007年 | 770篇 |
2006年 | 586篇 |
2005年 | 635篇 |
2004年 | 557篇 |
2003年 | 544篇 |
2002年 | 423篇 |
2001年 | 460篇 |
2000年 | 384篇 |
1999年 | 305篇 |
1998年 | 317篇 |
1997年 | 284篇 |
1996年 | 247篇 |
1995年 | 196篇 |
1994年 | 225篇 |
1993年 | 155篇 |
1992年 | 150篇 |
1991年 | 131篇 |
1990年 | 121篇 |
1989年 | 166篇 |
1988年 | 81篇 |
1987年 | 44篇 |
1986年 | 8篇 |
1985年 | 5篇 |
1984年 | 1篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1980年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
941.
942.
943.
Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。 相似文献
944.
946.
为了预测鱼类游泳问题的流动演变,开发了一种基于浸入边界格子玻尔兹曼方法的流动求解器.采用基于隐式边界力校正框架的灵活迭代算法降低计算成本和内存.在确定边界节点的速度修正后动量力由简单的直接力公式描述,无需复杂的积分计算.使用所提出的流动求解器,分析了鱼引起的动态失速涡与非定常流动中的传入涡之间的流体动力学相互作用.数值... 相似文献
947.
针对某型飞机发动机起动过程中火警信号灯亮进行排查,发现4F插销内部渗水,导致导线之间串电,引起火警控制盒发出信号,信号灯亮. 相似文献
948.
949.
950.
研究了以高精度为目的的航天器悬停系统控制设计.采用相对轨道要素描述目标航天器和跟踪航天器之间的相对运动模型,具有清晰的几何意义和较高的精度.为了实现高精度的相对位置和相对速度跟踪,提出了一种改进型重复控制方案,该方案利用重复控制能够精确跟踪目标信号的优点,并通过加入非奇异终端滑模控制器克服了传统重复控制器易受非周期干扰... 相似文献