作战指挥工作流程建模方法

针对作战指挥工作流程的建模与仿真研究较少的现状,采用了基于高级Petri网的建模方法。首先在企业相关概念定义基础上,对建模对象———作战指挥工作流程进行了定义,简要介绍了Petri网建模方法的特点以及对基本Petri网的扩展,举例说明了4种过程机制映射到Petri网上的方法,提出结合树状组织结构图和资源管理表的方法扩展Petri网库所容量的含义及管理机制。     

装备研制中的Bayesian网及其应用

针对装备研制过程中产生的大量试验和调试数据,提出采用Bayesian网挖掘各组成单元间的依赖关系,并对Bayesian网学习中基于信息论的方法进行了改进,使确定网络拓扑结构的过程更加客观.学习得到Bayesian网后,分析了其在失效源判定和发现设计缺陷等方面的应用.     

基于Petri网的指挥流程建模与优化

鉴于Petri网在企业业务流程优化与重组方面的成功运用,遂将Petri网原理应用于作战指挥流程的建模与优化,以期获得最优作战指挥流程.文中首先阐述Petri网基本原理,然后介绍指挥流程建模的Petri网模型,最后给出指挥流程优化的原则及基本模型,并利用Petri网对指挥流程进行建模和优化,结果表明Petri网理论能够明显优化作战指挥流程.提高作战指挥效率.     

基于Petri网的空间信息支援反导作战指挥控制系统概念建模与分析

在构建空间信息支援反导作战指挥控制系统活动模型的基础上,从规划级、控制级和操作级3个层次规划了空间信息支援反导作战指挥控制系统的作战流程。为了有效地描述空间信息支援反导作战指挥控制系统作战流程中的信息传递和动态交互关系,运用Petri网方法对空间信息支援反导作战指挥控制系统的作战过程进行了概念建模,并利用可达标志图方法对所建Petri网模型的动态特性进行了分析。     

TPN在军事通信系统效能分析中的应用

Petri网是系统分析建模的有力工具.时间Petri网(TP-网或TPN)作为一种高级Petri网有着广泛的应用.首先简单介绍了时间Petri网的发展过程、基本组成,军事通信系统的效能评估的典型方法;然后根据Petri网建立了系统效能分析的动态模型和军事通信系统效能分析的TPN模型,并分析了该模型在军事通信系统效能分析中的优缺点.     

基于带优先级时间有色Petri网的装备维修过程模型研究

本文在分析维修过程中确定维修活动次序和选择维修资源常用规则的基础上,为时间有色Petri网的变迁规则增加了约束,提出了带优先级的时间有色Petri网的概念,并利用带优先级的时间有色Petri网进行了维修过程的仿真,仿真结果表明带优先级的时间有色Petri网能更好的模拟实际的维修过程。     

一种新型坦克火控系统建模方法

为全面、准确描述新型坦克火控系统逻辑层,提出了一种基于有色随机Petri网的新型坦克火控系统建模方法。首先研究了新型坦克火控系统的组成结构、信息结构与工作流程。然后对新型坦克火控系统进行了形式化的描述,并制定了其Petri网转化规则。最后建立了新型坦克火控系统的Petri网模型,并对其动态性能进行了分析。证明该方法可以有效对新型火控系统逻辑层建模。     

基于Petri网的电子对抗作战指控系统建模分析

针对电子对抗作战指控系统建模的现实需求,在分析电子对抗作战过程及其信息流程的基础上,运用Petri网建立了电子对抗作战指挥控制系统的模型,并依据相关理论分析了所建Petri网模型的动态特性。结果表明:运用Petri网技术建模能较为准确、有效地反映电子对抗作战的指挥控制流程,通过对所建模型动态特性的深入分析与研究,能找出影响系统效能的关键因素,并得出有益的结论,为下一步评价、完善电子对抗作战指挥控制系统提供了参考。     

基于对象Petri网的防空反导建模与仿真

针对防空反导要素多、过程复杂的特点,详细分析了导弹预警与防御拦截流程,结合对象Petri网建模方法,对防空反导建模中涉及到的关键节点、信息流、影响因素等要素进行分析,应用指挥控制、冲突处理等机制,自底向上建立防空反导的对象Petri网模型,并通过简单案例,初步验证了所用方法与模型对研究防空反导信息优势的可行性与适用性。     

FP GA软件测试过程及管理

船舶领域的FPGA软件测试严重滞后于应用增长的速度,部分型号甚至未将其纳入测试范畴。在研制过程中,由FPGA故障导致的修改调试已成为影响进度和增加成本的瓶颈。因此,针对FGPA软件特点及其测试的现状,对其测试过程、测试模型和过程管理进行研究,并给出完整的过程管理体系。通过采用规范化、有序化、系统化、面向工程的、面向任务的文档及配套管理手段进行正确引导、组织和实施测试活动,持续改进测试流程中各个阶段工作质量和效用,及早及时地发现和关闭开发过程中存在的缺陷,提高设计和测试的沟通效率,最终保证FPGA产品的质量,提升客户的满意度。     

基于Petri网的信息作战指挥协同流程建模与分析

信息作战指挥协同流程是影响其作战效能的重要因素。研究了信息作战指挥协同的基本内容,设计了信息作战指挥协同流程的框架,建立了基于Petri网的信息作战指挥协同流程模型,并利用仿真软件分析了模型的可用性、状态可达性、信息利用率等性能指标。结果表明,使用Petri网方法对信息作战指挥协同流程建模具有可行性。     

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

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

基于Petri网的装备维修保障指挥过程建模与性能优化分析

Petri网是一种非形式化的建模方法,具有严格的定义和强大的数学分析能力,适合对同步、并发、资源共享的系统建模。利用Petri网对战术装备维修保障指挥过程进行建模,可以快速准确的描述保障指挥的流程,进而可对指挥过程进行分析,找出影响系统效率的环节加以改造和优化。本文通过对保障指挥过程的分析,建立了基于Petri网的维修保障指挥过程模型,并依据模型进行合理化简,根据假设的实例数据对比分析了现有和简化后的指挥过程的平均延迟时间,从而为战术装备维修保障指挥过程的优化提供依据。     

基于Petri网的舰载机出库调度建模方法

舰载机出库作业调度效率是完成舰船作战效能的重要保证。分析了舰载机出库作业调度建模方法问题。基于Petri网技术理论,建立舰载机出库逻辑关系Petri网模型。基于机库内舰载机出库作业决策过程,建立舰载机出库作业四阶段决策的数学模型。最后给出优化算法流程并进行验证。     

模糊Petri网的自适应粒子群优化方法研究

模糊Petri网对专家知识库的模糊规则具有较强的表达能力,但其缺乏学习能力使得模型参数的确定较为困难,针对此问题提出一种适合于模糊Petri网参数确定的自适应粒子群优化算法。分析了模糊Petri网对专家知识库的模糊规则建模方法;研究了粒子群优化算法及其各种改进算法;在此基础上,提出适合于模糊Petri网参数确定的自适应粒子群优化算法。最后,以无向网络可靠性估计为例,通过实例分析并与基本粒子群优化算法进行比较,证明了所提方法的有效性和优越性。     

基于Petri网的潜艇CGF鱼雷攻击行为建模

为了实现潜艇对舰鱼雷攻击过程的计算机仿真,基于Petri网理论研究了潜艇鱼雷攻击过程的行为建模问题.在对潜艇鱼雷攻击过程的准离散化分析与构建了鱼雷攻击过程Petri网结构的基础上,将Petri网的变迁和潜艇鱼雷攻击过程的战术规则相关联,并提出了解决变迁冲突的方法,建立了基于Petri网行为模型.这种运用Petri网特有的可视化和以动态方式描述了潜艇鱼雷攻击过程的方法,有着坚实的数学基础,为进一步研究潜艇CGF鱼雷攻击自治行为规划打下了理论基础.     

一种模糊学习Petri网模型及其收敛性分析

Petri网是对具有产生式规则的故障诊断系统建模的有力工具,但其学习能力不强。以Petri网的基本定义为基础,结合模糊逻辑和Petri网模型,并在此基础上引入人工神经网络技术,定义了模糊学习Petri网模型。模型中的隐含库所和变迁将人工神经网络中隐含神经元内部信息处理过程明确化,然后对该模型提出一种逐层调整变迁阈值的训练算法,该算法通过逐层调整的方式来获取变迁的阈值,改善了网络的学习效率,并对算法的收敛性进行了证明。最后,以故障推理实例验证了算法的有效性与实用性。     

基于DoDAF与Petri网的预警卫星系统建模分析

预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。     

C3I系统仿真模型自动生成方法

根据活动模型在C3I系统中应用的广泛性、仿真模型生成的困难性,以及二者之间的相似性,提出一种间接生成Petri网仿真模型的方法,即首先建立活动模型,然后在此基础上生成可执行Petri网模型,从而简化仿真模型的建立过程.还简要介绍二者之间的转换规则,并给出应用实例.