论文部分内容阅读
人工智能与计算机科学中的许多问题都可视为约束满足问题.为了简化问题的求解,常采用局部一致性方法减小搜索空间.本文首先介绍与分析了着眼于全局一致性的局部处理的理论与方法,以及尽可能消除回溯因素的局部一致性方法,最后给出了一种在减少局部一致性维护代价上优于已有方法的新算法.
约束满足问题的局部一致性维护理论与方法
【摘 要】
：
人工智能与计算机科学中的许多问题都可视为约束满足问题.为了简化问题的求解,常采用局部一致性方法减小搜索空间.本文首先介绍与分析了着眼于全局一致性的局部处理的理论与
【机 构】
：
中国科学技术大学计算机系
【出 处】
：
小型微型计算机系统
【发表日期】
：
2004年期
其他文献
采用深层发酵的方法获得富铬鸡腿蘑发酵液(FCRC). 急性毒性试验证明,每公斤体重用量达26 g不引起小鼠中毒,表明该制剂无急性毒性.在四氧嘧啶诱发的小鼠糖尿病模型上进行降血
无效接种是指在计划免疫工作中 ,完成了部分或全部的接种过程 ,但由于种种因素的影响而没有产生相应抗体的接种。无效接种浪费了人力、财力。根据多年来的经验和教训 ,我们认
目的 :研究果酸钙片的溶出度。方法 :根据中国药典 95版所载的溶出度测定法操作。采用 4种不同酸度的溶液作溶出介质 ,对果酸钙及 4种临床常用钙剂进行了溶出度测定。结果 :
浙江育英职业技术学院生物系从提高高职院校教学质量的内在需求出发,以食品营养与检测类专业高职人才培养为研究对象,对高职学生顶岗实习教学管理模式进行了改革与探索,推行
近些年,伴随着社会经济的不断发展,气相色谱法在农业、工业、国防等诸多领域都得到了广泛应用.其中,它为石油工业的发展提供了诸多便利务件.因此,我们必须加强其在石油工业中
目的 研究补肾复方延缓衰老的免疫学机制。方法 采用电镜、ＤＮＡ凝胶电泳及ＴＵＮＥＬ标记的流式细胞仪分析技术，对激活诱导的Ｔ细胞凋亡进行定性、定量分析。结果 老年大鼠对照组细胞凋亡的
采用恒流源充放电及温度补偿技术设计了一款结构简单、易于集成的片内振荡器。该模块的核心为利用带隙基准电流源产生一路零温度系数电流，并用该电流源对电容进行充放电；设置比
截至10月13日，中国石油化工研究院加氢裂化催化剂开发与工业应用项目吨级工业放大催化剂长周期试验已经平稳运行1800小时，催化剂活性稳定性良好，产品分布合理，满足了生产需求。这
目的以奥美拉唑(OM)致低胃酸的人体和动物模型进行有关矿物质和微量元素(钙、磷、镁与锌)吸收,以及血浆β-胡萝卜素水平的研究.方法分别以1.全胃肠道灌洗法;2.血清β-胡萝卜