基于时态逻辑技术的高压输电线系统故障诊断 fault diagnosis based on temporal logic technology in hv transmission system.pdfVIP

第30卷第9期 电力系统自动化 V01．30NO．9 AutomationofElectricPower 10．2006 38 2006年5月10日 Systems May 基于时态逻辑技术的高压输电线系统故障诊断 乐全明，董志赘，郑华珍，郁惟镛，张沛超，王忠民，章启明 (上海交通大学电子信息与电气工程学院，上海市200240) 摘要：提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的 新思想。建立了LTL形式化演绎的完整语法、语义解释体系。在变电站端，综合考虑系统容错需 求及故障诊断的实时性要求，对故障模拟量进行了实时预处理；在调度中心，分析了故障诊断过程 中保护、开关动作的时序关系，形成典型故障模式下的开关量事件序列(TDS)及其相应的模拟量状 靠性和容错性。 关键词：高压电网；故障诊断；线性时态逻辑；故障模式；事件序列 。 中图分类号：TM711；TM726．1 0 引言 “将来永远”，“”(可能)解释为“将来会”。LTL 将时间设想为一个线性序列，以状态序列作为命题 传统基于专家系统、神经网络、优化算法、Petri 的论断对象；OTL允许时间序列出现分支，以状态 网等智能型、实时故障诊断系统，大多建立在故障事 本身作为命题的论断对象[7]。LTL与自动状态机 件序列，即事件顺序记录(SOE)信息的基础上[1’2]。 相结合，在工作流模型验证、大规模软件时序并发程 由于故障信息序列中可能存在畸变或丢失现象，这 序中发挥重要作用，LTL语言可直接描述状态变化 将带来故障误诊断问题，目前国内外对该问题已展 转换[8~10|。针对这一特点，本文结合电网故障诊断 开广泛研究，如模糊Petri网、数据挖掘原理、粗糙 过程中保护、开关动作时序关系，以LTL演绎体系 集理论、模糊集理论等[34]。文献[5，6]提出运用故 进行故障诊断。 障事件序列中的时、空关联特征信息，构造标准故障 LTL公式的语法可定义如下： 模式和有限数目的变异故障模式，并建立数据挖掘 故障诊断模型，去挖掘存在于SOE中的畸变信息。 q，r，…)是LTL公式； 该模型虽能对大部分畸变序列进行识别，但由于模 V q， 2)如果P，q是LTL公式，则一夕，P八q，P 型是建立在各种样本序列的基础上，受样本空间限 制，其纠错仍存在盲区。 子“[]”表示“总是”，“”表示“最终”，“$U”表 、本文在上述文献基础上，提出将时态逻辑(TL) 示“直到”，“$0”表示“下一状态”； 技术和模拟量信息引入故障诊断系统的新思想，将