摘要:
提出了装备基本任务单元可用度建模方法,建立了基于使能延迟机制的Petri网理论模型。基于ExSpect(executable specification tool)仿真语言的托肯时间戳延迟机制,通过模型转换建立了基本任务单元可用度分析仿真模型。应用模型研究了作战任务要求和维修力量配置对基本任务单元可用度的影响,分析了基本任务单元与单装可用度分析的差异,揭示了导致不同层次可用度综合差异的内在机理。结果表明,模型形象、直观,物理意义明确,具有通用性和可拓展性,是装备基本任务单元可用度分析的有力工具。
曲长征,于永利. 装备基本任务单元可用度Petri网仿真模型及应用[J]. Journal of Systems Engineering and Electronics, 2011, 33(6): 1265-1269.
QU Chang-zheng, YU Yong-li . Petri net simulation model of basic equipment task unit availability and its application[J]. Journal of Systems Engineering and Electronics, 2011, 33(6): 1265-1269.