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

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

具有时间约束的机组组合问题中的Petri网模型

给出了一种与环境有信息交流的受控记时Petri网系统模型,把这种模型应用于描述具有时间约束的机组启停状态转换过程,使具有时间约束的机组组合的动态规划法每一时段计算费用的状态数大大小于已有传统动态规划法的状态数,从而既处理了冷、热启动费用和最小启停机时间约束,又减少了计算费用的状态数,将会大大提高算法的效率。

用Petri网模型处理机组组合问题的时间约束

把一种受控记时Ｐｅｔｒｉ网系统模型应用于具有时间约束的机组启停状态转换过程，在机 组组合的动态规划法中，既处理了冷、热启动费用和最小启停机时间约束，又减少了计算费用的 状态数，算法的效率将会大大提高．

有色—时间Petri网航班延误模型与波及分析

基于有色Petri网和时间Petri网理论,给出了单个机场起飞的多架飞机执行航班的有色Petri网模型,建立了多机场多航班有色—时间Petri网模型,提出了航班延误波及分析方法,用于判断当源机场发生航班延误时,从源机场起飞的各个飞机的下游机场是否出现航班延误,并分析和预测延误时间。仿真实验表明,松弛时间越大,越能够有效吸收延误波及;初始延误时间越长,波及下游机场个数越多。

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

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

机组组合问题的复合控制有色Petri网模型

文章针对有色Petri网对复杂控制系统建模的不便之处进行了改进:使各种控制条件直接作用于有色Petri网的可控变迁,将变迁分为时钟推进控制变迁、外部事件控制变迁、不可控变迁和计算用变迁四种,并提出了一种复合控制有色Petri网(CCCP)模型。在某些情况下,由于触发颜色的不同,同一变迁可属于不同的类型,各类变迁的区别主要在于触发条件不同。文章还利用定义的CCCP对考虑时间约束的发电机组组合问题进行了建模、分析,并通过举例进一步阐述了CCCP在对机组组合这类复杂控制问题进行建模时的作用。该模型为机组组合问题提供了一个新的建模思想和较好的解决方案。

一种基于有色Petri网的语义Web服务组合验证机制

Web服务组合是一个复杂而易错的过程,现有的组合规范又缺乏有效的验证机制,无法保证组合服务的顺利执行。针对这一问题,并根据目前的语义趋势,利用有色Petri网对基于Web服务本体描述语言的服务组合系统进行形式化描述和建模,通过服务组合代数定义组合运算的基本规则。在此基础上,根据Web服务本体语言组合要素的相关语义建立其对应的有色Petri网结构。另外,给出了分析验证所生成的有色Petri网模型的具体方法,使用该方法可以检验组合系统的各项动态性能,探测死锁等错误,从而提高组合的可靠性,避免执行失败。最后,通过实例直观地描述了建模与验证的工作过程。

一种基于时间约束可能性Petri网的设备状态分析模型

针对设备状态分析中不精确的时间信息与观测信号相互作用引发的复杂状态演化过程难以回溯的问题,提出一种基于时间约束可能性Petri网的设备状态模型和分析方法。该方法在时间相容性分析的基础上层次化地分解状态演化中的复杂关系,从而将模糊的因果关系清晰化,以降低问题的求解难度。仿真实验和对比分析表明,提出的方法是一种有效的设备状态分析方法,同时也降低了过程分析的计算复杂度。

基于时间约束Petri网的电网警报处理及故障诊断

充分利用警报信息的时序属性和保护断路器动作的逻辑规则,提出了一种基于时间约束Petri网的电网警报处理及故障诊断方法。介绍了电力系统警报信息间的时序关系,以及常见警报差错信息的分类。提出了时间约束Petri网方法,引入时间约束通路的概念,直观地表达了警报信息之间的时序属性。提出了警报差错信息的识别算法,有效地识别警报信息中的误报、丢失以及时序不一致等情况。对不考虑时间约束与考虑时间约束两种情况下的故障诊断结果进行比较分析。结果表明所提出的警报处理方法,更加精确地描述了故障警报信息间的逻辑关系,使故障诊断结果更加准确。

基于时间-有色Petri网的电梯系统的建模与分析

根据时间Petri网和有色Petri网的知识 ,提出了基于时间 -有色Petri网 (TCPN)的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度 ,控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。

基于有色Petri网和分类服务的Web服务组合模型

为更好地集成众多以N层结构开发的遗产资源,提高服务建模的重用性和通用性,提出对面向服务的Web资源分类,并采用有色Petri网研究分类服务的组合建模。在该方法中,以服务目标、资源、状态、数据信息作为描述服务的基本要素,引入控制库所表达外因事件对服务组合的影响,建立了基于基本服务构建组合服务的算法和简化规则,讨论了服务组合Petri网的分析验证方法。最后,应用有色Petri网工具,建立和验证了基于分类服务的电网故障诊断有色Petri网模型。

时间约束Petri网的可调度性分析研究

1 引言时间约束Petri网(Timing Constraint PetriNets,TCPN’s)是具有广义时间约束的Petri网,它综合了时间Petri网)(Time Petri Nets)和赋时Petri网(Timed Petri Nets)的共同特点,具有经典Petri网的理论基础和额外的时间约束能力。在实时系统建模中,它可对其它与时间有关的Petri网所不能描述的冲突结构进行建模和分析。TCPN’s使用弱触发规则,即:使能的变迁可触发也可不触发。

扩展有色、时间Petri网及其在FMS建模中的应用

提出一种改进的有色、时间Ｐｅｔｒｉ网——扩展有色、时间Ｐｅｔｒｉ网，有效解决了模型规模和信息显示容量之间的矛盾，图形简洁紧凑，内涵丰富。

时间约束Petri网的可调度性分析方法研究

在系统地研究了时间约束 Petri网的基础上 ,提出了一般的状态可达性分析方法。通过讨论任意拓扑结构 TCPN′s的可调度分析 ,克服了以往 TCPN′s可达性分析方法的局限性 ,显示了该方法的准确性和实用性。

时间约束Petri网的可达性分析研究

时间约束 Petri网是具有广义时间约束的一类 Petri网。目前有关 TCPN状态可达性的研究仅局限于一些较简单的网 ,本文通过对 TCPN的进一步研究 ,给出了更一般的状态可达性分析方法 ,并讨论了一般拓扑结构 TCPN的可调度分析。

基于有色Petri网的Web服务组合建模与分析

形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。

基于有色Petri网的铁路时间同步网协议安全性分析

随着时间同步技术在铁路领域的发展,能够实时地保证时间同步协议NTP的安全运行变得至关重要。由于NTP协议自身具备一定的安全缺陷,因此,对NTP协议的安全机制进行分析十分必要。考虑到NTP协议的无连接特性,使用有色Petri网建立其在正常工作模式下的有色Petri网模型,并分析协议在进行时间同步过程中存在的漏洞。构建入侵者成功入侵协议所需要的知识集和入侵者在入侵过程中能够获取的知识集,并使用有色Petri网对NTP协议受到入侵的过程进行建模。通过逆向状态分析方法,对NTP协议进入不安全状态的可达性进行分析,使用CPNTools软件对分析结果进行仿真验证。结果表明,NTP协议的服务器身份验证过程是不安全的。

基于带优先级时间有色Petri网的装备维修过程模型研究

本文在分析维修过程中确定维修活动次序和选择维修资源常用规则的基础上,为时间有色Petri网的变迁规则增加了约束,提出了带优先级的时间有色Petri网的概念,并利用带优先级的时间有色Petri网进行了维修过程的仿真,仿真结果表明带优先级的时间有色Petri网能更好的模拟实际的维修过程。

基于价格时间Petri网的Web服务组合研究

Web服务以及其组合的服务质量是Web服务中的一个重要研究方向。采用价格时间Petri网为Web服务组合建模,利用计价状态类方法对模型的成本进行分析,得到最小成本。最后通过实例验证,用价格时间Petri网对Web服务组合的最小成本问题研究是可行的。

时间约束Petri网的状态可达及可调度分析算法

时间约束Petri网是具有广义时间约束的一类Petri网。时间约束的引入使TCPN’s的演化与系统每一时刻的状态密切相关，导致网的动态复杂性。目前有关TCPN’s状态可达性的研究仅局限于一些较简单的网，该文通过对TCPN’s的进一步研究，给出了更一般的可达性分析方法及变迁可调度决策算法，并讨论了含冲突结构的TCPN’s的可调度分析。