基于OpenMP的并行遗传算法求解SAT问题

来源 :西南交通大学学报 | 被引量 : 0次 | 上传用户：dancy_y

【摘要】

：

为了提高SAT(boolean satisfiability)问题求解效率,在OpenMP(open multi-processing)编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择

【作者】

：

吴贯锋徐扬常文静陈树伟徐鹏

【机构】

：

西南交通大学信息科学与技术学院,西南交通大学系统可信性自动验证国家地方联合工程实验室,西南交通大学数学学院

【出处】

：

西南交通大学学报

【发表日期】

：

2019年2期

【关键词】

：

SAT问题 OPENMP 并行混合遗传算法粗粒度模型 SAT problem OpenMP parallel hybrid genetic algorithm

【基金项目】

：

国家自然科学基金资助项目(61673320),中央高校基本科研业务费专项资金资助项目(2682017ZT12).

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了提高SAT(boolean satisfiability)问题求解效率,在OpenMP(open multi-processing)编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择操作的时间复杂度降低到O(N)级别.算法采用OpenMP中的编译制导语句#pragma omp parallel粗粒度并行化驱动混合遗传算法,采用#pragma omp single语句块实现了子种群间个体的同步迁移操作.与同类算法HCGA(hybrid cloud geneticalgo

其他文献

Atrogin-1基因过表达对肌肉细胞营养状况的影响

目的：构建含Atrogin-1基因的慢病毒载体，并研究Atrogin-1过表达对骨骼肌细胞营养状况的影响。方法：PCR合成两端含酶切位点的Atrogin-1cDNA全长，酶切后多次重组使之克隆到慢病毒核

期刊

基因ATROGIN-1慢病毒载体肌营养不良小鼠Genes Atrogin-1 Lentiviral vector Muscular dystr

农业技术推广体系的困境摆脱与策应

在2003年初对全国7个省28个县随机抽样调查的基础上,于2016年底开展了新一轮的全国7个省28个县农技推广体系的随机抽样调查。研究发现,新一轮的改革提高了农民接受政府部门农

期刊

农技推广体系政府作为“三农”问题

过模同轴-2路矩形波导功分器的设计与实验

为了在高功率微波系统中实现过模同轴波导到2路矩形波导的高效率模式转换,研究了一种过模同轴-2路矩形波导功分器.该功分器将径向线作为同轴波导到矩形波导的模式转换过渡结

期刊

高功率功分器过模波导同轴波导矩形波导high power power dividers overmoded waveguides coaxial

一种改进的LBP特征实现铁路扣件识别

为了提高铁路扣件基于视觉的自动化检测精度,提出了一种改进的LBP (local binary pattern)编码算法.该方法为了避免基本LBP对噪声敏感问题,根据不同邻域的不同噪声强度,结合测量误差服从高斯分布的原则,计算邻域内像素均值和偏差;根据偏差大小,自动设置阈值,实现自适应噪声抑制.为了避免基本LBP表达邻域差分关系不完整的缺陷,提出了利用邻域内随机采样的方式得到采样点对,通过比较随机点

期刊

LBP抗噪声扣件图像识别图像检测LBPanti-noisefastenerimage recognitionimage detection

基于OpenMP的并行遗传算法求解SAT问题

其他学术论文