基于一类扩展Petri网的机车电路仿真建模及其实现

机车电路仿真建模是开发各种机车电路仿真系统的基础.根据机车电路的特性,在基本Perti网的基础上对变迁作出分类,提出一类扩展的Petri网并给出其关联矩阵和状态转移方程.利用这一类扩展Petri网对东风4B型(DF4B)机车电路进行仿真建模和分析.在此基础上,通过Delphi程序设计语言以及Matlab仿真计算工具实现所建模型,并在实际的仿真系统中得到了应用.     

复杂FMS系统的启发式调度策略

用Petri网对柔性制造系统进行建模的基础上,提出了一种针对较大规模柔性制造系统的启发式调度优化算法.采用了改进的子节点处理方法、与派遣规则相结合的启发函数以及移动窗口等策略,弥补了算法在节点质量评价和节点搜索方面的不足,有效减小算法在可述图中寻路时对节点的搜索范围,加快了算法的收敛速度.仿真结果表明:相对于其他调度算法,该文算法可以快速、高效的编制系统调度计划.     

一种蓝牙微微网视频流媒体MAC层调度算法

为了在带宽有限并且异构的蓝牙微微网中提供高质量的视频流媒体服务,提出了一种适合视频流媒体传输的MAC层数据调度算法.通过对视频流进行建模,在传输之前计算出数据包对于视频流解码质量的重要性,传输时依据数据包的重要性进行MAC层调度,以实现所有Slave整体解码质量的最优化.仿真实验结果表明,所提出的算法比其他算法能够更加优化地分配网络资源,并显著提高了微微网中所有Slave的整体解码质量.     

时间Petri网与遗传-蚁群算法相结合的并行测试研究

自动测试系统中并行测试任务调度方案一直是尚未解决的难题.在基于Petri网理论的基础上,建立了并行测试的时间Petrl网模型,并且首次将遗传-蚁群算法引入到时间Petri网的变迁序列的寻找过程中,快速地求得了最优调度方案.仿真结果表明,该算法能够以较大的收敛概率快速地收敛,最终得到最优变迁序列.     

基于Petri网的产品设计过程工作流结构化建模与仿真

产品设计过程的工作流管理是产品设计的核心管理过程,直接影响着项目的开发周期和整体效益.为实现对产品设计过程工作流动态性和不确定性的管理与控制,在研究工作流结构化建模相关问题的基础上,提出基于Petri网的产品设计过程工作流结构化建模方法,定义了基于Petri网结构化建模的七种基本结构模块,确定了顺序、重叠、迭代、耦合、分支和连接模式为工作流结构化建模核心模式.以某办公楼的设备详细设计过程为例,进行工作流结构化建模和仿真分析,验证基于Petri网的产品设计过程工作流结构化建模方法的正确性和有效性.     

基于广义随机Petri网的城市道路公交优先建模与性能研究

针对当前城市道路网存在的交通拥堵问题,根据城市地面交通的特点和公交优先的原则,利用广义随机Petri网通过将变迁分为时间变迁和瞬时变迁,结合禁止弧和赋予各弧不同的优先权, 构建公交优先策略模型,为实施公交优先策略提供理论依据.     

基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题,提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所;（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法,可以有效地压缩原不可控子网,从而指数级地减小不可控子网的状态空间,有效地降低监控问题的计算复杂性,甚至当不可控子网为状态机时,该方法能够彻底解决上述计算复杂性难题,获得高效最优的Petri网监控器,并用一个物料运输系统演示了该方法.     

信息物理融合系统可信软件形式化建模与分析

从多Agent系统的角度,以Petri网和π演算为语义基础,建立了一种信息物理融合系统（cyber-physical systems,CPS）可信软件形式化模型（high-confidence software formal model,HCSFM）. HCSFM以Petri网形象地描述CPS可信软件静态结构模型及动态行为,用Petri网分析方法和支持工具对模型进行分析和验证; 利用π演算刻画CPS可信软件中Agent的加入、退出、更新和体系结构重配置等动态演化机制,并研究Agent的演化策略及演化后CPS的一致性,确保动态演化后CPS软件能正常交互,从而为CPS软件设计提供可信保障. 通过HCSFM在无人驾驶车辆编队CPS中的应用,表明HCSFM可以有效地对CPS可信软件进行建模和分析.     

Petri网共享PB型子网合成及其在系统设计中的应用

针对柔性制造系统的共享子系统设计问题，提出了经由Petri网共享PB-型子网（Place Bordered Subnet）构成共享PB-型子网合成网的解决方案；研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件；对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径，对系统设计和分析具有重要的指导意义。     

基于JMASE的地空导弹联合建模与仿真

以六自由度地空导弹拦截仿真为背景,阐述联合建模与仿真环境(JMASE)的基本概念和功能描述,介绍基于JMASE-SIMULINK的工程级与交战级一体化联合建模与仿真方法,给出某地空导弹全系统模型及交战仿真结果。仿真实践表明:通过将SIMULINK模型自动转换为JMASE兼容的C 模型组件,并在JMASE环境下组装、配置和运行,则获得SIMULINK工程级武器系统建模能力的同时,也获得JMASE提供的具有一致时空及环境效应描述的交战级仿真能力,既提高了建模与仿真的效率,又促进了模型重用和互操作,是实现工程级与交战级联合建模与仿真的有效方法。