×

传感器网络和分布式CSP:通信、计算和复杂性。 (英语) Zbl 1132.68688号

概述:我们介绍SensorDCSP,它是一个基于网络分布式系统环境中出现的真实应用程序的自然分布式基准测试。为了研究分布式CSP(DisCSP)算法在真正分布式环境中的性能,我们使用离散事件网络模拟器,该模拟器允许我们模拟不同网络流量条件对算法性能的影响。我们考虑了两个完整的DisCSP算法:异步回溯(ABT)和异步弱承诺搜索(AWC),并在SensorDCSP的可满足和不可满足实例上对这些算法进行了性能比较。我们发现,随机延迟(由于网络流量或在某些情况下由代理主动引入)结合动态分散重启策略可以提高DisCSP算法的性能。此外,我们还介绍了GSensorDCSP,它是SensorDCSP的一个嵌入式版本,与各种现实生活中的动态跟踪系统密切相关。我们对这个基准领域进行了分析和实证研究。特别是,这个基准允许我们研究解决方案修复对解决代表一组移动对象动态跟踪的DisCSP序列的吸引力。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
64岁以下 分布式系统
65年第68季度 算法和问题复杂性分析
68宽15 分布式算法
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] AFRL/IFTB,自主谈判团队(ANT)计划,http://www.rl.af.mil/div/IFT/IFTB/ants/ants.html; AFRL/IFTB,自主谈判团队(ANT)计划,http://www.rl.af.mil/div/IFT/IFTB/ants/ants.html
[2] R·贝贾尔。;Krishnamachari,B。;戈麦斯,C。;Selman,B.,无线传感器跟踪系统中的分布式约束满足,(IJCAI-01分布式约束推理研讨会论文集,华盛顿州西雅图(2001))
[3] Bessière,C。;艺术大师。;Meseguer,P.,分布式动态回溯,(IJCAI-01分布式约束推理研讨会论文集,华盛顿州西雅图(2001)),9-16
[4] 卡利斯蒂,M。;Faltings,B.,《在多提供者网络中分配服务需求的分布式约束代理》,J.意大利Oper。Res.Soc.,XXIX,91(2000),基于约束的问题解决专刊
[5] Conry,S.E。;库瓦巴拉,K。;Lesser,V.R。;Meyer,R.A.,分布式约束满足的多阶段协商,IEEE Trans。Systems Man Cybernet。(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。;R·贝贾尔。;Krishnamachari,B。;Gomes,C.P.,分布式CSP算法中的通信和计算,(第八届约束编程原理与实践国际会议论文集(CP-2002)(2002)),664-679
[9] 戈麦斯,C.P。;塞尔曼,B。;Kautz,H.A.,通过随机化推进组合搜索,(《全国人工智能会议论文集》(AAAI-98),威斯康星州麦迪逊(1998)),431-437
[10] Y.哈马迪。;贝西埃,C。;Quinqueton,J.,分布式约束网络中的回溯,(第13届欧洲人工智能会议论文集(ECAI-98)(1998)),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.,规划基准中的局部搜索拓扑:实证分析,(第17届国际人工智能联合会议论文集(IJCAI-01),西雅图,华盛顿州(2001)),453-458
[14] Hoffmann,J.,规划基准中的局部搜索拓扑:理论分析,(第六届人工智能规划与调度国际会议论文集(AIPS-02)(2002)),379-387
[15] 霍林,B。;文森特·R。;梅勒,R。;沈杰。;贝克尔,R。;罗林斯,K。;Lesser,V.,《用于实时跟踪的分布式传感器网络》,(第五届自治代理国际会议论文集(2001)),417-424
[16] 朱尼厄斯,M。;Büter先生。;Pesch,D.,CNCL-通信网络类库(1996),亚琛工业大学
[17] 柯克帕特里克,D。;Hell,P.,关于一般图因子问题的复杂性,SIAM J.Comput。,12, 3, 601-608 (1983) ·Zbl 0525.68023号
[18] B.Krishnamachari,无线网络中的相变、结构和复杂性,康奈尔大学电气工程博士论文,纽约州伊萨卡市,2002年;B.Krishnamachari,无线网络中的相变、结构和复杂性,康奈尔大学电气工程博士论文,纽约州伊萨卡市,2002年
[19] Krishnamachari,B。;R·贝贾尔。;Wicker,S.B.,《分布式问题解决和多跳无线网络中自我配置的边界》(夏威夷系统科学国际会议(HICSS-35)(2002))
[20] Leland,W.E。;Taqqu,M.S。;威林格,W。;Wilson,D.V.,《以太网通信的自相似性(扩展版)》,IEEE Trans。网络,2,1,1-15(1994)
[21] 马乔·冈萨雷斯,S。;Faltings,B.,开放约束满足,(AAMAS-02分布式约束满足研讨会论文集(2002))·Zbl 1273.68345号
[22] 马蒂,P。;Rueher,M.,分布式协同约束求解系统,国际。《人工智能工具杂志》,4,1-2,93-113(1995)
[23] 梅赛尔,A。;Kaplansky,E.,Scheduling agents-distributed时间表问题(DisTTP),(自动时间表实践与理论国际会议论文集(PATAT-02)(2002)),182-190
[24] 梅赛尔,A。;Razgon,I.,分布式约束处理算法的性能比较,(AAMAS-2002分布式约束推理研讨会论文集(2002)),86-93
[25] 莫迪,P.J。;Jung,H。;Tambe,M。;沈伟(Shen,W.)。;Kulkarni,S.,《资源分配的动态分布式约束满足方法》(《约束编程原理与实践国际会议论文集》(CP-2001)(2001)),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创建和维护);SATLIB-可满足性库,http://www.satlib.org/index-ubc.html(由H.H.Hoos和T.Stützle创建和维护)
[31] Silaghi,M。;Sam-Haroud,D。;Faltings,B.,《保持分层分布式一致性》(CP-00分布式约束满足研讨会论文集(2000年))
[32] Sycara,K。;罗斯,S。;Sadeh,N。;Fox,M.S.,分布式约束启发式搜索,IEEE Trans。Systems Man Cybernet。,21, 6, 1446-1461 (1991)
[33] Walsh,T.,From P to NP:COL,XOR,NAE,1-in-k,and Horn SAT,(第十八届全国人工智能会议论文集(AAAI-02),Edmonton,AB(2002)),695-700
[34] Yokoo,M.,解决约束满足问题的弱承诺搜索,(第十二届全国人工智能会议论文集(AAAI-94),西雅图,华盛顿州(1994)),313-318
[35] Yokoo,M.,解决分布式约束满足问题的异步弱承诺搜索,(第一届约束编程原理与实践国际会议论文集(CP-95)(1995)),88-102
[36] Yokoo,M。;Durfee,E.H。;石田,T。;Kuwabara,K.,《形式化分布式问题解决的分布式约束满足》,(第十二届IEEE分布式计算系统国际会议论文集(1992)),614-621
[37] Yokoo,M。;Durfee,E.H。;石田,T。;Kuwabara,K.,《分布式约束满足问题:形式化和算法》,IEEE Trans。知识数据工程,10,5,673-685(1998)
[38] Yokoo,M。;Hirayama,K.,分布式约束满足算法:综述,自治代理多代理系统。,3, 2, 198-212 (2000)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。