• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2010 Fiscal Year Annual Research Report

永続的なネットワーク動的変動のもとで有効に動作する分散アルゴリズムの実現

Research Project

Project/Area Number 22700010
Research InstitutionNagoya Institute of Technology

Principal Investigator

泉 泰介  名古屋工業大学, 大学院・工学研究科, 准教授 (20432461)

Keywordsアルゴリズム / 分散システム / 分散アルゴリズム
Research Abstract

本年度は、研究計画で掲げた4テーマのうち、主に、「分散データ構造の動的変化耐性の解明」「自己安定個体群プロトコルモデルの計算能力解析」「自律分散ロボット群制御に対する分散アルゴリズム」の3課題を中心に研究を遂行した。具体的な研究成果を以下挙げていく。
1.動的変化に対して適応的な分散データ構造の頑健化手法:分散データ構造の設計において、一部計算の故障に対して耐性を持つようにアルゴリズムをデザインすることは実用上重要である。本研究では、エキスパンダーグラフを用いた分散型木構造のロバスト化を実現する手法を提案した。提案した手法はシステムの動的変化に対して効率的に追従することが可能である。
2.個体群プロトコルモデルにおけるリーダ選挙問題および計数問題の可解性について(下記論文(1)):リーダ選挙問題、計数問題は分散アルゴリズム分野における重要な基本問題である。本研究では、個体群プロトコルにおける同問題の可解性とメモリ複雑度の関係について結果を得た。
3.自律分散ロボット群に対する分散アルゴリズム(下記論文(2),(3)):主に一転集合問題、拡散問題等について成果を得た。また、悪意を持ったロボット(ビザンチン故障ロボット)が混在する環境における問題の可解性について研究を行った。

  • Research Products

    (7 results)

All 2011 2010

All Journal Article (4 results) (of which Peer Reviewed: 3 results) Presentation (3 results)

  • [Journal Article] Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model2011

    • Author(s)
      Samia Souissi, Taisuke Izumi, Koichi Wada
    • Journal Title

      Theoretical Computer Science

      Volume: Vol. 412, No. 33 Pages: 4350-4360

    • DOI

      DOI:10.1016/j.tcs.2010.11.011

  • [Journal Article] How to Prove Impossibility under Global Fairness : On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model2011

    • Author(s)
      S.Cai, T.Izumi, K.Wada
    • Journal Title

      Theory of Computing Systems

      Volume: (未出版(採録決定))

    • Peer Reviewed
  • [Journal Article] Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks2010

    • Author(s)
      K.Kinpara, T.Izumi, K.Wada
    • Journal Title

      Lecture Notes in Computer Science (14th International Conference on Principle of Distributed Systems (OPODIS))

      Volume: 6430 Pages: 504-515

    • Peer Reviewed
  • [Journal Article] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility2010

    • Author(s)
      Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sebastien Tixeuil
    • Journal Title

      Lecture Notes in Computer Science (The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS))

      Volume: 6366 Pages: 319-331

    • Peer Reviewed
  • [Presentation] Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks2010

    • Author(s)
      Keigo Kinpara
    • Organizer
      14th International Conference on Principle of Distributed Systems (OPODIS)
    • Place of Presentation
      トズル、チュニジア
    • Year and Date
      20101214-20101217
  • [Presentation] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibillty2010

    • Author(s)
      Taisuke Izumi
    • Organizer
      The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Place of Presentation
      ニューヨーク、アメリカ
    • Year and Date
      20100920-20100922
  • [Presentation] ビザンチン故障を含むロボット群の一点集合問題に対する強い不可能性2010

    • Author(s)
      泉泰介
    • Organizer
      2010年夏のLAシンポジウム
    • Place of Presentation
      富山、日本
    • Year and Date
      20100720-20100722

URL: 

Published: 2012-07-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi