显示控制群中大规模控制的形式方法

Formal method for large scale control in the display and control group

显示控制系统逐渐成为控制中心的例行基础设施.本文采用形式化方法,从虚拟设备集及其运算出发,借助数学中群论的一些方法和结果,用于大规模的系统与设备控制.定义了显示控制群和子群,讨论了与之相应的控制系统和虚拟设备的实现.显示控制群中的控制系统可以自动组织和控制设备进行工作,完成用户所需的操作.显示控制群可以实现自组织、自重构以适应变化的情况.提出了一种采用遗传算法的显示控制群自组织、自重构的方法–演化硬件方法,控制系统已安装到全国各地的许多控制中心内.

The display and control system has become the routine infrastructure in control centers. Starting from the set of virtual equipment and its operations, and using methods and results from the group-theory, we propose a formal method for controlling a large scale of systems and equipment. The display and control group（DCG） and the subgroup are defined, and the realization of the corresponding control system and virtual equipment are investigated. The control system in the group automatically organizes and controls the equipment to do the work as users specify. The display and control group realizes the self-organization and self-reconstruction to adapt to the varying conditions. For the self-organization and the self-reconstruction of the display and control group, we propose a method for hardware evolution based on the genetic algorithm. The proposed control systems have been installed for operation in many control centers in this country.