局部搜索算法相关论文
命题公式的可满足性问题（SAT问题）是判定是否存在一组变元真值赋值使得给定公式为真,MAX-SAT问题是SAT问题的最优化形式,寻找一组变......
给定一个简单无向图G=（V,E）,图划分问题的目标是找到一种满足特定要求的顶点划分方式。顶点平分问题是图划分问题的一个重要变种问题......
频繁子图模式学习的精确算法的计算主要集中在子图同构测试上,但子图同构已经被证明为NP完全问题;近似算法避免了子图同构测试,但......
膜计算（又称P系统）是由欧洲科学院院士、罗马尼亚科学院院士Gheorghe Paun教授提出的受生物细胞结构和功能启发的一种分布式并行计算......
在大数据时代背景下，我们需要无时无刻地处理海量的数据，所要解决的问题规模也逐渐扩大。因此，大规模优化问题应运而生。在大规模优化......
分布式约束优化问题（DCOP）是多智能体系统（MAS）领域中的一个基本框架，可对多智能体协作优化问题进行建模，已成功应用于任务调度、资源分......
在先行研究工作--利用局部搜索算法提高BP小波神经网络收敛速度的基础上,为了进一步增强小波神经网络的全局性搜索能力,讨论了小波......
组合优化问题优化问题可以分为两类:一类是连续变量的问题,另一类是离散变量的问题,后者称为组合优化问题.组合优化问题的任务:从......
合理的资源配置是提高项目调度鲁棒性一种有效的方法。本文针对项目鲁棒调度问题,提出了Max-PRUA资源分配启发式算法,以期通过生成......
机场停机位分配是指在考虑机型大小、停机位大小,航班时刻等因素的情况下,在一定时限范围内,由机场生产指挥中心为到港或离港航班......
在计算机科学的许多领域，可满足性问题(SAT)都是一个重要的研究课题。SAT是一个NP完全问题，但在各种领域都需要快速算法来解决规模较......
最优化理论是数学的一个分支，也是一门应用相当广泛的学科。它研究的是某些数学问题的最优解，即对给出的实际问题，从众多候选方案中找......
最小加权顶点覆盖(MWVC)问题是图论中一个著名的组合优化问题，它有着广泛的实际应用，例如网络流、电路设计、运输和电信等。MWVC问题......
图顶点着色问题是组合最优化中典型的NP难问题,也是图论中研究得最久的一类问题,有着广泛的实际应用。针对图着色问题的大规模实例......
命题逻辑公式的可满足性问题(SAT)是数理逻辑、计算机科学、集成电路设计与验证和人工智能等领域中的核心问题,并且是第一个被证明......
近二十年来,局部搜索算法在各个领域的应用非常广泛,特别是针对一些比较复杂的优化问题.局部搜索算法的主要优点在于它是一种比较......
人工神经网络(ARTIFICIAL NEURAL NETWORK)是信息科学与高技术研究领域中一门令人瞩目的新兴学科,它是一种在对人脑组织结构和运行......
在现有医学临床或手术计划中,为了获取不同的功能信息和解剖信息,通常采用多种成像方式。而为了获得多种成像方式的互补信息,就需......
可满足性问题(Satisfiability problem问题,简称SAT问题)是第一个被证明的NPC(Non-deterministic Polynomial Complete)问题,它是......
在近半个世纪以来，算法研究始终是计算机科学研究的核心内容之一。 作为算法中的经典问题之一，可满足性问题(SAT)是人们证明的最......
命题可满足性问题(SAT)是判定一个给定的CNF形式的命题逻辑公式是否存在可满足的赋值的问题。SAT问题是数理逻辑、人工智能和理论......
随着现代医学的发展,医疗成像设备在临床诊断和治疗方面得到广泛的应用。由于成像机理不同和人体组织结构的高度复杂性,来自单一成......
算法是计算机科学中最核心的内容,自从有计算机以来,它始终是这门学科的研究热点内容。就在计算机科学分支众多的今天,每个分支的......
随着科学技术的飞速发展，人类已进入信息化时代。在信息化时代，从人与人之间的信息交互，提升到人与物，物与物之间的信息交互。传感器作......
本体理由探求是本体研究领域中的重要推理任务之一。面对实际应用中常见的大规模轻量级本体,研究学者认为可以通过将本体分类过程......
已有针对虚拟机映射问题的研究,主要以提高服务器资源及能耗效率为目标。综合考虑虚拟机映射过程中对服务器及网络设备能耗的影响,......
在数学上,图分割(Graph Partition)是指将一个图分割为若干互不相交的子图,而在实际应用上,图分割是分布式图计算系统中的一个重要......
伴随着中国的大型民用飞机事业的高速发展,中国商用飞机有限公司正式进入了多型号、多状态的发展阶段,ARJ21新支线飞机已经投入商......
给定一个无向图,寻找一个顶点子集,使得子集中的任意两个顶点都相邻,这样的顶点子集称作团。最大团问题是指寻找一个基数最大的团,......
现实世界中,计算机、生物、化工、航天等诸多领域中的很多问题都属于多模态优化或者旅行商问题,例如模糊系统的参数设计和风险投资......
研究主要基于竞争神经网络模型.在相同的模型中,不同的参数会使得研究内容和方法完全不同,因此本文研究内容分为两个部分.在证明各......
近年来,随着我国城市化进程的不断加快,城市的面积逐渐扩大,城市轨道交通线路的长度也越来越长,导致线路上客流需求在时间与空间上......
局部搜索算法作为启发式算法,是求解SAT问题较为高效的一种算法,但是在求解结构化算例上能力十分有限。目前大部分局部搜索策略只......
车辆路径问题是对车辆配送路径进行优化,实现物流配送成本最低,是物流运作系统的核心问题,在现实中具有广泛的应用。三维装箱问题......
在物流运输中,车辆路径问题具有广泛的现实基础和经济应用价值,多年来一直是物流学术界研究的热点之一。在众多分支当中,带能力约......
阐述了用虚源法设计连续面型光栅分束器件的原理,提出了一种局部搜索遗传算法,并将其用于优化器件的性能.局部搜索遗传算法结合了......
基于多媒体传输的网络应用均对服务质量(quality of service,QoS)有迫切的需求,如带宽、延迟、丢包率等。寻找满足上述QoS要求的组......
采用一种基于自组织特征映射（ＳＯＭ）神经网络和隐马尔柯夫模型（ＨＭＭ）法结合的语音识别方法．根据语音信号的相关性，提出了一种自适应局部搜索算法．结......
文章针对ATM网络虚通道(VP)路由规划(简称VPR)问题进行了分析,提出了使用模拟退火算法求解该问题的新方法,仿真表明这种算法是有效......
设计了一种嵌套分区算法框架下的局部搜索算法,即基于最优计算量分配技术的序遗传算法,该算法采用序优化思想保证在有限计算量条件......
基于全局搜索的进化算法和一种局部搜索算法——结构化的非线性参数优化方法(SNPOM),提出两种混合的优化算法来估计RBF神经网络中......
技术是人类社会大系统中的一个相对独立的子系统，当前主流观点认为技术的发展是连续和累积式的，可以用“技术演化”概念来表征。自组......
大型机电设备的生产制造过程中，零件毛坯下料生产的组织管理水平和技术手段，对设备的制造成本和生产周期有很大的影响。对于不同类型......
