Scalable and Robust Distributed Computation using Randomization

• Project/Area Number: 19700058
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Computer system/Network
• Research Institution: Nagoya Institute of Technology
• Principal Investigator: IZUMI Taisuke Nagoya Institute of Technology, 大学院・工学研究科, 助教 (20432461)
• Project Period (FY): 2007 – 2008
• Project Status: Completed (Fiscal Year 2008)
• Budget Amount: ¥2,570,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥270,000); Fiscal Year 2008: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000); Fiscal Year 2007: ¥1,400,000 (Direct Cost: ¥1,400,000)
• Keywords: アルゴリズム / 高信頼性ネットワーク / 情報基礎 / 確率論 / 分散アルゴリズム / 自律分散ロボット / 故障耐性 / 乱拓 / Peer-to-peerシステム / 探索問題 / 分散合意問題 / 検索問題

Research Abstract

大規模分散システムの効率的な実現において、スケーラビリティと頑健性の両立は重要な課題である.本研究では、ランダム化の手法を軸とし、この問題に取り組んだ.具体的な研究成果としては、(1)自律分散ロボットのロバストな協調アルゴリズム、(2)分散合意問題に対する確率的故障モデルの導入とその上でのアルゴリズム、(3)P2Pシステムにおけるランダム化を利用したスケーラブルな検索干法、の3課題を中心に研究を行い、成果を得た.

Research Products

• [Journal Article] A Message-Efficient Peer-to-Peer Search Protocol Based on Adaptive Index Dissemination (2009)
  • Author(s): Yu Wu, Taisuke Izumi, Fukuhitc Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: IEICE Transactions on Information and Systems (採録決定)
  • NAID: 10026807537
  • Peer Reviewed
• [Journal Article] Convergence of Mobile Robots with Uniformly-Inaccurate Sensors (2009)
  • Author(s): Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada
  • Journal Title: Lecture Notes in Computer Science (採録決定)
  • Peer Reviewed
• [Journal Article] Space-complexity of Self-stabilizing Leader Election in Passively-Mobile Anonymous Agents (2009)
  • Author(s): Shukai Cai, Taisuke Izumi, Koichi Wada
  • Journal Title: Lecture Notes in Computer Science (採録決定)
  • Peer Reviewed
• [Journal Article] An Efficient Index Dissemination in Unstructured Peer-to-Peer Networks (2008)
  • Author(s): Yusuke Takahashi, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: IEICE Trans. on Information Systems 91-D, No.7 Pages: 1971-1981
  • NAID: 10026804951
  • Peer Reviewed
• [Journal Article] Gathering Problem of Two Asynchronous Mobile Robots with Semi-dynamic Compasses (2008)
  • Author(s): Nobuhiro Inuzuka, Yuichi Tomida, Taisuke Izumi, Yoshiaki Katayama, and Koichi Wada
  • Journal Title: Proc. of Information and Communication Complexity LNCS5048 Pages: 5-19
  • Peer Reviewed
• [Journal Article] On Solvability of Self-Stabilizing Leader Election without Oracle in Population Protocols (2008)
  • Author(s): Shukai Cai, 泉泰介, 和田幸一
  • Journal Title: 情報処理学会研究報告 2008-AL-124 Pages: 25-32
  • NAID: 110007081984
• [Journal Article] Move-Ootimal Gossiping among Mobile Agents (2008)
  • Author(s): Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: Theoretical Computer Science Vol.393 Pages: 90-101
  • Peer Reviewed
• [Journal Article] P2Pシステムにおけるブルームフィルタを利用したオーバレイネットワークの構 (2008)
  • Author(s): 高橋佑輔, 泉泰介, 角川裕次, 増澤利光
  • Journal Title: 情報処理学会研究報告 2008-DPS-134 Pages: 19-24
• [Journal Article] An Efficient Index Dissemination in Unstructured Peer-to-Peer Networks (2008)
  • Author(s): Yusuke Takahashi, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: IEICE Transactions on Information and Systems 91-D. No. 7 Pages: 1971-1981
  • NAID: 10026804951
  • Peer Reviewed
• [Journal Article] Gathering Problem of Two Asynchronous Mobile Robots with Semi-dynamic Compasses (2008)
  • Author(s): Nobuhiro Inuzuka, Yuichi Tomica, Taisuke Izumi, Yoshiaki Katavama, and Koichi Wada
  • Journal Title: Lecture Notes in Computer Science 5058 Pages: 5-19
  • Peer Reviewed
• [Journal Article] Move-Optimal Gossiping among Mobile Agents (2008)
  • Author(s): Tomoko Suzuki, et. al.
  • Journal Title: Theoretical Computer Science Vol.393 Pages: 90-101
  • Peer Reviewed
• [Journal Article] P2Pシステムにおけるブルームフィルタを利用したオーバレイネットワークの構築 (2008)
  • Author(s): 高橋佑輔, 他
  • Journal Title: 情報処理学会研究報告 2008-DPS-134 Pages: 19-24
• [Journal Article] On the Probabilistic Omission Adversary (2007)
  • Author(s): Taisuke Izumi, and Koichi Wada
  • Journal Title: Proc. of 9th Intel. Symposium, on Stabilization, Safety, and Security in Distributed Systems LNCS4838 Pages: 357-371
  • Peer Reviewed
• [Journal Article] Gathering Autonomous Mobile Robots with Dynamic Compasses : An Optimal Result (2007)
  • Author(s): Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Kojchi Wada
  • Journal Title: Proc. of IntI. Symposium on Distributed Computing LNCS4731 Pages: 298-312
  • Peer Reviewed
• [Journal Article] A Difference-Optimal Algorithm for Gathering Autonomous Mobile Robots with Dynamic Compasses (2007)
  • Author(s): 泉泰介, 片山喜章, 角川裕次, 増澤t利光
  • Journal Title: COMP2007-27 Pages: 71-78
  • NAID: 110006343684
• [Journal Article] On the Probabilistic Omission Adversary (2007)
  • Author(s): Taisuke Izumi, et. al.
  • Journal Title: Proceedings of 9th Intl. Symposium, SSS 2007 LNCS4838 Pages: 357-371
  • Peer Reviewed
• [Journal Article] Gathering Autonomous Mobile Robots with Dynamic Compasses: An Optimal Result (2007)
  • Author(s): Taisuke Izumi, et. al.
  • Journal Title: Proceedings of 22th Intl. Symposium, DISC 2007 LNCS4731 Pages: 298-312
  • Peer Reviewed
• [Journal Article] A Difference-Optimal Algorithm for Gathering Autonomous Mobile Robots with Dynamic Compasses (2007)
  • Author(s): 泉泰介, 他
  • Journal Title: 電子情報通信学会技術研究報告 COMP2007-27 Pages: 71-78
  • NAID: 110006343684
• [Journal Article] A Message-Efficient Peer-toPeer Search Protocol Based on Adaptive Index Dissemination
  • Author(s): Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Journal Title: IEICE, Trans. on Information and Systems (採録決定)
  • Peer Reviewed
• [Journal Article] Convergence of Mobile Robots with Uniformly-Inaccurate Sensors
  • Author(s): Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada
  • Journal Title: Proc. of Intl. Colloquium on Structural Information and Communication Complexity (採録決定)
  • Peer Reviewed
• [Journal Article] Space-complexity of Self-stabilizing Leader Election in Passively-Moble Anonymous Agents
  • Author(s): Shukai Cai, Taisuke Izumi, Koichi Wada
  • Journal Title: Proc. of Information and Communication Complexity (採録決定)
  • Peer Reviewed
• [Presentation] Probabilistic Gathering of Mobile Robots with Weak Multiplicity-Detection Capabilities (2009)
  • Author(s): Taisuke Izumi
  • Organizer: The 2nd Annual Meeting of Asian Association for Algorithms and Computation
  • Place of Presentation: 杭州,中国
• [Presentation] Crash-Tolerant Flocking of Mobile Robots with Eventually Perfect Failure Detectors (2009)
  • Author(s): Samia Souissi
  • Organizer: The 2nd Annual Meeting of Asian Association for Algorithms and Computation
  • Place of Presentation: 杭州,中国
• [Presentation] On Gathering Problem in a Ring for 2n Autonomous Mobile Robots (2009)
  • Author(s): Kotaro Haba
  • Organizer: 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Place of Presentation: デトロイト,米国
• [Presentation] Probabilistic Gathering of Mobile Robots with Weak Multiplicity-Detection Capabilities (2009)
  • Author(s): Taisuke Izumi, Tomoko Suzuki, Sayaka Kamei, Fukuhito Ooshita
  • Organizer: The 2nd Annual Meeting of Asian Association foi Algorithms and Computation
  • Place of Presentation: 杭州,中国
• [Presentation] Space-Efficient Self-Stabilizing Counting Protocol on Mobile Sensor Networks with a Base Station (2009)
  • Author(s): Keigo Kinpara, Tomoko Izumi, Taisuke Izumi, Koichi Wada
  • Organizer: The 2nd Annual Meeting of Asian Association for Algorithms and Computation
  • Place of Presentation: 杭州,中国(予定)
• [Presentation] Crash-Tolerant Flocking of Mobile Robots with Eventually Perfect Failure Detectors (2009)
  • Author(s): Samia Souissi, Taisuke Izumi, Koichi Wada
  • Organizer: The 2nd Annual Meeting of Asian Association for Algorithms and Computation
  • Place of Presentation: 杭州,中国(予定)
• [Presentation] Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada (2009)
  • Author(s): Convergence of Mobile Robots with Uniformly-Inaccurate Sensors
  • Organizer: The 1 nd Annual Meeting of Asian Association for Algorithms and Computation
  • Place of Presentation: 香港,中国
• [Presentation] On Solvability of Self-Stabilizing Leader Election without Oracle in Population Protocols (2008)
  • Author(s): Shukai Cai
  • Organizer: 情報処理学会アルゴリズム研究会
  • Place of Presentation: 大阪,日本
  • Year and Date: 2008-11-07
• [Presentation] P2Pシステムにおけるブルームフィルタを利用したオーバレイネットワークの構築 (2008)
  • Author(s): 高橋佑輔
  • Organizer: 情報処理学会マルチメディア通信と分散処理研究会
  • Place of Presentation: 京都,日本
  • Year and Date: 2008-03-06
• [Presentation] P2Pシステムにおけるブルームフィルタを利用したオーバレイネットワークの構築 (2008)
  • Author(s): 高橋佑輔
  • Organizer: 情報処理学会マルチメディア通信と分散処理研究会
  • Place of Presentation: 奈良,日本
  • Year and Date: 2008-03-06
• [Presentation] The Deterministic Decay Bloom Filter (2008)
  • Author(s): 高橋佑輔
  • Organizer: The 7th International Conference on Applications and Principles of Information Science
  • Place of Presentation: オークランド,ニュージーランド
  • Year and Date: 2008-01-28
• [Presentation] The Deterministic Decay Bloom Filter (2008)
  • Author(s): 高橋佑輔
  • Organizer: The 7th International Conference on Applications and Principles of Information Science (APIS)
  • Place of Presentation: オークランド,ニュージーランド
  • Year and Date: 2008-01-28
• [Presentation] Gathering Problem of Two Asynchronous Mobile Robots with Semi-dynamic Compasses (2008)
  • Author(s): Nobuhiro Inuzuka
  • Organizer: 15th International Colloquium on Structural Information and Communication Complexity
  • Place of Presentation: ヴィラージュ,スイス
• [Presentation] Convergence of Mobile Robots with Uniformly-Inaccurate Sensors (2008)
  • Author(s): Kenta Yamamoto
  • Organizer: The 1st Annual Meeting of Asian Association for Algorithms and Computation
  • Place of Presentation: 香港,中国
• [Presentation] On Gathering Problem in a Ring for 2n Autonomous Mobile Robots (2008)
  • Author(s): Kotaro Haba, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada
  • Organizer: 10 th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • Place of Presentation: デトロイト,米国
• [Presentation] Construction of Loosely Structured Overlay using Bloom Filter (2008)
  • Author(s): Yusuke Takahashi, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • Organizer: The 2008 International Conference on Parallel and Distributed Processing Techniques and Applications
  • Place of Presentation: ラズベガス
• [Presentation] Gathering Problem of Two Asynchronous Mobile Robots with Semi-dynamic Compasses (2008)
  • Author(s): Nobuhiro Inuzuka, Yuichi Tomida, Taisuke Izumi, Yoshiaki Katayama, and Koichi Wada
  • Organizer: 15 th International Colloquium on Structural Information and Communication Complexity
  • Place of Presentation: ヴィラージュ,スイス
• [Presentation] On the Probabilistic Omission Adversary (2007)
  • Author(s): Taisuke Izumi
  • Organizer: 9th Intl. Symposium on Safety, Security and Stabilization
  • Place of Presentation: パリ,フランス
  • Year and Date: 2007-11-14
• [Presentation] On the Probabilistic Omission Adversary (2007)
  • Author(s): 泉泰介
  • Organizer: 9th Intl. Symposium on Safety, Security and Stabilization (SSS)
  • Place of Presentation: パリ,フランス
  • Year and Date: 2007-11-14
• [Presentation] Gathering Autonomous Mobile Robots with Dynamic Compasses : An Optimal Result (2007)
  • Author(s): Taisuke Izumi
  • Organizer: 22th Intl. Symposium on Distributed Computing
  • Place of Presentation: リマソール,キプロス
  • Year and Date: 2007-09-25
• [Presentation] Gathering Autonomous Mobile Robots with Dynamic Compasses: An Optimal Result (2007)
  • Author(s): 泉泰介
  • Organizer: 22th Intl. Symposium on Distributed Computing (DISC)
  • Place of Presentation: リマソール,キプロス
  • Year and Date: 2007-09-25
• [Presentation] A Crash-tolerant Consensus algorithm in Presence of Probabilistic Message Omission (2007)
  • Author(s): 泉泰介
  • Organizer: The 8th Hellenic European Research on Computer Mathematics & its Applications Conference
  • Place of Presentation: アテネ,ギリシャ
  • Year and Date: 2007-09-22
• [Presentation] A Difference-Optimal Algorithm for Gathering Autonomous Mobile Robots with Dynamic Compasses (2007)
  • Author(s): Taisuke Izumi
  • Organizer: 電子情報通信学会コンピューテーション研究会
  • Place of Presentation: 札幌,日本
  • Year and Date: 2007-06-29
• [Presentation] A Difference-Optimal Algorithm for Gathering Autonomous Mobile Robots with Dynamic Compasses (2007)
  • Author(s): 泉泰介
  • Organizer: 電子情報通信学会コンピュテーション研究会
  • Place of Presentation: 札幌,日本
  • Year and Date: 2007-06-29
• [Presentation] Construction of Loosely Structured Overlay using Bloom Filter
  • Author(s): Taisuke Izumi
  • Place of Presentation: ラスベガス,米国