拉蒙·贝加尔;卡梅尔·多姆什拉克;塞萨尔·费尔南德斯;卡拉·戈麦斯;巴斯卡尔·克里希纳马查里;巴特·塞尔曼;瓦尔斯，马格达 传感器网络和分布式CSP：通信、计算和复杂性。 （英语） Zbl 1132.68688号 Artif公司。智力。 161，编号1-2，117-147（2005）. 概述：我们介绍SensorDCSP，它是一个基于网络分布式系统环境中出现的真实应用程序的自然分布式基准测试。为了研究分布式CSP（DisCSP）算法在真正分布式环境中的性能，我们使用离散事件网络模拟器，该模拟器允许我们模拟不同网络流量条件对算法性能的影响。我们考虑了两个完整的DisCSP算法：异步回溯（ABT）和异步弱承诺搜索（AWC），并在SensorDCSP的可满足和不可满足实例上对这些算法进行了性能比较。我们发现，随机延迟（由于网络流量或在某些情况下由代理主动引入）结合动态分散重启策略可以提高DisCSP算法的性能。此外，我们还介绍了GSensorDCSP，它是SensorDCSP的一个嵌入式版本，与各种现实生活中的动态跟踪系统密切相关。我们对这个基准领域进行了分析和实证研究。特别是，这个基准允许我们研究解决方案修复对解决代表一组移动对象动态跟踪的DisCSP序列的吸引力。 引用于4文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 64岁以下 分布式系统 65年第68季度 算法和问题复杂性分析 68宽15 分布式算法 关键词：分布式CSP基准;相变;随机组合搜索;通信网络延迟;NP-完整性 软件：中国化工集团公司;传感器DCSP;SATLIB公司 PDF格式 BibTeX公司 XML格式 引用 \textit{R.Béjar}等人，Artif。智力。161，编号1--2，117-147（2005；Zbl 1132.68688） 全文： 内政部 链接 打开URL 参考文献： [1] AFRL/IFTB，自主谈判团队（ANT）计划，http://www.rl.af.mil/div/IFT/IFTB/ants/ants.html [2] Béjar，R。；Krishnamachari，B。；戈麦斯，C。；Selman，B.，无线传感器跟踪系统中的分布式约束满足，（） [3] Bessière，C。；艺术大师。；Meseguer，P.，分布式动态回溯，（），9-16 [4] 卡利斯蒂，M。；Fallings，B.，《在多提供者网络中分配服务需求的分布式约束代理》，J.意大利运营商。res.soc.，XXIX，91，（2000），基于约束的问题解决专刊 [5] Conry，S.E.公司。；库瓦巴拉，K。；Lesser，V.R。；Meyer，R.A.，分布式约束满足的多阶段协商，IEEE trans。系统人网络。（DAI专题），21，6，1462-1477，（1991）·Zbl 0825.68627号 [6] 科尔曼，T.H。；Leiserson，C.E。；Rivest，R.L.，《算法导论》（1990），麻省理工学院剑桥出版社，马萨诸塞州·Zbl 1158.68538号 [7] 克罗维拉，M。；Bestavros，A.，《全球网络流量中的自相似性：证据和可能的原因》，IEEE trans。网络，5，6，835-846，（1997） [8] 费尔南德斯，C。；Béjar，R。；Krishnamachari，B。；Gomes，C.P.，分布式CSP算法中的通信和计算，（），664-679 [9] C.P.戈麦斯。；塞尔曼，B。；Kautz，H.A.，通过随机化推进组合搜索，（），431-437 [10] Y.哈马迪。；贝西埃，C。；Quinqueton，J.，分布约束网络中的回溯，（），219-223 [11] Hannebauer，M.，分布式约束满足中自主动态重构的形式化，信息基础，43，1-4，129-151，（2000）·Zbl 0965.68004号 [12] Helmert，M.，《规划中标准基准领域的复杂性结果》，人工智能，143，2，219-262，（2003）·Zbl 1079.68621号 [13] Hoffmann，J.，规划基准中的局部搜索拓扑：实证分析，（），453-458 [14] Hoffmann，J.，规划基准中的局部搜索拓扑：理论分析，（），379-387 [15] 霍林，B。；文森特·R。；梅勒，R。；沈杰。；贝克尔，R。；罗林斯，K。；Lesser，V.，用于实时跟踪的分布式传感器网络，（），417-424 [16] 朱尼厄斯，M。；伯特尔，M。；Pesch，D.，CNCL-通信网络类库，（1996），亚琛工业大学 [17] 柯克帕特里克，D。；Hell，P.，关于一般图因子问题的复杂性，SIAM J.comput。，12, 3, 601-608, (1983) ·Zbl 0525.68023号 [18] B.Krishnamachari，无线网络中的相变、结构和复杂性，康奈尔大学电气工程博士论文，纽约州伊萨卡市，2002年 [19] Krishnamachari，B。；Béjar，R。；Wicker，S.B.，《分布式问题解决和多跳无线网络中自我配置的边界》，（） [20] 莱兰，W.E。；Taqqu，M.S。；威林格，W。；Wilson，D.V.，《关于以太网流量的自相似性（扩展版）》，IEEE trans。网络，2,1,1-15，（1994） [21] 马乔·冈萨雷斯，S。；Faltings，B.，开放约束满足，（）·Zbl 1273.68345号 [22] 马蒂，P。；Rueher，M.，分布式协同约束求解系统，国际。人工智能工具杂志，4，1-2，93-113，（1995） [23] 梅赛尔，A。；Kaplansky，E.，调度代理分布式时间表问题（disttp），（），182-190 [24] 梅赛尔，A。；Razgon，I.，分布式约束处理算法的性能比较，（），86-93 [25] 莫迪，P.J。；Jung，H。；Tambe，M。；沈伟（Shen，W.）。；Kulkarni，S.，资源分配的动态分布式约束满足方法，（），685-700·Zbl 1067.68660号 [26] 莫纳森，R。；西葫芦。；柯克帕特里克，S。；塞尔曼，B。；Troyansky，L.，《从特征相变确定计算复杂性》，《自然》，400，133-137，（1999）·Zbl 1369.68244号 [27] Nguyen，T。；Deville，Y.，分布式电弧一致性算法，科学。计算。编程，30，1-2，227-250，（1998）·Zbl 0895.68120号 [28] 帕克森，V。；Floyd，S.，《广域流量：泊松建模的失败》，IEEE/ACM trans。网络，3，3，226-244，（1995） [29] Samorodnitsky，G。；Taqqu，M.S.，稳定非高斯随机过程，（1994），Chapman&Hall·Zbl 0925.60027号 [30] SATLIB-可满足性库，http://www.satlib.org/index-ubc.html（由H.H.Hoos和T.Stützle创建和维护） [31] Silaghi，M。；Sam-Haroud，D。；Faltings，B.，维护分层分布式一致性，（） [32] Sycara，K。；罗斯，S。；Sadeh，N。；Fox，M.S.，分布式约束启发式搜索，IEEE trans。系统人网络。，21, 6, 1446-1461, (1991) [33] Walsh，T.，从P到NP:COL、XOR、NAE、1-in-k和Horn SAT，（），695-700 [34] Yokoo，M.，解决约束满足问题的弱承诺搜索，（），313-318 [35] Yokoo，M.，解决分布式约束满足问题的异步弱承诺搜索，（），88-102 [36] Yokoo，M。；杜菲，E.H。；石田，T。；Kuwabara，K.，用于形式化分布式问题解决的分布式约束满足，（），614-621 [37] Yokoo，M。；杜菲，E.H。；石田，T。；Kuwabara，K.，《分布式约束满足问题：形式化和算法》，IEEE trans。知识数据工程。，10, 5, 673-685, (1998) [38] Yokoo，M。；Hirayama，K.，分布式约束满足算法：综述，自治代理多代理系统。，3, 2, 198-212, (2000) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献，而不要求匹配的完整性或精确性。