基于动态极大元素覆盖值的极小碰集求解算法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：yahved

【摘要】

：

在基于模型诊断(model-based diagnosis,MBD)中,因为所有极小冲突集的极小碰集就是待诊断系统的诊断结果,所以利用所有极小冲突集构造极小冲突集合簇,并基于极小冲突集合簇计

【作者】

：

邓召勇欧阳丹彤耿雪娜刘杰

【机构】

：

吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）

【出处】

：

计算机研究与发展

【发表日期】

：

2018年4期

【关键词】

：

基于模型诊断极小冲突集极小碰集动态极大元素覆盖值启发式策略剪枝策略 model-based diagnosis(MBD)minimal conflic

【基金项目】

：

国家自然科学基金项目(61672261,61502199,61402196,61373052),浙江省自然科学基金项目(LY16F020004)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在基于模型诊断(model-based diagnosis,MBD)中,因为所有极小冲突集的极小碰集就是待诊断系统的诊断结果,所以利用所有极小冲突集构造极小冲突集合簇,并基于极小冲突集合簇计算极小碰集是诊断的关键步骤.提出一种基于动态极大元素覆盖值求解极小碰集的新算法.该算法按照元素的元素覆盖值从大到小的顺序依次处理元素,并在求解碰集的过程中加入启发式策略和剪枝策略,使得搜索空间极大减少;利用邻接链表存储输入的极小冲突集合簇,邻接链表相对于用矩阵作为存储结构有较好的空间开销且通过邻接指向能快速地找到元素可

其他文献

指定验证者与可撤销重加密的可搜索加密方案

隐藏向量加密（hidden vector encryption,HVE）作为一种谓词加密策略,不仅可以对解密密钥进行细粒度的控制,同时也支持对关键词的合取和子集等范围搜索,因此可以被应用在诸如电

期刊

可搜索加密隐藏向量加密指定验证者代理重加密代理权限可撤销searchable encryptionhidden vector encryption （

自制激素纸育苗

期刊

白及生态种植技术与应用

白及生态种植对提高白及药材产量和质量,改善生态环境,保证白及产业的稳定持续发展有十分重要的意义。文章总结了白及生态种植过程中土壤改良、生物防控、菌剂研制及应用等方

期刊

白及生态种植生态环境Bletilla striata ecological planting ecological environment

中药助长保健添加剂8则