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

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

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.     

一种电梯群控多目标调度方法

针对电梯群控系统层间交通模式下用户对电梯需求多样化的特点 ,提出了一种适用于繁重层间交通模式的多目标调度方法 ,并采用遗传算法动态优化电梯调度方案 .仿真实验表明这种电梯调度方法是有效的.     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

基于赋色Petri网的离散事件系统矩阵模型与仿真

一种新的离散事件系统（DES）矩阵状态方程和Petri网的标识转移方程相结合的矩阵模型给出了完整的DES动态描述。本文介绍了一种可动态修正Petri网关联矩阵系数的矩阵模型仿真框架，解决了路径选择和调度决策问题，使这种模型可以推广到用基于赋色Petri网描述的DES仿真。     

混杂Petri网在流程工业生产物流建模中的应用

在对某炼油厂生产过程分析研究的基础上，利用混杂Petri网对整个炼油厂的生产物流进行了仿真建模。该模型既包括了离散事件动态系统又包括了连续变量动态系统，更符合生产的实际情况。在该仿真模型的基础上，可以根据不同的优化目标对生产物流进行实时优化。最后介绍了仿真系统的模型框架并对仿真实例进行了说明。     

基于UML和Petri网的层次建模分析方法

提出一种新的UML和Petri网结合方式的建模分析方法。该方法采用从上到下的屡次分析方法，用扩展的UML模型对系统组织结构和系统的静态特征进行描述，用扩展的Petri网模型描述和分析系统动态特性，通过转化规则将Petri网模型转化成相应的状态图和序列图，然后集成所有的UML模型，通过Rational Rose等软件来实现代码。最后通过该方法，对一个FMS进行了建模分析。     

基于通信的列车控制系统的有色Petri网模型的研究

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN／Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台奠定了良好的基础。     

基于混合Petri网的HVDC控制系统模型的研究

高压直流输电(HighVoltageDirectCurrentTransmission,缩写为HVDC)控制系统是一典型离散事件和连续动态行为相互作用的混合系统,引入混合系统的有效建模工具:混合Petri网(HybridPetriNet缩写为HPN),根据HVDC控制系统的运行特性,采用HPN对HVDC控制系统进行建模。该模型将控制系统分成离散逻辑部分、连续动态部分和状态识别接口部分来描述。由离散逻辑部分进行协调HVDC运行方式的切换,连续动态部分进行实时调节,状态识别接口部分实现对系统状态的识别并驱动离散部分的改变。通过对结合国际大电网会议CIGRE标准系统的仿真,验证了基于HPN的HVDC控制系统模型在HVDC系统在正常及故障情况下均有良好的响应特性。     

离散事件系统的面向对象实时时态着色Petri网模型

提出了由记时面向对象着色Petri网为被控对象建模,用实时时态逻辑进行系统期望行为规范的实时离散事件系统面向对象实时时态着色Petri网模型.     

复杂建筑环境下电梯系统的快速仿真研究

高效的电梯仿真系统是研究电梯群智能控制策略的基础平台。在深入分析电梯运行轨迹和速度特征的基础上,提出了一种基于运行轨迹节点的电梯系统快速仿真技术,实现了不同客流强度、客流分布和层站高度等复杂建筑环境下的电梯多速度模式运行仿真。实例表明,该仿真系统在仿真效率上较传统仿真平台有明显的提高,为各种电梯群控制策略研究所需的大量仿真实验提供了优良的测试平台,具有较大的应用价值。     

基于Matlab的多速度模式电梯群控系统模型仿真

多速度模式运行是现代中高速电梯的重要特征，而运行仿真是电梯群控仿真研究的基本环节。应用面向对象技术和基于事件扫描的数字仿真技术，在通用的Matlab开发环境中实现了电梯的多速度模式仿真，为电梯群控策略的研究与开发提供了优良的基础平台。仿真实验引进了一种简单而新型的群控策略，仿真结果表明该仿真平台的实用性，具有一定的应用价值。     

连续/离散混合型制造系统的生产过程虚拟仿真建模

离散事件仿真建模被广泛应用于制造系统的设计及运行控制,但是很多制造系统兼有离散系统和连续系统的特点。提出一种将离散事件与连续系统结合起来的仿真建模方法,以支持动态展现这类制造系统的生产过程。该方法的主要思想是,主机内部的机构运动主要采用连续系统进行仿真建模,而主机之间的加工顺序则利用离散系统来构建其仿真模型,然后由统一的仿真管理器管理。论文详细描述了虚拟仿真引擎中的仿真时钟推动机制,并用这一方法建立了面向啤酒灌装生产线生产过程的虚拟仿真模型,说明了这一方法的可行性。     

具有时间约束的电梯节能调度算法

针对电梯节能问题, 提出电梯能耗损失计算方法, 构建具有时间约束的电梯节能调度模型, 应用粒子群算法(particle swarm optimization, PSO)分别对已知目标楼层和预测目标楼层两种情况的电梯节能调度问题进行建模和求解. 通过数值仿真分析, 从等待时间和能耗两方面比较了三种算法(最近服务原则(nearest car, NC)、已知目标楼层的粒子群算法和预测目标楼层的粒子群算法)的性能. 研究结果表明, 与NC算法相比, 在保证80%以上 乘客等待时间小于60s的情况下, 已知目标楼层的PSO算法可以实现系统节能18.2%; 预测目标楼层的PSO算法可以实现系统节 能9.6%. 随着等待时间约束的放宽, PSO算法可获得的节能比例显著增加. 目标楼层的准确性对节能调度具有重要影响, 已知目 标楼层的PSO算法会比预测目标楼层的PSO算法约多节能10%.     

描述离散动态系统的集合标识Petri网:STPNs

基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenSPetriNets,STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛盾.在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和结点函数等扩展.STPNs增强了Petri网描述离散事件动态系统(DEDS)的随机特性和控制特性的能力,能够作为用仿真技术研究大规模DEDS的有效建模工具.     

电梯系统动态固有频率计算方法及减振策略

通过建立电梯系统多自由度耦合振动方程,阐述了电梯运行过程中其各阶动态固有频率的求解方法,并以某台电梯作为实例进行分析,发现当轿厢运行至第17层高度的时候,系统第5阶固有频率非常接近曳引电机的转动频率。为了防止电机转子旋转失衡引发共振,建议调整电梯系统绳头弹簧的刚度以使系统固有频率避开共振频率。仿真和试验表明,这种措施能够有效抑制电梯系统的垂直振动。     

动态系统故障的混杂传播特征及建模方法

动态系统的故障传播过程是由离散事件、连续特性及其相互作用共同驱动的,具有显著的混杂特征,为故障规律认知与建模带来了较大的难度。现有研究将故障视为离散随机事件,分析由单元随机故障发生到系统失效的离散故障过程,却忽略了连续特性对故障传播的影响,本质上是对故障混杂传播的工程简化处理,不能真实地描述动态系统的故障规律。首先在分析动态系统故障规律的基础上,给出了离散与连续双维度下的动态系统故障混杂传播的定义,分析了其混杂影响要素以及混杂传播特征;其次,为了完整准确描述混杂特征,借鉴混杂理论在描述离散事件与连续参数相互作用方面的优势,提出了基于随机混杂自动机(stochastic hybrid automata,SHA)的故障混杂传播建模方法;最后通过对某温度控制系统的故障混杂传播过程进行建模和仿真,验证了动态系统故障传播过程中的混杂特征,以及建模方法的可行性。