随机正则(k,r)-SAT问题的可满足临界

研究k-SAT问题实例中每个变元恰好出现r=2s次,且每个变元对应的正、负文字都出现s次的严格随机正则（k,r）-SAT问题.通过构造一个特殊的独立随机实验,结合一阶矩方法,给出了严格随机正则（k,r）-SAT问题可满足临界值的上界.由于严格正则情形与正则情形的可满足临界值近似相等,因此得到了随机正则（k,r）-SAT问题可满足临界值的新上界.该上界不仅小于当前已有的随机正则（k,r）-SAT问题的可满足临界值上界,而且还小于一般的随机k-SAT问题的可满足临界值.因此,这也从理论上解释了在相变点处的随机正则（k,r）-SAT问题实例通常比在相应相变点处同规模的随机k-SAT问题实例更难满足的原因.最后,数值分析结果验证了所给上界的正确性.     

并行机生产与具有等待时间限制的成批运输协调调度问题

研究了运输阶段具有等待时间限制的成批运输与并行机生产协调调度问题,目标为最小化制造期与运输费用之和．通过复杂性分析,证明其是强NP难问题,提出启发式算法并证明其最坏情况性能比为4—1／m．当一个运输批必须在同一台机器加工时,证明其也是强NP难问题．将加工时间与等待时间限定值进行比较,分别提出两个启发式算法,并证明其最坏...     

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

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

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

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

具有多种工件类型的最小订单延期数问题

1　引　言订单问题可描述如下 :n个工件来自 m份订单 ,这 n个工件又分属 B个不同的类 ,sf为不同类工件进行加工转换时所需的机器调整时间 ,来自第 i份订单又属于第 j类的工件在序中本身的完工时刻记为 Cij,第 i份订单的完工日期为 OCi=max1≤ j≤ BCij,对于每一订单用户均有其要求的提货时刻 di,要求适当排列 n个工件的加工顺序 ,使同订单 Oi( i=1 ,… ,m)有关的某目标函数值 g达到最小 .定义 Ui=1 ,如果 OCi-di>0 ( i=1 ,… ,m) ,即订单 i延期 ;否则 Ui=0 ,则延期订单数NT=∑mi=1 Ui.假设不同类工件间的调整时间均为独立调整时间 s.…     

基于OPNET的无线通信网络性能研究

无线通信已经渗入到了我们生活的各个领域之中,其通信网络性能的优劣直接影响着整个网络的稳定性、可靠性、安全性等各个方面.由于其网络复杂性的日益扩展通过计算机仿真的方法对其进行研究和分析,无疑是一种高效的科研手段.本文分析了研究无线通信网络性能的主要参数,并对其具体研究步骤进行了分析,最后运用OPNET网络仿真软件进行了实例仿真,说明了网络性能分析的重要性.     

统一把关管好“人”

统一把关与流程精简的原理类似,如果把所有的管理手段都集中在统一的平台上的话,不仅能够降低成本,而且也具有全面的可视性,从而降低管理的复杂性。     

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米。其各系统的复杂性和重要性,对结构化综合布线系统提出了很高的要求。