摘要
以作战单元为整体研究其可用性具有重要意义。提出了作战单元可用性分析的Petri网建模方法,建立了不同基本任务可靠性关系下的系统状态Petri网模型和以此为基础的复杂任务关系模型。研究了复杂维修保障过程模型的简化分析方法,推导了简单GSPN模型的可用度解析算法。最后,应用实例对模型的解析方法进行了验证。
It is very important to study the availability of combat unit.The system state Petri net models of basic mission reliability relation were constructed,and the complex model was built based on that.As for the simple GSPN model,arithmetic of combat unit availability was deduced and predigestion method of maintenance business process model was studied.At last,examples were studied to validate the arithmetic method.
出处
《系统仿真学报》
CAS
CSCD
北大核心
2010年第8期1970-1973,共4页
Journal of System Simulation
