基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

基于模糊逻辑的预测再入制导方法

在研究再入飞行器预测制导基础上,针对实时性要求,提出了一种基于模糊逻辑系统的模糊预测制导方法.首先研究分析了再入飞行器落点纵程与飞行高度、弹道倾角三者之间的联系;设计了以再入飞行器落点偏差和飞行高度为输入,弹道倾角角速度为输出的模糊逻辑系统;并在此基础上根据专家经验制定模糊规则,设计模糊预测制导算法.该方法避免了一般预测制导在形成弹道倾角修正指令时所需要的大量迭代运算,有效减小了预测制导指令的解算时间,为再入飞行器在再入过程中全程使用预测制导提供了可能.仿真结果表明:该方法实时性好,落点精度高,抗干扰能力强,且具有一定的工程实用价值.      

采用SMA驱动的小型空间磁悬浮飞轮锁紧机构

磁悬浮飞轮锁紧机构在卫星发射时锁紧飞轮,减小其振动和冲击载荷;在发射后解锁,保证飞轮正常工作.目前已有的以火工品或步进电机驱动的锁紧机构具有冲击大、体积较大、不可重复使用等缺点.提出了一种采用形状记忆合金(SMA, Shape Memory Alloy)驱动的空间磁悬浮飞轮锁紧机构的设计方案,并在Liang本构模型的基础上发展了机构驱动单元的设计方法.之后,完成了锁紧机构的样机研制和调试,并开展了地面的性能测试、振动试验和高温环境试验.研究结果表明:SMA锁紧机构安装体积小,在星载28 V电压下能在6 s内完全锁紧,在1 s内完全解锁,并能够通过振动和环境实验.SMA驱动的磁悬浮飞轮锁紧机构具有锁紧力大、同步性好、可重复使用、低冲击、无污染等优势,有很大的工程应用潜力.      

输入受限的编队卫星分布式姿态协同控制

研究了跟踪时变参考姿态情况下的编队飞行卫星协同控制问题,提出了一种非线性饱和的分布式协同控制器。在控制器中引入了一个双曲正切函数向量,保证了连续控制输入的有界性。采用Barbalat引理对姿态跟踪情况下闭环协同控制系统的稳定性进行了分析,得出了系统渐近稳定的结论。通过对各种条件下的仿真,验证了算法的有效性,并确立了编队卫星信息流图的拓扑结构和控制器增益等因素与暂态过程中相对姿态保持性能的关系。     

飞行员视觉信息流强度模拟及适人性分析

为了合理地确定飞行员在执行飞行任务时的视觉信息流强度,开发了飞机座舱显示界面仿真模型,以被试的正确反应率和反应时间来评价作业绩效.通过实验和数据分析得到以下结果:所建立的视觉信息流模型中视觉信息流强度曲线符合正态分布.不同的视觉信息量完成任务差异显著,信息量增加到一定程度时辨识变慢,出现错误的几率升高;在相同视觉信息量情况下,夜晚与白天、动态与静态执行任务辨识和绩效差异显著,白天要比夜晚、静态要比动态辨识效率和绩效更好.      

基于离散事件方法的AFDX建模与仿真

采用了建模仿真的方法来分析航空电子全双工交换式以太网(AFDX,Avionics Full Duplex switched ethernet)协议.通过对AFDX协议的抽象,基于离散事件的建模方法,以基本的网络元素来抽象化网络中的端系统、交换机等设备,以离散事件来描述网络设备的行为,以此构建了AFDX网络模型,并依据模型实现了仿真.网络演算是一种理论计算AFDX最坏延迟界限的方法,将典型场景下仿真得到的结果与理论计算的结果进行比较,验证了模型.通过不同流量方案下仿真结果的对比,对AFDX进行了传输特性的分析.      

基于增量模型的BTT导弹新型解耦补偿控制

详细分析了倾斜转弯(BTT, Bank-To-Turn)导弹传统动态逆控制的特点及其存在的问题,在此基础上提出了一种基于增量模型的BTT导弹解耦补偿控制方法.该方法通过建立一种描述从当前动态转移至期望动态的BTT导弹增量模型,消除了难以测量或不确定较大的模型部分;在此基础上结合动态逆控制思想设计了BTT导弹的增量式解耦跟踪控制律,与传统动态逆相比,该控制律对模型的依赖程度大幅降低;为进一步提高控制系统对干扰的适应性,提出了一种简单的干扰估计/补偿策略;最后通过数学仿真验证了该方法的有效性.     

Future of Space Astronomy: A global Road Map for the next decades

The use of space techniques continues to play a key role in the advance of astrophysics by providing access to the entire electromagnetic spectrum from radio to high energy γ rays. The increasing size, complexity and cost of large space observatories places a growing emphasis on international collaboration. Furthermore, combining existing and future datasets from space and “ground based” observatories is an emerging mode of powerful and relatively inexpensive research to address problems that can only be tackled by the application of large multi-wavelength observations. While the present set of astronomical facilities is impressive and covers the entire electromagnetic spectrum, with complementary space and “ground based” telescopes, the situation in the next 10–20 years is of critical concern. The James Webb Space Telescope (JWST), to be launched not earlier than 2018, is the only approved future major space astronomy mission. Other major highly recommended space astronomy missions, such as the Wide-field Infrared Survey Telescope (WFIRST), the International X-ray Observatory (IXO), Large Interferometer Space Antenna (LISA) and the Space Infrared Telescope for Cosmology and Astrophysics (SPICA), have yet to be approved for development.     

单轴台的大角度姿态快速机动联合控制方法

为验证小卫星大角度姿态快速机动与高精度稳定控制能力,基于单轴气浮台硬件仿真环境,提出了一种利用推力器与飞轮组合的联合控制策略.采用相平面控制技术与有限时间控制理论设计控制器,利用推力器实现无超调的快速机动控制,利用飞轮实现有限时间内的高精度稳定控制,使单轴台在有限时间内快速高精度稳定于目标姿态.物理仿真结果表明:该方法在有限时间内完成单轴台快速稳定控制的同时,可有效避免机动过程中的超调现象,且能有效规避推力器的频繁开关与飞轮的过快饱和等问题.     

直接敏感地平的空天飞行器惯性/天文组合方法

传统的惯性/天文位置组合导航系统中,由于天文定位观测输出耦合了水平观测平台基准误差,往往存在系统噪声与量测噪声不完全独立的问题.针对此问题,分析了利用天文观测量修正惯性系下陀螺漂移的原理,提出了一种直接敏感地平进行天文解析定位及组合滤波的空天飞行器自主导航定位方案,并建立了相应的组合滤波模型.所提出的方法采用星敏感器和陀螺仪构造惯性基准,并在此基础上进行基于红外地平仪的天文定位解算,最后进行惯性/天文组合定位.该方案充分利用了星光敏感器在惯性系下姿态测量精度高的优点,并使惯性/天文组合定位滤波中状态噪声和观测噪声完全独立,仿真结果验证了该定位方法的有效性.