基于Petri网的仓储物流系统建模与仿真

Petri网作为一种离散事件动态系统的建模和分析方法，提供了在逻辑时序下研究系统特性和性能的有效手段，并有图形方法的直观性和逻辑方法的概括性．运用Petri网对一个简化了的仓库物流系统进行建模，运用基于Petri网的仿真软件对其仓储系统进行了仿真，并简单地分析了仿真的运行结果，由此提出了一种物流系统实际运作的仿真方法．     

基于混杂CPN模型的交叉口交通系统仿真

提出了一种混杂着色Petri网建模实例,通过着色对交通系统对象分类,引入赋时机制增强了实时性能,通过首创的内外两层Petri网连接路口交通的离散和连续事件.最后在该CPN模型的基础上,给出了一种优化路口实时信号控制的策略.     

离散系统仿真建模形式理论研究

研究了动态系统的建模原理和运行机制，给出了动态系统的数学形式化表达的系统描述的层次结构，讨论了离散事件系统仿真建模的ＤＥＶＳ形式理论，研究了基于理论的仿真建模结构，根据系统理论概念、面向对象的思想和ＤＥＶＳ形式理论，提出向对象铁仿真建模框架，为研究新的仿真系统儿开发新的仿真语言提供了重要的理论依据。     

基于Petri网的模块化生产系统建模

针对模块化生产系统是一种结构组成多样,事件触发频繁,控制对象多,控制信息量大,系统结构复杂的典型的离散型动态系统,基于Petri网对模块化生产系统总体工艺路线进行建模,验证了所设计的总体工艺路线的可行性.同时提出了一种直接利用Petri网编写PLC程序的方法.     

基于虚拟现实的港口集装箱码头装卸系统仿真建模技术

以港口集装箱码头装卸系统为对象,对基于虚拟现实下的该系统仿真建模有关关键技术进行研究。针对港口集装箱码头装卸系统的离散性、随机性,采用面向对象和Petri网相结合的方法对系统进行复合建模,同时对系统进行了三维场景建模,并经系统复合模型实时驱动三维场景的动态显示,最终实现基于离散随机事件的港口集装箱码头装卸系统实时可视化、参数化仿真。将Petri网和面向对象两种建模方法结合起来用于现代港口物流系统的建模,即保持了面向对象建模中的优势,又很好地表达了系统事件之间的逻辑关系,同时又能利用Petri网模型中的数学分析方法对系统模型进行验证,与单纯使用其中一种建模方法相比有了很大改进,文中选用的可在微机上运行的虚拟现实仿真建模软件MultiGen较好地解决了复杂场景的实时生成问题。     

���е�·��ͨϵͳ�Ķ�̬�����Petri����ģ�����

城市道路交通系统是一个同时具有离散和连续动态,并包含大量随机不确定因素的动态系统,具有动态、并发及同步等特征.在目前交通状况日益复杂的情况下,其动态及随机不确定特性愈加明显.对城市道路交通系统进行建模分析,是深入了解交通状况、进行交通诱导及控制的关键.本文在基本Petri网的基础上,将广义随机Petri网(GSPN)与交通流概念相结合,建立了符合交通流概念的动态流随机Petri网(FSPN)模型.该模型可以很好地描述城市道路交通流的动态及随机特性,并能对城市道路交通系统中的某些随机现象作出很好的解析描述.文中针对四相位十字交叉口给出了动态流随机Petri网建模实例;活性分析表明,该模型能有效避免系统并发性带来的死锁现象.最后仿真运行分析和性能分析进一步证明了动态流随机Petri网的有效性.     

���ھ��λ����Զ����Ľ���ڽ�ģ���ɴ��Է���

针对交通网络中交叉口车流具有连续时间特性,动态信号灯的切换具有离散事件特性的情况,以四相位单交叉口为对象,考虑车辆到达的随机性,以微分包含的形式描述车辆达到率,建立了一个四相位交叉口的矩形混杂自动机模型。该模型中以车辆排队长度为连续状态变量描述连续车流动态,以信号灯状态为离散状态变量描述离散信号灯动态。在该模型基础上,分析了交叉口各个方向的输入、输出车流动态,采用矩形混杂自动机可达性分析方法详细分析了车辆排队长度的可达集,使用CheckMate 3.6 工具箱进行仿真。仿真结果表明矩形混杂自动机模型和可达性分析方法的有效性,不仅能够刻画交叉口车流的动态混杂特性,而且能够验证信号灯配时方案对车流疏导是否有效,为信号灯配时设计提供一种检验方法。     

电磁系统动态特性的分析

介绍了用数值计算方法计算电磁系统动态特性的原理与方法，并开发了一套电算程序，利用该程序可以简便、准确地同电磁系统的动态特性。     

基于赋时着色Petri网的木材柔性加工系统的建模与重构

以Petri网为建模工具,针对木材柔性加工系统(Wood Flexible Manufacturing System,WFMS)中的离散事件建立赋时着色Petri网(Timed Colored Petri-net,TCPN)模型.该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的特性进行描述,还能够根据生产任务的变化进行快速重构.应用软件对该模型进行仿真,结果表明该模型是有效的.根据仿真结果,对系统进行简单的优化调度,提高了机床的利用率.     

基于赋时着色Petri网的木材柔性加工系统的建模与重构

以Petri网为建模工具,针对木材柔性加工系统（Wood Flexible Manufacturing System,WFMS）中的离散事件建立赋时着色Petfi网（Timed Colored Petfi—net,TCPN）模型．该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的特性进行描述,还能够根据生产任务的变化进行快速重构．应用软件对该模型进行仿真,结果表明该模型是有效的．根据仿真结果,对系统进行简单的优化调度,提高了机床的利用率．     

智能型工程图库管理系统的设计及Petri网建模

随着现代企业生产设计的飞速发展，日积月累的大量工程图纸面临保存，分类和归档的难题，因而建立智能型工程图管理系统呼之欲出。相对于传统的纸张库存，电子化的存储方式是唯一可靠的永久保存方案，对图档的设计、修改和再利用提供了有效的手段。文中重点探讨了智能型工程图库管理系统的设计思想和实现方法，并讨论了其Ｐｅｔｒｉ网建模。     

面向冲突避免的航空器场面滑行引导方法

为避免大型高密度机场航空器之间可能发生的冲突,提出了一种基于混杂系统结构的滑行引导方案.建立了航空器滑行连续动力学模型和航空器在滑行道直线段、交叉口运行的离散事件动态系统模型,通过场面运行观测器建立了连续状态到离散状态的映射.采用禁止状态线性不等式约束和禁止状态逻辑互斥约束,描述场面运行模型应遵循的控制规范,并给出满足控制规范的离散控制器设计方法.最后建立了运行模型中可控变迁的使能状态到场面冲突控制策略的映射.通过助航灯光沙盘控制系统的验证表明,该滑行引导方法能及时对可能冲突的航空器采取恰当的控制策略,并实时生成航空器滑行操纵指令,能有效避免航空器滑行冲突.     

����ɫPetri����������ͨ�ŵ� �г� ����ϵͳ�IJ��ģ��

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

不确定多包传输网络控制系统的分析与设计

针对短时延的多包传输网络控制系统,研究了数据包传输次序不确定情况下系统的建模及控制问题.引入了补偿器来补偿多包传输过程中部分数据丢失对系统的影响,同时考虑不确定短时延的影响,将其建模成一类具有参数不确定的离散随机切换系统,并对系统的稳定性进行了分析.仿真结果证明了该方法的有效性.     

动态系统故障诊断的未知输入观测器组方法

介绍了动态系统故障诊断的未知输入观测器组方法的原理和设计步骤,对于线性离散定常系统,详细推导了基于矩阵束的克罗内克尔标准形变换的观测器设计算法,所得观测器对于指定故障敏感,对其他未知输入解耦,重复该设计过程,可得到观测器组,实现鲁棒的动态系统故障检测和分离,最后讨论了设计方法的有关问题。     

混杂系统稳定性条件扩展及等价分析

分析混杂系统的稳定性,将经典Lyapunov稳定性理论进行了扩展,给出了一类切换混杂系统的稳定性判据.基于此稳定性判据给出了特定形式的Lyapunov函数,并把系统稳定性问题等价转化为了线性矩阵不等式的求解问题,为准确判断混杂动态系统的稳定性提供了依据.通过仿真实例验证了结论的正确性以及分析方法的有效性.     

一种大型带状数字地形模型建模方法

根据铁路选线系统海量地形数据的特点，以快速、自动为目标，通过在构网建模过程中对空白区域和分块边界的处理，综合利用图形子区边界提取、异侧找点、最短距离等原则，提出了一种基于约束Delaunay三角网建立大型带状三角网的快速建模方法．通过对建立的大型三角网模型进行四叉树分割和分块存储，有效提高了建模成果的利用效率．该方法已成功地用于“虚拟环境选线系统”的开发，通过几段实际线路的应用，证明了用此方法建立连续带状数字地形模型的有效性和可靠性．     

站间微机化自动闭塞系统双机冗余系统设计

根据站间自动闭塞系统的高可靠性要求，设计了闭塞机热备冗余方案；针对可能出现的双主机状态，研究了安全控制锁的原理与机制．为了解系统的转换性能，用Petri网对系统进行了建模与分析．分析结果表明，设计的结构与切换机制合理，系统中各状态转换安全、完整，不存在死锁状态．     

CAD系统参数化装配图绘制及其Petri网的模型

探讨了在ＡｕｔｏＣＡＤ环境下进行参数化绘制摆线内啮合齿轮泵装配图的有关技术问题,研究了装配图由各个零件图裁剪、消隐和自动装配生成的方法,阐述了装配图其他部分的表示方法,并描述了该装配图的Ｐｅｔｒｉ网模型。     

阀控对称缸位置系统神经网络建模

本文分析了传统建模方法对电液们厥系统建模存在的问题；用神经网络建立了一个实际电液伺服系统的教学模型，并对神经网络建模的一些问题进行了研究与探索。