首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 125 毫秒
1.
为全面分析影响电力系统恢复过程的因素,分别从调度和运行机构、二次监控系统和一次系统3方面阐述影响恢复的诸多因素,提出系统恢复过程的整体模型。使用三层Petri网建模,包括决策子网、控制子网和运行子网,分别反应影响系统恢复3个不同方面的特性。通过实例说明了如何划分恢复过程中的关键要素及用三层Petri网表示电力系统恢复的具体过程。该法能方便地用现有成熟理论更清晰直观全面地分析电力系统恢复过程,使电力系统恢复研究具有普遍意义。  相似文献   

2.
基于改进Petri网模型的电网故障诊断新方法   总被引:6,自引:8,他引:6  
将Petri网理论用于电网故障诊断中,提出了一种改进的Petri网故障诊断模型。分别以线路和母线为例说明了Petri网模型的构建方法、推理过程及解析表示方法。该方法对于电网的单一故障、多重故障及存在保护和断路器不正确动作等情况的严重故障均能快速准确地定位故障元件,自动给出可靠有效的诊断结果,适用于电力系统在线故障诊断。在四平地区电力系统中的测试结果证明了基于该模型的故障诊断系统的实用性和有效性。  相似文献   

3.
谓词Petri网理论在电网故障诊断中的应用   总被引:1,自引:0,他引:1  
介绍了谓词Petri网理论及其矩阵推导方法,提出了一种基于谓词Petri网理论的电网故障诊断模型.以母线为例说明了元件连接图的建立和映射为诊断模型的方法.该诊断方法将断路器和保护信息包含在运算过程中,使Petri网的故障模拟过程更加清晰准确;将元件故障诊断分解为各方向诊断,降低了运算维数.实际电力系统中的测试结果证明了基于该模型的故障诊断系统的实用性和有效性.  相似文献   

4.
现有基于Petri网理论的电力系统故障诊断模型与方法完全没有利用或没有充分利用警报信息的时序属性,且容错性不强,在处理复杂故障时可能无法得到明确的诊断结果。在此背景下,提出一种融合时序约束网络的模糊Petri网故障诊断模型。通过将Petri网的库所赋予时间属性,以充分计及元件故障、保护动作和断路器跳闸间的延时约束,并采用模糊加权算法进行推理运算,提高了模型的容错性。最后,以IEEE 10机39节点电力系统为例验证了所发展的模型的正确性和求解算法的有效性。与现有两种方法的比较表明,所发展的诊断方法能够自动跟踪网络拓扑变化,在增加少量计算量的情况下,较大提高了容错能力,满足大规模电力系统在线故障诊断需要。  相似文献   

5.
分析了在操作票专家系统中普遍采用的产生式规则的局限性,指出推理程序对规则表示的依赖性是制约操作票专家系统通用性的根本原因。针对上述问题,首先研究了将产生式规则转化为Petri网模型的方法,提高规则表示的灵活性;其次,研究了基于Petri网模型的推理方法,使推理程序与规则表示完全分离,提高推理的灵活性。文章结尾得出结论并对进一步的研究进行了展望。  相似文献   

6.
故障元件判别作为电网故障应急处置的首要环节,是在线调控运行的重点工作之一。针对现有基于Petri网的电网故障诊断方法未充分利用时序信息或者时序推理过程复杂的问题,提出一种基于模糊时间Petri网的电网故障诊断方法。为Petri网中库所及变迁引入时间属性以表征电力系统告警信息的时序约束关系,定义了置信概率与时序约束的关联推理运算,并从模型结构出发建立了模糊时间Petri网的分层推理过程,能够同时推理得到元件故障的置信概率及其时间点约束。算例仿真表明,所提方法能够快速判定故障元件,诊断结果正确且合理,具有较强的容错性,且能对告警信息做出正确评价。  相似文献   

7.
基于编码PETRI网的电力系统故障诊断模型研究   总被引:20,自引:1,他引:20  
文中对基于编码原理和Petri网建模方法的电力系统故障诊断进行了进一步的研究,介绍了冗余嵌入Petri网、Petri网的故障模型及根据范德蒙矩阵构造生成矩阵的方法;重点分析了电力系统元件故障诊断Petri网模型的特点:母线及线路的Petri网模型的标准型与电网规模无关等;提出了电网拓扑结构发生变化时模型的快速修正方法,即根据模型标准型进行添加或删减,以使该方法更加适应大型电网多变的运行方式.以IEEE-118母线系统为例验证了故障诊断的正确性和模型修正方法的快速性.最后,经对文中方法和文献中的另外2种方法进行比较,证明文中方法具有诊断速度快,精度高,具有电网拓扑结构变化能力,适用于大型电网故障诊断.  相似文献   

8.
Petal网是一种对离散事件动态系统进行建模和分析的强有力工具,被广泛应用于各种工业领域。鉴于配电网故障的发生和恢复过程具备异步、并发等动态特征,将Petri网方法应用到配电网故障恢复问题中。提出了基于Petri网的建模方法,将配电网的故障恢复过程抽象为Petri网中的变迁序列,设计了一种基于最优目标状态的故障恢复算法。该方法中提出的Petri网模型结构更为简洁,同时最大限度的保留配电网系统的拓扑结构,便于理解;解决了其中最大的一个优化问题,并与现有算法进行比较,证明了本故障恢复算法的全局最优性和有效性。  相似文献   

9.
配电网发生故障后,迅速利用大量的告警信息判别出故障元件,能为调度中心的工作人员提供重要的决策支持。针对现有Petri网的故障诊断方法未应用在配电网中的问题,提出了一种时间约束的改进分层模糊Petri网的配电网故障诊断方法。对配电网中的可疑故障元件建立改进的分层模糊Petri网模型,能够适应网络拓扑结构的变换,利用获得的报警信息通过反向和正向时序推理对保护和断路器进行时序检查,对不满足时间约束的库所进行置信度修正。给出了改进分层模糊Petri网模型的推理流程及矩阵推理算法,在矩阵推理过程中引入高斯函数修正概率,使概率始终保持在0~1,最终得到故障元件的置信概率及其时间点约束。通过对配电网系统算例的比较、分析,验证了所提方法的正确性和合理性,能够有效地诊断出配电网的故障元件。  相似文献   

10.
混杂电力系统频率紧急控制的Petri网建模与仿真   总被引:13,自引:3,他引:10  
分析了混杂电力系统频率紧急控制问题的典型结构和动态方程,然后采用能对连续变量系统和离散事件动态系统建模和分析的有效工具——微分Petri网,建立了混杂电力系统频率紧急控制的Petri网模型,并提出了相应的优化控制策略。在此基础上,对紧急状态下混杂电力系统的频率调控过程进行了仿真计算,其结果表明文中所提出的模型与控制方案是有效的。  相似文献   

11.
基于时间化UML的安全通信模型检测   总被引:1,自引:0,他引:1  
为了有效验证安全关键系统的通信模型,提出基于时间化UML(unified modeling language,统一建模语言)的模型检测方法。首先采用时间化UML对安全关键通信中的安全威胁和对应的防御手段进行建模,模型中使用并发状态机分别描述发送端、信道和接收端的行为;然后将UML模型转换为时间化自动机形式,作为模型检测工具可识别的输入语言;最后利用模型检测工具对安全关键通信模型的安全性、状态可达性和无死锁性质进行检测。安全关键通信的模型检测结果验证了该模型的正确性,证明了安全通信防御手段的有效性。  相似文献   

12.
针对雷达故障诊断测试系统组建的复杂性和灵活性增加,传统的人工组建系统方法不能满足需求的情况,提出了一种自上而下,由整体到部分的分层建模与验证方法。在该方法中,通过对系统的初步分析,首先利用UML建模语言为该系统画出用例图和类图,得到系统的静态模型,来确定该系统的具体组成构架。然后为该系统建立一个随机Petri网动态模型,根据模型计算出系统性能指标,并对该系统进行评价。通过这种方法可以预防系统出现死锁、饥饿和资源冲突的情况,提高设备资源利用率,节约系统设计时间和成本,方便了自动测试系统的组建。  相似文献   

13.
杨昆 《广西电力》2011,34(4):11-13
描述可编程赋时Petri网(PTPN)的基本思路,用可编程赋时Petri网以及面向对象技术的方法建立可投切电容器模型,并将所建模型放在一个简单的单机系统中进行仿真,结果表明建立的模型是合理的,可为今后电力系统更为复杂控制领域的研究提供依据。  相似文献   

14.
利用混杂系统理论进行电力系统建模的研究   总被引:15,自引:7,他引:15  
描述了电力系统离散事件与连续动态相互作用的混杂行为,介绍了离散事件系统的模型工具Petri网与混杂系统的模型工具可编程赋时Petri网。提出了利用可编程赋时Petri网来建立混杂电力系统模型的方法。该方法将复杂的电力系统分成离散状态逻辑层和连续动态层来描述,由逻辑层进行协调各连续动态系统的模式切换。同时,文中给出了一个利用可编程赋时Petri网对具有有载调压变压器的简单电力系统的建模实例,并利用多Lyapunov函数方法进行了系统的逻辑切换稳定性分析。仿真结果表明了在有载调压变压器能够调节的范围内,系统的模式切换是稳定的,以此证实这种建模方法的有效性。  相似文献   

15.
针对由电网规模的日渐增加所引起的海量信息和数据的处理变得异常困难的问题,建立基于时间着色Petri网的配电调度工作系统.改进了电力审批工作流模型,给出其Petri网时间着色模型,利用可达图与状态方程对改进的时间着色Petri网的静态性能和动态性能进行分析,建立配电网规则信息库.在采油厂配电调度工作中的应用结果表明,改进的Petri网是有界的,避免了死锁和陷阱,变迁是“活的”,不存在冗余现象,可以顺利执行工作任务.利用时间着色Petri网对配电调度工作流进行分析建模,建立电网操作规则关系型数据库,实现操作中的信息共享是可行的.  相似文献   

16.
针对含有不可控变迁Petri网的禁止状态问题,提出了一种基于整数线性规划的控制器综合方法,该方法适用于任意普通Petri网模型。首先,根据Petri网的结构特性构建所有不可控变迁应满足的约束条件集合,其次通过求解整数线性规划问题将给定的线性约束转换为允许线性约束;最后,利用库所不变量方法设计控制器将转换后的约束综合到Petri网中。以某零件加工系统为例进行实验,实验结果表明,提出的方法简单高效,对实际自动制造系统的禁止状态监控问题具有一定借鉴意义。  相似文献   

17.
A correct and rapid inference is required for practical use of expert system for fault section estimation in power systems. This paper proposes a new model-based expert system for fault section estimation using colored and timed Petri nets. The Petri nets simplify the inference procedure greatly because it can represent the causalities among faults of power system components, protective actions of relays and circuit breakers. They can also represent the operating states of these protective devices explicitly, or, more precisely, whether a relay has been actuated correctly or falsely, etc. In addition, time sequence information on actuated relays and tripped circuit breakers can be handled by using the colored and timed Petri nets. Therefore, the operating states of relays and circuit breakers can be inferred more correctly. Petri nets are suited for parallel processing so well that there is a possibility of reducing the inference time considerably. In the proposed system, the inference is executed by setting the initial states in the Petri nets using the information on the actuated relays and the tripped circuit breakers and then operating the Petri nets. There have been several test cases which used a prototype system on the Macintosh computer employing Object Common Lisp, and good results have been obtained.  相似文献   

18.
把Petri网理论和音乐理论结合起来,提出了一个较完整的用自控网系统和时间Petri网建立的乐音体系模型.该模型借助Petri网有关理论成果,可以形式化的分析乐曲,便于计算机处理.其实质是在五线谱的音符之间加入变迁元素,使其更反映乐曲的本质,并且起到同步的作用.  相似文献   

19.
Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching   总被引:1,自引:0,他引:1  
Aybar  A. Iftar  A. 《Systems Journal, IEEE》2008,2(2):178-188
The recently introduced method, which was called ldquostretching,rdquo is extended to timed Petri nets which may have both controllable and uncontrollable transitions. Using this method, a new Petri net, called ldquostretched Petri net,rdquo which has only unit firing durations, is obtained to represent a timed-transition Petri net. Using this net, the state of the original timed Petri net can be represented easily. This representation also makes it easy to design a supervisory controller for a timed Petri net for any purpose. In this paper, supervisory controller design to avoid deadlock is considered in particular. Using this method, a controller is first designed for the stretched Petri net. Then, using this controller, a controller for the original timed Petri net is obtained. Algorithms to construct the reachability sets of the stretched and original timed Petri nets, as well as algorithms to obtain the controller for the original timed Petri net are presented. These algorithms are implemented using Matlab. Examples are also presented to illustrate the introduced approach.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号