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

2015 Fiscal Year Annual Research Report

自律的分散計算論の構築

Research Project

Project/Area Number 24650008
Research InstitutionKyushu University

Principal Investigator

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

Project Period (FY) 2012-04-01 – 2016-03-31
Keywords分散システム / 自律分散ロボット / Population Protocol / 分子ロボット / 合意問題 / 回転群 / 自励振動
Outline of Annual Research Achievements

本研究の目的は巨大分散システムを分散計算構造の観点から統一的に理解することである.平成26年度が最終年度になる予定であったが,研究期間を一年間延長し,平成27年度も実施した.延長理由は(1)Population Protocolモデルにおける振動現象の研究と,(2) 3次元的な分散モデルの研究の伸展が予想以上であったことであり,従って,本年度はこの2点について研究を行った.まず(1)について: PopulationProtocolモデルの基本要素の一つにスケジューラがあり,公平性を持つ決定的で集中的なスケジューラが使用されることになっている.しかし,このような基本的なPopulation Protocolモデルの下では,自律分散的な問題である自励振動を発生する問題の本質が典型的な集中型制御を指向するリーダ選挙問題であることが分かった.次に,PopulationProtocolモデルを自然分散システムのモデルに近づけることを目的として,スケジューラを確率的で分散的なものに変更して,自励振動を設計した.次に(2)について: 3次元空間を移動するロボットの平面合意問題では,回転群の形,特に,群と群が作用する点集合が,合意問題の可解性に本質的であることが既に分かっていた.本研究では,まず,自律分散ロボットモデルと他の分散計算モデルの関係を考察し,自律分散ロボットモデルを自然に拡張することで,巨大分散システムを分散計算構造を検討するための一般モデルとすることができることを確認した.そして,計算機ネットワークモデルやPopulation Protocolモデルを含む複数のモデルについて,群が対称性解消に果たす役割を検討した.多くの性質を導くことができているが,現状では,検討は未完成であり,科研費を頂いて,並行して行っている研究に引き継いで行きたい.

  • Research Products

    (9 results)

All 2015 Other

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

  • [Int'l Joint Research] U.Ottawa/Carleton U(カナダ)

    • Country Name
      CANADA
    • Counterpart Institution
      U.Ottawa/Carleton U
  • [Int'l Joint Research] King's College(英国)

    • Country Name
      UNITED KINGDOM
    • Counterpart Institution
      King's College
  • [Journal Article] Autonomous mobile robots with lights2015

    • Author(s)
      Shantanu Das, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro, 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
  • [Presentation] Formation problems for synchronous mobile robots in the three dimensional Euclidean space2015

    • Author(s)
      Yukiko Yamauchi, Taichi Uehara, and Masafumi Yamashita
    • Organizer
      第155回アルゴリズム研究会
    • Place of Presentation
      指宿市民会館(鹿児島県指宿市)
    • Year and Date
      2015-11-20 – 2015-11-21
  • [Presentation] Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space2015

    • Author(s)
      Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      The 29th International Symposium on Distributed Computing (DISC2015)
    • Place of Presentation
      Tokyo (Japan)
    • Year and Date
      2015-10-07 – 2015-10-09
    • Int'l Joint Research
  • [Presentation] Forming a plane by semi-synchronous autonomous mobile robots2015

    • Author(s)
      Taichi Uehara , Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      Workshop on Distributed Robotic Swarms
    • Place of Presentation
      アルカディア市ヶ谷 (東京都千代田区)
    • Year and Date
      2015-10-05 – 2015-10-05
    • Int'l Joint Research
  • [Presentation] 3次元空間中におけるキラリティの無い分散ロボットの平面形成問題2015

    • Author(s)
      冨田祐作,山内由紀子,来嶋秀治,山下雅史
    • Organizer
      電気・情報関連学会九州支部第68回連合大会
    • Place of Presentation
      福岡大学(福岡県福岡市)
    • Year and Date
      2015-09-26 – 2015-09-27
  • [Presentation] Constructing Self-Stabilizing Oscillators in Population Protocols2015

    • Author(s)
      Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, and Yukiko Yamauchi
    • Organizer
      The 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2015)
    • Place of Presentation
      Edmonton (Canada)
    • Year and Date
      2015-08-18 – 2015-08-21
    • Int'l Joint Research
  • [Presentation] Agreement in the Three Dimensional Space: Plane Formation by Synchronous Mobile Robots2015

    • Author(s)
      Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      第153回アルゴリズム研究会
    • Place of Presentation
      定山渓ビューホテル(北海道札幌市)
    • Year and Date
      2015-06-12 – 2015-06-13

URL: 

Published: 2017-01-06   Modified: 2022-01-31  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi