中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

相对质心的动力学定理

本文研究了质点系相对质心的动力学问题，推证了相对质心的动量定理和动能定理，并通过例题阐述了它们的应用，最后结合已有的相对于质心的动量矩定理，总结了相对于质心的动力学定理的理论意义及其方法和范围。     

一种轮控卫星姿态机动变结构控制器

针对小卫星3轴反作用轮姿态控制系统的非线性特性,应用误差四元数来描述姿态运动,将星体大角度姿态机动问题转化为误差四元数的调节问题.利用误差四元数和误差角速度建立滑动模态,并基于Lyapunov定理推导出一种姿态机动的引入角加速度负反馈的变结构控制律.仿真结果表明,该控制律能够提高收敛速度,降低机动过程中角速度的超调量和对起始力矩的要求.同时,在模型参数不确定和有外干扰的情况下该控制律也具有全局稳定性和鲁棒性.      

空间飞行器姿态控制设计和鲁棒性分析

基于奇异摄动思想,将飞行器姿态控制系统分为慢变化的姿态角回路和快变化的角速度回路分别设计。每个回路的设计均采用精确线性化方法。对于内回路即角速度回路,考虑到飞行器转动惯量的参数摄动,应用小增益原理分析了系统的鲁棒稳定性。     

一种准确预测层合梁结构层间剪应力的新锯齿理论

层合梁是航空航天领域典型的承力构件,而过大的层间剪应力（层间处的横向剪应力）是导致其分层失效的主要原因。针对常见的层数较多的复合材料层合梁以及材料属性差异较大的三明治夹层梁,现有的理论模型仍然无法准确预测其横向剪应力。通过构造一个新的线性分段锯齿函数,提出了一种能够准确预测层合梁结构横向剪应力的新锯齿理论模型。几个典型的数值算例表明,本文提出的新锯齿理论模型在计算层数较多和材料属性差异较大的层合梁时,具有较高的计算精度,能够准确预测层合梁的分层。另外,该模型预先满足横向剪应力层间连续条件,无需三维平衡方程后处理就能够准确预测层合梁的横向剪应力。位移场中未知量个数少,不含横向位移的一阶导,便于C⁰梁单元的构造。     

基于领域的机器定理证明的研究

采用分类的思想,对领域内的证明问题进行了归纳总结、抽象,在计算机上建立了相应的模型,采用基于知识的推理技术,设计了机器定理证明的实现流程,并针对某种具体类型实现了相应的原型系统,得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

导弹非线性自适应鲁棒控制系统设计

提出了一种基于全调节RBF神经网络的导弹非线性自适应鲁棒控制系统的设计方法，应用全调节RBF神经网络在线辨识系统中存在的不确定性，利用反演和鲁棒控制技术设计了导弹控制系统，成功地处理了非匹配不确定性，并在虚拟控制中引入了微分阻尼项，有效地改善了系统动态性能。最后，应用Lyapunov稳定性理论推导出RBF神经网络各参数的调节律，并证明了系统状态全局渐近收敛于原点的一个邻域，仿真结果验证了该设计方法的有效性和可行性。     

分析二维导体电磁散射问题的FEM/POPTD方法——TE模(英文)

提出了一种分析计算带有裂缝的二维电大尺寸复杂导体目标电磁散射问题的混合方法—— FEM/ PO-PTD方法。该方法采用基于棱边的有限元法 ( Edge-basedFEM)为低频方法 ,物理光学法与物理绕射理论 ( PO-PTD)为高频方法 ,通过耦合技术将两者结合在一起。本文将该方法应用于带有缝隙的二维导电柱 TE模的电磁散射特性分析 ,计算结果与有关文献的数据一致性很好 ,从而验证了该方法的准确性。文中还给出了另外几种截面的导电柱体雷达截面的计算曲线。理论分析与计算结果表明 ,本文提出的混合方法与其他计算同类问题的方法相比 ,能节省计算机存储单元、提高计算速度     

对动矩心的动量矩定量的探讨

本文从动静法的角度，以牵连运动为平动的动点为矩心，根据惯性力的定义，引入质点牵连惯性力，成功地证明了动量矩定量，得出了动量矩定量的一般表达式，并对其结果进行了讨论。