基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

基于ExSpect领域模型库的装备维修机构仿真环境构建

应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库.该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率.在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定量分析,为维修保障建模、仿真提供了实用、高效的技术手段.     

装备训练网络化实现构想

从装备训练向网络化发展着眼,对装备训练网络化的指导思想、基本原则和特点进行了分析,给出了装备训练网络的总体结构,并就其功能进行了设计。对于我军装备训练网络化的实现具有一定的指导意义。     

基于可执行规格说明的维修机构建模与仿真

为分析维修机构的性能,采用基于赋时有色Petri网的可执行规格说明语言建立了维修机构模型。模型采用自顶而下逐层分解细化、组件重用和基于状态的Petri网建模方法,对维修机构进行维修资源分析,并对动态组成维修小组和维修过程的系统状态变化过程进行了详细描述,准确反映了维修机构的维修等待和资源竞争现象,同时将定量关系嵌入到描述模型中。通过模型执行,以动画显示系统状态的变化,分析系统性能。最后给出了一个建模与仿真实例。实例表明,基于可执行规格说明建模和仿真方法是研究维修机构运行的有效工具。     

阶段任务系统可靠性建模及仿真研究

阶段任务系统(PMS)是一种典型的复杂系统,包含了一系列具有时间连续且不相互覆盖的基本任务阶段,对其系统可靠性的评估是一项复杂的工作,国外已经开展了20多年。在对PMS的几种可靠性模型进行了讨论和分析的基础上,从系统效能的角度出发,从理论上给出了一种新的评估各阶段转换时间随机的PMS系统可靠性的模型,并通过计算机仿真进行了大量次的计算,最后对仿真结果进行了分析。     

基于随机Petri网的装备维修保障系统性能分析

考虑维修能力不足和备件短缺等因素, 定义了装备维修保障过程的广义排队时间、广义维修服务时间等的系统性能参数. 建立了基于随机Petri网的装备维修排队问题的形式化描述模型, 研究了模型的简化解析分析和仿真分析方法. 结合实例分析了改进系统性能的途径, 验证了解析方法的有效性. 研究表明, 提高维修小组能力和备件满足率是提高维修保障系统性能的有效途径.     

基于Petri网的作战单元状态模型及可用性分析

以作战单元为整体研究其可用性具有重要意义.提出了作战单元可用性分析的Petri网建模方法,建立了不同基本任务可靠性关系下的系统状态Petri网模型和以此为基础的复杂任务关系模型.研究了复杂维修保障过程模型的简化分析方法,推导了简单GSPN模型的可用度解析算法.最后,应用实例对模型的解析方法进行了验证.     

复杂系统使用任务完成概率模型

研究了任务期间允许换件修理时复杂系统的使用任务完成能力。对武器系统的使用任务进行分类。利用马尔可夫过程分析部件系统在特定维修保障策略下的状态转移过程,以部件系统固定任务时间内在正常状态停留时间的分布函数作为其任务完成概率模型,并通过全概率分解对任务完成概率进行求解。通过分析任务期间部件系统、装备、武器系统三者之间的任务可靠性关系进而得到复杂系统的任务完成概率。最后,运用数值计算的方法绘制了复杂系统任务完成概率随任务时间和工作量的变化曲线,讨论并分析了任务时间对任务完成概率的影响。     

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

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

Petri网维修事件仿真系统的HLA兼容性改造研究

通过对基于Petri网的维修事件仿真系统运行过程分析,确定其与外界的信息交换能力。开发了仿真对象模型（SOM）,并对其信息接口进行了改造。从而实现了Petri网仿真模型与RTI运行支撑环境的无缝连接。探讨了Petri网仿真模型改造为HLA成员的关键技术,为后续开发HLA环境下的Petri网仿真模型集成环境进行了初步的探索工作。