导读:本文包含了约束分解论文开题报告文献综述及选题提纲参考文献，主要关键词:Web服务组合,QoS关联感知,约束分解,人工蜂群算法
约束分解论文文献综述
侯占伟,翟海霞,沈记全[1]（2018）在《基于全局QoS约束分解与关联感知的动态服务组合》一文中研究指出在Web服务组合过程中,基于全局Qo S(quality of service)约束分解的服务组合方法是提高服务组合动态性与灵活性的有效途径。已有的研究工作在进行约束分解服务优化组合时,没有考虑上下游服务之间的Qo S关联性,影响了组合的效率与质量,降低了用户的满意度。提出一种基于Qo S全局约束分解与关联感知的动态优化服务组合方法,通过改进后的人工蜂群算法将全局Qo S约束分解为局部Qo S约束;定义上下游服务之间的Qo S关联系数,构造一种基于Qo S关联感知服务选择的方法,解决了存在关联关系的服务选择问题。实验验证了该方法的可行性和有效性。(本文来源于《重庆邮电大学学报(自然科学版)》期刊2018年05期）
李占山,韩文成,郭霆[2]（2011）在《约束分解技术回顾与展望》一文中研究指出约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术。介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想。最后根据存在的问题与不足提出了下一步的工作方向和研究思路。(本文来源于《计算机科学》期刊2011年10期）
王尚广,孙其博,杨放春[3]（2011）在《基于全局QoS约束分解的Web服务动态选择》一文中研究指出随着执行时绑定的Web服务的提出及其被大量地应用到开放式服务中,用户对支持快速和动态的Web服务组合提出了新的要求.即在组合过程中,用尽可能短的时间花费选择满足用户端到端的QoS要求的服务.针对上述要求,提出了一种基于全局QoS约束分解的动态服务选择方法(Web service dynamic selection approach,简称WSDSA).该方法的主要思想是,通过基于模糊逻辑的自适应调整方法(adaptive adjustment method,简称AAM)和自适应粒子群优化算法(adaptive particle swarm optimization,简称APSO)将全局QoS约束自适应地分解为满足用户偏好的局部约束,然后利用局部最优获得最合适的组合服务.性能评价表明,WSDSA方法具有较好的有效性,仅用较低的时间花费就能达到或接近全局最优解,能够满足服务选择的实时性和动态性.(本文来源于《软件学报》期刊2011年07期）
赵燕妮,边计年,邓澍军[4]（2010）在《利用SMT约束分解方法求解RTL可满足性问题》一文中研究指出随着集成电路技术与工艺的不断发展,目前工业界所采用的形式验证工具已很难适应集成电路规模的飞速增长.为了对RTL电路的可满足性问题进行形式验证,提出基于超图划分的约束分解实现可满足性模理论(SMT)求解的分级验证方法.通过分析RTL电路的结构约束,对约束集合中的元素和相关变量进行约束建模,并构建带有合适权重的超图模型;利用超图划分的机制寻找带有最小割集的等量划分,实现约束分解,完成RTL电路的定界模型检验.实验结果表明,该方法能够减小处理问题的规模和求解过程中的搜索空间,提高验证效率.(本文来源于《计算机辅助设计与图形学学报》期刊2010年02期）
常天庆,徐文胜,熊光楞,何健廉[5]（2001）在《一种并行工程约束分解方法》一文中研究指出在并行工程产品开发过程中 ,往往按照问题的结构特点将较大规模的问题分解成一些子问题 ,并希望通过求解子问题来获得原问题的解 .实际中 ,分解得到的子问题之间往往不是完全独立的 ,一般的简单分解方法只能有限地降低求解难度和简化问题规模 .如何进一步分解各个子问题间的关系 ,使各个子问题的设计结果不但满足原问题的总体要求而且还能由此获得优化的总体设计结果是一个重要问题 .该文给出了分解的意义 ,提出了基于约束的优化分解方法 .(本文来源于《计算机学报》期刊2001年03期）
程艺,贺劲松,曾旭东[6]（2001）在《(2 + 1)维破碎孤子方程的约束分解和它的特殊解(英文)》一文中研究指出论文将一个 (2 + 1 )维的破碎孤子方程分解成 (1 + 1 )维的NLS和复MKdV的方程组 .在这样的分解下 ,利用Darboux变换 ,可以获得原方程的孤子解 .(本文来源于《中国科学技术大学学报》期刊2001年01期）
王政文,朱德通,蒋伟成[7]（1994）在《非线性等式约束分解信赖域算法(Ⅰ)》一文中研究指出本文采用分解、合成的思想,求解非线性等式约束优化问题,第一节,介绍了算法的发展;第二节,利用Fletcher罚函数,给出本文使用的两个算法:通常信赖域算法,非单调信赖域算法。非单调信赖域算法是通常信赖域算法的推广,算法实践表明:非单调信赖域算法更具优越性,开始受到充分重视。(本文来源于《上海师范大学学报(自然科学版)》期刊1994年03期）
约束分解论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义。主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术。介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想。最后根据存在的问题与不足提出了下一步的工作方向和研究思路。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
约束分解论文参考文献
[1].侯占伟,翟海霞,沈记全.基于全局QoS约束分解与关联感知的动态服务组合[J].重庆邮电大学学报(自然科学版).2018
[2].李占山,韩文成,郭霆.约束分解技术回顾与展望[J].计算机科学.2011
[3].王尚广,孙其博,杨放春.基于全局QoS约束分解的Web服务动态选择[J].软件学报.2011
[4].赵燕妮,边计年,邓澍军.利用SMT约束分解方法求解RTL可满足性问题[J].计算机辅助设计与图形学学报.2010
[5].常天庆,徐文胜,熊光楞,何健廉.一种并行工程约束分解方法[J].计算机学报.2001
[6].程艺,贺劲松,曾旭东.(2+1)维破碎孤子方程的约束分解和它的特殊解(英文)[J].中国科学技术大学学报.2001
[7].王政文,朱德通,蒋伟成.非线性等式约束分解信赖域算法(Ⅰ)[J].上海师范大学学报(自然科学版).1994