全文获取类型
收费全文 | 93篇 |
免费 | 9篇 |
国内免费 | 15篇 |
专业分类
航空 | 53篇 |
航天技术 | 22篇 |
综合类 | 23篇 |
航天 | 19篇 |
出版年
2023年 | 1篇 |
2022年 | 1篇 |
2020年 | 3篇 |
2019年 | 2篇 |
2018年 | 2篇 |
2017年 | 1篇 |
2016年 | 3篇 |
2015年 | 5篇 |
2014年 | 2篇 |
2013年 | 1篇 |
2012年 | 7篇 |
2011年 | 8篇 |
2010年 | 3篇 |
2009年 | 4篇 |
2008年 | 3篇 |
2007年 | 6篇 |
2006年 | 6篇 |
2005年 | 4篇 |
2004年 | 2篇 |
2003年 | 3篇 |
2002年 | 7篇 |
2001年 | 5篇 |
2000年 | 4篇 |
1999年 | 3篇 |
1998年 | 4篇 |
1997年 | 3篇 |
1996年 | 3篇 |
1995年 | 5篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1991年 | 1篇 |
1990年 | 2篇 |
1989年 | 4篇 |
1987年 | 1篇 |
1986年 | 2篇 |
排序方式: 共有117条查询结果,搜索用时 15 毫秒
81.
中介谓词演算系统ME与ME之间的化归算法及其应用 总被引:1,自引:0,他引:1
在经典二值逻辑中,带等词的谓词演算系统F1与F1*的函词系统等价,在互推关系下这两个系统也等价,然而在中介逻辑中,带等词的中介谓词演算系统ME与ME*函词系统不等价,本文定理1指出,在互推关系下,任何ME*中的公式均可化为ME中的标准前束范式,因此在互推意义下两系统等价,在中介逻辑中,ME是一个较为特殊的子系统,它具有许多与二值逻辑相类似的性质,本文的结果为将这些性质进一步推广到ME*上提供了基础 相似文献
82.
本文研究了质点系相对质心的动力学问题,推证了相对质心的动量定理和动能定理,并通过例题阐述了它们的应用,最后结合已有的相对于质心的动量矩定理,总结了相对于质心的动力学定理的理论意义及其方法和范围。 相似文献
83.
一种轮控卫星姿态机动变结构控制器 总被引:1,自引:0,他引:1
针对小卫星3轴反作用轮姿态控制系统的非线性特性,应用误差四元数来描述姿态运动,将星体大角度姿态机动问题转化为误差四元数的调节问题.利用误差四元数和误差角速度建立滑动模态,并基于Lyapunov定理推导出一种姿态机动的引入角加速度负反馈的变结构控制律.仿真结果表明,该控制律能够提高收敛速度,降低机动过程中角速度的超调量和对起始力矩的要求.同时,在模型参数不确定和有外干扰的情况下该控制律也具有全局稳定性和鲁棒性. 相似文献
84.
基于奇异摄动思想,将飞行器姿态控制系统分为慢变化的姿态角回路和快变化的角速度回路分别设计。每个回路的设计均采用精确线性化方法。对于内回路即角速度回路,考虑到飞行器转动惯量的参数摄动,应用小增益原理分析了系统的鲁棒稳定性。 相似文献
85.
层合梁是航空航天领域典型的承力构件,而过大的层间剪应力(层间处的横向剪应力)是导致其分层失效的主要原因。针对常见的层数较多的复合材料层合梁以及材料属性差异较大的三明治夹层梁,现有的理论模型仍然无法准确预测其横向剪应力。通过构造一个新的线性分段锯齿函数,提出了一种能够准确预测层合梁结构横向剪应力的新锯齿理论模型。几个典型的数值算例表明,本文提出的新锯齿理论模型在计算层数较多和材料属性差异较大的层合梁时,具有较高的计算精度,能够准确预测层合梁的分层。另外,该模型预先满足横向剪应力层间连续条件,无需三维平衡方程后处理就能够准确预测层合梁的横向剪应力。位移场中未知量个数少,不含横向位移的一阶导,便于C0梁单元的构造。 相似文献
86.
87.
对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。 相似文献
88.
89.
提出了一种分析计算带有裂缝的二维电大尺寸复杂导体目标电磁散射问题的混合方法—— FEM/ PO-PTD方法。该方法采用基于棱边的有限元法 ( Edge-basedFEM)为低频方法 ,物理光学法与物理绕射理论 ( PO-PTD)为高频方法 ,通过耦合技术将两者结合在一起。本文将该方法应用于带有缝隙的二维导电柱 TE模的电磁散射特性分析 ,计算结果与有关文献的数据一致性很好 ,从而验证了该方法的准确性。文中还给出了另外几种截面的导电柱体雷达截面的计算曲线。理论分析与计算结果表明 ,本文提出的混合方法与其他计算同类问题的方法相比 ,能节省计算机存储单元、提高计算速度 相似文献
90.
本文从动静法的角度,以牵连运动为平动的动点为矩心,根据惯性力的定义,引入质点牵连惯性力,成功地证明了动量矩定量,得出了动量矩定量的一般表达式,并对其结果进行了讨论。 相似文献