局部搜索算法相关论文
命题公式的可满足性问题(SAT问题)是判定是否存在一组变元真值赋值使得给定公式为真,MAX-SAT问题是SAT问题的最优化形式,寻找一组变......
给定一个简单无向图G=(V,E),图划分问题的目标是找到一种满足特定要求的顶点划分方式。顶点平分问题是图划分问题的一个重要变种问题......
频繁子图模式学习的精确算法的计算主要集中在子图同构测试上,但子图同构已经被证明为NP完全问题;近似算法避免了子图同构测试,但......
膜计算(又称P系统)是由欧洲科学院院士、罗马尼亚科学院院士Gheorghe Paun教授提出的受生物细胞结构和功能启发的一种分布式并行计算......
在大数据时代背景下,我们需要无时无刻地处理海量的数据,所要解决的问题规模也逐渐扩大。因此,大规模优化问题应运而生。在大规模优化......
分布式约束优化问题(DCOP)是多智能体系统(MAS)领域中的一个基本框架,可对多智能体协作优化问题进行建模,已成功应用于任务调度、资源分......
合理的资源配置是提高项目调度鲁棒性一种有效的方法。本文针对项目鲁棒调度问题,提出了Max-PRUA资源分配启发式算法,以期通过生成......
命题逻辑公式的可满足性问题(SAT)是数理逻辑、计算机科学、集成电路设计与验证和人工智能等领域中的核心问题,并且是第一个被证明......
近二十年来,局部搜索算法在各个领域的应用非常广泛,特别是针对一些比较复杂的优化问题.局部搜索算法的主要优点在于它是一种比较......
人工神经网络(ARTIFICIAL NEURAL NETWORK)是信息科学与高技术研究领域中一门令人瞩目的新兴学科,它是一种在对人脑组织结构和运行......
在现有医学临床或手术计划中,为了获取不同的功能信息和解剖信息,通常采用多种成像方式。而为了获得多种成像方式的互补信息,就需......
可满足性问题(Satisfiability problem问题,简称SAT问题)是第一个被证明的NPC(Non-deterministic Polynomial Complete)问题,它是......
在近半个世纪以来,算法研究始终是计算机科学研究的核心内容之一。 作为算法中的经典问题之一,可满足性问题(SAT)是人们证明的最......
命题可满足性问题(SAT)是判定一个给定的CNF形式的命题逻辑公式是否存在可满足的赋值的问题。SAT问题是数理逻辑、人工智能和理论......
随着现代医学的发展,医疗成像设备在临床诊断和治疗方面得到广泛的应用。由于成像机理不同和人体组织结构的高度复杂性,来自单一成......
自从20世纪80年代以来,群体智能(Swarm Intelligence)作为一个新兴领域,引起了许多研究人员的关注,已经成为人工智能以及社会、经济、......
算法是计算机科学中最核心的内容,自从有计算机以来,它始终是这门学科的研究热点内容。就在计算机科学分支众多的今天,每个分支的......
随着科学技术的飞速发展,人类已进入信息化时代。在信息化时代,从人与人之间的信息交互,提升到人与物,物与物之间的信息交互。传感器作......
本体理由探求是本体研究领域中的重要推理任务之一。面对实际应用中常见的大规模轻量级本体,研究学者认为可以通过将本体分类过程......
在数学上,图分割(Graph Partition)是指将一个图分割为若干互不相交的子图,而在实际应用上,图分割是分布式图计算系统中的一个重要......
伴随着中国的大型民用飞机事业的高速发展,中国商用飞机有限公司正式进入了多型号、多状态的发展阶段,ARJ21新支线飞机已经投入商......
现实世界中,计算机、生物、化工、航天等诸多领域中的很多问题都属于多模态优化或者旅行商问题,例如模糊系统的参数设计和风险投资......
研究主要基于竞争神经网络模型.在相同的模型中,不同的参数会使得研究内容和方法完全不同,因此本文研究内容分为两个部分.在证明各......
近年来,随着我国城市化进程的不断加快,城市的面积逐渐扩大,城市轨道交通线路的长度也越来越长,导致线路上客流需求在时间与空间上......
局部搜索算法作为启发式算法,是求解SAT问题较为高效的一种算法,但是在求解结构化算例上能力十分有限。目前大部分局部搜索策略只......
在物流运输中,车辆路径问题具有广泛的现实基础和经济应用价值,多年来一直是物流学术界研究的热点之一。在众多分支当中,带能力约......
分布式约束优化问题(DCOP)作为多Agent系统协作问题的重要抽象,具有隐私性、信息局部性、控制分散化等特点,是对分布式智能系统和......
阐述了用虚源法设计连续面型光栅分束器件的原理,提出了一种局部搜索遗传算法,并将其用于优化器件的性能.局部搜索遗传算法结合了......
大型机电设备的生产制造过程中,零件毛坯下料生产的组织管理水平和技术手段,对设备的制造成本和生产周期有很大的影响。对于不同类型......
现代物流业的飞速发展为车辆路径问题(VehicleRoutingProblems,VRPs)的研究提供了广泛的现实背景,同时现代通信及信息技术的发展使实......
输电线路是电力系统的重要组成部分,对输电线路进行状态监测具有十分重要的意义。无线传感器网络作为物联网关键技术之一,在国际上备......
组合优化是通过数学方法的研究去寻找离散问题的最优筛选、分组、排序等,是运筹学中的一个重要分支,所研究的问题涉及信息技术、经......
在基于目标函数的聚类算法中,模糊C-均值聚类算法的理论最为完善、应用最为广泛。从理论上说,它通过迭代的爬山技术来寻找问题的最......
提出将模拟退火、演化策略和局部搜索算法相结合的混合演化算法 ,以解决函数优化与组合优化问题。该算法克服了上述三种算法在应用......
干线运输的车货匹配及车辆运输路径优化对于降低大规模、多分布网点的物流企业的运输成本有重要意义.建立了干线运输的发车费用模......
提出了一种求解最大团问题的自适应过滤局部搜索算法AF-RLS(adaptive filtered-reactive local search).该算法通过构建独立集约束,......
针对实际装配生产线中由各种干扰引起的任务完成时间延迟,将不平衡问题缩小到动态响应区,并基于局部搜索算法的基本原理以及数组的读......
提出了一种混合多种局部搜索算法的嵌套分区算法用于求解中小规模旅行商问题。该算法使用加权抽样法产生初始最可能域,用带约束的3......
研究两机器越库流水作业调度问题,其目标函数是最小化加权完工时间。首先,对算法参数进行分析,并针对所研究问题的特点对参数选取......
CT系统除需要设备支持外,参数标定精度和成像模型对扫描效果具有显著影响.本文巧妙地利用模板与探测器的关系,寻找最佳标定位置,精......
由于海域水声环境及监测目标随时间动态变化,导致常规传感器静态部署方法不再适用,为此,提出了一种在事件驱动下的监测站动态部署模型......
蛋白质结构预测问题是计算生物学领域的核心问题之一.通过理论计算的方法根据蛋白质氨基酸序列直接预测其空间结构是解决这一问题......
群体智能优化算法Memetic算法(Memetic Algorithm,MA)采用进化算法的操作流程,引入局部搜索算子,使其在问题的求解中保证较高收敛性......
研究时相关旅行时间车辆路径问题经典启发式算法的改进策略,通过更新路线的到达时间和最晚出发时间,减少局部搜索算法的计算时间.该策......