魏氏组织BT14合金应力松弛行为及微观机理

研究了魏氏组织BT14合金在200、400 和 600℃下的应力松弛行为,并通过应力松弛过程中微观组织的变化研究应力松弛的微观机理.研究表明,BT14 应力松弛存在应力松弛极限,松弛温度是决定应力松弛极限的主要因素,温度越高,应力松弛极限越低;在一定的温度下,应力松弛开始阶段对应较高的应力松弛速率,并随松弛时间的延长迅速降低,随温度升高,开始阶段的应力松弛速率也升高.根据应力松弛的特点,建立了BT14合金应力松弛方程.200 和 400℃应力松驰变形中,发现位错滑移带,这时应力松弛的微观机理为位错蠕变导致的微区塑性变形;600℃应力松驰变形中,发现亚晶界,其松弛机理为回复蠕变.     

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

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

考虑速度调节影响的进近空域容量评估

为了解决管制员在管理进近空域流量时出现实际流量低于理论流量的问题,根据运输类飞机适航标准和管制员调速规则和原则,提出了考虑下达指令时机的航段容量计算模型,由现行的进近空域结构能够发现进近空域是由多个航段连接形成了一个航路网络,根据历史统计数据得到的交通流比例,结合网络流中最大流最小割理论对进近空域容量进行评估。实例分析结果表明：在下达管制指令时间范围内,通过约束管制指令使航空器在同一减速点进行减速时,减速航段容量的最大值与最小值相差0.88架次/h,进近空域容量评估结果为：最大容量为43.79架次/h,最小容量为43.61架次/h;方法可以有效解决问题并且评估结果贴合运行实际容量。     

CMOS图像传感器在航天遥感中的应用

文章对互补金属氧化物半导体(CMOS)传感器的应用情况进行了综述,对CMOS传感器的优缺点与CCD进行了比较.通过计算CMOS遥感器的理论信噪比,证明CMOS传感器能满足航天遥感应用.     

对称导数的性质及定理

讨论了对称导数与导数、对称导数与连续、对称导数与可积的相关性质,利用这些性质给出了广义的微分中值定理,并由此推出泰勒公式。     

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

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

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

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

基于双磁阻传感器的场面移动目标检测算法

针对无线磁阻传感器网络的场面移动目标检测系统,提出了一种基于双磁阻传感器的状态互补融合检测算法。算法综合考虑了目标地磁信号的实际特征,将双传感器获取的地磁信号进行数据融合,以避免由于航空器地磁信号的不连续特征而导致的误检为多个目标。验证结果表明,算法较于改进的自适应阈值算法,大大提高了场面移动目标的检测准确率,且算法简单,运行速度快,可以应用在无线节点的微处理器中检测场面移动目标。     

橡胶O形密封圈的变形及应力分析

建立了橡胶O形密封圈多边界有摩擦接触问题的接触模型, 同时还根据多维应力蠕变理论的基本原理建立了橡胶类材料的应力松驰模型。在此基础上, 采用已有文献给出的大应变问题有限元法, 计算了橡胶O形密封圈在工作状态下的变形及应力分布规律, 从而为可靠地设计橡胶O形密封圈提供了理论依据。      

航空发动机鲁棒PI控制频域设计

针对航空发动机高、低压转速和压比控制回路,研究中考虑执行机构动态的高阶开环传递函数,根据推广到时滞系统的棱边定理,采用频域方法设计有参数不确定性的非精确模型的鲁棒PI控制器;并利用不确定范围内的发动机非线性模型构成的棱边系统和不确定系统族,验证了鲁棒控制器作用下的系统性能。仿真结果表明,该频域设计方法能使闭环系统的性能指标和鲁棒性均达标。