【摘 要】
：
根据SAT问题的特点,通过分析传统蚁群算法和遗传算法在求解SAT问题上的不足,提出一种基于混合蚁群遗传算法的SAT问题求解方法。给出一种新的初始解的生成方式;在迭代过程中,
【机 构】
：
北方民族大学计算机科学与工程学院,大连民族大学理学院
【基金项目】
：
中央高校基本科研业务费专项资金资助项目（DC201502050201,DC13010318）
论文部分内容阅读
根据SAT问题的特点,通过分析传统蚁群算法和遗传算法在求解SAT问题上的不足,提出一种基于混合蚁群遗传算法的SAT问题求解方法。给出一种新的初始解的生成方式;在迭代过程中,根据较优解的累积信息提出进化算子;利用当前得到的最优解,通过改变不满足子句中文字的取值,增加变异算子。最后选取标准测试集中的20个实例对算法进行测试,实验结果表明：改进后的算法通常仅通过较少次数的迭代就能找到解,能够有效避免蚁群算法和遗传算法过早收敛的缺点,具有较强的寻优能力。
其他文献
素质教育所倡导的以学生为本的理念,确立了学生在教育体系当中的主体地位,并要求我国教育注重对学生德、智、体、美、劳方面综合素质的培养。我国改革开放政策的施行与经济全
目的观察地西泮在宫内节育器取出时的疗效及安全性。方法对47例患者在宫内节育器取出困难时,子宫颈局部注射地西泮以改善子宫颈条件。结果 47例患者中43例在药物作用下取环成
食品安全的道德成因主要包括食品生产经营企业价值观的错位、政府监管者的责任心不强和消费者的道德冷漠等。如果直接对食品经营相关者提出较高要求是不现实的,因此,食品经营
施工项目部是施工企业的最前线，也是施工企业形象的重要窗口和经济目标实现的主要来源。施工项目部的员工管理则成为施工企业人力资源管理的最基础的工作，它对施工企业的经营理
目的探讨闭合性十二指肠破裂的诊治经验。方法回顾性分析16例闭合性十二指肠损伤患者的临床资料。结果 16例中治愈14例,1例手术后死于失血性休克,1例因初次手术漏诊,再手术后
本文针对湖南地勘局工勘施工业现阶段面临的问题进行剖析,就加强资质建设,优化经营格局,集约式发展,提高竞争力等方面进行了深刻分析,并就进一步深化工勘施工业的改制改革进
目的通过数字减影血管造影（DSA），研究短暂性脑缺血发作（TIA）与供血脑动脉病变的关系，探讨TIA发病机制。方法选择TIA患者30例行DSA全脑血管造影，观察患者颈总动脉，颈内动脉和椎－基底动
目的探讨非脱垂子宫经阴道切除术（TVH）及经腹全子宫切除术（TAH）的术式特点及应用效果。方法收集分别行TVH及TAH共151例的患者资料,比较两组患者术中、术后情况。结果两组所需手术
目的评价弥散张量成像（DTI）定量指标平均弥散系数（MD）及各向异性分数（FA）在鉴别瘤周水肿区域性质中的应用价值。方法回顾性分析经手术病理证实的的40例幕上脑肿瘤患者的DTI资料,比
目的对宁夏栽培秦艽进行质量评价。方法高效液相色谱法测定龙胆苦苷的含量,乙醇热浸法测定浸出物含量。结果龙胆苦苷含量为4.8%-11.9%,浸出物含量为29.6%-40.5%。结论宁夏栽