删除策略

作品数：34被引量：75H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：徐扬李彬刘叙华张家锋刘利强更多>>
相关机构：西南交通大学山东大学吉林大学哈尔滨工程大学更多>>
相关期刊：《微电子学与计算机》《电子世界》《现代电子技术》《辽宁工程技术大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一阶逻辑定理证明器中的无效子句删除策略被引量：2
《计算机应用》2024年第3期677-682,共6页姜世攀 陈树伟 曾国艳 
国家自然科学基金资助项目(61976130)。
在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的...
关键词：自动推理 一阶逻辑 子句删除 纯文字规则 无效子句 
基于学习子句删除策略的SAT求解器分支策略被引量：2
《计算机科学》2021年第11期294-299,共6页王钇杰 徐扬 吴贯锋 
国家自然科学基金(61673320);中央高校基本科研业务费专项资金(2682020CX59)。
对于SAT求解器,目前流行的分支变量决策策略大多是基于冲突的变量活跃度评估算法,选择具有最大活性的未赋值变量作为决策变量,优先解决最近的冲突。但是,它们都忽略了包含决策变量的子句数目对布尔约束传播(BCP)的影响。针对此问题,提...
关键词：活跃度 学习子句 可满足性问题 学习子句删除策略 完备算法 
基于回跳层数的SAT求解器学习子句删除策略被引量：1
《计算机应用研究》2020年第11期3316-3320,共5页沈雪 陈树伟 徐扬 吴贯锋 
国家自然科学基金资助项目(61673320);中央高校基本科研业务费专项资金资助项目(2682018ZT10,2682018CX59)。
目前学习子句删除策略广泛采用的是基于LBD的评估方式,LBD评估方式在每次执行删除时都会删除前一半LBD值大的学习子句,这种方式对LBD值大的学习子句的删除过于激进。针对此问题,提出了一种利用冲突回跳层数(back-jump levels)的评估方...
关键词：可满足性问题 冲突驱动子句学习 LBD 回跳层数 
依据删除策略正确插拔设备
《电脑爱好者》2019年第18期25-25,共1页吕梁 
从Windows中移除移动设备时,或移动设备使用过程中,其性能或安全性会受到设备删除策略的影响。那么,我们应该如何正确认识Windows中的两种删除策略?又该如何利用好删除策略设置,从而更安全、更高效地使用移动设备呢?Windows为移动设备...
关键词：删除策略 移动设备 WINDOWS 插拔 外部存储设备 控制系统 默认设置 安全性 
基于学习子句长度和LBD的删除策略
《计算机与现代化》2019年第5期92-95,100,共5页刘姚 宋振明 
国家自然科学基金资助项目(61673320);中央高校基本科研业务费专项资金项目(2682018ZT10)
学习子句的删除在求解器的构成中是非常重要的。因为学习子句删除策略的"优劣"不仅影响BCP的效率,还影响内存的占用问题,为避免出现这些问题,很多学者做了大量的工作,提出了很多良好的学习子句删除策略。然而当前的学习子句删除策略都...
关键词：SAT求解器 学习子句删除 LLBD策略 LBD 
内容管理——素材删除策略
《科技传播》2019年第10期111-113,共3页朱孝龙 
结合郑州电视台播控系统中关于智能化、自动化等方面的要求,为确保安全播出,方正精翰内容管理系统的应用,其中关于素材删除的策略,极大地缓解了服务器的内存压力,也在一定程度上减少了工作人员的工作量,降低了人员操作事故的发生。文章...
关键词：服务器 二级存储 删除策略 
基于演绎长度的学习子句删除策略被引量：3
《计算机工程与应用》2018年第16期30-36,共7页常文静 徐扬 吴贯锋 
国家自然科学基金(No.61673320);中央高校基本科研业务费专项资金(No.2682018ZT10)
学习子句删除策略是CDCL-SAT求解器中的一个重要内容,可以避免内存爆炸和加速单元传播。评估学习子句有用性的标准不同导致所删除的学习子句是不同的,极大地影响求解效率。基于CDCL算法的求解过程可被形式化为增加管理学习子句策略的归...
关键词：可满足性问题 冲突驱动子句学习 学习子句删除 演绎长度 
一种基于角度惩罚距离的高维多目标进化算法被引量：6
《电子与信息学报》2018年第2期314-322,共9页毕晓君 王朝 
国家自然科学基金(61175126);中央高校基本科研业务费专项资金(HEUCFP201709)~~
为了使多目标进化算法在收敛性和分布性之间保持平衡,该文提出一种基于角度惩罚距离的高维多目标进化算法(Many-Objective Evolutionary Algorithm based on Angle Penalized Distance,Ma OEA-APD)。首先,综合考虑收敛性和分布性在进化...
关键词：高维多目标优化 进化算法 删除策略 角度惩罚距离 
海量五层十五级瓦片移动端快速加载算法研究被引量：2
《地理空间信息》2017年第5期29-31,41,共4页徐鹏 赵亚萌 苏焕焕 王栋 
高分重大专项资助项目(Y4D00100GF;Y4D0100038);中科院战略先导专项资助项目(Y1Y02230XD)
针对传统四叉树加载方法在海量五层十五级遥感瓦片数据移动端加载展示过程中出现的内存溢出和卡顿问题,设计了新型五层十五级瓦片移动端快速加载算法,以实现按需动态计算待加载瓦片范围,循环加载展示;并采用缓存策略和延后删除策略保证...
关键词：五层十五级 遥感瓦片数据 移动端 缓存策略 延后删除策略 
格值一阶逻辑中α-语义归结方法的相容性被引量：4
《辽宁工程技术大学学报（自然科学版）》2016年第11期1335-1340,共6页张家锋 徐扬 曹发生 
国家自然科学基金项目(61305074);贵州省科学技术基金项目(黔科合J字LKB[2012]02号);贵州民族大学引进人才项目(15XRY006)
为优化基于格值逻辑的α-归结原理,将删除策略应用于α-语义归结方法,研究了基于格值逻辑的带有删除策略的α-语义归结方法.首先给出了带有删除策略的α-语义归结的完备性;接着,给出了带有删除策略的α-语义归结算法,并证明了该算法的...
关键词：自动推理 语义归结 删除策略 格值逻辑 相容性 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部