卡梅·阿勒瓦雷斯;Ioannis Chatzigannakis公司;阿马利亚·杜赫;约阿金·加巴罗;米歇尔·奥通;玛丽亚·塞尔纳;保罗·G·斯皮拉基斯。 微小人工物网络的计算模型:一项调查。 (英语) Zbl 1298.68039号 计算。科学。版次。 第5期,第1期,第7-25页(2011年). 小结:我们在这里调查了一些微小工件网络的最新计算模型。特别是,我们关注由具有感知功能的工件组成的网络。我们首先想象工件是被动移动的,也就是说,它们是移动的,但无法控制自己的移动。这让我们找到了人口协议的模型D.安格鲁因等人【“被动移动有限状态传感器网络中的计算”,摘自:2004年第二十三届ACM分布式计算原理研讨会论文集。纽约,纽约:ACM出版社。290–299 (2004;doi:10.1145/1011767.111810)]. 我们调查了此模型及其最近的一些增强功能。特别是,我们还介绍了介导人口协议交互链接能够存储状态和被动移动机器在该模型中,代理的有限状态性质被放宽,代理成为使用受限空间的多磁带图灵机。我们接下来调查传感器场模型是一个通用模型,它捕获了许多传感器网络设置的一些识别特征。传感器字段由各种设备组成,这些设备可以相互通信,也可以通过输入/输出数据流与环境通信。最后,我们给出了传感器场和总体协议之间的仿真结果,并分析了它们的变体决定图形属性的能力。 引用于4文件 理学硕士: 68M10个 计算机系统中的网络设计与通信 64岁以下 分布式系统 第68页第42页 Agent技术与人工智能 68个M12 网络协议 2005年第68季度 计算模型(图灵机等)(MSC2010) 2002年8月 与计算机科学有关的研究展览会(专著、调查文章) 关键词:人口协议;中介人口协议;传感器场;图形语言;传感问题;传感器网络 PDF格式BibTeX公司 XML格式引用 \textit{C.ali lvarez}等人,计算。科学。第5版,第1号,第7--25号(2011年;Zbl 1298.68039) 全文: 内政部 参考文献: [1] D.Estrin、R.Govindan、J.Heidemann、S.Kumar,《下一世纪的挑战:传感器网络中的可扩展协调》,载于:ACM/IEEE移动计算和网络国际会议,西雅图,第263-270页。;D.Estrin、R.Govindan、J.Heidemann、S.Kumar,《下一世纪的挑战:传感器网络中的可扩展协调》,载于:ACM/IEEE移动计算和网络国际会议,西雅图,第263-270页。 [2] 沃内克,B。;最后,M。;利博维茨,B。;Pister,K.,《智能尘埃:与立方毫米计算机通信》,《计算机》,第34期,第44-51页(2001年) [3] Kahn,J.M。;Katz,R.H。;Pister,K.S.J.,《新兴挑战:智能灰尘的移动网络》,《通信与网络杂志》,2188-196(2000) [4] Akyildiz,I。;苏·W。;Sankarasubramaniam,Y。;Cayirci,E.,《传感器网络调查》,IEEE通信杂志,40,102-114(2002) [5] 埃斯特林,D。;卡勒,D。;Pister,K。;Sukatme,G.,《将物理世界与普及网络连接起来》,IEEE普及计算,第659-69页(2002年) [6] Tilak,S。;Abu-Ghazaleh,N。;Heinzelman,W.,《无线微传感器网络模型分类》,《移动计算与通信评论》,6,28-36(2003) [7] M.Vinyals,J.Rodriguez-Aguilar,J.Cerquides,《从多智能体角度对传感器网络的调查》,摘自:Proc。AAMAS,2008年。;M.Vinyals,J.Rodriguez-Aguilar,J.Cerquides,从多智能体的角度对传感器网络的调查,载于:Proc。AAMAS,2008年。 [8] 安格鲁因,D。;Aspnes,J。;迪亚马迪,Z。;费舍尔,M.J。;Peralta,R.,被动移动有限状态传感器网络中的计算,分布式计算,235-253(2006)·Zbl 1266.68042号 [9] I.Chatziganakis,O.Michail,P.G.Spirakis,《中介人口协议》,载于:第36届国际自动化、语言和编程学术讨论会,ICALP 2009。第2部分,载于:LNCS,第5556卷,第363-374页。;I.Chatziganakis,O.Michail,P.G.Spirakis,《中介人口协议》,载于:第36届国际自动化、语言和编程学术讨论会,ICALP 2009。第2部分,载于:LNCS,第5556卷,第363-374页·Zbl 1248.68081号 [10] I.Chatziganakis,O.Michail,S.Nikolaou,A.Pavlogiannis,P.G.Spirakis,被动移动通信对数空间机器,技术报告FRONTS-TR-2010-16,RACTI,希腊帕特拉斯,2010。;I.Chatziganakis,O.Michail,S.Nikolaou,A.Pavlogiannis,P.G.Spirakis,被动移动通信对数空间机器,技术报告FRONTS-TR-2010-16,RACTI,希腊帕特拉斯,2010·Zbl 1228.68028号 [11] Gillespie,D.T.,耦合化学反应的精确随机模拟,物理化学杂志,812340-2361(1977) [12] Gillespie,D.T.,《化学主方程的严格推导》,《物理学A》,188,404-425(1992) [13] Aspnes,J。;Ruppert,E.,人口协议简介,欧洲理论计算机科学协会公报,93,98-117(2007)·Zbl 1169.68326号 [14] 迪亚马迪,Z。;Fischer,M.J.,《分布式系统信任研究的一个简单游戏》,武汉大学自然科学杂志,672-82(2001),另见耶鲁大学技术报告TR12072001年1月 [15] D.Angluin,J.Aspnes,Z.Diamadi,M.J.Fischer,R.Peralta,Urn automata,技术报告YALEU/DCS/TR-1280,耶鲁大学计算机科学系,2003年。;D.Angluin,J.Aspnes,Z.Diamadi,M.J.Fischer,R.Peralta,Urn automata,技术报告YALEU/DCS/TR-1280,耶鲁大学计算机科学系,2003年。 [16] 安格鲁因,D。;Aspnes,J。;迪亚马迪,Z。;费舍尔,M.J。;Peralta,R.,被动移动有限状态传感器网络中的计算,(PODC’04:第二十届ACM分布式计算原理年会论文集(2004),ACM:美国纽约州纽约市ACM),290-299·Zbl 1321.68058号 [17] Kurtz,T.G.,人口过程近似,(CBMS-NSF应用数学区域会议系列,第36卷(1981))·Zbl 0465.60078号 [18] J.Berstel,《Quelques applications des reseaux d’automates》,《Thèse de 3ème Cycle》,1967年。;J.Berstel,《Quelques applications des reseaux d’automates》,《Thèse de 3ème Cycle》,1967年。 [19] P.Gibbons,S.Tirthapura,估算数据流联合上的简单函数,收录于:SPAA,第281-291页。;P.Gibbons,S.Tirthapura,估算数据流联合上的简单函数,收录于:SPAA,第281-291页。 [20] Hoare,C.,通信过程的完全正确性演算,计算机程序设计科学,149-72(1981)·Zbl 0485.68025号 [21] D.Peleg,分布式计算。局部敏感方法,见:SIAM离散数学与应用专著。;D.Peleg,分布式计算。局部敏感方法,见:SIAM离散数学与应用专著·Zbl 0959.68042号 [22] T.Henzinger,《混合自动机理论》,摘自:第11届IEEE年会论文集,LICS 96,第278-292页。;T.Henzinger,《混合自动机理论》,载于:第11届IEEE年会论文集,LICS 96,第278-292页·Zbl 0959.68073号 [23] N.Lynch,R.Segala,F.Vaandrager,《重新审视混合输入/输出自动化》,in:混合系统:计算与控制:第四届国际研讨会,HSCC’01,in:LNCS,第2034卷,第403-417页。;N.Lynch,R.Segala,F.Vaandrager,《重新审视混合输入/输出自动化》,载于《混合系统:计算与控制:第四届国际研讨会》,HSCC’01,载于:LNCS,第2034卷,第403-417页。 [24] I.Chatzigiannakis,S.Nikoletseas,P.Spirakis,智能灰尘本地检测和传播协议,载于:第二届ACM移动计算原理国际研讨会论文集,第9-16页。;I.Chatziganakis、S.Nikoletseas、P.Spirakis,《智能灰尘本地检测和传播协议》,载于《第二届ACM移动计算原理国际研讨会论文集》,第9-16页。 [25] 迪亚斯,J。;Petit,J。;Serna,M.,光学智能尘埃网络的随机图模型,IEEE移动计算汇刊,2186-196(2003) [26] Arzhantseva,G。;迪亚斯,J。;Petit,J。;Rolim,J。;Serna,M.,通过定向天线通信的传感器网络广播,(Spirakis,P.;Kameas,A.;Nikoletseas,S.,《环境智能计算国际研讨会》,Ellinika Grammata(2003),CTI出版社),1-12 [27] Penrose,M.,(《随机几何图》,《随机几何图形》,牛津概率研究(2003),牛津大学出版社)·Zbl 1029.60007号 [28] 薛凤。;Kumar,P.,无线网络连接所需的邻居数量,无线网络,10169-181(2004) [29] Leighton,F.T.,《并行算法和体系结构导论:数组、树、超立方体》(1993),Morgan Kaufmann:Morgan Koufmann San Mateo,CA [30] C.ali lvarez,A.Duch,J.Gabarro,M.Serna,《传感器领域:计算模型》,收录于:《无线传感器网络的算法方面:第五届国际研讨会》,2009年7月10日至11日,希腊罗德斯,ALGOSENSORS 2009。修订论文集,施普林格-弗拉格出版社,柏林,海德堡,2009年,第3-14页。;C.ali lvarez,A.Duch,J.Gabarro,M.Serna,《传感器领域:计算模型》,收录于:《无线传感器网络的算法方面:第五届国际研讨会》,2009年7月10日至11日,希腊罗德斯,ALGOSENSORS 2009。《修订论文集》,施普林格-弗拉格出版社,柏林,海德堡,2009年,第3-14页。 [31] Valiant,L.,并行计算的桥接模型,ACM通信,33,103-111(1990) [32] 冯·诺依曼,J.,《复杂自动机的理论与组织》,(伯克斯,A.,约翰·冯·诺伊曼(1949)《自生自动机理论》,伊利诺伊大学出版社:伊利诺伊州大学出版社乌尔班纳),29-87,(第一部分)。根据1949年12月在伊利诺伊大学讲课的记录。A.W.Burks编辑出版 [33] 安格鲁因,D。;Aspnes,J。;艾森斯塔特,D。;Ruppert,E.,人口协议的计算能力,分布式计算,20279-304(2007)·Zbl 1266.68043号 [34] R.Guerraoui,E.Ruppert,《名字胜过恶意:微小的移动代理可以容忍拜占庭式的失败》,载于:ICALP,第2期,第484-495页。;R.Guerraoui,E.Ruppert,《名字胜过恶意:微小的移动代理可以容忍拜占庭式的失败》,载于:ICALP,第2期,第484-495页·兹比尔1248.68091 [35] 南卡罗来纳州金斯堡。;Spanier,E.H.,《半群、presburger公式和语言》,《太平洋数学杂志》,第16期,第285-296页(1966年)·Zbl 0143.01602号 [36] M.Presburger,《高等数学委员会》,第92-101页。;M.Presburger,《U.ber die vollständigkeit eines gewissen systems der arithmetik ganzer zahlen》,《welchem die addition als einzige operation hervortritt》,收录于:Comptes-Rendus du I Congres de Mathematiciens des Pays Slaves,第92-101页。 [37] 安格鲁因,D。;Aspnes,J。;Eisenstat,D.,Stably可计算谓词是半线性的,(PODC’06:第25届ACM分布式计算原理研讨会论文集(2006),ACM出版社:美国纽约州纽约市ACM出版社),292-299·兹伯利1314.68054 [38] C.Delport-Gallet、H.Fauconnier、R.Guerraoui、E.Ruppert,《鸟类死亡时:使种群协议容错》,载于:DCOSS,第51-66页。;C.Delporte Gallet,H.Fauconnier,R.Guerraoui,E.Ruppert,《当鸟类死亡:使种群协议具有容错性》,载:DCOSS,第51-66页。 [39] Lynch,N.A.,《分布式算法》(1996),Morgan Kaufmann·Zbl 0877.68061号 [40] P.G.Spirakis,人口协议和相关模型,S.Nikoletseas,J.Rolim(编辑),传感器网络中分布式计算的理论方面,Springer-Verlag,2010年(出版中)。;P.G.Spirakis,人口协议和相关模型,S.Nikoletseas,J.Rolim(编辑),传感器网络中分布式计算的理论方面,Springer-Verlag,2010年(出版中)·Zbl 1218.68107号 [41] 安格鲁因,D。;Aspnes,J。;Chan,M。;费舍尔,M.J。;江,H。;Peralta,R.,网络图的稳定可计算属性,(Prasanna,V.K.;Iyengar,S.;Spirakis,P。;Welsh,M.,《传感器系统中的分布式计算:第一届IEEE国际会议》,DCOSS 2005,Marina del Rey,CA,USE,2005年6月/7月,会议记录。传感器系统中的分布式计算:第一届IEEE国际会议,DCOSS 2005,Marina del Rey,CA,USE,2005年6月/7月,计算机科学论文集,第3560卷(2005),Springer-Verlag),63-74 [42] 安格鲁因,D。;Aspnes,J。;Eisenstat,D.,《以人口协议为先导的快速计算》,《分布式计算》,第21期,第183-199页(2008年)·Zbl 1267.68306号 [43] O.Bournez,P.Chassaing,J.Cohen,L.Gerin,X.Koegler,《人口趋于无穷大时人口协议的收敛性》,应用数学与计算(2009)(出版中)。;O.Bournez,P.Chassaing,J.Cohen,L.Gerin,X.Koegler,《人口趋于无穷大时人口协议的收敛性》,《应用数学与计算》(2009年)(出版)·Zbl 1186.68196号 [44] 查茨吉亚纳基斯,I。;Spirakis,P.G.,《概率总体协议的动力学》,(DISC’08:第22届分布式计算国际研讨会论文集(2008),施普林格-弗拉格出版社:柏林施普林格出版社,海德堡),498-499·Zbl 1161.68319号 [45] O.Bournez,J.Chalopin,J.Cohen,X.Koegler,《玩弄人口协议》,收录于:CSP,第3-15页。;O.Bournez,J.Chalopin,J.Cohen,X.Koegler,《玩弄人口协议》,收录于:CSP,第3-15页·Zbl 1455.68031号 [46] 查茨吉亚纳基斯,I。;O.米歇尔。;Spirakis,P.G.,人口协议的最新进展,(MFCS'09:2009年第34届计算机科学数学基础国际研讨会论文集,施普林格出版社:施普林格出版社,海德堡),56-76·Zbl 1250.68071号 [47] 查茨吉亚纳基斯,I。;O.米歇尔。;尼古拉·S。;Pavlogiannis,A。;Spirakis,P.G.,(N S P A C E(N^2))中的所有对称谓词都可以通过中介人口协议模型稳定计算,(MFCS’10:第35届计算机科学数学基础国际研讨会论文集2010。MFCS’10:2010年第35届计算机科学数学基础国际研讨会论文集,LNCS,第6281卷(2010)),270-281·Zbl 1287.68015号 [48] Sipser,M.(《计算理论导论》(2006)),汤姆森课程技术·Zbl 1191.68311号 [49] C.ali lvarez,M.Serna,P.G.Spirakis,《恒定内存传感器场的计算能力》,技术报告FRONTS-TR-2010-102010。;C.àlvarez,M.Serna,P.G.Spirakis,关于恒定记忆传感器场的计算能力,FRONTS-TR-2010-102010技术报告。 [50] I.Chatzigiannakis,O.Michail,P.G.Spirakis,《简要声明:通过中介人口协议的可判定图形语言》,见:DISC,第239-240页。;I.Chatzigiannakis,O.Michail,P.G.Spirakis,《简要声明:通过中介人口协议的可判定图形语言》,见:DISC,第239-240页。 [51] 查茨吉亚纳基斯,I。;O.米歇尔。;Spirakis,P.G.,《通过中介人口协议实现稳定可判定图形语言》,(第12届分布式系统稳定、安全和安全国际研讨会,SSS 2010)。第十二届分布式系统稳定、安全和安保国际研讨会,SSS 2010,LNCS,第6366卷(2010)),252-266 [52] 查茨吉亚纳基斯,I。;O.米歇尔。;Spirakis,P.G.,人口协议的算法验证,(第12届分布式系统稳定、安全和安全国际研讨会,SSS 2010。第十二届分布式系统稳定、安全与保障国际研讨会,SSS 2010,LNCS,第6366卷(2010),221-235 [53] 查茨吉亚纳基斯,I。;多列夫,S。;Fekete,S.P。;O.米歇尔。;Spirakis,P.G.,并非所有公平的概率调度程序都是等效的,(OPODIS’09:第13届分布式系统原理国际会议论文集(2009),Springer-Verlag:Springer-Verlag Berlin,Heidelberg),33-47 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。