基于扩展Petri网的建筑产品设计过程工作流模型

针对建筑产品设计过程工作流的动态性和不确定性的管理与控制,提出基于扩展Petri网的建筑产品设计过程工作流模型,并以一般商用办公楼的设备设计过程为例构建模型,应用CPN Tools仿真软件进行仿真分析和过程优化.结果表明,提出的工作流模型对建筑产品设计过程管理和优化具有明显效果.     

基于PETRI网递阶监控器的间歇过程故障诊断

基于混杂系统理论的Petri网递阶监控器设计方法,对间歇过程的故障传播和诊断进行了研究,建立了具有两层递阶结构的Petri网故障诊断系统,上层采用赋时Petri网协调间歇时序操作步骤,下层采用混合模糊Petri网进行故障监测和诊断.针对一个实验级应用例子建立了故障传播和诊断的混合模糊Petri网模型,实验和仿真结果表明了方案的可行性和有效性.     

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

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

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

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

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

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

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

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

系统辩证论新议

系统辩证论是在批判还原论和机械论中诞生和发展的，这方面，在认识上还表现出不彻底、不深入、不完善性：阐述了系统辩证认识的一些新看法，在彻底相对传统科学上，提出系统辩证律——相对传统学科中传统事物（组分事物）与系统特征事物（统性事物）的对立统一律；在深入矛盾网络分析中，提出系统矛盾网络多维辩证律——纵向一分为二、横向一分为多、立体切向结构功能耦合辩证法；在实际辩证法运用中，提出系统矛盾两部分析法；它们共同构成系统辩证论体系。     

模糊Petri网在飞机进近排序中的应用

介绍了发达国家正在研究的最后进近间隔工具(FAST)的排序思想,利用该排序思想,讨论了模糊控制和模糊Petri网排序理论在飞机进近中的具体应用,并进行了仿真。仿真结果表明,该方法能达到合理可行的排序结果,明显减少航班队列的延误。基于模糊Petri网的排序方法为解决空中交通管制系统的科学优化排序问题提供了较好的研究思路。     

基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

基于支持向量机的导弹动力系统动态过程仿真

为了对导弹动力系统动态过程进行仿真,研究了基于支持向量机方法的动态仿真技术。仿真结果与试车数据比较表明,支持向量机对发动机推力的动态变化过程进行了很好的仿真;与基于神经网络的计算结果比较表明,该模型的计算时间短、精度高,可用于液体火箭推进系统的实时状态监控、故障诊断及控制系统设计等方面。