基于任务分配与调度的GSAT算法求解3-SAT问题

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户：zhefen

【摘要】

：

基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形

【作者】

：

付慧敏徐扬何星星宁欣然

【机构】

：

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

【出处】

：

计算机工程与科学

【发表日期】

：

2018年8期

【关键词】

：

GSAT算法贪心搜索任务分配与调度 3-SAT问题分配策略调度策略 GSAT algorithm greedy searchtask allocatio

【基金项目】

：

国家自然科学基金（61673320）, 中央高校基本科研业务费项目（2682017ZT12,2682018ZT10,2682018CX59,2682018ZT25）

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形成一个任务,在GSAT算法的基础上,引入任务分配与调度指导贪心搜索;同时,在保留原有贪心搜索的前提下,根据任务分配与调度的思想和3-SAT问题的特点,设计了两种新的策略—分配策略和调度策略共同完成整个贪心搜索过程。以标准的SATLAB库中变量个数从20~250的3 700个不同规模的标准Uniform Random-3-SAT问题对新

其他文献

药师干预对老年高血压患者用药依从性的作用

目的探讨临床药师对老年高血压患者用药依从性的干预方法及效果。方法将2010年2月至2012年2月门诊治疗的老年高血压患者312例随机分为观察组及对照组各156例,对照组采用传统

期刊

药师老年高血压病用药依从性

异构高性能计算系统Linpack效率受限因素分析

能耗是目前高性能计算系统性能提升的一大挑战。主处理器连接加速器的异构计算技术可以有效提升系统能效,因而被广泛应用于当前高性能计算系统的设计。同等系统规模下,异构计

期刊

异构高性能LINPACK效率heterogeneoushigh performance Linpack efficiency

浅谈新型砌块墙体裂缝的原因与防治研究

摘要：近年来，各种轻质砌块等新型墙体材料得到广泛使用，但由于设计与施工对砌块性能的了解不够以及生产监管力度不到位，致使墙体开裂渗漏问题较多。为此，有必要对新型墙体材料的特性进行研究分析，并采取合适的设计和施工方法加以防治，确保工程质量。　　关键词：新型砌块；裂缝；防治；分析　　1工程概况　　本工程位于江西省九江市，该工程由七栋十八层的框架住宅楼组成，呈大合院形式，每栋不等的设为2或3个单元组成，

期刊

新型砌块裂缝防治分析

滞提法治疗特发性面神经麻痹恢复期30例

目的:观察滞提法对特发性面神经麻痹恢复期的临床疗效,为本法在临床上应用及推广提供理论依据。方法:将60例诊断为特发性面神经麻痹的患者,随机分为两组(治疗组和对照组),每

期刊

滞提法特发性面神经麻痹恢复期针刺

扭曲的“拆迁观”是“畸形政绩观”的悖论叠加

<正>我国是世界上每年新建建筑量最大的国家,每年20亿平方米新建面积,相当于消耗了全世界40%的水泥和钢材,而只能持续25-30年。如此短寿的建筑将每年产生数以亿计的建筑垃圾

期刊

使用年限建筑寿命政绩观短命建筑建筑物价值激进式

基于任务分配与调度的GSAT算法求解3-SAT问题

其他学术论文