某型舰炮补供弹过程的Petri网描述

为了实现某型舰炮补供弹过程的计算机仿真,以便于对炮手进行科学的模拟训练,基于Petri网理论研究了该炮补供弹过程的建模问题.在对补供弹过程进行了分析与构建了补供弹过程Petri网结构的基础上,将Petri网的变迁与具体操作相关联,与真实操作相一致,建立了基于Petri网行为模型,并对其作了详细的说明.该模型为进一步研究补供弹过程的仿真打下了理论基础.     

基于Petri网的虚拟维修培训规划技术研究

针对虚拟维修培训中可能存在不同培训任务的问题，建立了基于Petri网的培训任务规划模型，定义了Petri网广义变迁的扩展属性，提出了利用Petri子网来控制具体任务仿真的基本步骤；通过对变迁相关属性的合理编码，解决了从总体Petri网中提取Petri子网的问题，从而实现了Petri网对不同培训任务的可规划性。最后将结论应用于某齿轮减速箱的拆卸任务规划中，证明任务规划方法的有效性。     

模糊Petri网在某型舰炮系统故障诊断中的应用

用Petri网的变迁激活规则进行故障诊断推理,分析异常行为过程间的因果关系,根据变迁的可信度大小,找到一条最有可能产生已知故障的路径.以某改进型舰炮系统的一个实际故障诊断为例,针对其故障信息的不确定性和模糊性,给出模糊Petri网的故障诊断模型,结果表明该模型具有直观,知识表达能力强和易于推理的优点.     

基于事件的舰载机出动回收作业流程建模方法

为构建基于舰载机出动回收作业流程剖面分析规范化的合理逻辑模型,采用IDEF0设计框架及Petri网工具对其进行离散事件建模,搭建工程经验与仿真模型间的桥梁。根据工程经验,依照面向过程的IDEF0设计框架,理清舰载机出动回收作业流程中各组件系统间的信息交互和互操作关系,完成活动模型,以明确该流程中的事件触发规则和顺序,并根据活动对应变迁、信息流对应库所的原则,构建舰载机出动回收作业流程Petri网模型,形成工程研制者及仿真研发者均能接受的舰载机出动回收作业流程逻辑仿真模型,该Petri网模型也可直接应用于舰载机出动回收作业流程离散事件系统的功能仿真。     

Petri网在舰炮射击决策中的应用

针对在舰炮已装弹的情况下,攻击新目标时需要更换弹种的问题,以某型紧凑型舰炮的射击决策过程为研究对象,建立了相应的Petri网模型,使战术规则与变迁相关联,并对模型做了相关说明,最后对模型进行时延分析,论证了该舰炮中间弹仓的设计合理性。     

基于着色时间Petri网的装备维修资源确定方法

科学的确定装备维修资源对提高部队装备保障能力和战斗力具有重要的现实意义。针对以往确定维修资源方法中所存在的问题,在介绍着色时间Petri网基本原理的基础上,提出了一种基于着色时间Petri网的维修资源确定方法。阐述了通过着色时间Petri网来描述维修作业的时序关系和维修资源的种类关系,绘制装备维修的Petri网络图,构建关联矩阵和进行相关计算得到维修资源的基本思路和步骤。最后结合实例进行分析,结果表明该方法是有效的,具有较高的使用价值。     

基于Petri网的虚拟维修手部动素建模

针对虚拟维修仿真中手部动作仿真难度大、不容易控制的问题,提出基于Petri网手部维修动素模型,将虚拟维修手部动作根据维修操作封装为若干动素单元的组合,降低了仿真计算的难度,从而提高手部动作控制的精确性,以螺栓拆卸的手部动作建模过程为例进行验证。     

远程UUV指挥控制流程分层Petri网建模及延时分析

对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析。文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,将变迁引入时间参数,使模型具备对时间的描述和分析能力,并给出不同结构的延时计算方法。仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算,分析方法正确、适用性好,可为远程UUV指挥控制系统评价及完善提供参考和技术支持。     

远程UUV指挥控制流程分层Petri网建模及延时分析

对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析.文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,将变迁引入时间参数,使模型具备对时间的描述和分析能力,并给出不同结构的延时计算方法.仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算,分析方法正确、适用性好,可为远程UUV指挥控制系统评价及完善提供参考和技术支持.     

基于有色Petri网的虚拟维修过程建模技术研究

针对虚拟维修过程建模问题,建立一种基于有色Petri网的虚拟维修过程建模方法。在分析模型需求的基础上,基于有色Petri网理论,表达维修资源模型,描述维修操作之间的多种逻辑关系,并给出一般的建模步骤。引入资源库所的概念,解决模型表达中由于资源种类繁多造成的表达不清晰、难以理解的问题;定义一种"选择"变迁模型,丰富维修过程逻辑关系的表达方式。通过实例验证该建模方法的可行性和正确性。