维持弧的唯一性优化粗粒度弧相容算法

针对人工智能领域中广泛应用的约束满足问题,本文分析了约束满足问题的粗粒度维持弧相容求解算法在弧相卷(arc corsistency,AC)执行过程中对于弧存在冗余的放回操作,并证明了这类放回是冗余的。同时提出一种改进方法 AC_AO,避免这类冗余的弧放回操作,从而保证了弧的唯一性。改进后框架可用于改进所有的粗粒度弧相容算法。实验结果表明,经过AC_AO改进后的算法最多可以少检查77%的弧,最多可以减少30%的CPU求解时间。这将大大减少修正函数的调用次数,从而提高AC的执行效率,应用在维持弧相容算法求解的过程中提高效率是非常有意义的。     

产品配置器的工作机理研究*

随着大批量定制生产方式的发展,产品配置器在现代生产中扮演着越来越重要的角色。描述了产品配置器的功能、工作机理,以及影响配置器质量与应用的种种因素。     

应用混合指示剂测定黑生料中的碳酸钙滴定值

在立窑水泥厂,由于生料中煤粉的加入量较多,对测定碳酸钙滴定值有严重的黑色衬底,使用传统的酚酞指示剂,其滴定终点不明显,影响分析结果的准确性。为解决此问题,我们采用了0.5％的溴代甲基百里酚兰乙醇溶液与0.5％苯酚红乙醇溶液按1:1的体积混合指示剂使滴定终点有了明显的改善。终点由黄色突变为稳定的蓝紫色。混合指示剂的变色点为pH=7.5,其变色     

氰戊菊酯和多虫畏在卷心菜(甘兰)上残留动态初步研究

氰戊菊酯[(R·S)—α—氰基—3—笨氧基苄基(R·s)—2—(4—氯苯基)—3—甲基丁酸酯]又名Fenvalerate,Sumicidin,代号:S—5602;多虫畏[α—(对氯苯基)—3—甲基丁酸—问苯氧基苄酯],代号S—5439,均是近年来发展的高效低毒拟除虫菊酯杀虫剂。为确保其在农业生产中使用安全性,我们开展了戊氰菊酯和多虫畏在卷心菜上残留试验。本试验以苯为提取液,中性氧化铝层析柱净化,气相色谱法测定。经试验证明本方法也适用于青菜、豇豆中氰戊菊酯、多虫畏残留测定。现将获得初步结果整理如下。     

基于多核CPU的表约束并行传播模式研究

并行传播是并行约束程序领域中的一个研究方向,其研究内容是如何并行执行在约束上的过滤算法.根据维持表约束网络广义弧相容（generalized arc consistency,简称GAC）的串行传播模式,提出了维持表约束网络临时广义弧相容（temporary generalized arc consistency,简称TGAC）的并行传播模式,该模式基于多核CPU,由并行传播算法和并行过滤算法两部分组成;之后,给出了并行传播模式的可靠性证明,而且通过对并行传播模式的最坏时间复杂度分析,可以认为并行传播模式在平均过滤时间较长的实例上要快于串行传播模式;最终的实验结果也验证了上述结论,并行传播模式在多数实例集上取得了从1.4~3.4不等的加速比.     

对基于模型诊断测试理论的修正与扩充

虽然McIlraith和Reiter对基于模型诊断的测试进行了阐述,但他们的工作限定条件过于严格.该文放宽了相关测试定理的限定条件,给出了修正后的相关测试定理及其证明.作为对McIlraith工作的推广,对鉴别诊断原理的测试条件进行了扩充,提高了鉴别测试的适应性.     

运裕煤矿首采工作面瓦斯抽采设计

运裕煤矿改造后首采工作面的抽采设计思路及方法,并从技术、安全、经济角度对方案进行了分析;提出了布置地面钻孔抽采方案,实践表明:该抽采方案是安全、可靠、经济的,能给矿井安全高效生产创造条件。