摘要
提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。建立了LTL形式化演绎的完整语法、语义解释体系。在变电站端,综合考虑系统容错需求及故障诊断的实时性要求,对故障模拟量进行了实时预处理；在调度中心,分析了故障诊断过程中保护、开关动作的时序关系,形成典型故障模式下的开关量事件序列(TDS)及其相应的模拟量状态序列(TAS),并通过LTL表示TDS和TAS中的时序约束条件。最后通过实例验证了推理的可靠性和容错性。
A new idea is presented to introduce the linear temporal logic （LTL） technology and analog information into a fault diagnosis system for high voltage （HV） transmission lines. A linear temporal logic formal deduction system is expressed with a complete syntax and semantic interpreting system. The fault analog signal is preprocessed in a substation by considering the need for system fault tolerance and real-time requirement of fault diagnosis. In the dispatcher center, the time sequence of protection and breaker actions in the fault diagnosing process is analyzed. Then the TDS and TAS about a typical fault mode are formed and the time sequence restriction relation is expressed by LTL. The reliability and tolerance of reasoning is verified with a practical example.
出处
《电力系统自动化》
EI
CSCD
北大核心
2006年第9期38-43,共6页
Automation of Electric Power Systems
