基于任务单元模型的研发流程验证

为了解决研发流程设计与需求的不一致性问题,提出了一种基于任务单元模型和线性时序逻辑的研发流程验证方法.方法应用任务单元模型分解研发流程,采用Promela语言描述模型,线性时序逻辑表示抽象的研发过程规则,通过模型检测器Spin完成验证工作,从而实现了对流程正确性的判断.     

直升机主最低设备清单的确定

为提高民用直升机的利用率和经济性,可编制主最低设备清单(MMEL).根据AC313型机MMEL项目的经验,总结出民用直升机MMEL的确定逻辑决断程序,并探讨MMEL在军用直升机上的应用前景.     

基于模糊逻辑的软件项目风险评估方法

风险评估是软件项目风险管理的重要内容。利用成本估算模型中已有的专家知识和启发信息进行风险评估的RiskMethod方法是一种较优的风险分析方法，但是实际项目中存在的模糊性信息对分析数据的准确性影响较大，导致评估结果的可信度降低。将模糊逻辑应用于RiskMethod方法中，使用COCOMO II模型的成本驱动作为每个风险事件的对应驱动，将评估的输入量使用三角模糊数的方法模糊化成模糊输入量，将评估结果使用重心方法去模糊化成输出量，从而提出了基于模糊逻辑的软件项目风险评估方法，并通过实例说明了方法在实际项目中应用的可行性。     

Study on UAV Path Planning Approach Based on Fuzzy Virtual Force

This article proposes a novel fuzzy virtual force (FVF) method for unmanned aerial vehicle (UAV) path planning in complicated environment. An integrated mathematical model of UAV path planning based on virtual force (VF) is constructed and the corresponding optimal solving method under the given indicators is presented. Specifically, a fixed step method is developed to reduce computational cost and the reachable condition of path planning is proved. The Bayesian belief network and fuzzy logic reasoning theories are applied to setting the path planning parameters adaptively, which can reflect the battlefield situation dynamically and precisely. A new way of combining threats is proposed to solve the local minima problem completely. Simulation results prove the feasibility and usefulness of using FVF for UAV path planning. Performance comparisons between the FVF method and the A* search algorithm demonstrate that the proposed approach is fast enough to meet the real-time requirements of the online path planning problems.     

基于产品结构和CATIA的作战飞机易损性建模方法

介绍了作战飞机易损性建模的基本步骤和主要建模方法,分析了不同易损性建模方法的优点和不足,在此基础上,提出了一种基于产品结构和CATIA的易损性建模方法,该方法采用CATIA软件直接构建飞机的外形和部件模型,通过产品结构树对部件进行组织和管理,并利用CATIA二次开发在CATIA环境中直接生成三维射击线,有效提高了易损性模型的精度和易损性分析中各项操作的效率,为进一步的易损性定量计算提供了基础。以捕食者无人机为例,建立了全机易损性模型,生成了全机射击线,验证了文章所提方法的有效性和模型的可用性。     

基于可逆触发器的可逆移位寄存器设计方法

为了进一步提高可逆时序逻辑电路设计方法的通用性和改善可逆电路性能指标,以可逆主从D触发器为基本单元,通过将时钟信号及垃圾位信号级联再利用,提出了一种可逆串行移位寄存器优化设计方案。在此基础上,通过目标函数构造及变换构建带有移位控制的单元模块,设计了满足串行输入串/并行输出功能的n位可逆双向移位寄存器。设计结果表明,采用方法所设计的可逆移位寄存器具有较优的性能指标,且对于双向移位寄存器综合具有较好的通用性。     

基于代理模型的制导火箭炮发射诸元计算方法

针对制导火箭炮发射诸元的快速计算问题,提出了一种结合大样本数据和代理模型计算发射诸元的新方法。运用代理模型建立射角、无控弹道侧偏与炮位纬度、炮位高程、射向、射程、目标点高程及药温之间的函数关系,并根据射程和无控弹道侧偏的预测值对射向进行修正。仿真结果表明,高阶多项式响应面、相关函数为高斯函数的Kriging、高阶单项式径向基函数、核函数为高斯函数的最小二乘支持向量机、激活函数为正弦函数的超限学习机以及由上述单一代理模型构建的组合代理模型均具有较高的预测精度,各种单一代理模型对射角和无控弹道侧偏的预测时间均小于1 ms,证明了基于代理模型的射角和无控弹道侧偏预测方法切实可行,且通过对射向进行修正有效减小了由于地球自转引起的无控弹道侧偏。      

基于模糊自适应卡尔曼滤波的大气数据辅助姿态算法

 针对中低精度航姿参考系统(AHRS)在机体机动时不能利用加速度计修正水平姿态,以及噪声统计特性随实际工作情况变化的问题,提出了一种基于模糊自适应卡尔曼滤波的大气数据辅助姿态解算的方法。首先,考虑大气数据系统和航姿参考系统的优势,利用真空速、攻角和侧滑角等大气数据信息对非重力加速度进行补偿,以辅助水平姿态解算;其次,基于模糊自适应卡尔曼滤波原理,对观测模型的参数进行估计和修正,以实现水平姿态的最优估计;最后,选取某型飞机的试飞数据进行仿真验证。仿真结果表明,该方法可使飞机的水平姿态估计精度达到1.3°,且在偏差较大时有明显的纠偏作用。因此,相对于无机动加速度补偿和常规卡尔曼滤波来说,该方法能够更好地进行姿态估计,具有一定的实用价值。     

基于模糊数据挖掘的网络入侵检测模型

提出了一个基于模糊数据挖掘的入侵模型.异常检测的一个主要问题是正常模式随时间变化.如果一个实际的入侵行为稍有偏差就有可能与正常的模式相匹配,而异常检测系统则无法检测到这种入侵行为.为解决这个问题,本文利用模糊数据挖掘技术建立正常模式,并用一组模糊关联规则表示.在进行异常检测时,利用新的审计数据挖掘当前模糊关联规则,并计算其与正常模式的相似度,如相似度低于规定的阈值,使其产生入侵警报.最后,文中利用遗传算法优化模糊成员函数来选择其参数.     

红外热像仪在液体火箭发动机热试车中的应用

对红外热像仪在在液体火箭发动机热试车过程中的温度测量进行了研究,介绍了其测量原理和工作特点．总结了在试验过程中准确测量的操作要求。结合实践,提出了一系列对试验结果定性、定量的分析方法,能够有效的对推力室壁面温度场测量结果进行处理,得到推力室工作特性的相关信息。