集合枚举树

作品数：30被引量：91H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：欧阳丹彤张立明赵相福徐凤生马莉更多>>
相关机构：吉林大学德州学院河南大学青岛理工大学更多>>
相关期刊：《计算机集成制造系统》《计算机科学与探索》《计算机应用研究》《电脑知识与技术》更多>>
相关基金：国家自然科学基金吉林省科技发展计划基金国家高技术研究发展计划教育部“新世纪优秀人才支持计划”更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
采用N-list结构的混合并行频繁项集挖掘算法被引量：6
《计算机科学与探索》2022年第1期120-136,共17页刘卫明 张弛 毛伊敏 
国家重点研发计划(2018YFC1504705);国家自然科学基金(41562019);江西省教育厅科技项目(GJJ151528,GJJ151531)。
针对大数据环境下并行MRPrePost频繁项集挖掘算法中存在计算节点负载不均衡,N-list合并效率低以及冗余搜索等问题,提出了基于N-list结构的混合并行频繁项集挖掘算法HP-FIMBN。首先,设计负载量估计函数(LE)来计算出频繁1项集F-list中每...
关键词：频繁项集挖掘 N-list结构 贪心策略 集合枚举树 超集等价剪枝策略(SES) 
结合故障逻辑关系的极小冲突集求解方法被引量：1
《计算机研究与发展》2020年第7期1472-1480,共9页欧阳丹彤 高菡 徐旖旎 张立明 
国家自然科学基金项目(61872159,61672261,61502199)。
基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set ...
关键词：基于模型诊断 非极小冲突 集合枚举树 故障输出相关元件集 有解剪枝 
基于差异节点集的加权频繁项集挖掘算法被引量：4
《计算机工程》2020年第5期150-156,共7页王斌 房新秀 魏天佑 
国家自然科学基金(61502262)。
针对基于WN-list的加权频繁项集挖掘算法NFWI挖掘效率低的问题,提出一种基于WDiffNodeset的加权频繁项集挖掘算法DiffNFWI。对DiffNodeset数据结构进行扩展得到WDiffNodeset,采用集合枚举树和混合搜索策略相结合的方法查找加权频繁项集...
关键词：加权频繁项集 加权支持度 集合枚举树 混合搜索策略 差集策略 
基于DiffNodeset结构的最大频繁项集挖掘算法被引量：5
《计算机应用》2018年第12期3438-3443,共6页尹远 张昌 文凯 郑云俊 
在数据挖掘中,通过挖掘最大频繁项集来代替挖掘频繁项集可以大大地提升系统的运行效率。针对现有的最大频繁项集挖掘算法的运行时间消耗仍然很大的问题,提出了一种基于DiffNodeset结构的最大频繁项集挖掘(DNMFIM)算法。首先,采用了一种...
关键词：最大频繁项集挖掘 关联规则 集合枚举树 优化剪枝 超集检测 
结合故障输出结构特征的极小冲突求解算法被引量：1
《计算机研究与发展》2018年第11期2386-2394,共9页徐旖旎 欧阳丹彤 刘梦 张立明 张永刚 
国家自然科学基金项目(61672261;61502199;61402196;61373052;61872159)~~
基于模型诊断(model-based diagnosis)是人工智能领域中的重要研究方向,而基于极小冲突求诊断是求解诊断问题的经典方法,因此求解极小冲突是诊断中的一个重要步骤.通过对电路模型特征的研究,结合CSRDSE极小冲突集求解算法,提出结合故障...
关键词：基于模型诊断 极小冲突集 集合枚举树 SAT求解器 故障输出无关元件 
结合问题特征的分组式诊断方法被引量：11
《电子学报》2018年第3期589-594,共6页刘梦 欧阳丹彤 刘伯文 张立明 张永刚 
国家自然科学基金(No.61272208;No.61402196;No.61672261);浙江省自然科学基金(No.LY16F020004)
模型诊断方法是人工智能领域重要的系统故障自动检测方法,被广泛应用于软件故障检测和硬件诊断.近年来由于电路规模和复杂度不断增大,其诊断难度也不断增大.本文通过对电路模型特征的研究,结合LLBRStree(Last-Level Based on Reverse Se...
关键词：基于模型的诊断 问题特征 分组 SAT求解器 集合枚举树 
结合问题特征利用SE-Tree反向深度求解冲突集的方法被引量：5
《电子学报》2017年第5期1175-1181,共7页欧阳丹彤 刘伯文 周建华 张立明 
国家自然科学基金(No.61133011;No.61402196;No.61272208;No.61003101;No.61170092);吉林省科技发展计划项目基金(No.20140520067JH);浙江省自然科学基金(No.LY16F020004)
基于模型诊断是人工智能领域内的一个重要研究方向,求解极小冲突集在基于模型诊断中有着重要应用.在对结合CSISE-Tree求解冲突集方法深入研究的基础上,根据冲突集求解特征重构了结合枚举树的计算冲突集的过程,提出基于深度优先反向搜索...
关键词：基于模型诊断 冲突集 布尔约束可满足 集合枚举树 
结合SE-Tree结构特征的极小碰集求解算法被引量：3
《计算机研究与发展》2016年第11期2556-2566,共11页刘思光 欧阳丹彤 王艺源 贾凤雨 张立明 
国家自然科学基金项目(61133011;61402196;61272208;61003101;61170092);中国博士后科学基金项目(2013M541302);吉林省科技发展计划基金项目(20140520067JH);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12)~~
在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征...
关键词：基于模型诊断 极小碰集 集合枚举树 辅助剪枝树 无解空间剪枝 
结合互补度的基于扩展规则#SAT问题求解方法被引量：4
《计算机研究与发展》2016年第7期1596-1604,共9页欧阳丹彤 贾凤雨 刘思光 张立明 
国家自然科学基金项目(61402196;61272208;61133011;61003101;61170092);中国博士后科学基金项目(2013M541302);吉林省科技发展计划基金项目(20140520067JH)~~
#SAT问题又称模型计数(model counting)问题是人工智能领域的研究热点之一,在人工智能领域被广泛应用.在对基于扩展规则的#SAT问题求解方法 CER(counting models using extension rules)深入研究的基础上,提出一种结合互补度的#SAT问题...
关键词：扩展规则 模型计数 CER方法 互补度 集合枚举树 
一种快速挖掘关联规则的改进算法
《河南财政税务高等专科学校学报》2016年第1期91-95,共5页武坤 
河南省教育厅科学技术研究重点项目:数据挖掘中快速生成关联规则的算法研究(12A520047)
在由频繁项集生成关联规则的过程中,需要对以频繁项集的非空子集为后件的拟关联规则进行逐一验证。基于集合枚举树的深度优先挖掘算法可以解决此过程中生成大量关联规则的问题。该算法只生成关联规则的最大后件集,减少了关联规则的验证...
关键词：集合枚举树 极大后件集 递归算法 拟关联规则 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部