一种基于模型的系统设计方法

提出一种面向功能需求,基于模型的"V"型系统设计方法,通过图形化行为建模技术对系统功能进行分解,运用多种仿真和验证技术,在设计过程中实现对系统功能、行为以及与需求规范的一致性和完整性进行实时验证,及时发现并纠正错误,从而避免在产品的物理原型阶段或测试阶段才发现系统设计的错误.     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

战斗机隐蔽接敌轨迹优化方法

针对空战对抗的隐蔽作战需求,对战斗机隐蔽接敌方法进行研究。基于战斗机雷达反射截面积的动态特性建立雷达探测威胁模型;以空战态势参数为状态建立接敌引导模型;以给定目标发现概率为暴露阈值进行威胁约束;以最小化接敌过程中累积被发现概率为性能指标;将战斗机隐蔽接敌问题建模为隐蔽性约束下的最优控制问题。为保证算法的实时性和有效性,引入滚动时域控制策略进行在线优化,并采用高斯伪谱法进行数值求解。仿真实验表明,通过路径约束和性能指标双重约束,能有效增强战斗机接敌的隐蔽性,算法实时性能满足战斗机控制的需求。     

基于改进ADC法的防空体系打击效能评估分析

基于ADC法对防空导弹武器装备体系建立系统效能评估模型.针对防空导弹武器装备体系作战影响因素复杂的特点,拓展有效度模型进行多状态分析并构建多状态转移的可信赖度模型,合理简化系统状态以满足计算需求;通过组合指数法、模糊逻辑结构法等方法扩展能力模型.克服了传统ADC法状态评估简单、能力评估单一等问题.根据当前防空导弹武器典型逻辑结构进行建模,并通过算例进行系统效能评估验证、对比.     

模型参考自适应电传飞行控制系统纵向控制律设计

针对电传飞行控制系统中被控对象模型参数时变的特点,应用模型参考自适应控制方法设计纵向控制律。论述飞机纵向运动的动力学模型和参考模型的建立,以及基于此参考模型用超稳定性理论设计自适应控制律的方法,并且通过仿真试验进行控制性能验证。仿真结果表明,所设计的控制律可以根据飞行状态的不同自适应的调节控制律,控制性能指标满足飞行品质规范要求,设计方法可行。     

基于Petri网的仿真VV&A过程建模

对基于Petri网的仿真VV&A过程建模进行了研究,首先分析了VV&A过程的组成,建立了基于Petri网的VV&A过程模型,然后分阶段对VV&A过程进行了详细建模,分别建立了需求校核,概念模型验证,数学模型校核与验证、软件模型校核与验证以及系统确认阶段的Petri网模型.通过对基于Petri网的仿真VV&A过程建模为进一步将Petri网应用于仿真VV&A的辅助管理打下了基础.     

军事信息系统需求模型一致性检验方法

在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出了一套军事信息系统需求建模和一致性检验方法,该方法由军事信息系统需求概念本体、基于UML的军事信息系统需求建模方法,以及基于描述逻辑的军事信息系统需求模型推理验证技术3部分组成。该方法可以有效检验需求分析人员所构建的需求模型的语义是否正确,内容是否全面如实地反映用户要求,进而为系统后续建设提供参考和决策支持。     

信号处理与深度学习硬件加速的一致性计算结构

在计算需求层面对多种典型信号处理算法与深度学习算法进行了分析与模块化分解,提取了两类应用共有的且适合并行硬件加速的计算模块,提出了信号处理与深度学习的一致性计算模型,并基于一致性计算模型设计了控制与计算分离的层次化处理单元与阵列化计算结构。通过对不同应用计算过程的软件定义能够实现信号处理与深度学习的一致性硬件加速计算,基于Zynq计算平台从重构效率与计算性能两个方面对一致性计算模型与计算结构进行了验证,结果表明：基于一致性计算模型的软件定义可重构计算结构,具有较高的计算性能与重构效率。     

复合导引头多源异步信息融合精确拦截算法

针对单一制导体制难以满足现代战场作战需求且多传感器数据更新率不同步的问题,建立一种新的微惯导/毫米波/红外复合制导体制,研究了该体制下多传感器异步信息融合的时间同步和空间配准问题;提出一种自适应无迹卡尔曼滤波算法,该算法采用预测残差构造状态模型误差统计量,通过自适应因子调整状态模型信息对状态参数估值的贡献,有效控制状态模型噪声异常对状态参数估值的影响。将提出的算法应用到微惯导/毫米波/红外复合制导系统中进行仿真验证,结果表明,提出的自适应无迹卡尔曼滤波算法的解算精度高于标准扩展卡尔曼滤波和无迹卡尔曼滤波算法,能有效提高导弹的制导的解算精度。     

一种新的复合导引头多源异步信息融合精确拦截算法

针对单一制导体制难以满足现代战场作战需求，而多传感器数据更新率不同步的问题，建立一种新的微惯导/毫米波/红外复合制导体制，研究了该体制下多传感器异步信息融合的时间同步和空间配准问题；提出一种自适应Unscented卡尔曼滤波算法，该算法采用预测残差构造状态模型误差统计量，通过自适应因子调整状态模型信息对状态参数估值的贡献，有效控制状态模型噪声异常对状态参数估值的影响。将提出的算法应用到微惯导/毫米波/红外复合制导系统中进行仿真验证，结果表明，提出的自适应Unscented卡尔曼滤波算法的解算精度高于标准扩展卡尔曼滤波和Unscented卡尔曼滤波算法，能有效提高导弹的制导的解算精度。