基于时态逻辑技术的高压输电线系统故障诊断

摘要：

提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想.建立了LTL形式化演绎的完整语法、语义解释体系.在变电站端,综合考虑系统容错需求及故障诊断的实时性要求,对故障模拟量进行了实时预处理;在调度中心,分析了故障诊断过程中保护、开关动作的时序关系,形成典型故障模式下的开关量事件序列(TDS)及其相应的模拟量状态序列(TAS),并通过LTL表示TDS和TAS中的时序约束条件.最后通过实例验证了推理的可靠性和容错性.

关键词：高压电网、故障诊断、线性时态逻辑、故障模式、事件序列

所属期刊栏目：30

分类号：TM711;TM726.1(输配电工程、电力网及电力系统)

在线出版日期：2006-05-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：38-43