导读:本文包含了分布式约束满足论文开题报告文献综述及选题提纲参考文献，主要关键词:信道资源,复用,系统容量,信道分配
分布式约束满足论文文献综述
韦沙,刘威,陈小慧,程文青[1]（2012）在《蜂窝网中基于分布式约束满足算法的改进信道分配》一文中研究指出随着蜂窝网业务需求的不断增长,如何利用有限的信道资源在各小区间进行复用,以便既能避免移动用户之间的干扰,又能满足所有移动用户的话务请求,使蜂窝系统容量大大增加,已成为一项重要研究课题。此类问题属于NP-hard的信道分配问题(Channel Assignment Problem,CAP),将CAP问题形式化为分布式约束满足问题(DC-SP),然后提出基于改进现有的信道分配策略,以获得更高的信道利用率、较令人满意的系统服务质量,尽可能满足所有用户的话务请求。将利用尽可能简单、搜寻时间短的算法,并将现有的benchmark问题进行仿真。实验表明,该方案对有效改进信道分配问题,充分利用有限的信道资源,降低系统的阻塞率,有着较好的应用前景。(本文来源于《计算机科学》期刊2012年06期）
韦沙[2]（2011）在《基于分布式约束满足算法的无线信道分配研究》一文中研究指出无线蜂窝通信技术在移动通信发展史上有着里程碑的意义。近年来,随着移动通信系统在全球范围内的部署以各类移动通信业务功能的开发,蜂窝网已经成为应用最为广泛、业务最为繁重的移动通信网络之一。因此,如何有效利用有限的频谱资源保证通信质量是蜂窝网络技术研究中的一个重要课题。通过改善信道分配技术,降低移动终端间的干扰冲突,能够提升网络可承载的移动终端数量。随着用户呼叫阻塞率和切换失败概率的减少,网络的性能也随着提升。当前的许多相关研究工作主要为设计各种优化算法,以求解最优或者次优的信道分配。而在实际蜂窝网的应用中,该信道分配算法的设计面临一下几个方面的挑战：●有效支持大规模部署的信道分配算法信道分配问题(Channel Assignment Problem, CAP)属于组合优化中的NP完备问题。对于解决NP完备问题,目前已存在若干优化算法在各种严格的约束条件下,如同频干扰约束(co-channel constraint),邻频干扰约束(adjacent channel constraint)和同位干扰约束(co-site constraint)等,都可以获得最优解。但是,在对于移动通信营业商来讲,集中式的最优化算法复杂度较高并且难以部署。当有话务产生、流量需求时,能够及时响应并分配信道以满足所有用户的请求,是运营商更加接受的解决方案。●有效支持移动切换的信道分配算法在蜂窝网络中,终端属于移动状态,可以在一个小区或多个小区之间越区运动。在蜂窝网络中,信道切换常常发生。通信被中断比呼叫被拒绝更加让人难以接受。目前提出的解决方案是借用信道。但是盲目地向邻小区借用信道,将导致邻小区处于拥塞状态。因此,需要结合借用信道等信道切换机制,设计更加有效的信道分配方案,减少多个小区的用户呼叫阻塞。●支持多跳蜂窝网场景的联合路由和信道分配算法多跳蜂窝网络(Multi-hop cellular networks, MCN)是近年来被广泛关注的一种新型的蜂窝网络架构,被认为是未来4G网络建设的无线架构之一。在多跳蜂窝网络中,死区(dead spots)问题和热区(hot spots)问题依然存在,因此,有必要设计高效的多跳中继／路由协议和信道分配算法以适应蜂窝网络中终端的高移动性。MCN中信道分配问题与路由问题是相互影响的——不同的信道分配对应不同网络拓扑,影响路由协议的决策；而不同的路由决策将影响各信道的负载状态,进一步影响信道分配的结果。现有的工作通常将两个问题单独处理,因此无法有效地解决蜂窝网络中的负载拥塞问题。综合以上考虑,本文提出了一种基于分布式约束满足问题(Distributed Constraint Satisfaction Problem, DCSP)的信道分配方案。此论文由“自然科学基金”和“湖北省智能互联网重点实验室”资助,项目编号分别为60772088,60602029和No.HSIT200605。本论文的主要贡献在于：1.针对信道资源紧缺的问题,本论文提出基于分布式约束满足算法的信道分配,在保证系统无干扰的前提下,以最少的信道量满足更多的呼叫请求量,使得呼叫阻塞概率降低。该策略有效地利用信道资源,提高移动通信系统利用率。仿真结果表明,在大规模场景中基于DCSP的信道分配方法能够在满足用户服务请求,求解信道分配策略。2.针对移动通信用户越区的信道切换失败的问题,本论文提出了一种差错容忍的信道分配(Fault Tolerant Channel Assignment)算法以保证移动终端在拥塞小区时的连续通信。此算法通过融合多种差错容忍的切换技术,包括预留信道、基于移动终端移动方向的信道借用技术、基于方向借用的信道锁定技术、信道复用等,能够显着降低蜂窝网络中的切换失败和呼叫阻塞的概率。3.针对多跳蜂窝网系统中的热区问题,本论文提出了多跳蜂窝网络中联合考虑路由与信道分配(Joint Routing and Channel Assignment, JRCA)的算法。JRCA算法能够在可用信道较少时实现无冲突的信道分配,同时可以均衡网络负载以降低实现网络切换失败概率和呼叫阻塞概率。仿真结果表明JRCA相比传统蜂窝网络下的信道分配方法能够显着提升系统性能。(本文来源于《华中科技大学》期刊2011-11-07）
肖宇,许炜,程文青[3]（2009）在《一种基于分布式约束满足的资源优化模型》一文中研究指出分布式约束满足作为分布式人工智能领域的一个重要分支,在许多领域均得到了广泛应用。针对Web服务事务协调过程中的资源优化问题,在分布式逃逸算法的基础上提出了一种基于分布式约束满足的资源优化模型,并通过仿真实验证实了模型及其算法的收敛性和优化性。(本文来源于《计算机应用研究》期刊2009年03期）
刘鸿福,陈璟,沈林成[4]（2009）在《分布式约束满足问题及其在MAS任务分配中的应用》一文中研究指出针对多智能体系统(MAS)任务分配问题中多个任务与MAS两者的分布式特征,将任务分配问题形式化为分布式约束满足问题(DCSP)进行求解,分别建立了以任务为中心和以agent为中心两种MAS任务分配模型,基于改进的DCSP分布式并行求解算法,提出了基于DCSP的MAS任务分配问题求解框架。该方法适合求解agent间通信有随机延迟以及agent间存在多约束的问题,应用实例的求解表明了其实用性与有效性。(本文来源于《计算机应用研究》期刊2009年02期）
谷学强,陈璟,王克波[5]（2009）在《面向目标区域规划的分布式约束满足求解方法》一文中研究指出根据目标区域规划的特点,将目标区域规划形式化为分布式约束满足问题进行求解。建立目标区域规划的分布式约束满足模型,并在分析现有分布式约束满足问题求解算法的基础上,对异步回溯搜索算法进行改进,提出基于分布式约束满足问题的目标区域规划求解框架。仿真结果表明,该方法在求解目标区域规划问题方面有效。(本文来源于《兵工自动化》期刊2009年01期）
王志,白树仁[6]（2007）在《基于分布式约束满足的多约束单路径路由问题求解》一文中研究指出约束路由问题是IP网络的一个核心功能,由于求解多约束路由问题属于NP完全问题,所以大量的研究工作围绕此展开。基于分布式约束满足的思想,设计多约束单路径路由问题求解算法,分析表明该求解算法降低计算复杂度,提高算法的性能。在分布式条件下完成算法的实现,经实验表明,算法近似程度较好,求解速度快。(本文来源于《计算技术与自动化》期刊2007年04期）
王秦辉,陈恩红,王煦法[7]（2007）在《基于权值加密的隐私安全分布式约束满足问题求解》一文中研究指出隐私安全的分布式约束满足问题(distributed constraint satisfaction problem,DisCSP)求解算法可以很好地满足信息敏感的分布式组合求解问题的需要,为了获得更好的求解效率,提出了一种基于权值加密的隐私安全DisCSP的求解算法,对DisCSP问题中的约束基于不同的隐私权值进行加密求解;不需要增加额外的agent进行隐私约束的一致性检查,实现分布式的安全求解策略;对于可能出现的推理信息,用随机选择策略来避免信息泄漏.试验表明,该算法可以减少信息的传递量和计算的复杂性,因而具有更好的求解效率.(本文来源于《中国科学技术大学学报》期刊2007年07期）
王秦辉[8]（2007）在《约束满足及其分布式求解和应用研究》一文中研究指出约束满足可以很好地描述组合求解问题，在人工智能和计算机其他领域都有着广泛的应用，因而成为人工智能中成功的问题求解范例之一。近来，计算机网络和分布式计算环境在各领域的快速发展，使得很多现实世界中的组合求解问题都具有了分布式的特点。在这一趋势下，传统的约束满足求解方法已经不能适应分布式的组合问题求解，特别是对自治Agent间需要协商求解的多Agent系统更是无法应用。随着多Agent系统研究的深入开展，分布式约束满足问题被正式提出后，其模型、求解方法、隐私保护和求解效率等理论问题已引起人们的广泛关注。本文基于约束满足求解策略，提出了一种针对网络环境下半结构化数据模式变化检测的快速方法；此外，在对分布式约束满足问题及其求解方法的系统研究和分析基础上，针对应用中新出现的隐私安全需求，提出了高效的、真正分布式的隐私安全分布式约束满足求解方法：最后，我们用该方法对基于多Agent虚拟企业中的隐私安全协商的求解问题进行了有益的探讨。论文的主要贡献和创新有：1．提出了一种快速的基于约束满足求解的半结构化数据模式变化检测方法。在约束满足求解基础上，以XML文档为研究对象，为了有效地对XML数据进行模式变化检测，提出了一种快速的半结构化数据模式变化检测方法。该方法使用了有向标记无序树来表示XML文档，从中抽取出频繁子树作为模式，并用树型模式来描述它。在此基础上，把XML数据模式变化检测问题转化为约束满足求解问题，不仅针对该问题提出了一种较高效的求解算法，而且克服了一般方法要求在有序树上进行的限制。2．提出了一种基于权值加密的隐私安全分布式约束满足问题的求解算法。针对分布式约束满足问题中的隐私安全保护，从求解效率角度考虑，提出了一种基于权值加密的隐私安全分布式约束满足问题的求解算法。该算法通过对Agent内和Agent间不同的约束关系进行隐私安全性分析，在加密求解过程中使用不同的处理方式来获得更高的求解效率，利用Agent自身的计算和交互特点，不再引入额外的控制器来参与求解，真正实现分布式的安全策略，进一步减少了可能的信息泄漏，因而可以在确保隐私安全的前提下引入更好的启发式搜索策略。3．提出一种基于隐私安全分布式约束满足求解的多Agent虚拟企业合作伙伴选择协商模型。以基于多Agent的虚拟企业中各候选企业的隐私安全为出发点，提出一种利用隐私安全分布式约束满足求解的多Agent虚拟企业合作伙伴选择协商模型。在该模型中，将市场各部分需求或服务建模为Agent，将需求或服务之间的关系建模为各个Agent内部或Agent之间的约束，Agent之间通过隐私安全分布式约束满足求解方法来实现彼此间隐私安全的协商，进而完成满足需求的合作伙伴选择任务。分布式问题求解的应用将依赖于分布式约束满足问题中的求解效率、隐私安全等关键问题的有效解决，因而这些问题的研究具有重要的理论意义和应用价值。本文针对其中的一些问题展开了研究和探讨，如何进一步研究适应分布性从而减少通信需求和开销的分布式约束满足方法；如何平衡隐私安全性和算法效率，在两者间取得最佳折衷等，将为分布式约束满足更好地推向实际应用奠定基础，这也是本文今后工作的期望和目标。(本文来源于《中国科学技术大学》期刊2007-05-01）
邵伟平,刘永贤,郝永平,曾鹏飞[9]（2007）在《基于分布式约束满足的产品配置研究》一文中研究指出针对分布式网络化产品配置的特点,将产品配置问题抽象为约束满足问题进行研究.为解决配置知识共享及配置知识的语义表达问题,采用本体驱动的面向对象的思想构建产品配置约束网络结构模型,将该模型转化为分布式约束满足问题(Distributed Constraint Satisfaction Problem,DCSP)求解模型,从而可以准确、完全地描述产品零部件的结构及设计知识,并采用异步弱授权回溯算法进行约束求解,大大提高了求解的搜索效率和准确性.最后给出模型在水泵产品配置设计过程中的实际应用.(本文来源于《东北大学学报(自然科学版)》期刊2007年01期）
王秦辉,陈恩红,王煦法[10]（2006）在《分布式约束满足问题研究及其进展》一文中研究指出近年来,随着网络技术的快速发展和广泛应用,人工智能领域中的诸多问题,如时序安排、计划编制、资源分配等,越来越多地以分布形式出现,从而形成一类多主体系统.相应地,求解该类问题的传统约束满足问题也发展为分布式约束满足问题,分布式约束满足已经成为多主体系统求解的一般框架.首先,简要介绍了分布式约束满足问题的基本概念,总结了该问题的基本算法及其改进算法,并对这些算法的效率和性能进行了比较分析.然后,讨论了近年来分布式约束满足问题的若干典型应用;最后,给出了分布式约束满足问题基本形式的扩展和今后的研究方向.分布式约束满足问题最新研究进展表明:今后的工作将着重于面向现实问题求解的理论研究,为实际应用提供坚实的理论基础.(本文来源于《软件学报》期刊2006年10期）
分布式约束满足论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
无线蜂窝通信技术在移动通信发展史上有着里程碑的意义。近年来,随着移动通信系统在全球范围内的部署以各类移动通信业务功能的开发,蜂窝网已经成为应用最为广泛、业务最为繁重的移动通信网络之一。因此,如何有效利用有限的频谱资源保证通信质量是蜂窝网络技术研究中的一个重要课题。通过改善信道分配技术,降低移动终端间的干扰冲突,能够提升网络可承载的移动终端数量。随着用户呼叫阻塞率和切换失败概率的减少,网络的性能也随着提升。当前的许多相关研究工作主要为设计各种优化算法,以求解最优或者次优的信道分配。而在实际蜂窝网的应用中,该信道分配算法的设计面临一下几个方面的挑战：●有效支持大规模部署的信道分配算法信道分配问题(Channel Assignment Problem, CAP)属于组合优化中的NP完备问题。对于解决NP完备问题,目前已存在若干优化算法在各种严格的约束条件下,如同频干扰约束(co-channel constraint),邻频干扰约束(adjacent channel constraint)和同位干扰约束(co-site constraint)等,都可以获得最优解。但是,在对于移动通信营业商来讲,集中式的最优化算法复杂度较高并且难以部署。当有话务产生、流量需求时,能够及时响应并分配信道以满足所有用户的请求,是运营商更加接受的解决方案。●有效支持移动切换的信道分配算法在蜂窝网络中,终端属于移动状态,可以在一个小区或多个小区之间越区运动。在蜂窝网络中,信道切换常常发生。通信被中断比呼叫被拒绝更加让人难以接受。目前提出的解决方案是借用信道。但是盲目地向邻小区借用信道,将导致邻小区处于拥塞状态。因此,需要结合借用信道等信道切换机制,设计更加有效的信道分配方案,减少多个小区的用户呼叫阻塞。●支持多跳蜂窝网场景的联合路由和信道分配算法多跳蜂窝网络(Multi-hop cellular networks, MCN)是近年来被广泛关注的一种新型的蜂窝网络架构,被认为是未来4G网络建设的无线架构之一。在多跳蜂窝网络中,死区(dead spots)问题和热区(hot spots)问题依然存在,因此,有必要设计高效的多跳中继／路由协议和信道分配算法以适应蜂窝网络中终端的高移动性。MCN中信道分配问题与路由问题是相互影响的——不同的信道分配对应不同网络拓扑,影响路由协议的决策；而不同的路由决策将影响各信道的负载状态,进一步影响信道分配的结果。现有的工作通常将两个问题单独处理,因此无法有效地解决蜂窝网络中的负载拥塞问题。综合以上考虑,本文提出了一种基于分布式约束满足问题(Distributed Constraint Satisfaction Problem, DCSP)的信道分配方案。此论文由“自然科学基金”和“湖北省智能互联网重点实验室”资助,项目编号分别为60772088,60602029和No.HSIT200605。本论文的主要贡献在于：1.针对信道资源紧缺的问题,本论文提出基于分布式约束满足算法的信道分配,在保证系统无干扰的前提下,以最少的信道量满足更多的呼叫请求量,使得呼叫阻塞概率降低。该策略有效地利用信道资源,提高移动通信系统利用率。仿真结果表明,在大规模场景中基于DCSP的信道分配方法能够在满足用户服务请求,求解信道分配策略。2.针对移动通信用户越区的信道切换失败的问题,本论文提出了一种差错容忍的信道分配(Fault Tolerant Channel Assignment)算法以保证移动终端在拥塞小区时的连续通信。此算法通过融合多种差错容忍的切换技术,包括预留信道、基于移动终端移动方向的信道借用技术、基于方向借用的信道锁定技术、信道复用等,能够显着降低蜂窝网络中的切换失败和呼叫阻塞的概率。3.针对多跳蜂窝网系统中的热区问题,本论文提出了多跳蜂窝网络中联合考虑路由与信道分配(Joint Routing and Channel Assignment, JRCA)的算法。JRCA算法能够在可用信道较少时实现无冲突的信道分配,同时可以均衡网络负载以降低实现网络切换失败概率和呼叫阻塞概率。仿真结果表明JRCA相比传统蜂窝网络下的信道分配方法能够显着提升系统性能。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
分布式约束满足论文参考文献
[1].韦沙,刘威,陈小慧,程文青.蜂窝网中基于分布式约束满足算法的改进信道分配[J].计算机科学.2012
[2].韦沙.基于分布式约束满足算法的无线信道分配研究[D].华中科技大学.2011
[3].肖宇,许炜,程文青.一种基于分布式约束满足的资源优化模型[J].计算机应用研究.2009
[4].刘鸿福,陈璟,沈林成.分布式约束满足问题及其在MAS任务分配中的应用[J].计算机应用研究.2009
[5].谷学强,陈璟,王克波.面向目标区域规划的分布式约束满足求解方法[J].兵工自动化.2009
[6].王志,白树仁.基于分布式约束满足的多约束单路径路由问题求解[J].计算技术与自动化.2007
[7].王秦辉,陈恩红,王煦法.基于权值加密的隐私安全分布式约束满足问题求解[J].中国科学技术大学学报.2007
[8].王秦辉.约束满足及其分布式求解和应用研究[D].中国科学技术大学.2007
[9].邵伟平,刘永贤,郝永平,曾鹏飞.基于分布式约束满足的产品配置研究[J].东北大学学报(自然科学版).2007
[10].王秦辉,陈恩红,王煦法.分布式约束满足问题研究及其进展[J].软件学报.2006