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

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

基于Bootstrap框架实现响应式布局

随着移动设备的广泛使用,移动设备已经成为网页浏览的主流设备,为了使用户在PC端与手机端都能拥有良好的浏览体验,同时避免在PC端与手机端应用两套代码的繁琐工作,响应式设计应时而出.文章详细介绍了响应式布局的概念,实现响应式页面的不同方法,应用Bootstrap快速搭建响应式页面的方法及其原理,并通过案例介绍如何设计一个响应式页面,以及实现响应式页面的具体步骤和在不同设备上呈现的效果.