【摘 要】
：
基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深
【机 构】
：
吉林大学软件学院,吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
论文部分内容阅读
基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包含组件个数较多的候选诊断进行求解的方法,进而减小SAT求解问题的规模;在对极小诊断解和非极小诊断解剪枝方法的基础上,首次提出非诊断解定理及非诊断解空间的剪枝方法,有效地实现了对诊断的无解空间进行剪枝.根据组件个数较多的候选诊断先求解及有解无解剪枝方法特征,构建基于反向搜
其他文献
山东读者祁世涛说：我的大棚2004年前种了5年桃树，2004年秋天改种西红柿，但长出的西红柿植株棵棵矮小，不知是啥原因，如何补救？
随着围产医学的进展及麻醉、剖宫产技术的提高以及抗生素的发展剖宫产作为解决难产及母婴并发症的一种手段其安全性已获得社会的广泛认同实践证明应用恰当的剖宫产是挽救母儿危难的重要措施确实为降低孕产妇病死率发挥了重要作用。但剖宫产率上升势头惊人已引起妇产科专家和同道们的关注合理掌握剖宫产指征降低剖宫产率已成为当前产科工作的重要问题。
目的：探讨发挥护士主观能动性的方法和效果。方法：护士长给予适当的人文关怀，辅予有效的激励措施。结果：护士的整体素质得到了提升，患者及家属满意度由77％升到98％，护理工作质量在全院
测算商业企业信息化贡献率的主要目的是从数量关系上认识信息化对商业企业产值增长带来的实际作用大小．在实践上有助于从总体上把握商业企业信息化的发展水平、发展潜力和趋势