基于SCPN的机场航班进离港流程建模与仿真

通过对航班进离港流程的分析,拟建立一种基于随机着色Petri网的机场航班进离港流程模型,设置其库所和变迁颜色集合得到航班的复合颜色,并赋予变迁不同的随机时间延迟函数,使模型更符合实际运行特点。在此模型基础上,以航班为仿真对象,在ServiceModel平台上实现了浦东国际机场航班进离港流程仿真系统。最后进行了大量的仿真试验,仿真结果较真实地再现了机场的实际运行情况,得出了航班进离港流程中的实际到达时间、跑道小时容量、停机位利用情况等关键指标,对于机场飞行区的规划设计以及其日常运行有重要参考价值。

基于SCPN的交通应急处置流程建模及性能分析

为了更好地利用信息技术支持应急管理,提高交通应急指挥系统救援效率,以路面塌陷事故为例,利用随机着色Petri网(SCPN)对其应急响应流程进行动态离散建模,根据同构的马尔可夫链(MC)分析模型的有效性,最后利用马尔可夫链及模糊数学的相关理论对交通应急指挥系统进行性能分析。结果表明:救援信息、交通路网动态信息、应急资源信息及时态控制信息反馈环节容易产生信息堆积,应提高综合监控的技术水平;专家决策制定出警预案、善后处理耗时较长,应作为流程优化的重点。

基于Petri网的GSM/GPRS性能分析

首先介绍了数字蜂窝移动通信中的语音通信业务,分析了语音通信各种行为所满足的分布函数。接下来建立基于Petri网的语音通信业务的模型,研究在3种通道共享机制控制下语音通信的性能。最后利用TimeNET工具对模型加以分析和讨论。

一种随机着色Petri网及模型的性能分析

针对随机Petri网(SPN)在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网(SCPN)。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时,也分析了随机着色Petri网用于建模和系统性能定量分析的方法。

组织决策过程的随机有色Petri网模型

随机有色 Petri网可为组织决策过程提供描述框架和分析手段。基于 SCPN的计算机图形建模仿真工具研究组织设计变量对组织决策效率的影响 ,这些变量包括决策人之间的协调结构、决策人偏好、决策方法、决策目标数、备选方案数等。仿真实例结果表明 ,决策人之间的协调结构对决策效率有明显的影响。

防空武器系统网络化协同交战建模与仿真

对网络化作战条件下,防空武器系统协同交战的过程进行了建模与仿真研究。首先综合运用IDEFO和IDEF3建立了系统的静态模型,然后通过提出一种随机着色Petri(SPN),建立了协同交战过程的动态仿真模型。建模仿真分析表明,上述建模仿真方法为多防空武器系统的集成与分析提供了一种行之有效的方法。