Petri网及ExSpect在任务可靠性仿真中的应用

任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本Petri网理论。并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之处。随后介绍以Petri网理论为基础的仿真软件-ExSpect的发展、组成及其语言特点。最后,列举当前已成功应用的五个仿真实例来验证ExSpect仿真软件在任务可靠性仿真方面的适用性。     

作战单元装备系统的需求量仿真模型

作战单元装备系统的需求量仿真模型,应用Petri网和ExSpect建立复杂任务的仿真模型.其步骤包括:定义约束环境及目标函数、借鉴运筹学中解决非线性规划问题的可行方向法对该模型的算法进行讨论.建立子任务需求量模型后,将每个子任务模型当作可调用模块.在进行复杂任务装备系统需求量仿真时,根据任务时间内的子任务系统可靠性模型选取不同模块.最后通过应用实例验证模型的可行性.     

基于Petri网的内燃机零部件设计生产效能计算与优化模型

内燃机零部件的设计生产效能是影响其计划任务按时、按质和按量完成的重要因素。本文分析了影响内燃机零部件的设计生产效能的综合因素，给出了确定其设计生产效能的一般过程，并基于Petri网建立了内燃机零部件的设计生产效能计算仿真模型。最后，针对具体实例进行分析和仿真，结果证明了模型的可用性和可信性。     

基于Petri网的作战单元任务可靠性仿真

现代战争要求充分发挥武器系统的整体作战效能,任务可靠性为武器系统作战效能的评估提供了依据。本文在分析作战单元任务可靠性仿真重要性以及Petri网技术优点的基础上,描述了作战单元复杂任务的构成及特点,建立了作战单元任务可靠性理论模型并明确仿真思路,利用Petri网技术,在ExSpect仿真环境下逐层构建了作战单元复杂任务可靠性仿真模型,最后针对具体实例进行仿真分析。实例结果表明,此模型可以有效的对作战单元任务可靠性进行仿真,对增强部队综合保障能力具有积极的意义。     

基于Petri网的采购业务流程建模及仿真优化

以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业务流程模型进行了时间定量分析,并利用ExSpect仿真软件模拟分析了原有采购流程及优化后流程的优劣。结果表明,通过应用信息技术和合理地选择供应商选择模式,提高了业务信息传递和处理的效率,缩短了采购周期。