基于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

其他文献

胃肝样腺癌临床特点与诊治分析

胃肝样腺癌（hepatoid adenocarcinoma of the stomach．HAS）是具有腺癌和肝细胞癌样分化特征的原发性胃癌．在肿瘤组织中可检测出甲胎蛋白（AFP）增高，仅1抗胰蛋白酶（α1-AAT）和011抗糜蛋

期刊

胃肝样腺癌胃肿瘤甲胎蛋白诊断治疗

伤寒肠出血误诊为颅内感染并应激性溃疡一例分析

患者女,35岁,因持续发热14天、便血10天入院。患者1月前因头顶部外伤住院,诊为头皮“裂伤、颅顶骨骨折”,给予清创缝合,青霉素预防感染和对症支持等治疗,病情逐渐好转。14天

期刊

深化中新信息通信合作改革传媒人、编辑总监王佳宁深度对话两位知名学者

新加坡信息通信业发展与跨国合作王佳宁：信息通信业是新加坡经济增长最重要的引擎之一。信息通信业的蓬勃发展不仅造就了较低的资费、超过100%的手机普及率,而且吸引了60多亿

期刊

通信合作信息通信业信息通信产业通信基础设施佳宁中国移动传媒人信息通信领域通信发展信息通信服务

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

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

期刊

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

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

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

期刊

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

肝移植术后乙型肝炎复发的回顾性分析

目的：回顾性分析肝移植术后乙型肝炎（乙肝）复发的发病及防治情况。方法：对我院1994年5月～2003年3月因乙肝相关性终末期肝病接受肝移植手术病人进行回顾性分析,调查其术前、术后乙

期刊

肝移植肝炎乙型复发Liver transplantation Hepatitis B Recurrence

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

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

期刊

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

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

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

期刊

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

彭氏多功能手术解剖器在肝癌切除术中的应用体会

肝癌的治疗手段主要包括手术、射频治疗、肝动脉栓塞等为主的综合治疗，而手术治疗仍是肝癌病人目前首选的治疗方法之一。肝脏由于解剖结构复杂．管道结构纵横交错而又互相联系，因

期刊

彭氏多功能手术解剖器肝肿瘤肝切除术

科技创新的市场导向与企业主体作用发挥改革传媒发行人、编辑总监王佳宁深度对话两位知名学者

党的十八届五中全会提出,要把创新摆在国家发展全局的核心位置,不断推进包括科技创新在内的各方面创新,发挥科技创新在全面创新中的引领作用。加快科技创新,是深入实施创新驱

期刊

市场导向企业并购发展战略基础研究资本投入研究机构体制机制保障副所长经济结构转型体制机制障碍

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

与本文相关的学术论文