周俊萍

作品数：10被引量：60H指数：3
导出分析报告
供职机构：东北师范大学更多>>
发文主题：上界SAT问题最小上界局部搜索算法SAT更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机研究与发展》《软件学报》《计算机科学与探索》《智能系统学报》更多>>
所获基金：国家自然科学基金国家教育部博士点基金中央高校基本科研业务费专项资金教育部“新世纪优秀人才支持计划”更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
求解MinSAT问题的加强式格局检测与子句加权算法被引量：2
《计算机学报》2018年第4期745-759,共15页周俊萍 任雪亮 殷茜 李睿智 殷明浩 
国家自然科学基金(61370156;61403076;61403077;61300099);高等学校博士学科点专项科研基金(20120043120017);新世纪优秀人才支持计划(NCET-13-0724);吉林省大型科学仪器装备共享共用专项项目(20150623024TC-03);吉林省青年科研基金项目(20160520104JH)资助
MaxSAT问题的研究已成为一个比较热门的研究领域,与MaxSAT问题相对的是MinSAT问题.MinSAT是SAT问题的另一种优化形式.与MaxSAT问题不同的是MinSAT问题需要找到一组赋值使得可满足的子句数目最少.在求解某些组合优化问题时,将其转化为Min...
关键词：最小可满足问题 局部搜索算法 子句加权 格局检测 加强式格局检测 
求解#SMT问题的局部搜索算法被引量：2
《软件学报》2016年第9期2185-2198,共14页周俊萍 李睿智 曾志勇 殷明浩 
国家自然科学基金(61370156;61403076;61403077);高等学校博士学科点专项科研基金(20120043120017);新世纪优秀人才支持计划(NCET-13-0724);吉林省大型科学仪器装备共享共用专项项目(20150623024TC-03)~~
#SMT问题是SMT问题的扩展,它需要计算一阶逻辑公式F所有可满足解的个数.目前,该问题已被广泛应用于编译器优化、硬件设计、软件验证和自动化推理等领域.随着#SMT问题的广泛应用,设计可以求解较大规模#SMT实例的求解器亟待解决.基于以上...
关键词：#SMT 满足性 差分进化 线性公式 
最坏情况下X_2SAT问题的上界被引量：2
《计算机研究与发展》2014年第3期598-605,共8页周俊萍 姜蕴晖 殷明浩 
国家自然科学基金项目(60803102;61070084;11226275);吉林省自然科学基金项目(201215006);中央高校基本科研业务费专项资金项目(11QNJJ006;11CXPY010);高等学校博士学科点专项科研基金项目(20120043120017)
最坏情况下XSAT问题上界的研究已成为一个热门的研究领域.针对XSAT的泛化问题X2SAT提出了算法X2SAT-N,该算法首先利用简化算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.证明了该算法可以将X2SAT问题的时...
关键词：最坏情况 上界 复杂性分析 分支树 
基于分支回溯的NAE-3SAT问题求解算法
《智能系统学报》2012年第6期506-511,共6页谷文祥 傅琳璐 周俊萍 姜蕴晖 
国家自然科学基金资助项目(61070084;60803102);中央高校基本科研业务费专项资金资助项目(11QNJJ006);浙江师范大学计算机软件与理论省级重中之重学科开放基金资助项目(ZSDZZZZXK37)
NAESAT问题是可满足性问题的一个重要扩展,在集合分裂、最大割集等NP完全问题中有着重要的应用.针对NAESAT问题的泛化NAE-3SAT问题,提出了一个基于分支回溯的精确算法NAE.算法给出了多种化简规则,这些化简规则很好地提高了算法的时间效...
关键词：NAESAT NAE-3SAT 时间复杂性 NAE-3SAT问题上界 变量数目 分支回溯 
最坏情况下X3SAT最大海明距离问题最小上界
《计算机科学与探索》2012年第7期664-671,共8页傅琳璐 周俊萍 殷明浩 
国家自然科学基金Nos.61070084;60803102;中央高校基本科研业务费专项资金No.11QNJJ006;浙江师范大学计算机软件与理论省级重中之重学科开放基金No.ZSDZZZZXK37~~
X3SAT最大海明距离问题是指对于一个X3SAT问题实例,寻找该问题的任意两组可满足赋值之间的最大海明距离。提出了一个基于DPLL的精确算法HMX来求解X3SAT最大海明距离问题,根据公式中某个变量在两组真值赋值中的不同取值进行分支。给出了...
关键词：海明距离 可满足性(SAT) X3SAT DPLL 最坏情况 复杂性分析 上界 
最坏情况下Min-2SAT问题的上界被引量：1
《智能系统学报》2012年第3期241-245,共5页谷文祥 姜蕴晖 周俊萍 殷明浩 
国家自然科学基金资助项目(61070084);国家自然科学青年基金资助项目(60803102);中央高校基本科研业务费专项资金资助项目(11QNJJ006)
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinS...
关键词：MaxSAT MinSAT Min-2SAT MaxSAT问题的上界 Min-2SAT问题的上界 子句数目 分支树 
最坏情况下#3-SAT问题最小上界被引量：3
《计算机研究与发展》2011年第11期2055-2063,共9页周俊萍 殷明浩 周春光 翟延冬 王康平 
国家自然科学基金项目(60673099;60773097;60803102;60873146)
最坏情况下#SAT问题上界的研究已成为一个热门的研究领域.#SAT问题的时间复杂性是根据问题实例的大小所组成的函数计算所得.#SAT问题实例的大小不仅依赖于变量的数量,还依赖于子句的数量.以子句数量为参数研究#SAT问题在最坏情况下的上...
关键词：最坏情况 上界 #3 SAT 复杂性分析 模型计数 
求解QBF问题的启发式调查传播算法被引量：11
《软件学报》2011年第7期1538-1550,共13页殷明浩 周俊萍 孙吉贵 谷文祥 
国家自然科学基金(60773097;60803102)
提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagation algorithm for solving QBF)系统.它将Survey Propagation信息传递方法应用到QBF求解问题中.利...
关键词：人工智能 QBF问题 QBF问题求解器 因子图 调查传播 冲突学习 满足蕴涵学习 
求解流水线调度问题的万有引力搜索算法被引量：23
《智能系统学报》2010年第5期411-418,共8页谷文祥 李向涛 朱磊 周俊萍 胡艳梅 
国家自然科学基金资助项目(60473042;60573067;60803102)
研究了以最大完工时间为目标的流水线调度问题,使用万有引力算法求解调度问题,提出了一种最大排序规则,利用物体间各个位置分量值存在的大小次序关系,并结合随机键编码的方法产生,将物体的连续位置转变成了一个可行的调度方案;提出了一...
关键词：万有引力搜索算法 流水线调度 局部搜索算法 边界变异 最大排序规则 最大完工时间 
部分可观察强规划中约减观察变量的研究被引量：19
《软件学报》2009年第2期290-304,共15页周俊萍 殷明浩 谷文祥 孙吉贵 
国家自然科学基金;高等学校博士学科点专项科研基金;东北师范大学青年基金~~
给出了一种约减观察变量方法——假设所有的状态变量都不是观察变量,在此基础上逐步增加必要的观察变量,从而最终得到一个必要的观察变量集合.在添加必要的观察变量过程中,该方法不要求得到所有变量的相关信息,从而具有更好的通用性.根...
关键词：强规划 部分可观察规划 部分可观察强规划 约减观察变量 不确定规划 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部