【摘 要】
：
基于模型诊断(model-based diagnosis,MBD)是人工智能领域一个极富有挑战性的问题.近年来,SAT求解器发展十分迅速,且已被应用于求解基于模型诊断问题并取得了显著成果.在对基
【机 构】
：
吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
【基金项目】
：
国家自然科学基金项目(61672261,61502199,61402196,61272208),浙江省自然科学基金项目(LY16F020004)
论文部分内容阅读
基于模型诊断(model-based diagnosis,MBD)是人工智能领域一个极富有挑战性的问题.近年来,SAT求解器发展十分迅速,且已被应用于求解基于模型诊断问题并取得了显著成果.在对基于模型诊断问题求解方法LLBRS-Tree深入研究的基础上,根据电路组件的拓扑结构信息、系统的观测行为和预期行为之间的差异以及集合枚举树的特点,首次提出了组件静态伪故障度和动态伪故障度的概念.计算所有组件的静态伪故障度,并根据静态伪故障度从大到小对组件重新排序,生成新的枚举树;并且在遍历到新的极小诊断解时,更新相关
其他文献
片上网络（network‐on‐chip ，NoC）消耗的功耗在整个芯片中所占比例不断增大，并且随着芯片工艺精度的提升和工作电压的不断降低，静态功耗占片上网络总功耗的比例也越来越大．当前芯
现有的大部分可检索加密方案建立的安全索引面临着统计攻击的威胁.为了抵抗统计攻击,部分方案设计出关键词？文档一一对应的陷门,以检索时多次的陷门计算为代价保证安全性,但是
文章结合近年来中西医治疗勃起功能障碍的文献,分别阐述了中医和西医对功能障碍的认知和相关治疗方法,探讨勃起功能障碍的中医和西医治疗进展规律,为临床治疗该疾病提供参考