云南高校图书馆联盟文献共享服务平台- SAT算法

SAT算法: 作品数：18被引量：61H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：张健李韶华刘歆陈稳周进更多>>; 相关机构：电子科技大学中山大学武汉理工大学京微雅格(北京)科技有限公司更多>>; 相关期刊：《天津科技大学学报》《计算机与现代化》《牡丹江大学学报》《软件导刊》更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划海外青年学者合作研究基金宁夏回族自治区自然科学基金更多>>

可满足性问题的精确算法和计算复杂性: 《广州大学学报（自然科学版）》2023年第5期41-51,共11页陈建二杨伟; 国家自然科学基金资助项目(61872097)。; 可满足性(SAT)问题是计算机科学中最重要的理论研究和实际应用问题之一。文章从标准计算复杂性理论的角度论述SAT问题的精确算法和计算复杂性,主要论述算法的发展,分析算法(最坏情况)的复杂度,并探讨SAT问题的复杂度上限。对一些具有意...; 关键词：可满足性 SAT算法 NP完全性精确算法计算复杂性理论

求解多文字可满足SAT问题的置信传播算法被引量：2: 《计算机应用研究》2021年第9期2710-2715,共6页芦磊王晓峰牛鹏飞刘子琳; 国家自然科学基金资助项目(62062001,61762019,61862051,61962002);北方民族大学重大专项(ZDZX201901);宁夏自然科学基金资助项目(2020AAC03214,2020AAC03219,2019AAC03120,2019AAC03119)。; 可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得合取范式公式中每个子句至少有一个文字为真。多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得CNF公式中每个子句至少有两个文字为真。显然,此问题仍然是一个NP难问题。为了...; 关键词：多文字可满足置信传播算法 WalkSAT算法可满足问题

基于OBB-SAT算法的双五轴加工路径碰撞检测方法被引量：4: 《软件导刊》2021年第2期85-89,共5页孔森张立强李宇昊; 国家自然科学基金项目(51775328)。; 在双五轴镜像铣削加工过程中,支撑端和铣削端在同步运动时可能会发生碰撞,对设备安全和蒙皮件质量造成较大影响。为了预防两端之间的干涉,采用OBB包围盒模型与分离轴算法实现镜像铣加工的碰撞检测。首先分析OBB包围盒的建立方法及其优势...; 关键词：双五轴机床 OBB包围盒分离轴算法碰撞检测

SLS算法求解平衡正则(k,2r)-CNF公式: 《计算机与现代化》2019年第1期1-5,共5页李梓齐许道云; 国家自然科学基金资助项目(61762019;61462001); 可满足性问题的求解算法和结构性质研究是计算机科学中重要问题之一,为寻求某些CNF公式子类问题有效算法或算法改进途径,对公式的结构加以某些限制,其中限定子句长度为恒定常数和变元出现次数是常见的处理方式。研究具有正则结构且每个...; 关键词：SAT问题正则CNF公式随机局部搜索 WalkSAT算法 NSAT算法

CDCLSAT求解器的重启策略分析被引量：3: 《计算机辅助设计与图形学学报》2018年第6期1136-1144,共9页程睿周彩兰徐宁周强; 国家自然科学基金(61774091); CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔、间隔增长系数等因素对实例求...; 关键词：CDCL SAT算法 SAT求解器重启策略重启序列重启策略选择

一种基于归结的不完备SAT算法被引量：1: 《福建电脑》2018年第3期43-43,共1页李娟崔金宝; 大庆师范学院科学研究基金项目(12ZR08); 很多NP问题都可以转换成SAT问题进行求解,所以关于SAT问题求解算法的研究一直是人工智能的一个重要研究方向。DR算法是一种基于归结的高效算法,但在算法的归结过程中会产生很多的新子句,所以减少新子句的产生提高算法效率的一个途径。...; 关键词：SAT问题归结 DR算法

一种ABCSAT算法的启发式初始解策略: 《软件导刊》2018年第2期44-46,共3页周金莲郭莹; 宁夏高校科研项目资助(NGY2015167); 为了改善初始解在解空间中的分布状况,根据SAT问题的变量极性差异约束,提出一种启发式初始解策略,以解决人工蜂群算法求解策略问题。该方法不仅保留了随机思想,而且设置了变量的取值倾向。实验证明,新策略能够进一步节约求解时间和内存...; 关键词：布尔可满足性问题人工蜂群算法初始解启发式

利用PHYSAT方法反演南海浮游植物优势类群分布的季节变化被引量：1: 《天津科技大学学报》2015年第5期42-47,77,共7页李月洋孙群王磊魏皓; 国家重点基础研究发展计划(973计划)资助项目(2011CB403606;2010CB428904);国家自然科学基金资助项目(41376112;41276016;41406158); 基于水色遥感数据用PHYSAT算法反演了南海浮游植物优势类群分布的季节变化,结果表明:微型真核生物作为优势类群全年出现几率最大,原绿球藻次之,聚球藻再次之,硅藻最小;硅藻为优势类群的区域主要在近岸和陆架区,外海原绿球藻和聚球藻的...; 关键词：浮游植物优势类群 PHYSAT算法水色遥感数据 WOA营养盐浓度南海

A retrieval algorithm for TanSat XCO_2 observation: Retrieval experiments using GOSAT data被引量：32: 《Chinese Science Bulletin》2013年第13期1520-1523,共4页LIU Yi YANG DongXu CAI ZhaoNan; supported by the Strategic Priority Research Program-Climate Change:Carbon Budget and Relevant Issues (XDA05040200);the National High-tech R&D Program (2011AA12A104); This study developed a highly accurate retrieval algorithm for the column-averaged CO2 dry-air mixing ratio (XCO2) to be observed by TanSat, China's carbon dioxide observation satellite that will be launched in 2015. ...; 关键词：检索算法实验观测卫星二氧化碳中纬度地区 SAT算法空气混合研究开发

基于硬件可编程逻辑(FPGA)的SAT算法的综述被引量：3: 《电子世界》2012年第6期61-63,69,共4页周进赵希顺; 国家自然科学基金资助项目(项目编号:60970040); 可满足性问题(简称SAT问题)作为第一个被证明的NP完全问题,是计算机科学的核心问题之一。本文系统总结了基于硬件可编程逻辑(FPGA---Field Programmable Gate Array)的SAT算法研究。将基于FPGA的SAT算法研究分为了实例型(instance-speci...; 关键词：可编程逻辑 SAT算法可满足性 FPGA

SAT算法