一种基于分布式约束满足资源优化模型.docVIP

一种基于分布式约束满足的资源优化模型 　　（华中科技大学 电子与信息工程系， 武汉 430074） 　　?? 　　摘 要：分布式约束满足作为分布式人工智能领域的一个重要分支，在许多领域均得到了广泛应用。针对Web服务事务协调过程中的资源优化问题，在分布式逃逸算法的基础上提出了一种基于分布式约束满足的资源优化模型，并通过仿真实验证实了模型及其算法的收敛性和优化性。 　　?す丶?词：分布式约束满足;分布式逃逸算法;资源优化 　　?ぶ型挤掷嗪牛?TP18 文献标志码：A 　　 文章编号：1001?B3695(2009)03?B0864?B03 　　?? 　　Resource allocation optimization model based on DCSP 　　?? 　　XIAO Yu, XU Wei, CHENG Wenqing 　　?? 　　（Dept. of Electronics Information, Huazhong University of Science Technology, Wuhan 430074, China） 　　?? 　　Abstract:As one of the most important branches of DAI, the distributed constraint satisfaction is in wide application. This paper proposed a DCSPbased resource allocation optimize model in order to satisfy the same requirement of the Web service transaction coordination. Finally, the astringency and optimization of the new model and its algorithm are proved through a simulation. 　　??Key words：distributed constraint satisfaction; distributed breakout algorithm; resource allocation optimization 　　?お? 　　0 引言?? 　　自从1974年Montanari在图像处理中首先提出了约束满足问题（constraint satisfaction problems，CSPs）[1]以来，约束满足作为一种重要的求解方法在人工智能与计算机科学其他领域中得到了广泛的应用[2]，从n皇后、图染色等经典问题到时序安排、计划编制、资源分配等大型应用问题，均可以形式化为约束满足问题进行求解。此后，Yokoo等人[3]又在原有工作的基础上提出了分布式约束满足问题的解决框架，以agent作为计算实体，通过各个agent之间的协调来寻找满足所有分布式约束的解。其核心算法包括异步回溯（asynchronous backtracking，ABT）、异步弱承诺搜索（asynchronous weakcommitment search，AWS）[4]和分布式逃逸[5]。这些算法构成了分布式约束满足问题求解体系的基础。?? 　　虽然约束满足模型一般被用来寻找可行解的问题，但是如果能够对约束评估函数以及迭代算法加以改进，则可以利用约束满足模型来求解优化问题，尤其是分布式优化问题。在之前的研究[6]中，笔者发现Web服务事务协调过程中包含了一个资源预分配环节，如果能够在这一环节中实现分布式资源的最优分配，将会对事务协调的总体效果起到非常积极的作用。因此，本文提出了一种基于分布式约束满足的资源优化模型来解决Web服务事务协调过程中的资源优化预分配问题；同时，这种通用模型也可以在分布式资源优化领域得到广泛应用。?? 　　1 分布式约束满足问题?? 　　分布式约束满足问题是变量和约束均分布在不同自治??agent中的约束满足问题。与一般约束满足问题相比，它最显著的特征是每个自治agent仅依据局部的约束关系来确定自身变量的取值，其形式化定义如下：?? 　　定义1 分布式约束满足问题。n个agent表示为A??1, A??2, …, A??n，m个变量为v??1, v??2, …, v??m，m个变量的值域为D??1, D??2, …, D??m，变量间的约束仍用C表示；每个agent有一个或多个变量，每个变量v??j属于一个A??i，表示为belongs(v??j, A??i)；变量间的约束关系分布在agent内或agent之间，当A??l知道约束关系C??k时，表示为known(C??k