期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
求解MinSAT问题的加强式格局检测与子句加权算法
被引量：
3
1
作者
周俊萍
任雪亮
+2 位作者
殷茜
李睿智
殷明浩
《计算机学报》
EI
CSCD
北大核心
2018年第4期745-759,共15页
MaxSAT问题的研究已成为一个比较热门的研究领域,与MaxSAT问题相对的是MinSAT问题.MinSAT是SAT问题的另一种优化形式.与MaxSAT问题不同的是MinSAT问题需要找到一组赋值使得可满足的子句数目最少.在求解某些组合优化问题时,将其转化为Min...
MaxSAT问题的研究已成为一个比较热门的研究领域,与MaxSAT问题相对的是MinSAT问题.MinSAT是SAT问题的另一种优化形式.与MaxSAT问题不同的是MinSAT问题需要找到一组赋值使得可满足的子句数目最少.在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此该文提出了一种求解MinSAT问题的加强式格局检测与子句加权局部搜索算法.该算法在随机行走算法的基础上融入了子句加权策略,并根据MinSAT问题本身的特征对格局检测策略进行了加强.加强式格局检测策略通过考查MinSAT问题中变量的环境信息可以减少局部搜索中的循环问题,以此提高局部搜索算法的性能.加强式格局检测策略是格局检测的一种加强.其对格局检测策略的加强主要体现在:当MinSAT问题的环境信息(即格局)发生变化时,仅该变量发生变化的赋值不一定能够作为候选解.只有当格局发生了变化并且格局的变化使得当前考查的子句由不可满足变为可满足时,仅该变量发生变化的赋值(翻转该变量的赋值)才可以作为候选解并向该候选进行解搜索.在局部搜索中,选择合适的变量翻转对提高算法的效率具有重要的意义.如果没有加强式格局检测,对于一般的局部搜索,在变量翻转的时候选择启发值一般是最高的.换言之当格局没有发生变化的时候也允许翻转,这就很可能直接导致上次刚刚翻转的变量又被翻转回来.通过限制只允许格局发生变化且格局的变化使得当前考查的子句由可满足变为不可满足的变量进行翻转,这就会避免上述情况,因此加强格局检测策略在整个搜索过程中都具有重要的意义.子句加权策略通过增加局部最优的代价,使得算法可以进一步找到隐藏在局部最优附近的更好的解,避免了在搜索过程中陷入局部最优.子句加权策略应用在MinSAT问题的基本思想是:对公式F中的每个子句都赋予一个权值1,MinSAT问题求解算法在搜索过程中一旦陷入局部最优就增加在当前解下可满足子句的权值,这使得算法能跳出局部最优并向更好方向搜索.实验结果表明,该算法可以有效求解MinSAT问题,并且在大规模实例中具有良好的表现,这也在一定程度上说明了加强式格局检测策略和子句加权策略的有效性.
展开更多
关键词
最小可满足问题
局部搜索算法
子句加权
格局检测
加强式格局检测
在线阅读
下载PDF
职称材料
最坏情况下Min-2SAT问题的上界
被引量：
1
2
作者
谷文祥
姜蕴晖
+1 位作者
周俊萍
殷明浩
《智能系统学报》
北大核心
2012年第3期241-245,共5页
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinS...
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2-子句中的情况,得到最坏情况下的上界为O(1.122 5n),其中n为变量的数目.
展开更多
关键词
MaxSAT
minsat
Min-2SAT
MaxSAT问题的上界
Min-2SAT问题的上界
子句数目
分支树
在线阅读
下载PDF
职称材料
基于模型诊断电路故障诊断系统的设计与实现
3
作者
蔡莉莎
曾维鹏
韩宝如
《现代电子技术》
北大核心
2016年第8期108-110,114,共4页
为了使电路故障诊断系统更加智能化、高效化,将基于模型诊断的故障诊断技术应用在智能消防小车电路中。根据小车的系统行为信息对小车进行建模,利用串口模块将描述文件在线输入到计算机中,再根据IsDS算法以及带有终止节点的CSSE-tree算...
为了使电路故障诊断系统更加智能化、高效化,将基于模型诊断的故障诊断技术应用在智能消防小车电路中。根据小车的系统行为信息对小车进行建模,利用串口模块将描述文件在线输入到计算机中,再根据IsDS算法以及带有终止节点的CSSE-tree算法调用MiniSAT求解器求解诊断结果。实验表明,该系统能够迅速指示故障元件,诊断效率较高,具有较好的应用前景。
展开更多
关键词
基于模型诊断
MiniSAT求解器
电路故障诊断系统
串口模块
在线阅读
下载PDF
职称材料
题名
求解MinSAT问题的加强式格局检测与子句加权算法
被引量：
3
1
作者
周俊萍
任雪亮
殷茜
李睿智
殷明浩
机构
东北师范大学计算机科学与信息技术学院
出处
《计算机学报》
EI
CSCD
北大核心
2018年第4期745-759,共15页
基金
国家自然科学基金(61370156
61403076
+5 种基金
61403077
61300099)
高等学校博士学科点专项科研基金(20120043120017)
新世纪优秀人才支持计划(NCET-13-0724)
吉林省大型科学仪器装备共享共用专项项目(20150623024TC-03)
吉林省青年科研基金项目(20160520104JH)资助
文摘
MaxSAT问题的研究已成为一个比较热门的研究领域,与MaxSAT问题相对的是MinSAT问题.MinSAT是SAT问题的另一种优化形式.与MaxSAT问题不同的是MinSAT问题需要找到一组赋值使得可满足的子句数目最少.在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此该文提出了一种求解MinSAT问题的加强式格局检测与子句加权局部搜索算法.该算法在随机行走算法的基础上融入了子句加权策略,并根据MinSAT问题本身的特征对格局检测策略进行了加强.加强式格局检测策略通过考查MinSAT问题中变量的环境信息可以减少局部搜索中的循环问题,以此提高局部搜索算法的性能.加强式格局检测策略是格局检测的一种加强.其对格局检测策略的加强主要体现在:当MinSAT问题的环境信息(即格局)发生变化时,仅该变量发生变化的赋值不一定能够作为候选解.只有当格局发生了变化并且格局的变化使得当前考查的子句由不可满足变为可满足时,仅该变量发生变化的赋值(翻转该变量的赋值)才可以作为候选解并向该候选进行解搜索.在局部搜索中,选择合适的变量翻转对提高算法的效率具有重要的意义.如果没有加强式格局检测,对于一般的局部搜索,在变量翻转的时候选择启发值一般是最高的.换言之当格局没有发生变化的时候也允许翻转,这就很可能直接导致上次刚刚翻转的变量又被翻转回来.通过限制只允许格局发生变化且格局的变化使得当前考查的子句由可满足变为不可满足的变量进行翻转,这就会避免上述情况,因此加强格局检测策略在整个搜索过程中都具有重要的意义.子句加权策略通过增加局部最优的代价,使得算法可以进一步找到隐藏在局部最优附近的更好的解,避免了在搜索过程中陷入局部最优.子句加权策略应用在MinSAT问题的基本思想是:对公式F中的每个子句都赋予一个权值1,MinSAT问题求解算法在搜索过程中一旦陷入局部最优就增加在当前解下可满足子句的权值,这使得算法能跳出局部最优并向更好方向搜索.实验结果表明,该算法可以有效求解MinSAT问题,并且在大规模实例中具有良好的表现,这也在一定程度上说明了加强式格局检测策略和子句加权策略的有效性.
关键词
最小可满足问题
局部搜索算法
子句加权
格局检测
加强式格局检测
Keywords
minsat
local search algorithm
clause weighting
configuration checking
strengthened configuration checking
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
最坏情况下Min-2SAT问题的上界
被引量：
1
2
作者
谷文祥
姜蕴晖
周俊萍
殷明浩
机构
东北师范大学计算机科学与信息技术学院
长春建筑学院基础教学部
出处
《智能系统学报》
北大核心
2012年第3期241-245,共5页
基金
国家自然科学基金资助项目(61070084)
国家自然科学青年基金资助项目(60803102)
中央高校基本科研业务费专项资金资助项目(11QNJJ006)
文摘
最坏情况下MaxSAT问题上界的研究已成为一个热门的研究领域.与MaxSAT问题相对的是MinSAT问题,在求解某些组合优化问题时,将其转化为MinSAT问题比转化为MaxSAT问题有着更快的速度,因此对MinSAT问题进行研究.针对Min-2SAT问题提出算法MinSATAlg,该算法首先利用化简算法Simplify对公式进行化简,然后通过分支树的方法对不同情况的子句进行分支.从子句数目的角度分析算法的时间复杂度并证明Min-2SAT问题可在O(1.134 3m)时间内求解,对于每个变量至多出现在3个2-子句中的情况,得到最坏情况下的上界为O(1.122 5n),其中n为变量的数目.
关键词
MaxSAT
minsat
Min-2SAT
MaxSAT问题的上界
Min-2SAT问题的上界
子句数目
分支树
Keywords
maximum satisfiability
minimum satisfiability
minimum two-satisfiability
upper bounds for maximum satisfiability
upper bounds for minimum two-satisfiability
number of clauses
branching tree
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于模型诊断电路故障诊断系统的设计与实现
3
作者
蔡莉莎
曾维鹏
韩宝如
机构
中山大学
海南软件职业技术学院
海南大学
出处
《现代电子技术》
北大核心
2016年第8期108-110,114,共4页
基金
2014海南省高等学校科学研究项目(HNKY2014-98)
2015海南省自然科学基金项目(20156249)
文摘
为了使电路故障诊断系统更加智能化、高效化,将基于模型诊断的故障诊断技术应用在智能消防小车电路中。根据小车的系统行为信息对小车进行建模,利用串口模块将描述文件在线输入到计算机中,再根据IsDS算法以及带有终止节点的CSSE-tree算法调用MiniSAT求解器求解诊断结果。实验表明,该系统能够迅速指示故障元件,诊断效率较高,具有较好的应用前景。
关键词
基于模型诊断
MiniSAT求解器
电路故障诊断系统
串口模块
Keywords
model-based diagnosis
minsat
solver
circuit fault diagnosis system
serial module
分类号
TN710-34 [电子电信—电路与系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
求解MinSAT问题的加强式格局检测与子句加权算法
周俊萍
任雪亮
殷茜
李睿智
殷明浩
《计算机学报》
EI
CSCD
北大核心
2018
3
在线阅读
下载PDF
职称材料
2
最坏情况下Min-2SAT问题的上界
谷文祥
姜蕴晖
周俊萍
殷明浩
《智能系统学报》
北大核心
2012
1
在线阅读
下载PDF
职称材料
3
基于模型诊断电路故障诊断系统的设计与实现
蔡莉莎
曾维鹏
韩宝如
《现代电子技术》
北大核心
2016
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
