动态描述逻辑动作系统的Petri网自动生成方法

动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同或等价元素,进一步,自动构造得到动作系统的Petri网的PNML+OWL描述。

一种简洁的电压-时间型配电终端动作逻辑研判数学模型

针对电力系统中投运后电压-时间型配电终端的动作逻辑分析需求,构建了一种简洁而有效的数学模型。在该数学模型中,引入了电压-时间型配电终端动作后的逻辑值概念,并针对其制定了相应的计算公式。通过动作逻辑值可以正确反映电压-时间型配电终端的状态特征,进而正确研判出电压-时间型配电终端的动作逻辑,具有逻辑清晰简洁、结果准确、容易实现落地等特点。通过实际验证,这一数学模型能够在实际应用中快速而准确地进行动作逻辑的研判,有助于及时发现和解决配电终端设备中可能存在的动作逻辑异常情况。这一研究为电力系统的安全稳定运行提供了重要支持和参考。

适应多种电压接线方式的备自投逻辑

备自投装置是电力部门保证用户连续可靠供电的重要手段,目前常规的备自投逻辑主要针对母线配置有电压互感器接线方式进行设计,无法适应母线电压取自线路电压以及无母线电压采集的应用场合,导致备自投装置的工程应用受限。为此,介绍一种适应多种电压接线方式的备自投逻辑,并通过综合分析备自投充电逻辑、有压/无压逻辑、备自投动作逻辑,提出了完善备自投逻辑的解决方案。工程实际应用表明,完善功能及逻辑的备自投装置完全满足工程实际应用要求,具有广泛的工程适用性。

继电保护装置动作逻辑的数字仿真系统

目前电力系统的运行方式复杂、变化频繁,给继电保护的运行分析带来很大的困难。通过利用计算机软件来模拟实际故障情况下继电保护装置的动作行为,可以进行保护装置定值的校验、保护装置动作逻辑考核、保护动作回放等继电保护运行特性的分析工作。文中通过采集故障录波数据仿真实际电力系统继电保护装置动作逻辑,以保护元件作为动作仿真对象,以保护元件的动作特性等作为判据,开发面向不同保护厂家的精确到保护内部元件动作特性的继电保护装置模型,通过拓扑分析实现真正意义上的图形化界面的继电保护装置动作全过程仿真。

扩展时间Petri网在仿真保护及自动装置动作逻辑中的应用

继电保护和自动装置仿真是实现调度员培训仿真(DTS)系统的重要环节。传统方法存在装 置动作过程描述困难、软件可重用性差、系统开发工作量大的问题。利用Petri网可进行离散事件 动态建模,但其在具体应用中的实现技术是一个难点。文中提出了一种基于扩展时间Petri网 (ETPN)的继电保护装置动作过程建模方法;在实现技术上,着重研究了ETPN的数据结构及主要 算法,给出了采用ETPN模拟保护及自动装置运行的主要过程。算例结果表明,ETPN是一种有 效的仿真装置动作逻辑描述方法。

由人机界面实现备用电源自投动作逻辑编程

提出在人机界面以动作元素构成备用电源自投动作逻辑方程的方式,实现备用电源自投动作逻辑编程。实现该方法的备用电源自投保护装置采用MOTOROLA公司新推出的MC56F8346 混合控制器为保护中央处理器,ARM7为人机界面管理的中央处理器。该备用电源自投保护装置具有硬件先进、实现备用电源自投动作逻辑编程简单和直观清晰等优点。

采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。

一起典型故障保护动作逻辑的分析及改进

介绍一起500kV变电站500kV联络线的典型线路故障,分析各类典型微机光纤纵联差动保护针对该类型故障的保护动作特性,比较国内外保护各自的动作特点,指出其存在的不足,并提出相应的改进措施,提高了微机线路光纤纵联电流差动保护的动作性能。

10kV备自投装置配置及动作逻辑分析

结合深圳电网实际情况对10kV备自投装置的两种配置方式及其动作逻辑进行分析,从接线、经济、管理等方面比较其优缺点。

对微机型备自投装置动作逻辑的改进

微机型备自投装置实际使用时,经常发生装置原有的动作逻辑不能满足现场需要,必须根据运行需要专门开发动作逻辑的情况,而且装置的自适应功能普遍有待于进一步完善。这些情况,增加了设备运行、检修、管理的负担,也为电网运行造成了一定的安全隐患。通过对各种主接线形式下的备自投装置动作特点进行分析,提出了与接线形式和运行方式无关的动作流程,并以此为基础,改进了装置的动作逻辑。经现场测试,改进后的动作逻辑简单可靠,能够满足各种不同接线方式的运行要求,具有较强的自适应功能。

基于动作时序逻辑的Web服务组合

为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法。Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法。

交流滤波器高压电容器不平衡保护动作逻辑及案例分析

滤波装置由若干无源滤波器并联而成,每个滤波器在1个或2个谐波频率附近,或者在某个频带内呈现低阻抗,从而吸收相应的谐波电流,使流入工频交流系统的谐波减少,达到抑制谐波的目的,同时兼作无功功率补偿之用,实现无功就地平衡。换流站的交流滤波器并联在换流变压器交流侧的母线上,根据直流系统运行情况进行投切。

天广直流输电系统中性母线开关动作逻辑缺陷分析

根据天广直流输电系统高速中性母线开关的断开逻辑及运行实例,分析认为控制系统内所要求的联锁条件可能无法满足,导致相应保护动作后中性母线开关无法断开。并对比了高肇直流输电系统采取的相应逻辑,然后提出了三种改进措施,有利于确保故障点的隔离,提高直流输电系统的可靠性。

ISA-358G远方备自投动作逻辑问题分析

结合某供电局3个110kV变电站的特殊接线方式,分析110kV ISA-358G远方备自投动作逻辑问题。

备用电源自投装置动作逻辑分析及变更

结合设备实际运行情况对备自投装置的无流判据条件进行更改,使其符合设备运行的实际状况和负荷电流,防止备自投装置误动作,经对无流判据修改后,再未出现备自投装置误动作现象。

浅析几种故障情况下备自投装置的动作逻辑

目前,随着经济的不断发展,用户对供电质量和可靠性越来越高。备自投装置广泛应用于各个变电站,是保证供电可靠性的重要设备。为了确保供电可靠性,正确的动作逻辑,是备自投装置所必需的。特别是在故障情况下,备自投装置必须能正确动作,既能正确的隔离故障点,又要尽可能的保证对外供电。本文分析了在主流的内桥接线方式下的几种故障情况下,备自投装置的动作逻辑。

继电保护装置及其二次回路动作逻辑仿真的研究

继电保护装置是电力系统安全运行的必要保障,对继电保护装置动作逻辑特性进行分析与研究具有十分重要的意义。鉴于此,以广东电网公司现有的主要保护产品为研究对象,开发典型的保护装置及其二次回路动作逻辑仿真系统,可以更精确、直观地仿真保护及其二次回路的动作逻辑,为继电保护的设计、分析和培训提供有力的支持。

A级数据中心高低压变配电系统主开关动作逻辑探讨

本文针对A级数据中心的高低压变配电系统设计,通过对各电压等级的进线、联络、市发切换主开关的动作逻辑及动作时间设定分析,探讨在A级数据中心高低压变配电系统中,上述主开关之间相对较优的动作逻辑及动作时间设定。

浅析鼓风变电所BZT的投运方式和动作逻辑

为保证变电所备自投(BZT)动作可靠性和选择性,越来越多的变电所将原来采用的继电器保护改为微机保护,本文就鼓风变电所BZT装置应用微机保护后,对其投运方式和实现的动作逻辑进行相应分析。

500kV变电站线线串开关动作逻辑分析

对500 k V变电站线线串保护装置功能进行了分析介绍,通过分析断路器与线路保护和母差保护的配合、其动作逻辑及可能出现的故障跳闸,为现场运行人员运行维护提供帮助。