|
|
|
| Research on Model Checking Scheme of Power Grid Dispatching Automation System |
| Tang Xuejun |
| State Grid Anhui Chizhou Guichi District Electric Power Company, Chizhou, Anhui 247100 |
|
|
|
|
Abstract Power grid dispatching automation system with melody as the basis, to prepare to assist, is the basic technology of lean scheduling. In order to maintain the health of the host and the host, it is necessary to establish a fast calibration model between the main and standby system data to detect the abnormal operation of the main and backup system in real time and to locate the fault accurately. This paper firstly analyses the network model of time series based on the database, then put forward the technical architecture model checking and implementation process, once again on the key technology of verification scheme is expounded, finally is tested. The results show that the results of this study can significantly improve the efficiency of model checking in the scheduling system.
|
|
Published: 28 June 2017
|
|
|
|
[1] 林榕, 王永红, 张会贤, 等. 智能调度一体化系统在河北南网的应用[J]. 电力系统保护与控制, 2012, 40(2): 151-155.
[2] 黄海峰, 张珂珩, 张鸿, 等. 电力系统动态信息数据库关键技术[J]. 计算机应用, 2011, 31(6): 1681-1684.
[3] 侯克男, 杨立新, 樊琳, 等. 多功能现场用电检查终端关键技术研究[J]. 电气技术, 2016, 17(1): 38-41, 45.
[4] 宋怡霖, 陈新楚. 模块化控制策略组态技术的研究[J]. 电气技术, 2016, 17(1): 62-65.
[5] 卢志刚, 田莎莎, 邵奇, 等. 基于正交变换与置信域的量测方差估计与权重设置算法[J]. 电工技术学报, 2016, 31(21): 67-74.
[6] 嵇建飞, 袁宇波, 王立辉, 等. 某110kV智能变电站合并单元异常情况分析及对策[J]. 电工技术学报, 2015, 30(16): 255-260.
[7] 方明霞. PI数据库在浙江电网的应用现状与展望[J]. 浙江电力, 2010, 29(4): 51-54.
[8] 赵家庆, 季胜鹏, 钱科军, 等. 基于事件驱动机制的电网事件快速捕捉方案[J]. 电力系统保护与控制, 2013, 41(23): 103-108. |
|
|
|
2017, Vol. 18 
