搜索筛选:
搜索耗时2.4922秒,为你在为你在102,285,761篇论文里面共找到 14 篇相符的论文内容
发布年度:
[学位论文] 作者：吴贯锋,,
来源：西南交通大学 年份：2019
命题逻辑和一阶逻辑是逻辑学中的基本问题,也是计算机科学领域的核心问题。在推理系统中命题是命题逻辑公式的最小单位,一阶逻辑可以看作是命题逻辑的扩展,一阶逻辑增加了谓...
[学位论文] 作者：吴贯锋,,
来源：河南大学 年份：2014
近年来生态环境问题日益突出，随着航天遥感对地观测技术的发展，遥感信息获取能力不断增强，针对生态环境遥感监测的行业应用正在形成规模。然而矿区作为环保重点监测对象，传统的监......
[期刊论文] 作者：常文静, 徐扬, 吴贯锋,,
来源：计算机工程与应用 年份：2018
学习子句删除策略是CDCL-SAT求解器中的一个重要内容,可以避免内存爆炸和加速单元传播。评估学习子句有用性的标准不同导致所删除的学习子句是不同的,极大地影响求解效率。基...
[期刊论文] 作者：陈青山, 徐扬, 吴贯锋,,
来源：计算机科学 年份：2018
针对命题逻辑公式求解过程中难以有效评估学习子句是否有利于后续搜索的问题,提出了一种基于学习子句趋势强度的评估算法。该算法首先通过分析学习子句在生存期内参与冲突分...
[期刊论文] 作者：王钇杰,徐扬,吴贯锋,
来源：计算机科学 年份：2021
对于SAT求解器,目前流行的分支变量决策策略大多是基于冲突的变量活跃度评估算法,选择具有最大活性的未赋值变量作为决策变量,优先解决最近的冲突.但是,它们都忽略了包含决策变量的子句数目对布尔约束传播(BCP)的影响.针对此问题,提出了 一种基于学习子句删除策......
[期刊论文] 作者：曹锋,徐扬,吴贯锋,钟建,
来源：计算机工程与科学 年份：2019
Prover9证明器只采用二元归结方法,是一种静态的、局部的推理规则。基于矛盾体分离规则,提出了一种多元动态演绎算法,采用整体式演绎框架,通过子句演绎权重与文字演绎权重规...
[期刊论文] 作者：周兵,李家国,吴贯锋,刘扬,,
来源：河南大学学报(自然科学版) 年份：2013
为了方便快捷地开发出新的遥感产品生产或遥感图像处理算法,尝试利用现有的一些遥感生产处理算法,以"搭积木"的形式,组合成新的算法.由于算法间存在依赖关系,这样就会形成算法的调用次序,也就是遥感产品生产流程.面向遥感生产的可视化数据流模型,就是对这种生产......
[期刊论文] 作者：陈青山,徐扬,吴贯锋,何星星,
来源：计算机科学 年份：2017
适当的重启有助于求解器跳出局部最优,但频繁重启会严重降低效率。为解决CDCL求解器重启触发条件随意性大的问题,提出一种基于搜索路径识别的延迟重启算法。该算法使用Luby序...
[期刊论文] 作者：沈雪,陈树伟,徐扬,吴贯锋,,
来源：计算机应用研究 年份：2020
目前学习子句删除策略广泛采用的是基于LBD的评估方式,LBD评估方式在每次执行删除时都会删除前一半LBD值大的学习子句,这种方式对LBD值大的学习子句的删除过于激进。针对此问题,提出了一种利用冲突回跳层数(back-jump levels)的评估方式来保留LBD值较大的有用学......
[期刊论文] 作者：吴贯锋,徐扬,陈青山,何星星,常文静,
来源：计算机工程与科学 年份：2019
为了有效管理学习子句,避免学习子句规模呈几何级增长,减少冗余学习子句对系统内存占用,从而提高布尔可满足性问题SAT求解器的求解效率,需要对学习子句进行评估,然后删减学习...
[期刊论文] 作者：曹锋, 徐扬, 陈树伟, 吴贯锋, 常文静,,
来源：西南交通大学学报 年份：2020
一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消...
[期刊论文] 作者：吴贯锋, 徐扬, 常文静, 陈树伟, 徐鹏,,
来源：西南交通大学学报 年份：
为了提高SAT问题求解效率,本文提出在OPENMP编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择操作的时间复杂度降低到O(N)级别。该算法...
[期刊论文] 作者：吴贯锋,徐扬,常文静,陈树伟,徐鹏,
来源：西南交通大学学报 年份：2019
为了提高SAT(boolean satisfiability)问题求解效率,在OpenMP(open multi-processing)编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择...
[期刊论文] 作者：曹锋, 徐扬, 陈树伟, 吴贯锋, 常文静,
来源：西南交通大学学报 年份：2019
...
相关搜索：
