论文部分内容阅读
为了准确评估告警信号产生时智能变电站保护系统的可靠运行情况,研究了一种基于进程仿真工具PAT的智能变电站保护信息交互建模与验证方法。分析了多个厂家保护装置的原理,构造了保护系统的告警故障树,给出了各保护子功能的工作条件与告警信号的对应关系。采用进程仿真工具PAT的实时系统模块RTS(Real-Time System Module),对各IED的内部工作、各IED之间的交互过程等进行建模,包括工作条件、各进程之间的信息传递与时序等,给出了保护子功能死锁与保护系统运行阶段的断言与验证。多个算例验证了基于PAT