计及时间约束的改进模糊Petri网故障诊断模型

为充分利用故障事件记录的时间约束特性,进一步提高故障诊断的准确性与快速性,建立了一种计及时间约束的改进模糊Petri网故障诊断模型。首先,分析故障事件记录的一元、二元时间约束关系,研究不确定及缺失的报警信息对故障诊断的影响,利用虚拟有向弧及Petri网产生式规则,建立改进模糊Petri网模型;之后,通过正、反向时序推理分析,获得所有报警信息应该满足的时间区间,依据所建立的状态真值矩阵有效甄别出时序不一致的报警信息;在上述基础上,制定电网故障诊断的具体流程,提出继电保护装置动作行为辨识规则;最后,通过局部电力系统的多组算例仿真和实际系统故障案例测试,证明了所建模型能有效地诊断出电网故障,并具有较高的容错性。

用受控有色Petri网解决水力机组组合中时间约束问题的研究

提出一种应用于解决水力机组组合中时间约束问题的受控有色Petri网模型.该模型能够直观地表达水力机组的启/停状况,并输出计算流量费用的开关量,将机组组合算法中面临开/停新机组时的约束判定和流量损失计算单独处理,为解决考虑时间约束的机组组合问题提供了新的辅助方法.

基于Petri网的时间约束问题

为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型。首先给出条件模糊时间Petri网工作流的定义。然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性。最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有效地避免由于时间约束造成的工作流崩溃问题。

基于改进Petri网的区域综合能源系统能耗建模及优化运行分析

区域综合能源系统包含的设备和负荷类型众多,设备之间的耦合方式多样,在实际运行中往往难以确定最优的供能方式。从能耗分析的基本原理出发,结合带时间约束的模糊有色Petri网特定的建模原则,提出一种区域综合能源系统能耗优化推理模型。该模型在满足负荷需求和基本运行条件下,从综合能源系统运行成本、污染物排放量和一次能源消耗量3个方面对系统供能路径进行优化,通过对系统进行能耗仿真分析,从而得到不同需求场景下的最优供能方式。最后以某实际区域综合能源系统为例,验证了所建模型的有效性和实用性。

基于约束组合CTPN的带式输送机系统建模

带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现"节点爆炸"问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性。

Petri网及其扩展研究

Petri网是一种应用非常广泛的建模工具。首先给出了基本Petri网的概念,在此基础上对多种Petri网进行了广泛的研究,包括时间因素Petri网、有色Petri网、面向对象Petri网、模糊Petri网及受控Petri网,并针对每种Petri网的特点和应用范围进行了讨论,提出了Petri网当前发展的方向和急需解决的热点问题。

装配序列约束下的飞机虚拟维修过程建模仿真

针对当前飞机虚拟维修过程模型固化,对维修复杂行为关系缺乏考虑,无法满足学员多样性实训需求的现状,充分考虑了飞机系统的复杂度、学员操作的不规范性和随机性等因素,依据各维修装配序列间的优先约束关系,构建了优先约束矩阵,进而定义了优先约束时间有色Petri网模型。在系统梳理维修实体及其维修操作行为的基础上,提出了虚拟维修实体操作元模型和元模型融合下的过程建模,阐述了基于优先约束时间有色Petri网的动态虚拟维修过程实现方法。最后,以A320飞机加油活门的某一个随机拆卸过程为例,进行建模仿真,验证了模型的有效性。

基于时间参数的CTCS-1级RDC设置方式的研究

既有线车站分布情况复杂,存在一站多场、多站密集分布的情况,仅依据CTCS-1级区域列控数据中心(RDC)技术规范参数设置RDC,无法满足CTCS-1级列车在RDC切换时车地通信与控车数据更新需求.深入剖析基于单电台的CTCS-1级RDC列车切换场景,采用时间有色Petri网形式化方法对控车权移交过程参与对象进行模型抽象,通过CPN-Tools环境下的模型仿真,挖掘时速200km以下CTCS-1级列车移交过程车地通信中断时间范围,并将通信中断时间约束转化为距离约束,通过分析时间与距离约束探究既有线一站多场、多站密集分布场景下RDC的设置方式,为既有线RDC管辖边界点的选定提供理论依据与数据参考.

基于CPTN的皮带机群系统规则化模型构建

皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。拟在进一步研究皮带运输系统运行状态和控制逻辑的基础上,运用形式化的建模方法将皮带运输系统的控制逻辑进行验证,绘制一种带约束组合弧的有色时间Petri网模型。把诸多控制设备的复杂逻辑控制策略图形化,提高了系统的可靠性和安全性,减少了设计和开发过程的错误。采用带约束组合弧的有色时间Petri网进行建模,有效地缓解了系统中的设备数量多的"节点爆炸"问题,使模型在表述系统逻辑控制行为时简单有效。