着色Petri网的装备维修工艺建模

通过对装备维修工艺过程及其特点的分析,确定了基于Petri网建模方法的维修工艺优化过程模型。首先依据基本的维修拆卸规则和Petri网建模规则建立了工序Petri网模型,在此基础上以维修人员和通用维修机、工具为主要资源约束建立了维修工艺过程CPN模型。最后,通过装甲装备某部件维修的工艺过程仿真及数据分析确定了该建模方法的有效性和实用性。CPN较好地描述了装备维修工艺过程中的选择、冲突等事件,对指导维修工艺实践和工艺优化起到了积极的作用。     

基于Petri网的航班机坪保障指挥调度建模

为支持航班机坪保障指挥调度优化,提出基于Petri网的机坪保障指挥调度建模方法。构建包含服务线、模块和任务的机坪保障作业协调关联模型,实现保障过程的层次化分解;将保障作业任务分为单设备作业任务和多设备作业任务,给出其模块化赋时Petri网模型构造方法,并针对设备调派过程建模需要进行扩展;考虑作业任务之间的前置开始关联和前置结束关联两类关系,给出其对应Petri网模型之间的合成方法,并提出基于协调关联模型的保障作业指挥调度过程Petri网模型构造算法。以某航班机坪保障指挥调度建模为例,验证所给建模方法的有效性和适用性。     

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

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

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

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

基于任意分布随机Petri网的装备维修保障建模与分析

通过将任意分布随机Petri网的基本理论和算法应用到装备维修保障的建模与分析,建立了维修保障系统的任意随机Petri网模型,实现了随机Petri网中变换概率服从指数分布的限制.根据实际系统中相关数据的统计分析和经验估计,以便为利用矩姆函数分析方法对维修保障系统的性能进行分析,为维修保障决策层提供参考,获得了一些有价值的性能指标信息.     

基于模糊Petri网编队协同战术决策

为了解决在不确定环境下编队协同空战战术决策问题,将Petri网理论引入到编队协同空战分析中,依据决策规则的模糊性,结合具有图形描述能力的Petri网,提出利用模糊Petri网对编队协同空战战术决策进行建模,并对模型进行了仿真分析。仿真结果表明模型能够提高编队协同空战战术决策的智能化和自动化程度。     

CPN在导航装备维修保障效能中的应用

有色Petri网(CPN)作为目前离散动态系统建模中最活跃的建模工具之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用和理解.首先介绍了有色Petri网的一些基本知识,然后运用有色Petri网的建模理论对导航装备维修保障系统进行了描述和建模,并运用Design/CPN对具体实例进行了仿真实现,其维修保障效能结论证明了建模思想的可行性.     

基于扩展Petri网的防空C~4ISRK系统建模分析

针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据和思路。     

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

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

考虑资源约束的复杂维修任务时间预计模型

在分析装备维修过程时间影响因素的基础上,研究了维修过程时间模型的建模要素关系。采用Petri网技术建立了反映子任务基本关系、资源约束和调度策略的典型维修过程模型,并对典型子任务执行过程进行了细化建模,研究了模型冲突和资源调度策略。针对典型实例进行了维修时间预计和资源利用率分析。     

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

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

基于ExSpect的维修过程建模与仿真研究

应用ExSpect语言,采用自上而下的系统分析方法,建立了反映产品维修过程中的资源竞争、并发和同步关系的Petri网模型。最后进行了仿真实例研究和分析。     

模糊Petri网在装备保障指挥决策中的应用研究

针对装备保障指挥决策的非结构化特点,结合模糊Petri网的基本理论,建立了一类装备保障指挥决策的模糊Petri网模型(ZYFPN).给出了模型中模糊推理过程的形式化推理算法,算法考虑了推理过程中的众多约束条件,包括命题在规则中的权重、变迁触发的闲值、规则的可信度以及多结论规则等.以装备保障配置地域转移决策为例,描述了从决策问题分析到ZYFPN模型建立,以及基于矩阵运算的决策推理过程的相关问题.应用这一模型,可以提高基于规则的装备保障指挥辅助决策系统的设计、分析和维护效率.     

对象Petri网在反导防空体系建模中的应用

反导防空体系包含的对象多、作战过程复杂。Petri网模型综合了数据流、控制流和状态转移,能方便地描述系统的分布、并发、同步、异步、冲突等特性,既能表示系统的静态功能和结构,又能表现其执行、交互等动态行为。基于对象Petri网的建模仿真环境,采用面向过程和面向对象建模相结合的方法,能够很好地满足对反导防空体系的建模、仿真以及体系结构分析。     

基于GSPN的编队网络化防空指挥流程研究

为了提高编队指挥员在信息化海战中的作战指挥效率和应变能力,利用广义随机Petri网与马尔可夫链的等价关系,得到一种Petri网与马尔可夫链理论相结合的指挥流程时间性能分析的新方法,通过对模型进行分析与求解,得出了舰艇编队网络化防空作战指挥流程活动的准确作战周期,从而为指挥流程的优化提供有力的支撑,对评估系统效能水平也具有重要指导意义。     

基于过程建模的复杂装备虚拟维修训练仿真

针对复杂装备维修训练的特点，结合Petri网技术研究了维修作业过程的描述方法，建立了维修作业过程描述模型，可以清晰表达各维修作业间的逻辑关系、约束条件和维修保障资源的配置，引入时间概念也便于某些维修性分析工作的开展；基于此过程描述模型设计并开发了某型装备的虚拟维修训练系统，通过仿真实例，说明该系统可以有效地解决装备维修训练中存在的问题，具有一定的实用价值。     

具有优先级消息的AFDX建模与性能分析

以Petri网为工具,建立了基于具有优先级消息传输的AFDX(航空电子全双工以太网)网络模型,通过仿真,求解出消息发送时的平均等待时间,得到的指标结果验证了高优先级数据消息帧发送等待延时明显小于低优先级数据消息帧的发送等待延时,充分说明了优先级对紧急数据传输的重要性。模型有助于进一步理解航电系统不同优先级消息在AFDX网络中的传输机制,为以AFDX为总线的综合航电系统的设计和完善提供重要的理论依据。     

面向Agent的CPN及其在航天装备体系评价中的应用

为弥补Agent和Petri网在各自建模中的缺陷,分析了二者现有的几种结合方式,给出面向Agent的着色Petri网(AOCPN)的定义及其运行规则和分析方法。利用AOCPN建立了以海上目标监视和打击为任务的航天装备体系评价模型,对其逻辑特性和作战效能进行了分析。建模过程和仿真结果表明,AOCPN能够完整描述体系的逻辑和物理特性,可用于全面分析评价体系的性能和对作战结果的影响,有效追踪体系执行任务的过程。     

信息化条件装备战场维修资源保障问题研究

战场维修资源是实施战场抢修最重要的物质条件,借鉴美军装备"精确保障"理念思想,对信息化条件下装备战场维修资源保障问题进行了研究.通过分析信息、资源、效能三者关联关系和维修资源保障指挥管理过程,确定装备保障指挥管理系统功能模型.最后对支持战场维修资源保障系统的关键技术和相应建设对策展开探讨.