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.
唐学军. 电网调度自动化双系统间模型校验方案研究[J]. 电气技术, 2017, 18(6): 64-67.
Tang Xuejun. Research on Model Checking Scheme of Power Grid Dispatching Automation System. Electrical Engineering, 2017, 18(6): 64-67.
2017, Vol. 18 
