期刊文献+
共找到45篇文章
< 1 2 3 >
每页显示 20 50 100
Search Space Pruning Based on Image Tools for Preliminary Interplanetary Trajectory Design
1
作者 杨大林 徐波 高有涛 《Transactions of Nanjing University of Aeronautics and Astronautics》 EI CSCD 2015年第5期530-540,共11页
A novel gravity assist space pruning(GASP)algorithm based on image tools is proposed for solving interplanetary trajectory optimization problem.Compared with traditional GASP algorithm,the concept of image is introduc... A novel gravity assist space pruning(GASP)algorithm based on image tools is proposed for solving interplanetary trajectory optimization problem.Compared with traditional GASP algorithm,the concept of image is introduced to avoid missing interesting solutions with appropriate number of function evaluations.Image tools allow us to evaluate the objective function in regions in place of points and provide an effective way to evaluate the forward and backward constraints for the multi-gravity assist trajectory optimization problem.Since the interesting solutions of the interplanetary trajectory optimization problem are often clustered in a small portion of the search space rather than being overall evenly distributed,the regionwise evaluations with image tools make the little large interval with the proper Lipschitzian tolerances sampling effective.The detailed steps of the proposed method are presented and two examples including Earth Venus Mars(EVM)transfer and Earth Venus Venus Earth Jupiter Saturn(EVVEJS)transfer are given.Finally,a comparison with solutions given by the literature demonstrates the effectiveness of the proposed method. 展开更多
关键词 trajectory optimization global optimization local minima gravity assist space pruning (GASP) algorithm image tool
在线阅读 下载PDF
基于变化参与实例的空间并置模式增量挖掘方法
2
作者 芦俊丽 昌鑫 +1 位作者 罗浩瑜 刘士虎 《计算机应用研究》 北大核心 2025年第2期431-440,共10页
空间并置模式是一组空间特征的子集,它们的实例在空间中频繁关联。空间并置模式挖掘是空间数据挖掘的一个重要分支。然而,空间数据库随时间不断变化,高效的空间并置模式增量挖掘显得尤为重要。提出基于变化参与实例的空间并置模式增量... 空间并置模式是一组空间特征的子集,它们的实例在空间中频繁关联。空间并置模式挖掘是空间数据挖掘的一个重要分支。然而,空间数据库随时间不断变化,高效的空间并置模式增量挖掘显得尤为重要。提出基于变化参与实例的空间并置模式增量挖掘方法,相比传统的增量挖掘算法,不进行耗时的变化表实例生成操作,直接搜索变化参与实例。为加速变化参与实例搜索过程,提出了实例级搜索优化策略、启发式模式剪枝技术,进而提出了IMCP-CPI,讨论了算法的复杂度、正确性和完备性。在真实和模拟数据集上进行了大量实验验证IMCP-CPI的性能。结果表明IMCP-CPI远优于当前已知的5个空间并置模式增量挖掘算法,其效率提升数倍甚至数个量级。在变化数据占比为原数据集5%的新数据集中,当距离阈值d很大或者参与度阈值min_prev很小时,IMCP-CPI的性能比当前并置模式挖掘较优算法CPM-Col及改进算法CPM-iCol提升2~3倍。此外,当变化数据占比分别小于等于原数据集的25%和50%时,无论在参数变化还是可扩展性方面,IMCP-CPI均优于CPM-iCol和CPM-Col,这对具体实践中的方法选取给与了参考意见。 展开更多
关键词 空间并置模式挖掘 增量挖掘 变化参与实例 实例搜索空间 模式剪枝技术
在线阅读 下载PDF
基于决策空间裁剪强化学习的连锁故障调切结合紧急控制 被引量:1
3
作者 陈戈 张俊勃 +1 位作者 彭颖 王明扬 《电力系统自动化》 北大核心 2025年第6期144-156,共13页
新能源快速功率控制技术的发展使新能源功率调节具有参与过载主导型连锁故障紧急控制的潜力,而现有基于深度强化学习的连锁故障紧急控制方法未考虑调切结合的控制策略,且存在因决策空间较大而难以收敛的问题。为此,文中提出一种基于决... 新能源快速功率控制技术的发展使新能源功率调节具有参与过载主导型连锁故障紧急控制的潜力,而现有基于深度强化学习的连锁故障紧急控制方法未考虑调切结合的控制策略,且存在因决策空间较大而难以收敛的问题。为此,文中提出一种基于决策空间裁剪图深度强化学习的电网连锁故障调切结合紧急控制方法。首先,构建调切结合的映射策略模型,提出连锁故障紧急控制框架;其次,提出基于图卷积深度网络的决策空间裁剪模型及学习方法,根据灵敏度大小保留有控制贡献的控制地点以裁剪决策空间;然后,提出基于图深度强化学习的映射策略模型学习方法,在给定控制地点下实现对控制量的学习;最后,在IEEE 39节点和IEEE 300节点系统中验证所提方法的有效性和泛化性。 展开更多
关键词 新型电力系统 新能源 连锁故障 图深度强化学习 紧急控制 决策空间裁剪
在线阅读 下载PDF
基于Alpha-Beta剪枝的三维空间四子棋系统
4
作者 陈昊天 刘晓彤 陈冰洋 《软件导刊》 2025年第8期137-144,共8页
棋类游戏研究已经从传统的二维空间扩展到三维空间,三维空间的引入增加了游戏的复杂性和策略深度。针对三维空间四子棋的立体结构和规则,应用Alpha-Beta剪枝算法可以开发一个高效的三维空间四子棋系统,使用遗传算法等方法优化棋形得分... 棋类游戏研究已经从传统的二维空间扩展到三维空间,三维空间的引入增加了游戏的复杂性和策略深度。针对三维空间四子棋的立体结构和规则,应用Alpha-Beta剪枝算法可以开发一个高效的三维空间四子棋系统,使用遗传算法等方法优化棋形得分进一步提高系统智能性,并通过KANs分析结果。该系统设计了具有良好交互性和游戏性的3D界面,使用户能够从不同角度观察棋盘。在系统构建过程中,设计了适应三维棋盘的数据结构和局面评估函数,以确保AI能够高效地进行决策和对战。该系统支持多种游戏模式,包括不同难度的AI对战和本地双人对战。此外,系统提供对局历史记录回放,用户可以通过该功能进行棋局复盘和数据分析。对局结果数据显示,AI在不同难度下的表现与计客智能四子棋系统的难度相对应,能够有效适应各类用户的对局需求。 展开更多
关键词 三维空间四子棋 Alpha-Beta剪枝 遗传算法 KANs
在线阅读 下载PDF
注意力引导的多尺度红外行人车辆实时检测 被引量:2
5
作者 张印辉 计凯 +1 位作者 何自芬 陈光晨 《红外与激光工程》 EI CSCD 北大核心 2024年第5期229-239,共11页
红外成像技术通过捕捉目标热辐射特征进行成像,能实现复杂道路场景下的目标监测和道路冗杂信息滤除。针对红外行人和车辆目标检测模型参数量大、依赖高性能GPU资源和检测速度慢等问题,提出了一种注意力引导的多尺度红外行人车辆实时检... 红外成像技术通过捕捉目标热辐射特征进行成像,能实现复杂道路场景下的目标监测和道路冗杂信息滤除。针对红外行人和车辆目标检测模型参数量大、依赖高性能GPU资源和检测速度慢等问题,提出了一种注意力引导的多尺度红外行人车辆实时检测模型。首先,为精确匹配校准红外行人和车辆目标尺度与锚框尺寸,利用K-Means++算法对红外行人和车辆目标尺度进行先验框预置参数重聚类生成,并设计128×128精细尺度检测层;其次,设计注意力引导广域特征提取模块增强模型特征提取能力和空间及通道信息聚焦能力;随后,构建跨空间感知模块引入空间信息感知,强化不同尺度空间下的目标的特征表达能力;最后,针对资源受限设备,通过4倍通道剪枝方法降低模型参数量,增强移动端算法部署适应性。实验结果表明:所提IRDet算法与基准方法相比,模型平均检测精度提升4.3%,达到87.4%,模型权重值压缩60.4%,降至5.7 MB。 展开更多
关键词 红外交通检测 先验框匹配 注意力引导 跨空间感知 模型剪枝
原文传递
基于前缀剪枝的大规模向量空间相似检索框架
6
作者 刘健博 邓凌风 +1 位作者 李文海 田野 《软件导刊》 2024年第6期92-97,共6页
针对大规模文本集合下基于权重的相似性查询问题,提出一种支持前缀剪枝的高效检索框架。首先给出向量空间模型下相似性及其带权前缀定义,理论证明了带权前缀剪枝的正确性;其次,面向大规模文本查询,提出一种新的倒排索引结构,利用索引叶... 针对大规模文本集合下基于权重的相似性查询问题,提出一种支持前缀剪枝的高效检索框架。首先给出向量空间模型下相似性及其带权前缀定义,理论证明了带权前缀剪枝的正确性;其次,面向大规模文本查询,提出一种新的倒排索引结构,利用索引叶节点维护记录的前缀权重,并基于该索引构建高效的相似检索算法;最后,在TF/IDF权重策略下证明该方法能够有效支持大规模带权相似检索。结果表明,其查询效率较Lucene的归并验证策略提升了5倍以上。 展开更多
关键词 前缀剪枝 TF/IDF 向量空间 倒排索引 信息检索 数据库
在线阅读 下载PDF
结合SE-Tree结构特征的极小碰集求解算法 被引量:3
7
作者 刘思光 欧阳丹彤 +2 位作者 王艺源 贾凤雨 张立明 《计算机研究与发展》 EI CSCD 北大核心 2016年第11期2556-2566,共11页
在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征... 在结合SE-Tree计算集合簇极小碰集的过程中,现有算法会对大量不会产生碰集的冗余节点进行访问.这无疑将影响算法的效率,冗余节点比例越高,影响越大.通过对SE-Tree中叶节点的特殊性质的分析,并结合现有碰集算法有解空间中冗余节点的特征,提出非解冗余节点概念.在对SE-Tree的结构特征进行深入分析基础上,根据非碰集的子集也不是碰集的特点,提出辅助剪枝的概念,通过在剪枝树上设置剪枝判定节点,减少对极小碰集求解过程中无解空间的访问;针对较大规模问题,还提出结合多级辅助剪枝树的极小碰集求解算法,进而较大程度地减少对非解冗余节点的访问;根据多级辅助剪枝树及SE-Tree的结构特征,给出提前终止算法的判定条件,并证明了此算法的正确性.实验结果表明:与效率较高的Boolean算法相比,该算法高效且易于实现,尤其是对规模较大的问题,效率能提升1个数量级. 展开更多
关键词 基于模型诊断 极小碰集 集合枚举树 辅助剪枝树 无解空间剪枝
在线阅读 下载PDF
分布式不确定数据上的概率Skyline计算 被引量:8
8
作者 王晓伟 黄九鸣 贾焰 《计算机科学与探索》 CSCD 2010年第10期951-960,共10页
提出了分布式不确定数据上概率skyline的低通信开销算法。首先给出了一种间接的对象分布信息——剪枝空间,分布节点通过共享全局剪枝空间,能够减少通信开销。为了降低传输剪枝空间带来的额外通信开销,对表示剪枝空间的虚拟对象集合进行... 提出了分布式不确定数据上概率skyline的低通信开销算法。首先给出了一种间接的对象分布信息——剪枝空间,分布节点通过共享全局剪枝空间,能够减少通信开销。为了降低传输剪枝空间带来的额外通信开销,对表示剪枝空间的虚拟对象集合进行基于距离的压缩。与基本算法相比,100个分布节点时,在真实数据集上节省了69%的通信开销;在均匀、正相关、反相关三种标准模拟数据上分别节省60.5%、41.8%、24.5%的通信开销。 展开更多
关键词 分布式不确定数据 概率skyline 剪枝空间 虚拟对象集合
在线阅读 下载PDF
基于模型诊断中结合问题特征的新方法 被引量:6
9
作者 欧阳丹彤 周建华 +1 位作者 刘伯文 张立明 《计算机研究与发展》 EI CSCD 北大核心 2017年第3期502-513,共12页
基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包... 基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行求解.在对基于模型诊断求解方法 CSSE-tree深入研究基础上,结合诊断问题和SAT求解过程的特征,给出先对包含组件个数较多的候选诊断进行求解的方法,进而减小SAT求解问题的规模;在对极小诊断解和非极小诊断解剪枝方法的基础上,首次提出非诊断解定理及非诊断解空间的剪枝方法,有效地实现了对诊断的无解空间进行剪枝.根据组件个数较多的候选诊断先求解及有解无解剪枝方法特征,构建基于反向搜索的LLBRS-tree方法.实验结果表明:与CSSE-tree算法相比,LLBRS-tree算法减少了SAT求解次数、减小了求解问题规模,效率较好,尤其是求解多诊断时效率提高更为显著. 展开更多
关键词 基于模型的诊断 无解空间剪枝 合取范式 SAT求解器 枚举树
在线阅读 下载PDF
基于MapReduce模式的多表联查算法 被引量:3
10
作者 高泽 李常宝 +2 位作者 杨淙钧 刘忠麟 艾中良 《现代电子技术》 北大核心 2015年第14期81-84,88,共5页
多表关联查询是进行数据挖掘与分析的有效技术手段。随着大数据时代的到来,当前的数据分析技术在进行海量数据多表联查操作时存在明显的性能瓶颈,为此提出一种基于Map Reduce计算模型的多表联查算法UGS用以提升多表关联查询效率。实验表... 多表关联查询是进行数据挖掘与分析的有效技术手段。随着大数据时代的到来,当前的数据分析技术在进行海量数据多表联查操作时存在明显的性能瓶颈,为此提出一种基于Map Reduce计算模型的多表联查算法UGS用以提升多表关联查询效率。实验表明,在海量数据背景下,该算法的查询效率明显优于大数据领域的Spark SQL,Hive及关系型数据库的My SQL。 展开更多
关键词 MAPREDUCE 多表联查 关联空间剪枝 SPARK
在线阅读 下载PDF
移动对象反向最近邻查询处理技术研究进展 被引量:3
11
作者 曹泽文 谭川豫 王晓辉 《计算机工程与应用》 CSCD 北大核心 2011年第10期138-141,共4页
随着移动通信技术的快速发展和个人移动通信终端功能的不断完善,移动计算技术有了更加广阔的应用背景,尤其是移动对象的反向最近邻查询处理技术得到了研究人员的广泛关注。对近几年提出的移动对象反向最近邻查询方法进行了研究,根据其... 随着移动通信技术的快速发展和个人移动通信终端功能的不断完善,移动计算技术有了更加广阔的应用背景,尤其是移动对象的反向最近邻查询处理技术得到了研究人员的广泛关注。对近几年提出的移动对象反向最近邻查询方法进行了研究,根据其查询处理过程,将反向最近邻查询方法分为基于预处理的方法和基于空间修剪的方法;总结了近年来提出的有效解决方法和研究进展,最后介绍了移动对象反向最近邻查询处理技术的最新发展趋势。 展开更多
关键词 移动对象 反向最近邻查询 预处理 空间修剪
在线阅读 下载PDF
空间网络数据库中反k最近邻查询算法 被引量:2
12
作者 朱彩云 刘国华 +1 位作者 宋金玲 李伟静 《小型微型计算机系统》 CSCD 北大核心 2009年第9期1781-1786,共6页
在空间网络数据库中,对象的位置和运动被约束在网络中,对象之间的距离不是传统的欧氏距离,而是由网络连通性决定的网络距离,因此,基于欧氏空间的反最近邻查询算法不适用于空间网络数据库.本文对空间网络数据库中的反最近邻查询问题进行... 在空间网络数据库中,对象的位置和运动被约束在网络中,对象之间的距离不是传统的欧氏距离,而是由网络连通性决定的网络距离,因此,基于欧氏空间的反最近邻查询算法不适用于空间网络数据库.本文对空间网络数据库中的反最近邻查询问题进行了研究.给出网络数据和兴趣点的索引结构及空间网络数据存储模型.给出查询空间修剪定理,并在此基础上,提出空间网络数据库中适用于单、双色反k最近邻查询的RkNN算法.证明了该算法的正确性.最后通过实验对算法进行了验证. 展开更多
关键词 空间网络数据库 最近邻 反最近邻 空间修剪
在线阅读 下载PDF
合肥地区果用桑栽培技术的研究 被引量:3
13
作者 张和禹 鲍先巡 汪泰初 《湖北农业科学》 北大核心 2010年第4期893-894,共2页
对合肥地区栽植的果用桑树的品种、栽植密度、剪伐方法进行了试验,结果表明,果用桑品种大十、红果1号、白玉王均可以在合肥地区栽植,栽植的株行距以1m×2m左右、每公顷栽植4500株左右为宜,剪伐方法主要在夏季修剪,在上一年的剪伐处... 对合肥地区栽植的果用桑树的品种、栽植密度、剪伐方法进行了试验,结果表明,果用桑品种大十、红果1号、白玉王均可以在合肥地区栽植,栽植的株行距以1m×2m左右、每公顷栽植4500株左右为宜,剪伐方法主要在夏季修剪,在上一年的剪伐处将所有的枝条短截,保留基部的3~4个芽,可使每公顷桑葚的产量在15000kg以上。 展开更多
关键词 果用桑 品种 栽植密度 剪伐方法
在线阅读 下载PDF
基于神经架构搜索的非结构化剪枝方法 被引量:4
14
作者 王宪保 刘鹏飞 +1 位作者 项圣 王辛刚 《模式识别与人工智能》 EI CSCD 北大核心 2023年第5期448-458,共11页
由于难以使用客观标准删除深度神经网络中的冗余单元,剪枝后的网络表现出性能的急剧退步.针对此问题,文中提出基于神经架构搜索的非结构化剪枝方法.首先,将掩码学习模块定义在搜索空间中,以便删除冗余的权重参数.然后,引入层级相关系数... 由于难以使用客观标准删除深度神经网络中的冗余单元,剪枝后的网络表现出性能的急剧退步.针对此问题,文中提出基于神经架构搜索的非结构化剪枝方法.首先,将掩码学习模块定义在搜索空间中,以便删除冗余的权重参数.然后,引入层级相关系数传播,在反向传播过程中为每个网络权重分配一个层级相关系数,以此衡量每个权重对网络输出的贡献度,并帮助二值掩码参数的更新.最后,对网络权重、架构参数和层级相关系数进行统一更新.在CIFAR-10、ImageNet分类数据集上的实验表明,文中方法能够在高剪枝率场景下保持网络的泛化能力,满足模型部署的要求. 展开更多
关键词 网络剪枝 神经架构搜索(NAS) 搜索空间 层级相关系数传播 掩码参数
在线阅读 下载PDF
最短加法链算法 被引量:7
15
作者 王晓东 《小型微型计算机系统》 CSCD 北大核心 2001年第10期1250-1253,共4页
本文讨论了关于正整数 n的最短加法链问题 .利用已取得的关于正整数 n的最短加法链长度 l(n)的上、下界的理论成果 ,构造了在回溯法中对状态空间树进行剪枝的精细的剪枝函数 ,从而设计出产生任意正整数
关键词 最短加法链 状态空间树 回溯法 剪枝技术 算法 数据结构
在线阅读 下载PDF
基于状态空间剪枝的软件测试数据扩增算法 被引量:2
16
作者 张昇 刘春宝 《计算机仿真》 北大核心 2021年第9期348-352,共5页
由于软件测试数据待测行为段序列连接存在冗余,导致目标路径覆盖率降低,提出基于状态空间剪枝的软件测试数据扩增算法。通过并发无关行为段在软件测试内的位置实施分类,依据分类结果采用状态空间剪枝算法,缩减状态空间的规模后,采用测... 由于软件测试数据待测行为段序列连接存在冗余,导致目标路径覆盖率降低,提出基于状态空间剪枝的软件测试数据扩增算法。通过并发无关行为段在软件测试内的位置实施分类,依据分类结果采用状态空间剪枝算法,缩减状态空间的规模后,采用测序序列生成算法采用状态节点投影,对所有待测行为段实施操作和判断,按照状态空间实施全序列连接操作,生成全覆盖、无冗余的测试序列;采用自适应粒子群优化算法,设置初始参数、初始种群,判断终止条件,在扩增的测试数据覆盖目标路径时,输入覆盖的测试序列数据完成软件测试数据扩增。实验结果表明,上述算法在软件测试数据扩增效率高,耗时低,平均运行时间低至0.51s,目标路径覆盖率高达到1.0,并且后期的目标路径覆盖率平稳。 展开更多
关键词 状态空间剪枝 软件测试 数据扩增 测试序列 状态空间 自适应粒子群优化
在线阅读 下载PDF
基于邻接表存储与哈希表的频繁项集挖掘算法 被引量:2
17
作者 吴昊 刘钊 顾进广 《计算机应用与软件》 北大核心 2023年第7期266-273,共8页
针对Apriori算法从数据中挖掘频繁项集的计算时间效率较低和空间内存占用较高的问题提出一种ATSAHT-Apriori(Adjacency Table Storage and Hash Table-Apriori)算法。该算法利用哈希表来存储数据,极大地提高了项集支持度频数的计算效率... 针对Apriori算法从数据中挖掘频繁项集的计算时间效率较低和空间内存占用较高的问题提出一种ATSAHT-Apriori(Adjacency Table Storage and Hash Table-Apriori)算法。该算法利用哈希表来存储数据,极大地提高了项集支持度频数的计算效率,结合图存储的思想利用邻接表来存储候选项集,极大地优化了内存空间占用,同时将候选项集构建大根堆,通过堆排序的思想与动态剪枝算法思想优化了频繁项集的计算速度和候选项集存储的内存空间,有效地优化了传统Apriori算法的计算时间效率和内存空间占用方面的不足。一系列对比实验表明,ATSAHT-Apriori算法在时间效率和空间效率都有一定的提高。 展开更多
关键词 时间复杂度 空间复杂度 动态剪枝 哈希表存储 邻接表存储
在线阅读 下载PDF
基于裁减自动球形算法的多符号差分空时译码 被引量:1
18
作者 李庆坤 马洪光 +1 位作者 李正生 王鹏毅 《计算机仿真》 CSCD 北大核心 2010年第3期310-313,共4页
将裁减自动球形译码算法(PASD)应用于多符号差分酉空时译码。多符号差分酉空时译码可以克服快衰落信道中常规差分空时译码的误码平层问题,但其计算复杂度和多符号窗口的长度成指数增长关系。自动球形算法是最大似然性能球形译码算法中... 将裁减自动球形译码算法(PASD)应用于多符号差分酉空时译码。多符号差分酉空时译码可以克服快衰落信道中常规差分空时译码的误码平层问题,但其计算复杂度和多符号窗口的长度成指数增长关系。自动球形算法是最大似然性能球形译码算法中乘加次数最少的方案,裁减自动球形算法在性能恶化很小的前提下进一步减少了该方案的计算复杂度。将裁减自动球形算法应用于多符号差分酉空时译码,可以显著的减少计算量。通过仿真表明,方案在显著减少计算量的情况下,性能的恶化很小,达到了性能和复杂度的较好折衷。 展开更多
关键词 裁减自动球形译码 多符号 差分酉空时译码
在线阅读 下载PDF
结合故障逻辑关系的极小冲突集求解方法 被引量:2
19
作者 欧阳丹彤 高菡 +1 位作者 徐旖旎 张立明 《计算机研究与发展》 EI CSCD 北大核心 2020年第7期1472-1480,共9页
基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set ... 基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set enumeration tree, SE-Tree),然后针对故障输出无关元件的组合进行剪枝.在MCS-SFFO方法的基础上,结合电路的故障逻辑关系提出求解极小冲突集的进一步剪枝方法MCS-FLR(minimal conflict set-fault logic relationship):首先提出单元件非冲突集定理,对单元件集合进行剪枝,避免了对无解空间中单元件节点的访问;其次,提出非极小冲突集定理,推证得出故障输出相关元件集的超集都是冲突集,故对有解空间中的非极小解进行剪枝.MCS-FLR方法在MCS-SFFO方法基础上减少了大量有解空间和部分无解空间调用SAT求解器的次数,节省了求解时间.实验结果表明:相比于MCS-SFFO方法,MCS-FLR方法求解效率有显著提高. 展开更多
关键词 基于模型诊断 非极小冲突 集合枚举树 故障输出相关元件集 有解剪枝
在线阅读 下载PDF
一种基于后缀树的简洁关联规则挖掘有效剪枝方法 被引量:1
20
作者 王秉政 苏晓珂 张素智 《郑州轻工业学院学报(自然科学版)》 CAS 2011年第3期12-17,共6页
针对基于闭模式简洁关联规则挖掘中搜索空间和计算量过大、挖掘有效性降低的问题,提出一种新的剪枝和挖掘方法.该方法通过充分利用挖掘数据结构,保留尽可能少的挖掘后缀信息,直接挖掘简洁项集并枚举简洁关联规则;不需要保留大量中间结... 针对基于闭模式简洁关联规则挖掘中搜索空间和计算量过大、挖掘有效性降低的问题,提出一种新的剪枝和挖掘方法.该方法通过充分利用挖掘数据结构,保留尽可能少的挖掘后缀信息,直接挖掘简洁项集并枚举简洁关联规则;不需要保留大量中间结构和重复扫描数据库,可在较小代价下完成对项集搜索空间进行剪枝.实验表明,相比传统方法本方法更加有效,并对各种数据集具有较好的可规模性. 展开更多
关键词 关联规则 闭模式 数据挖掘 有效剪枝方法 后缀树
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部