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

2011 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 22700010
Research InstitutionNagoya Institute of Technology

Principal Investigator

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

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

研究計画で掲げた4つのサブテーマ各々についての研究成果を以下に要約する
1.永続的な動的変化の下での局所分散近似アルゴリズム:生成木問題等の基礎的な問題について,アルゴリズムの時間計算量向上等の可能性について検討を行った.また,一昨年度に得ていた結果である自己安定生成木構成アルゴリズムの通信量改善についての成果について,その発展および一般化についての検討を行った.
2.分散データ構造の動的変化耐性の解明:昨年度に引き続き,動的環境におけるネットワークの分断耐性を持つ分散データ構造について研究を遂行した.昨年度の成果である,エキスパンダーグラフを用いた分散型木構造のロバスト化手法を国際会議論文として発表するとともに,その一般化(平衡2分木から一般の木構造への拡張)を行った.また,コンテンツ配信メカニズムの一種であるPub-subシステム向けのオーバレイネットワーク構成法について,そのアルゴリズム的側面について解析を行い,結果を得た.
3.個体群プロトコルモデルの計算能力解析:昨年度の成果であるリーダ選挙問題、計数問題への新たなアルゴリズムを,論文にまとめ刊行した(一部は現在投稿準備中).
4.自律分散ロボット群に対する分散アルゴリズム:主に一転集合問題、拡散問題等について得られていた成果を論文としてまとめ刊行した.また、悪意を持ったロボット(ビザンチン故障ロボット)が混在する環境における一点集合問題の可解性について,従来知られていたものよりもより強力な結果を得,国際会議論文として発表した.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

一部のテーマについては成果が未だ公表されていないものの,全体平均としてはコンスタントな論文発表が継続して行われており,一定の成果を得ているものと自認している.また,刊行されている論文の多くは,当該分野トップクラスのジャーナルに掲載されており,質的な面からも高い水準にある.

Strategy for Future Research Activity

サブテーマ1に関しては,進捗が若干乏しい状況にあるため,今年度中の成果を目指し重点的な研究活動を行いたいと考えている.そのほかのテーマについては,研究成果の面では収穫期にあり,現在の成果,およびその発展をを論文誌等で刊行することを中心に活動を行っていく予定である.

  • Research Products

    (11 results)

All 2012 2011

All Journal Article (6 results) (of which Peer Reviewed: 2 results) Presentation (5 results)

  • [Journal Article] The Gathering Problem for Two Oblivious Mobile Robots with Unreliable Compasses2012

    • Author(s)
      Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Defago, Koichi Wada, Masafumi Yamashita
    • Journal Title

      SIAMJournal on Computing

      Volume: Vol. 41, No. 1 Pages: 26-46

    • DOI

      DOI:10.1137/100797916

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

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

      Theory of Computing Systems

      Volume: Vol.50 No.3 Pages: 433-445

    • DOI

      10.1016/j.tcs.2012.04.038

    • Peer Reviewed
  • [Journal Article] Adaptive and Doubly-Expedited One-Step Consensus in Byzantine Asynchronous Systems2011

    • Author(s)
      Nazreen Banu, Taisuke Izumi, Koichi Wada
    • Journal Title

      Parallel Processing Letters

      Volume: Vol. 21, No. 4 Pages: 461-477

    • DOI

      DOI:10.1142/S0129626411000321

  • [Journal Article] The BG-simulation for Byzantine Mobile Robots2011

    • Author(s)
      Taisuke Izumi, Zohir Bouzid, Sebastien Tixeuil, Koichi Wada
    • Journal Title

      25th International Symposium on Distributed Computing(DISC)

      Volume: Vol. 6950 of LNCS Pages: 330-331

    • DOI

      DOI:10.1007/978-3-642-24100-0_32

  • [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] Physical Expander in Virtual Tree Overlay2011

    • Author(s)
      Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero
    • Journal Title

      Proc.of 25th International Symposium on Distributed Computing

      Volume: Vol.6950 of LNCS Pages: 82-96

    • DOI

      10.1007/978-3-642-24100-0_6

    • Peer Reviewed
  • [Presentation] Distributed Algorithms for Cooperative Mobile Robots : A Survey2011

    • Author(s)
      S.Souissi
    • Organizer
      Second International Conference on Networking and Computing(ICNC)
    • Place of Presentation
      大阪府,日本(招待講演)
    • Year and Date
      20111130-20111202
  • [Presentation] Physical Expander in Virtual Tree Overlay2011

    • Author(s)
      T.Izumi
    • Organizer
      25th International Symposium on Distributed Computing (DISC)
    • Place of Presentation
      ローマ,イタリア
    • Year and Date
      20110920-20110922
  • [Presentation] The BG-simulation for Byzantine Mobile Robots2011

    • Author(s)
      T.Izumi
    • Organizer
      25th International Symposium on Distributed Computing (DISC)
    • Place of Presentation
      ローマ,イタリア
    • Year and Date
      20110920-20110922
  • [Presentation] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances2011

    • Author(s)
      M.Steinova
    • Organizer
      36th International Symposium on Mathematical Foundations of Computer Science (MFCS)
    • Place of Presentation
      ワルシャワ,ポーランド
    • Year and Date
      20110822-20110826
  • [Presentation] 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成2011

    • Author(s)
      泉泰介
    • Organizer
      2011年夏のLAシンポジウム
    • Place of Presentation
      静岡県,日本
    • Year and Date
      20110719-20110721

URL: 

Published: 2013-06-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi