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

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

等应变模变薄拉延时的上限法研究

首次拟定了等应变模变薄拉延时的运动学容许速度场。根据上限原理,研究了等应变模变薄拉延时各变形工艺参数对冲头单位压力的作用。同时,结合最小能量原理,优化了重要工艺参数-凹模型线高度(H_opt)值。研究结果表明:变薄系数、加工硬化效应、变形体与凹模间的摩擦是决定冲头单位压力的主要因素;变薄系数、变形体与凹模间的摩擦和工件外形尺寸R_e值是确定H_opt值的决定性因素。黄铜H62和H68的实验结果表明:理论分析与实验结果比较一致。     

冠齿喷嘴射流冲击平直靶面对流换热实验

利用红外热像仪测试了冠齿喷嘴射流冲击平直靶面的对流换热特性,在射流雷诺数为5 000~20 000、冲击间距比为1~8范围内,与普通圆管射流进行了对比,并对冠齿数和冠齿长度的影响进行了初步分析。研究结果表明,冠齿射流冲击对流换热显著高于圆形射流,在小冲击间距下,冠齿射流冲击的局部对流换热系数分布在冲击驻点附近呈现明显的梅花瓣状特征,当射流冲击间距比达到4以后,冠齿射流的局部对流换热系数分布则呈现出常规圆形射流冲击的特征;以2倍或4倍射流直径作为区域平均范围,冠齿射流的区域平均努塞尔数相对圆形射流的增加幅度在15%~30%之间,相对增加幅度与射流雷诺数和射流冲击间距比相关;在本文的冠齿结构参数范围内,冠齿伸出长径比为0.6的6-冠齿结构取得的射流冲击强化传热效果较优。     

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

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

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

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

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

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

网络瞄准中的异步传感器空间配准算法

针对现有异步空间配准算法在目标机动时无法准确估计传感器系统误差的问题,研究了一种基于内插外推时间配准的异步传感器空间配准算法.该算法首先采用内插外推时间配准算法实现两传感器的数据同步,随后根据时间配准结果构建伪量测方程.不同于其他文献根据目标状态向量和时间差求解加权系数,从而构造与目标运动状态无关的伪量测方程的方法,该算法的伪量测方程构建过程与目标状态向量无关,且可以证明由时间配准结果构造的伪量测也与目标状态无关.因此该算法可有效解决目标机动条件下的异步传感器空间配准问题.仿真实验验证了该算法在目标作蛇形机动的条件下仍然可准确地对传感器的系统误差进行估计.     

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

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

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

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

一个大挠度柱面弯曲板条的求解

本文应用付宝连的大挠度弯曲直梁的功的互等定理,求解一个柱面弯曲板条的挠曲面方程.