极小碰集求解中候选解极小性判定方法

极小碰集问题是人工智能中的重要问题,应用广泛.碰集极小性判定,作为极小碰集求解过程中的关键步骤,效率的高低会对极小碰集求解算法的耗时产生直接影响.现有的极小碰集求解算法主要使用子集检测方法进行碰集极小性判定.针对子集检测方法在极小碰集簇规模较大时效率较低的问题,提出了基于元素独立覆盖度检测的碰集极小性判定方法——ICC方法,剥离了碰集极小性判定耗时与极小碰集簇大小的相关性;通过深入分析增量求解过程中非极小碰集的产生原因,给出了ICC方法的增量判定形式ⅡCC方法,使其可以尽早发现并丢弃非极小候选解,为使用其增量极小碰集求解算法带来额外的剪枝效果,进一步提升算法的效率.实验结果表明：该方法易于实现,可扩展性强,对于当前效率较高的Boolean算法,使用ⅡCC方法后,算法可求解问题的规模和整体效率均有明显提升,效率提升最高达4个数量级以上.     

结合扩展规则重构的#SAT问题增量求解方法

#SAT问题是人工智能中的重要问题,在人工智能领域被广泛应用.在对基于扩展规则的模型计数求解方法CER深入研究的基础上,重构CER中使用的计算公式,并对其正确性进行了证明;提出极大项相交集和扩展极大项相交集的概念,并给出根据两者关系重用极大项相交集计算结果的增量求解方法,且对广义互补子句集对应的所有扩展极大项相交集进行剪枝,有效避免了计算所有极大项相交集对应极大项个数时的冗余求解;提出构建记录子句间互补关系的互补表方法,给出重用极大项相交集基础子句集互补结果的增量互补判定方法,较好地避免了判断子句间和各极大项相交集的基础子句集互补关系时的重复计算.实验结果表明:RCER方法易于实现,扩展性强,比CER方法效率更高,尤其是在互补因子较低时,效率提升更为显著.     

计算机中央处理器液体自循环散热器的试验研究

介绍了一种液体自循环散热器,对研制的原型机进行了比较全面的试验研究.试验结果表明该散热器具有无耗能、无噪声等显著优点,非常适合计算机中央处理器(CPU)使用.可以满足现有的主流计算机CPU的散热要求.与风冷散热器相比较,使用该散热器后,计算机的耗电量和噪声都有明显降低.     

用二次灌浆法处理淘空闸工基础

辽宁省灯塔县洪光灌区拦河闸,始建于1962年,闸基和消能池均坐落在细沙基础上.由于该河上游的污水入浸,闸底板腐蚀严重,闸后斜坡段上的止水全部腐烂.1974年蓄水时,闸基沙土从止水缝隙流出.为了解决这个问题,灯     

虹吸管引水

通常在河边修建泵站都要破堤修筑钢筋混凝土压力涵洞或开敞式进水口工程,不仅费工费料,而且易因破堤造成新的险工。1981年,辽宁省辽阳市唐马寨镇在浑河岸上的康明、沙岗子两地先后修建了两处虹吸引水工程,设计流量0.9立方米/秒,管径0.7米,管路总长分别为50米和60米,小北河乡在浑河的蒲河处也修建了1座,设计流量1立方米/秒,管径0.75米,管路长43米。三处虹吸引水工程设计灌溉面积1.4万亩,总投资约10万元。如果采用压力涵洞引水方案,总投资约需35万元。1982年,三处引水工程受益面积8000余亩,当年增收35万元。