基于模型检查的民用飞机飞控系统安全性评估

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。     

国外战术导弹固体火箭发动机低易损性技术分析

评述了１９８５年以来国外低易损性和钝感技术的研究进展；分析对比了低易损性实验技术和小规模实验室试验方法；讨论了最近使用危险性评估协议的活动。此外，还介绍了低易损性固体发动机的设计技术，并对我国发展战术导弹固体发动机低易损性研究和设计的问题提出了建议。     

基于多维航迹特征的异常行为检测方法

在信息融合领域,利用数据挖掘中的异常检测技术,可以基于目标的多维航迹特征来挖掘目标的异常行为。现有轨迹异常检测方法主要检测目标的位置异常,没有充分利用目标的属性、类型、位置、速度和航向等多维特征,在挖掘目标的异常行为时具有局限性。通过定义多因素定向Hausdorff距离和构造多维度局部异常因子,提出了一种基于多维航迹特征的异常行为检测方法,通过对多维航迹数据的异常检测,实现对目标异常行为的挖掘。在仿真军事场景和真实的民用场景上进行了实验分析,所提方法都能有效的检测出目标的异常行为。     

远程网络教学组卷测试子系统的设计与实现

随着网络信息技术和计算机技术的飞速发展,远程教育作为一种新型教学方式日益完善,并且逐步发挥出巨大的作用。本文着重以《大学语文》远程网络系统组卷测试的设计和实现为例,介绍ADO和ASP技术在网络中的应用,以及系统组卷测试所特有的题型实现机制和方略。     

大气密度对降落伞充气性能的影响

尽管火星表面大气非常稀薄，但降落伞仍是火星探测着陆系统中一种重要的减速装置。文章建立了一个降落伞的充气动力学模型，并根据此模型研究了大气密度对降落伞充气性能的影响。结果表明：降落伞的充气时间和充气距离是随大气密度的减小而增大，同时，随着大气密度的减小，降落伞开始张开的速度变得非常缓慢。     

基于最小二乘拟合法的某型飞机航程计算的实现

通过最小二乘拟合多项式法将飞机的诺谟图函数化,从而进行飞机航程、续航时间的计算。实践证明这种方法有效地提高了航程计算的速度和精度,为飞行员快速对空中特情决策提供了有力的数据支持,降低了飞行事故率。     

一种电子模拟弹丸飞行时间的实现方法

介绍了为实现电子模拟运算弹丸飞行时间的数学模型,并以光学测距为例说明了距离比例尺的变换方法。然后运用加法器、倒相器和除法器等基本运算电路分析了弹丸飞行时间电子模拟运算的实现方法。采用这种连续变量与原型物理量相对应的电子模拟电路模拟运算弹丸飞行时间的方法,运算速度快、精度高、逻辑功能强,为瞄准具构成准确的总修正角创造了有利的条件。     

鸭式导弹舵翼面间距影响滚转的数值研究

鸭式导弹的横滚特性制约了鸭式导弹性能提升,其原因在于：固定尾翼鸭式导弹不能实现横滚控制。研究表明：对固定尾翼鸭式布局导弹,当鸭舵做副翼偏转进行滚转控制时,导弹上会产生数值很大的反向诱导滚转力矩,使鸭舵难以进行滚转控制。造成这一结果的原因很多,采用数值模拟方法研究鸭式布局导弹舵翼面间距对其横向特性的影响。     

月面巡视机器人快速安全路径规划

为提高月面巡视机器人自主探测任务的效率及安全性,提出了一种基于月面数字高程地图的大范围自主探测快速安全路径规划算法。首先根据获取的月面数字高程地图设计了一种地形可通过性分析方法,并生成了欧几里得距离地图（EDM）为安全路径规划提供参考。然后针对A^*算法解决月面巡视探测问题时搜索速度慢、未考虑路径安全性的问题,提出了FSA^*算法,改进了A^*算法的搜索机制以适用于月面大范围路径的快速搜索,并结合EDM地图设计了一种安全启发式函数,可使生成路径尽量远离危险区域,提高了巡视机器人自主探测过程的安全性。最后选取月球艾特肯盆地区域作为仿真场景,验证了该算法的有效性。     

安全约束下的空间翻滚目标涡流消旋稳定控制

针对空间翻滚目标涡流消旋任务执行效率低和抵近安全无保证的问题，首先基于椭球包络法给出了服务星机动轨迹的直接线性凸化安全约束，以确保机动过程的安全性和最优轨迹跟踪问题的有限时间可解性；设计了垂直构型下空间消旋任务的抵近期望轨迹以增强服务星消旋力矩的作用强度，缩短任务周期。在此基础上，提出了一种反馈线性化的收缩模型预测控制(FLC MPC)算法，有效跟踪所提出的期望轨迹，并严格保证安全约束及控制输入约束下受控系统的稳定性。最后，利用所提出的控制方法对阿丽亚娜 4火箭上面级进行消旋仿真，结果表明该方法能有效提高消旋效率，并保证服务星的安全稳定。