共 9 条
基于时态逻辑技术的高压输电线系统故障诊断
被引：7
作者：
乐全明
董志赟
郑华珍
郁惟镛
张沛超
王忠民
章启明
机构：
[1] 上海交通大学电子信息与电气工程学院
[2] 上海交通大学电子信息与电气工程学院 上海市
来源：
关键词：
高压电网;
故障诊断;
线性时态逻辑;
故障模式;
事件序列;
D O I：
暂无
中图分类号：
TM711 [网络分析、电力系统分析];
学科分类号：
080802 ;
摘要：
提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。建立了LTL形式化演绎的完整语法、语义解释体系。在变电站端,综合考虑系统容错需求及故障诊断的实时性要求,对故障模拟量进行了实时预处理；在调度中心,分析了故障诊断过程中保护、开关动作的时序关系,形成典型故障模式下的开关量事件序列(TDS)及其相应的模拟量状态序列(TAS),并通过LTL表示TDS和TAS中的时序约束条件。最后通过实例验证了推理的可靠性和容错性。
引用
收藏
页码：38 / 43
页数：6
相关论文