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

2016 Fiscal Year Annual Research Report

分散計算における通信機能の役割

Research Project

Project/Area Number 15H02666
Research InstitutionKyushu University

Principal Investigator

山下 雅史  九州大学, システム情報科学研究院, 教授 (00135419)

Co-Investigator(Kenkyū-buntansha) 山内 由紀子  九州大学, システム情報科学研究院, 助教 (10546518)
Project Period (FY) 2015-04-01 – 2018-03-31
Keywords自律分散ロボット / 通信機能 / ライトによる通信 / 非同期性
Outline of Annual Research Achievements

生体分子からの機能発現,分散ロボットの相互位置制御,LAN の資源管理,人間社会の選挙など,広範な領域の問題から領域固有の事由を捨象し,内在する分散計算構造に着目すると,分散問題である合意形成問題が共通して出現する.この事実に着目し,巨大分散システムを分散計算能力の観点から統一的に理解すること,すなわち,異なるモデル (仮定) の下で構築される分散計算理論の間の関係を統一的に理解することが一般分散計算論の全体構想である.本研究の主目的は通信機能が分散計算能力に果たす役割を理解することである.たとえば,視覚と移動による通信と無線あるいは有線による通信を比較し,その相違が分散計算能力に与える影響を理解したい.申請者が平成29年度末で定年退職することを想定し,最初の2年間に実施すべき研究として,(a)ロボットに明示的な通信機能を付加することによってもたらされる分散システムの自己組織化能力の変化の解析(b)ロボットの視野半径が分散計算能力にもたらす影響(c)ライトによる通信機能が分散計算能力にもたらす影響の3項目を指定した.実際のところ,(a)は(b-c)を含む一般的な設定であり,(b)と(c)ではより具体的に研究対象が指定されている.申請者が当該年度中に発表した論文のほとんどは上記の研究(特に(a))と関連しているが,ここでは(c)を検討した[雑誌論文1]の結果について以下で説明する.上記の論文では,完全同期,準同期,非同期モデルの下で通信手段としてライトを持つ分散ロボットシステムの分散計算能力を検討しており,(1)色を定数個だけ変化することができるライトを持つ非同期ロボットはライトを持たない準同期ロボットよりも豊かな分散計算能力を持つが,(2)色を定数個だけ変化することができるライトを持つ場合には,非同期ロボットと準同期ロボットの分散計算能力の差は消滅することを示している.

Research Progress Status

翌年度、交付申請を辞退するため、記入しない。

Strategy for Future Research Activity

翌年度、交付申請を辞退するため、記入しない。

  • Research Products

    (6 results)

All 2016 Other

All Int'l Joint Research (1 results) Journal Article (2 results) (of which Int'l Joint Research: 2 results,  Peer Reviewed: 2 results,  Acknowledgement Compliant: 2 results) Presentation (3 results) (of which Int'l Joint Research: 3 results)

  • [Int'l Joint Research] Ottawa University/Carleton University(Canada)

    • Country Name
      Canada
    • Counterpart Institution
      Ottawa University/Carleton University
  • [Journal Article] Autonomous mobile robots with lights2016

    • Author(s)
      Shantanu Das, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, and Masafumi Yamashita
    • Journal Title

      Theoretical Computer Science

      Volume: 609 Pages: 171-184

    • DOI

      10.1016/j.tcs.2015.09.018

    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] An alternative proof for the equivalence of ∞-searcher and 2-searcher2016

    • Author(s)
      Tsunehiko Kameda, Ichiro Suzuki, and Masafumi Yamashita
    • Journal Title

      Theoretical Computer Science

      Volume: 634 Pages: 108-119

    • DOI

      10.1016/j.tcs.2016.04.016

    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Presentation] Searching for an Evader in an Unknown Graph by an Optimal Number of Searchers2016

    • Author(s)
      Takahiro Yakami, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      The 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016)
    • Place of Presentation
      Lyon, France
    • Year and Date
      2016-11-07 – 2016-11-10
    • Int'l Joint Research
  • [Presentation] Universal Systems of Oblivious Mobile Robots2016

    • Author(s)
      Paola Flocchini, Nicola Santoro, Giovanni Viglietta, and Masafumi Yamashita
    • Organizer
      The 23rd International Colloquium on Structural Information and Communication Complexity (SIROCCO 2016)
    • Place of Presentation
      Helsinki, Finland
    • Year and Date
      2016-07-19 – 2016-07-21
    • Int'l Joint Research
  • [Presentation] The Parity Hamiltonian Cycle Problem in Directed Graphs2016

    • Author(s)
      Hiroshi Nishiyama, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      Proceedings of the 4th International Symposium on Combinatorial Optimization (ISCO 2016)
    • Place of Presentation
      Salerno, Italy
    • Year and Date
      2016-05-16 – 2016-05-18
    • Int'l Joint Research

URL: 

Published: 2018-01-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi