若干限制形式的缺少推理的复杂性

该研究判定一字是否出现在缺省理论〈Ｄ,Ｗ〉的某一扩张中的复杂性,其中,Ｄ是一种Ｈｏｒｎ缺省规则,而Ｗ是ｄｅｆｉｎｉｔｅ公式或Ｂｉ－Ｈｏｒｎ公式。     

数值计算程序的存储复杂性分析

由于越来越多的技术用于缩小处理器与存储器之间的日益加大的速度差距,计算机的存储系统变得日趋复杂．现在,任何一个程序设计者,尤其是数值计算程序的设计者,若不考虑其所用计算平台存储系统的特点是很难获取高性能的．因此公用传统的算法评价方法,从时间复杂性和空间复杂性着手来解释一个算法的不同实现在同一计算平台上很大的性能差异,显然是不够的．计算平台存储系统的特点必须在分析算法的复杂性时加以考虑．孙家昶１９９     

Backbone analysis and algorithm design for the quadratic assignment problem

As the hot line in NP-hard problems research in recent years, backbone analysis is crucial for phase transition, hardness, and algorithm design. Whereas theoretical analysis of backbone and its applications in algorithm design are still at a begin- ning state yet, this paper took the quadratic assignment problem （QAP） as a case study and proved by theoretical analysis that it is NP-hard to find the backbone, i.e., no algorithm exists to obtain the backbone of a QAP in polynomial time. Results of this paper showed that it is reasonable to acquire approximate backbone by inter- section of local optimal solutions. Furthermore, with the method of constructing biased instances, this paper proposed a new meta-heuristic -- biased instance based approximate backbone （BI-AB）, whose basic idea is as follows： firstly, construct a new biased instance for every QAP instance （the optimal solution of the new instance is also optimal for the original one）; secondly, the approximate backbone is obtained by intersection of multiple local optimal solutions computed by some existing algorithm; finally, search for the optimal solutions in the reduced space by fixing the approximate backbone. Work of the paper enhanced the research area of theoretical analysis of backbone. The meta-heuristic proposed in this paper provided a new way for general algorithm design of NP-hard problems as well.     

长途通信大楼综合布线应用设计方案

工程概况 该长途通信大楼是由主楼和裙房两部分组成。主楼地下二层,地上三十三层,裙房地下一层,地上四层,建筑面积为5．8万多平方米,高达168米。其各系统的复杂性和重要性,对结构化综合布线系统提出了很高的要求。     

将过程控制进行到底

常州伍杰科技软件有限公司新近推出的拥有完整自主知识产权的产品,《软件数据管理系统USDM》,为CMMI的推行提供了一个较为完整的解决方案。在该解决方案中,首次提出管理作业和车间作业的概念,这样,既将管理流程和生产作业做了适当的分离,又保持它们的衔接关     

Special Issue on New Trends in Theory and Applications of Complex Control Systems

Complexity is one of the leading features of modern control systems. It is caused by the complex properties of controlled plants and the varied requirements in controller designs. In dealing with the control problems with complexity, in the past two decades, a lot of papers have been published that reported fruitful results on different     

Editorial:Special Issue on New Trends in Theory and Applications of Complex Control Systems

Complexity is one of the leading features of modem control systems. It is caused by the complex properties of controlled plants and the varied requirements in controller designs. In dealing with the control problems with complexity, in the past two decades, a lot of papers have been published that reported fruitful results on different theoretical backgrounds and with different methodologies, such as differential geometry-based design methods, hybrid system theory, switching control, neural network-based intelligent control, etc.     

全新SC22—3安全控制器降低机械控制系统接口的成本与复杂性——邦纳工程公司生产的新型SC22—3可使用PC和面板设置

邦纳工程公司最新推出的SC22—3新型安全控制器可降低与机械控制系统接口的多种安全设备的安装与故障排除成本。此款灵活的控制器可处理各种输入设备,包括紧急停机、光幕、双手控制、联锁开关、安全地垫等,从而使其能够取代各种专用安全模块。     

基于VFP环境的算法实现效率的探讨

对VFP环境中的算法实现效率进行了一些探讨,并提出一些提高算法效率的方法。