基于Petri网的武器装备体系能力需求仿真验证方法

为了验证武器装备体系提供的作战能力能否满足作战任务的能力需求,提出了基于Petri网的武器装备体系能力需求仿真验证方法.首先研究了作战任务及其作战能力需求的形式化描述方法,然后对研究了武器装备体系作战能力的形式化描述方法,最后,研究了在考虑概率和资源冲突的情况下,如何构建基于Petri网的仿真模型.最后进行了案例分析,证明了该方法的可用性.     

基于Petri网的作战单元完好性仿真

作战单元完好性是最能综合反映作战单元使用与保障任务要求的参数之一,完好性的评价参数主要有完好率和使用可用度等。在对作战单元复杂任务和完好性参数进行分析的基础上,给出完好率和使用可用度的理论公式,分别分析基本任务和复杂任务下作战单元完好性的仿真方法并给出仿真流程图,应用Petri网技术在ExSpect仿真环境下分别建立基本任务和复杂任务下作战单元完好性的仿真模型,实现对完好性的评估。最后,针对自行火炮“靶场打靶”实例进行仿真分析和评估,验证了此模型的正确性和实用性。     

聚合级装备作战单元机动防空任务可靠性仿真

装备作战单元的任务可靠性是装备作战单元作战效能的一个重要因素,也是衡量装备作战单元其它性能的重要基础之一.采用平均故障间隔时间作为装备作战单元任务可靠性的评价参数,分析了聚合级装备作战单元的层次,剖析了其平均故障间隔时间的含义,给出了其在机动防空任务下平均故障间隔时间的仿真方法和仿真流程,应用Petri网技术在ExSpect仿真环境下建立了聚合级装备作战单元的任务可靠性仿真模型,实现对聚合级各层装备作战单元平均故障间隔时间的仿真.最后,通过实例,验证了模型的正确性和实用性.     

基于单元关系度技术的Petri网模型分解--动态制造联盟网状组织结构优化的基础

针对动态制造联盟最小完备单元图的随机Petri网模型，提出单元关系度分解技术，为求解网状结构的解析式运行指标建立了基础，通过提出单元关系度的概念，计算得到关系度序号，在单元关系度的基础上，按单元不同业务功能关系的优劣次序，将最小完备单元图的单元进行分组，然后，根据不同组内单元之间其原来关系的最高出现频次进行组间连接，最后得到了针对动态制造联盟复杂Petri网模型的分解结果，为优化和改进Petri网系统的运行提供了更直观的控制途径。     

基本作战单元任务持续性仿真度量模型研究

对基本作战单元层次的复杂装备系统进行了分析,对其装备群、保障系统、任务系统之间的关系进行了研究,根据其运行机理建立了基本作战单元任务持续性仿真度量模型,可以对基本作战单元的任务持续能力度量参数进行计算,进而可以时基本作战单元的任务持续能力进行分析和评估,最后给出了预警机基本作战单元应用案例,可以为装备研制、使用部门评估基本作战单元的任务持续能力提供理论依据和方法支持.     

随机Petri网在系统可用性分析中的应用

Petri网自1962年提出以来，倍受工业界和学术界的广泛关注。经过几十年的时间，Petri网的理论不断的完善，Petri网在各行业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发，讲述了随机Petir网模型（SPN）、广义随机Petri网模型（GSPN）和随机回报网模型（SRN）。然后以冗余备份系统为例，讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比，利用随机Petri网来建立系统可用性模型的优点。     

装备基本任务单元可用度Petri网仿真模型及应用

提出了装备基本任务单元可用度建模方法,建立了基于使能延迟机制的Petri网理论模型。基于ExSpect(executable specification tool)仿真语言的托肯时间戳延迟机制,通过模型转换建立了基本任务单元可用度分析仿真模型。应用模型研究了作战任务要求和维修力量配置对基本任务单元可用度的影响,分析了基本任务单元与单装可用度分析的差异,揭示了导致不同层次可用度综合差异的内在机理。结果表明,模型形象、直观,物理意义明确,具有通用性和可拓展性,是装备基本任务单元可用度分析的有力工具。     

预警卫星系统作战体系结构建模与验证

依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战事件跟踪(OV-6c)模型和作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。     

诊断多智能体重构过程的Petri网模型

为适应故障诊断中动态变化的环境和满足求解复杂系统全部任务的要求,本文以诊断决策问题的结构及建模过程的层次性为基本思想,提出用立体分层Petri网作为可视化建模支持工具支持嵌套式建模,研究了诊断系统重构的立体分层Petri网框架,并详细分析了诊断系统资源调度的Petri网模型、多智能体诊断系统重构的Petri网模型以及功能智能体执行重构的Petri网模型,全文通过实例说明了Petri网模型的设计方法,最后给出了立体分层Petri网模型的求解方法。     

着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.