显示控制群中大规模控制的形式方法
王苏滨
张泽焕
汪红宇
1.中国电子设备系统工程公司研究所,北京,1000362.中国电子设备系统工程公司研究所,北京,1000363.中国电子设备系统工程公司研究所,北京,100036
摘要：显示控制系统逐渐成为控制中心的例行基础设施.本文采用形式化方法,从虚拟设备集及其运算出发,借助数学中群论的一些方法和结果,用于大规模的系统与设备控制.定义了显示控制群和子群,讨论了与之相应的控制系统和虚拟设备的实现.显示控制群中的控制系统可以自动组织和控制设备进行工作,完成用户所需的操作.显示控制群可以实现自组织、自重构以适应变化的情况.提出了一种采用遗传算法的显示控制群自组织、自重构的方法-演化硬件方法,控制系统已安装到全国各地的许多控制中心内.
关键词：大规模自动控制显示控制群论虚拟设备演化硬件
分类号：TN873(无线电设备、电信设备)
论文发表日期：2011-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 881-884 )
英文信息