基于π演算的舰船作战任务流程建模

针对舰船作战任务流程仿真和任务成功性研究的需求,运用π演算理论,对舰船作战任务进行了元任务分解,确定了执行命令-条件-运行设备(command-condition-equipment,CCE)规则。在此基础上,研究了一种基于元任务的作战流程π演算形式化和基于CCE规则的元任务建模方法。利用该方法对潜艇鱼雷攻击过程进行了建模,并分析了任务过程的复杂并发性、不确定性和动态演化性。最后,使用MWB工具对所建模型进行了验证和推演,证明了该模型的正确性和有效性,为舰船作战任务流程建模和分析提供了一种新的技术途径。     

应用边界交叉法的高超声速滑翔飞行器多目标轨迹优化

针对高超声速滑翔飞行器复杂约束条件下多目标轨迹设计问题,基于边界交叉法和伪谱法提出多目标轨迹优化方法。分析高超声速滑翔飞行器复杂约束轨迹优化问题的特点,提出多目标轨迹优化问题。采用边界交叉法和伪谱法将多目标轨迹优化问题转化为一组单目标优化子问题,利用非线性规划算法分别求解。在优化过程中,将已求解子问题的解作为下一个子问题的初始值,求解最大横程和最小峰值热流轨迹优化问题。仿真结果表明:所提方法能够有效搜索到优化轨迹的Pareto前沿,可以为高超声速滑翔飞行器轨迹设计提供参考。     

绕带角点障碍物Stokes流动的边界元解法

对以带有角点区域边界为边界的外部无限域上的Stokes方程的Dirichlet问题，在利用单层位势求解时，不仅产生的第一类积分方程的核具有奇异性，而且积分方程的解在角点处也具有r^-1/2的奇异性。为了准确的反映这种奇异性，引入奇异边界单元，即在角点处采用特殊形式的形函数，探讨边界是带有角点区域的边界，求解区域是该边界外的无限区域上的Stokes方程的Dirichlet问题的边界元解法。该问题可以反映流体绕一形状不规则障碍物（含有角点）运动时的流场及压力分布。     

基于物元分析方法的防空导弹体系效能评估

为了适应未来防空导弹体系网络化体系发展需要,建立了防空导弹体系评估指标,并运用物元分析理论构造了评估模型,最后结合具体实例验证了此模型的可行性和实用性.该方法有效结合了定性与定量分析,且模型结构简单规范,为防空导弹体系评估提供了一种较为有效的方法和途径.     

一种SINS/CNS紧耦合组合导航信息融合方法

为了提高组合导航系统的定姿精度,介绍了一种松耦合组合模式的SINS/CNS组合导航信息融合方法的原理,提出了一种基于紧耦合组合模式的SINS/CNS组合导航信息融合方法,并对2种信息融合方法进行了仿真实验.仿真结果表明:和基于松耦合组合模式相比,基于深耦合组合模式的SINS/CNS组合导航信息融合方法的定姿精度有了明显提高.     

物元Petri网建模方法及其应用

传统Petri网理论难以处理具有多属性对象复杂离散系统的建模问题,物元Petri网结合了物元理论能够很好地解决这一问题,是值得进一步研究并应用的新的复杂离散系统建模方法。将物元Petri网定义成一个5元组,借用物元的概念定义了物元托肯,建立了物元Petri网理论的运算规则,提出了物元Petri网并发及冲突的分析方法,并给出了建模步骤。以某设备从拆卸到修复的维修过程建模为例,给出了物元Petri网理论的应用示例。示例表明了物元Petri网在具有多属性对象离散系统建模中的优势。     

基于二元语义群决策的油料供应站选址方法

针对油料供应站的选址决策问题，提出了一种基于二元语义群决策的选址方法。构建了油料供应站选址指标体系，在简要介绍二元语义概念的基础上，给出了基于二元语义群决策的油料供应站选址步骤，通过该方法可以得到以二元语义形式给出的油料供应站评价值。并通过实例说明了该选址方法的有效性。     

一种改进的高动态SINS姿态更新算法

为了提高捷联惯导姿态解算的精度,介绍了捷联惯导姿态更新的流程及常用方法,并提出了一种改进的等效旋转矢量姿态解算算法。对改进算法的姿态解算算法在低动态条件和高动态条件下分别进行了仿真实验,结果表明改进算法在低动态条件下的姿态解算精度和毕卡四元数法相当,在高动态条件下的姿态解算精度远高于传统毕卡四元数法。