基于差别矩阵的增量式属性约简完备算法 被引量：13

1

作者 刘洋 冯博琴 周江卫 《西安交通大学学报》 EI CAS CSCD 北大核心 2007年第2期158-161,208,共5页

为了解决基于差别矩阵的属性约简完备算法得不到最小约简的问题,提出了一种改进的属性约简方法.该方法将信息论定义的属性重要性作为启发式信息,并通过构造一个条件信息熵算子对差别集合进行运算,同时利用算子来计算候选属性的剔除次序... 为了解决基于差别矩阵的属性约简完备算法得不到最小约简的问题,提出了一种改进的属性约简方法.该方法将信息论定义的属性重要性作为启发式信息,并通过构造一个条件信息熵算子对差别集合进行运算,同时利用算子来计算候选属性的剔除次序,采用宽度优先搜索策略使约简集合中含有最重要的属性,这样就解决了完备算法约简率低的问题.结合该方法并在分析对象集增量与差别矩阵关系的基础上,证明了增量约简定理,由此提出了一种增量式约简完备算法(CAIR),当新数据加入决策表时,算法可增量构造差别集合.实验结果表明,所提CAIR在大大缩短计算差别集合时间的同时,约简率比非完备算法提高了20.3%,是同条件下完备算法执行效率的13.2倍. 展开更多

关键词 差别矩阵 差别集合 属性约简 完备算法

在线阅读 下载PDF 职称材料

基于差别矩阵的属性约简完备算法 被引量：8

2

作者 蒋瑜 王鹏 +1 位作者 王燮 李永礼 《计算机工程与应用》 CSCD 北大核心 2007年第19期185-187,共3页

分析了传统属性频率函数作为属性重要度的不足,重新定义了属性重要度,提出了一种基于差别矩阵属性重要度的属性约简完备算法,即CRABSA(Complete Reduction Algorithm Basedonthe Significance of Attribute)。该算法采用迭代思想,在每... 分析了传统属性频率函数作为属性重要度的不足,重新定义了属性重要度,提出了一种基于差别矩阵属性重要度的属性约简完备算法,即CRABSA(Complete Reduction Algorithm Basedonthe Significance of Attribute)。该算法采用迭代思想,在每次迭代过程中根据属性重要度SGF(a)选择必要的条件属性加入约简R中。由SGF(a)的定义可知,算法能确保在大多数情况下能得到决策表的最小约简。分析了算法在最坏情况下的时间复杂度,给出了该算法相对Pawlak约简的完备性的证明。 展开更多

关键词 粗糙集 差别矩阵 属性重要度 完备算法

在线阅读 下载PDF 职称材料

一种基于差别矩阵的属性约简完备算法 被引量：29

3

作者 王兵 陈善本 《上海交通大学学报》 EI CAS CSCD 北大核心 2004年第1期43-46,共4页

提出了一种基于差别矩阵的粗糙集属性约简完备算法,算法的求解策略是在每次迭代过程中只选择必要的条件属性,如果在某次迭代过程中找不到这样的条件属性,则任意排除一条件属性,为下一次迭代中找到必要的条件属性做准备.分析了算法在最... 提出了一种基于差别矩阵的粗糙集属性约简完备算法,算法的求解策略是在每次迭代过程中只选择必要的条件属性,如果在某次迭代过程中找不到这样的条件属性,则任意排除一条件属性,为下一次迭代中找到必要的条件属性做准备.分析了算法在最坏情况下的时间复杂性,给出了该算法相对Pawlak约简的完备性的证明.同已有的同类约简算法相比,该算法在最坏情况下具有更小的时间复杂性. 展开更多

关键词 粗糙集 差别矩阵 属性约简 完备算法

在线阅读 下载PDF 职称材料

基于动态奖惩的分支策略的SAT完备算法 被引量：3

4

作者 刘燕丽 徐振兴 熊丹 《计算机应用》 CSCD 北大核心 2017年第12期3487-3492,共6页

针对学习子句数量有限或相似度高导致历史信息有限、搜索树不平衡的问题,提出了基于动态奖惩的分支策略。首先,对每次单子句传播的变元进行惩罚,依据变元是否产生冲突和产生冲突的间隔,确立不同的惩罚函数;其次,在学习阶段,利用学习子... 针对学习子句数量有限或相似度高导致历史信息有限、搜索树不平衡的问题,提出了基于动态奖惩的分支策略。首先,对每次单子句传播的变元进行惩罚,依据变元是否产生冲突和产生冲突的间隔,确立不同的惩罚函数;其次,在学习阶段,利用学习子句确定对构造冲突有益的变元,非线性增加它们的活跃度;最后,选择活跃度最大的变元作为新分支变元。在glucose3.0算法基础上,完成了改进的动态奖惩算法——AP7。实验结果表明,相比glucose3.0算法,AP7算法的剪枝率提高了14.2%~29.3%,少数算例剪枝率的提高可达51%,且改进后的AP7算法相比glucose3.0算法,运行时间缩短了7%以上。所提分支策略可以有效降低搜索树规模,使搜索树更加平衡,减少计算时间。 展开更多

关键词 NP完全问题 可满足性问题 冲突驱动子句学习 完备算法 分支策略

在线阅读 下载PDF 职称材料

求解二维矩形Packing问题的完备算法

5

作者 何琨 姚鹏程 李立文 《计算机科学》 CSCD 北大核心 2014年第8期55-59,89,共6页

对于典型的NP难度问题——二维矩形Packing问题,经典完备算法的计算复杂度不仅与待放块的数目相关,也与矩形框的宽和高相关。通过观察二维矩形Packing问题的合法布局的特点,将其与一对有向无环图相对应,并基于Prüfer码进行编码,提... 对于典型的NP难度问题——二维矩形Packing问题,经典完备算法的计算复杂度不仅与待放块的数目相关,也与矩形框的宽和高相关。通过观察二维矩形Packing问题的合法布局的特点,将其与一对有向无环图相对应,并基于Prüfer码进行编码,提出了一种计算复杂度仅与待放块数相关的复杂度较低的完备算法。 展开更多

关键词 PACKING问题 完备算法 计算复杂度 Prüfer编码 有向无环图

在线阅读 下载PDF 职称材料

基于简化差别矩阵的完备属性约简算法 被引量：9

6

作者 徐章艳 杨炳儒 宋威 《计算机工程与应用》 CSCD 北大核心 2006年第26期167-169,197,共4页

由于基于老差别矩阵的属性约简的定义与基于正区域的属性约简的定义是不一致的,给出一个简化差别矩阵和相应的属性约简的定义,并证明了该定义与基于正区域的属性约简的定义是一致的。由于在简化差别矩阵中,要先求出IND(C),故设计了一个... 由于基于老差别矩阵的属性约简的定义与基于正区域的属性约简的定义是不一致的,给出一个简化差别矩阵和相应的属性约简的定义,并证明了该定义与基于正区域的属性约简的定义是一致的。由于在简化差别矩阵中,要先求出IND(C),故设计了一个较好的求IND(C)的算法,其复杂度被降为O(｜C‖U｜)。在此基础上设计了一个完备属性约简算法,其时间复杂度和空间复杂度分别被降为max｛O(｜C｜2(｜U′pos‖U/C｜)),O(｜C‖U｜)｝和max｛O(｜U｜),O(｜C｜(｜U′pos‖U/C｜))｝。 展开更多

关键词 粗糙集 差别矩阵 简化差别矩阵 属性约简 完备算法 复杂度

在线阅读 下载PDF 职称材料

基于差别矩阵的完备属性约简算法 被引量：4

7

作者 杨波 徐章艳 舒文豪 《计算机工程》 CAS CSCD 北大核心 2011年第16期51-53,共3页

基于差别矩阵思想的属性约简算法需要求出决策表的差别矩阵,然而差别矩阵的求取不但费时而且占用大量的存储空间。为此,提出一种基于差别矩阵中非空对象个数的改进属性约简算法。在利用差别矩阵思想的同时不生成差别矩阵,并给出属性重... 基于差别矩阵思想的属性约简算法需要求出决策表的差别矩阵,然而差别矩阵的求取不但费时而且占用大量的存储空间。为此,提出一种基于差别矩阵中非空对象个数的改进属性约简算法。在利用差别矩阵思想的同时不生成差别矩阵,并给出属性重要度的定义及其快速计算公式,只需要U'POS和U'NEG就能计算出属性重要度。实例分析证明,该算法能节省计算时间,求出最小属性约简。 展开更多

关键词 粗糙集 简化决策表 差别矩阵 属性约简 完备算法

在线阅读 下载PDF 职称材料

基于搜索信息反馈策略的MaxSAT非完备求解算法

8

作者 徐振兴 何琨 +2 位作者 李初民 刘燕丽 郑迥之 《计算机学报》 EI CAS CSCD 北大核心 2023年第4期711-726,共16页

MaxSAT问题是SAT可满足性问题的优化形式,具有NP难度.本文分析了传统的MaxSAT局部搜索求解器对工业算例求解存在的局限性,并基于此分析提出了新的初始解构造算法ASIF.ASIF是一个基于树形赋值的初始解构造算法,其中包含了一个全局信息反... MaxSAT问题是SAT可满足性问题的优化形式,具有NP难度.本文分析了传统的MaxSAT局部搜索求解器对工业算例求解存在的局限性,并基于此分析提出了新的初始解构造算法ASIF.ASIF是一个基于树形赋值的初始解构造算法,其中包含了一个全局信息反馈策略.该算法选取并定义了构造过程中有意义的统计量,使用这些量设计了一个全局搜索信息更新反馈机制,对初始解构造过程中的经验进行积累并为后续解的构造提供指导信息,再根据后续解的构造情况对全局经验进行反馈和更新,从而有效利用了解构造过程中的经验和信息.进一步地,将ASIF作为初始解构造算法,结合IPBMR算法中的路径截断(PB)策略,提出了新的算法PB-ASIF.实验设计与比较共分为三个阶段.第一阶段,将ASIF在300秒内首次找到的可行解与IPBMR求解300秒的结果进行对比.ASIF初始可行解更优的数量是IPBMR在300秒内求解的可行解更优数量的两倍多,其中非加权偏类算例更优解数量上前者更是后者的3.68倍.该阶段的实验结果表明,ASIF算法能快速构造优质的初始可行解.第二阶段,将PB-ASIF与IPBMR进行对比实验,在300秒求解时间内,PB-ASIF求得更优解的数量总体上是IPBMR的2.38倍,在非加权偏类算例更优解数量上前者更是后者的3.85倍.该阶段的实验结果表明,PB-ASIF算法求解工业算例的能力明显超过了IPBMR算法,有效改进了使用PB策略求解工业算例的效果.第三阶段,将PB-ASIF与其它优秀求解器进行联合求解,包括CCEHC求解器和SATLike3.0求解器.该阶段的实验结果表明,PB-ASIF算法与其它局部搜索类算法有很强的互补性,有提升其它求解器求解效果的能力. 展开更多

关键词 组合优化 最大可满足性问题 非完备算法 搜索信息反馈 赋值算法

在线阅读 下载PDF 职称材料

基于极小准则的完备正交判别局部保持算法 被引量：1

9

作者 林玉娥 李敬兆 +1 位作者 梁兴柱 林玉荣 《光电工程》 CAS CSCD 北大核心 2011年第3期145-150,共6页

以无监督判别投影算法为理论基础,提出了一种基于极小准则的完备正交判别局部保持投影算法。算法首先根据同类样本的空间信息重新定义了类内局部保持散度矩阵与类间局部保持散度矩阵,然后借鉴无监督判别投影算法的目标函数,推导出一个... 以无监督判别投影算法为理论基础,提出了一种基于极小准则的完备正交判别局部保持投影算法。算法首先根据同类样本的空间信息重新定义了类内局部保持散度矩阵与类间局部保持散度矩阵,然后借鉴无监督判别投影算法的目标函数,推导出一个基于极小准则的目标函数,该目标函数通过投影到总体散度矩阵的非零空间中有效地解决小样本问题,最后给出了该算法基于QR分解的正交投影矩阵的求解方法。人脸库上的实验结果表明了所提方法的有效性。 展开更多

关键词 完备正交判别局部保持投影算法 散度矩阵 无监督判别投影算法 目标函数 非零空间

在线阅读 下载PDF 职称材料

基于关键规则分组优先提取策略的完备化算法及其实现 被引量：1

10

作者 钱群力 邵志清 虞慧群 《华东理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2000年第5期451-454,共4页

在分析现有的完备化策略的基础上提出了关键规则分组优先提取策略 ,介绍了基于此策略的完备化算法及其具体实现 ,初步探讨了策略的选择对于提高此类系统演算效率的重要作用。

关键词 完备化算法 关键规则 分组优化提取策略

在线阅读 下载PDF 职称材料

求解SAT问题的算法的研究进展 被引量：11

11

作者 郭莹 张长胜 张斌 《计算机科学》 CSCD 北大核心 2016年第3期8-17,共10页

SAT问题是研究最广泛的NPC问题之一。由于SAT问题本身的特性,除非P=NP,否则不存在最坏情况下多项式阶时间复杂度的SAT求解算法。因此设计出高效快速的SAT求解算法至今仍是研究热点。首先简要介绍了SAT问题;其次从完备算法、不完备算法... SAT问题是研究最广泛的NPC问题之一。由于SAT问题本身的特性,除非P=NP,否则不存在最坏情况下多项式阶时间复杂度的SAT求解算法。因此设计出高效快速的SAT求解算法至今仍是研究热点。首先简要介绍了SAT问题;其次从完备算法、不完备算法和组合算法3个角度总结了新近的研究进展,深入分析了已有算法解决SAT问题的基本流程,并从适用问题类别、算法特点、求解效率等方面对各类先进的求解器进行了对比分析;最后讨论了求解SAT问题的算法面临的挑战,并对下一步研究工作进行了展望。 展开更多

关键词 SAT问题 完备算法 不完备算法 组合算法

在线阅读 下载PDF 职称材料

算法不完备性及其治理——以互联网金融消费者保护为中心 被引量：14

12

作者 黄博文 《西南金融》 北大核心 2018年第8期49-56,共8页

大数据征信、智能投顾、机器学习等金融科技迅猛发展,为互联网金融行业的调整注入了技术驱动力。但由于底层算法所固有的不完备性风险,算法的有效性和透明度问题与金融消费者保护的既有理论与制度出现了匹配困境。本文在回顾"消费... 大数据征信、智能投顾、机器学习等金融科技迅猛发展,为互联网金融行业的调整注入了技术驱动力。但由于底层算法所固有的不完备性风险,算法的有效性和透明度问题与金融消费者保护的既有理论与制度出现了匹配困境。本文在回顾"消费者主权""信息不对称"等传统消费者保护理论的基础上,指出以算法的不完备性为代表的技术不对称已经成为了信息不对称的重要表现。为了降低算法的不完备性风险,本文指出应当在有限技术中立原则的基础上,增加监管者对算法治理的介入程度,在践行动态监管、分类监管、科技监管等监管理念的基础上,通过算法有效性测试制度来降低算法的有效性风险,通过算法有限公开制度、算法备案制度来降低算法的透明度风险,力求兼顾鼓励金融创新、维护金融安全和保护金融消费者的多元监管目标。 展开更多

关键词 金融科技 互联网金融 大数据 云计算 金融消费者保护 算法不完备性 算法有效性 算法透明度 技术风险 技术中立 算法治理体系 算法监管 监管科技

在线阅读 下载PDF 职称材料

改进的基于差别矩阵的属性约简算法 被引量：22

13

作者 王加阳 高灿 《计算机工程》 CAS CSCD 北大核心 2009年第3期66-67,73,共3页

指出现有差别矩阵属性约简算法的不足,对原有差别矩阵和属性重要性度量方法进行改进,运用差别矩阵元素项的重要性质,提出一种新的启发式约简完备算法,有效地降低差别矩阵约简算法的空间复杂度。仿真实验结果显示,新算法产生的约简与分... 指出现有差别矩阵属性约简算法的不足,对原有差别矩阵和属性重要性度量方法进行改进,运用差别矩阵元素项的重要性质,提出一种新的启发式约简完备算法,有效地降低差别矩阵约简算法的空间复杂度。仿真实验结果显示,新算法产生的约简与分辨函数思想产生的最优约简一致,表明了新算法的有效性与完备性。 展开更多

关键词 差别矩阵 最优约简 完备算法

在线阅读 下载PDF 职称材料

基于核与改进的条件区分能力的反向删除属性约简算法 被引量：2

14

作者 冯卫兵 张梅 《计算机应用与软件》 CSCD 2016年第5期252-255,292,共5页

粗糙集理论的布尔矩阵表示形式具有直观、易于理解的优点,它的引入为研究粗糙集的理论提供了一个新的思路。在对布尔矩阵性质研究的基础上,针对已有的基于布尔矩阵算法没有考虑到核属性在浓缩布尔矩阵时的重要性的不足,将属性重要性与... 粗糙集理论的布尔矩阵表示形式具有直观、易于理解的优点,它的引入为研究粗糙集的理论提供了一个新的思路。在对布尔矩阵性质研究的基础上,针对已有的基于布尔矩阵算法没有考虑到核属性在浓缩布尔矩阵时的重要性的不足,将属性重要性与改进的条件区分能力相结合,提出基于核与改进的条件区分能力的属性约简算法,借助反向删除确保约简集的完备性。实例表明改进后的算法在条件区分能力上更加准确,并且使约简结果更具有较强的完备性。 展开更多

关键词 布尔矩阵 条件区分能力 属性约简 完备算法

在线阅读 下载PDF 职称材料

简化的二进制差别矩阵属性约简算法的改进 被引量：5

15

作者 桂现才 《计算机工程与设计》 CSCD 北大核心 2007年第16期3971-3973,共3页

目前,基于二进制差别矩阵的属性约简算法有以下不足:所得到的属性约简与基于正区域的属性约简不一致。文献[7]中给出一种基于简化的二进制差别矩阵的快速属性约简算法,但该算法不完备。分析了算法不完备的原因,在此基础上,提出了一种改... 目前,基于二进制差别矩阵的属性约简算法有以下不足:所得到的属性约简与基于正区域的属性约简不一致。文献[7]中给出一种基于简化的二进制差别矩阵的快速属性约简算法,但该算法不完备。分析了算法不完备的原因,在此基础上,提出了一种改进的完备算法,该算法的时间复杂度为max(O(∣C||U∣),O(∣C∣2∣U pos||U/C))。 展开更多

关键词 属性约简 正区域 决策表 简化的二进制差别矩阵 完备算法

在线阅读 下载PDF 职称材料

基于多种群的随机扰动蚁群算法求解分布式约束优化问题 被引量：5

16

作者 石美凤 肖诗川 冯欣 《计算机应用研究》 CSCD 北大核心 2022年第9期2683-2688,共6页

针对现有的基于蚁群优化思想求解分布式约束优化问题的算法收敛较慢、容易陷入局部最优等问题,提出了一种基于多种群的随机扰动蚁群算法(random disturbance based multi-population ant colony algorithm to solve distributed constra... 针对现有的基于蚁群优化思想求解分布式约束优化问题的算法收敛较慢、容易陷入局部最优等问题,提出了一种基于多种群的随机扰动蚁群算法(random disturbance based multi-population ant colony algorithm to solve distributed constraint optimization problems,RDMAD)来求解分布式约束优化问题。首先,RDMAD提出了一种分工合作机制,将种群按比例划分为采用贪婪搜索的子种群和采用启发式搜索的子种群,同时构建分级更新策略,提高算法收敛速度和求解质量;然后对采用贪婪搜索的子种群设计自适应变异算子和奖惩机制,防止算法陷入局部最优;最后在算法陷入停滞时触发随机扰动策略,增加种群多样性。将RDMAD与七种最先进的非完备算法在三类基准问题上的寻优结果进行了实验对比,结果表明RDMAD在求解质量和收敛速度上优势明显,且稳定性较高。 展开更多

关键词 分布式约束优化问题 蚁群算法 自适应变异算子 非完备算法

在线阅读 下载PDF 职称材料

一种历史局部代价求解ADCOPs的算法 被引量：2

17

作者 石美凤 吴俊 陈媛 《重庆理工大学学报（自然科学）》 CAS 北大核心 2022年第9期156-163,共8页

局部搜索算法是求解非对称分布式约束优化问题(asymmetric distributed constraint optimization problems,ADCOPs)的热点,然而此系列算法都未利用历史局部代价这一关键信息。提出了一种新的历史局部代价的算法(historical local cost,H... 局部搜索算法是求解非对称分布式约束优化问题(asymmetric distributed constraint optimization problems,ADCOPs)的热点,然而此系列算法都未利用历史局部代价这一关键信息。提出了一种新的历史局部代价的算法(historical local cost,HLC),利用局部代价历史记录求解ADCOPs。HLC使用指数加权移动平均(exponential weighted moving average,EWMA)对局部代价进行模拟更新,并引入了种群机制对其充分模拟和搜索更广的解空间,从模拟局部代价的有效性和种群作用的优越性进行了理论分析。实验结果表明:HLC比最先进的ADCOPs非完备算法有更高质量的解。 展开更多

关键词 多智能体 分布式约束优化问题 非完备算法 局部搜索算法

在线阅读 下载PDF 职称材料

含故障模式的值传递诊断及其完备性讨论

18

作者 张学农 姜云飞 张立成 《计算机研究与发展》 EI CSCD 北大核心 2010年第11期1970-1977,共8页

基于模型的诊断是人工智能领域一个活跃的研究方向.基于值传递的诊断是一种高效的故障诊断方法,但在一般情况下不完备,且系统模型仅描述元件的正常行为.扩充了基于值传递的系统模型,可以描述系统元件的多种故障模式;重新定义了诊断,明... 基于模型的诊断是人工智能领域一个活跃的研究方向.基于值传递的诊断是一种高效的故障诊断方法,但在一般情况下不完备,且系统模型仅描述元件的正常行为.扩充了基于值传递的系统模型,可以描述系统元件的多种故障模式;重新定义了诊断,明确了该模型下得到的诊断与一致性诊断和溯因诊断之间的关系;同时,指出了值传递与真实诊断的关系,为诊断测试提出了新的思路;最后,给出了值传递诊断方法的完备的充分条件,对推进值传递诊断方法的实际应用有积极意义. 展开更多

关键词 基于模型的诊断 值传递 故障模式 真实诊断 算法完备性

在线阅读 下载PDF 职称材料

顶点序下图的支配集算法 被引量：2

19

作者 王洪 官礼和 《计算机科学》 CSCD 北大核心 2020年第S02期444-448,共5页

文中将粗糙集理论中的属性序引入到图论中,研究顶点序下图的支配集问题。首先,在图的顶点集上定义一个全序关系,称为顶点序。然后,利用顶点序定义一个二元等价关系,得到图中所有顶点闭邻接集的一个划分。最后,基于该划分设计了一种顶点... 文中将粗糙集理论中的属性序引入到图论中,研究顶点序下图的支配集问题。首先,在图的顶点集上定义一个全序关系,称为顶点序。然后,利用顶点序定义一个二元等价关系,得到图中所有顶点闭邻接集的一个划分。最后,基于该划分设计了一种顶点序下图的极小支配集算法。同时,证明了该算法在给定顶点序下求解极小支配集的完备性和唯一性,并通过实例分析验证了所提算法的正确性和有效性。 展开更多

关键词 支配集 顶点序 算法完备性 算法唯一性

在线阅读 下载PDF 职称材料

基于系统熵的属性约简的简化差别矩阵方法 被引量：2

20

作者 王熊彬 郑雪峰 徐章艳 《计算机应用研究》 CSCD 北大核心 2009年第7期2460-2464,共5页

基于系统熵的属性约简是一种新型的属性约简。该模型由于同时考虑了条件属性集和决策属性集对决策表的分类能力,它是一种考虑较周全的属性约简模型。为设计高效的属性约简算法,首先引入简化差别矩阵,同时给出了基于该简化差别矩阵的属... 基于系统熵的属性约简是一种新型的属性约简。该模型由于同时考虑了条件属性集和决策属性集对决策表的分类能力,它是一种考虑较周全的属性约简模型。为设计高效的属性约简算法,首先引入简化差别矩阵,同时给出了基于该简化差别矩阵的属性约简定义,并证明该定义与基于系统熵的属性约简定义等价;然后用简化差别矩阵设计了一个基于系统熵的完备属性约简算法;最后用实例说明了新算法。 展开更多

关键词 粗糙集 系统熵 简化差别矩阵 属性约简 完备算法 复杂度

在线阅读 下载PDF 职称材料