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

2020 Fiscal Year Annual Research Report

New theoretical basis of large scale dynamic distributed systems based on uncertain information and its applications

Research Project

Project/Area Number 19H04085
Research InstitutionOsaka University

Principal Investigator

増澤 利光  大阪大学, 情報科学研究科, 教授 (50199692)

Co-Investigator(Kenkyū-buntansha) 首藤 裕一  法政大学, 情報科学部, 准教授 (50643665)
角川 裕次  龍谷大学, 先端理工学部, 教授 (80253110)
Project Period (FY) 2019-04-01 – 2023-03-31
Keywords分散システム / 分散アルゴリズム / 動的ネットワーク / 不確かな情報 / 大域タスク
Outline of Annual Research Achievements

大規模動的ネットワークで動作する分散システムでは,各ノードが情報を収集する間にネットワーク環境が変動しうる.このため,各ノードが収集した大域情報は不確かさを伴う.そこで本研究では,不確かな大域情報を前提とする分散アルゴリズムの可能性を追求することによって,現実的な環境で大域タスクを実現する分散システムの新たな理論的基盤の確立を目指す.これまでに,以下の課題に取り組み,一定の成果を得た.
1.ノードが収集した大域情報の不確かさを反映した新たなモデルの提案:大域情報の不確かさを反映した新たなモデルとして,動的ネットワーク環境において,各ノードが利用可能な情報を局所的な情報に限定したモデルを提案した.
2.大域タスクが実現できるために必要な大域情報の正確さの度合の解明:大域タスクを実現するには,各ノードにおいてどのような大域情報がどの程度の正確さで利用できればよいかの解明を目指した.具体的には,動的ネットワーク環境において,さまざまな分散システムで利用される情報散布という基本的かつ重要なタスクが実現可能となるために,各ノードでどの程度の範囲の局所情報を必要とするかを解明した.
3.大域情報の範囲や正確さの度合いが,大域タスクの達成可能な正確性や効率に及ぼす影響の解明:大域情報の範囲や正確さの度合いが,実現できる大域タスク
の正確性や効率に与える影響の解明を目指した.具体的には,さまざまなタスクに対し,各ノードが利用可能な情報がこれらのタスクの処理効率や精度に与える効果について,いくつかの結果を示した.また,訪問ノードで情報を収集し,得られた不確かな大域情報を利用してタスク処理を行うモバイルエージェントに関する研究を進めた.さらに,動的ネットワークにおいて,不確かな情報によって不都合な状況に陥ってもいずれ正当な状況に復帰できることを保証する自己安定分散アルゴリズムに関する研究を進めた.

Current Status of Research Progress
Current Status of Research Progress

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

Reason

当初の計画通り,以下の研究テーマに取り組み,「研究実績の概要」に述べたように,一定の成果を上げることができた.そのため,おおむね順調に進展していると考えている.
1.ノードが収集した大域情報の不確かさを反映した新たなモデルの提案
2.大域タスクが実現できるために必要な大域情報の正確さの度合の解明
3.大域情報の範囲や正確さの度合いが,大域タスクの達成可能な正確性や効率に及ぼす影響の解明

Strategy for Future Research Activity

大規模動的ネットワークで動作する分散システムにおいて,各ノードが収集した不確かな大域情報を前提とする分散アルゴリズムの可能性を追求することによって,現実的な環境で大域タスクを実現する分散システムの新たな理論的基盤の確立を目指す.次年度には,当初の予定通り,以下の課題に取り組む.
1.ノードが収集した大域情報の不確かさを反映した新たなモデルの提案
2.大域タスクが実現できるために必要な大域情報の正確さの度合の解明
3.大域情報の範囲や正確さの度合いが,大域タスクの達成可能な正確性や効率に及ぼす影響の解明

  • Research Products

    (15 results)

All 2021 2020 Other

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

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

    • Country Name
      CANADA
    • Counterpart Institution
      University of Ottawa/Carleton University
  • [Journal Article] A self-stabilizing algorithm for constructing a minimal reachable directed acyclic graph with two senders and two targets2021

    • Author(s)
      Kim Yonghwan, Shibata Masahiro, Sudo Yuichi, Nakamura Junya, Katayama Yoshiaki, Masuzawa Toshimitsu
    • Journal Title

      Theoretical Computer Science

      Volume: 874 Pages: 1-14

    • DOI

      10.1016/j.tcs.2021.05.005

    • Peer Reviewed
  • [Journal Article] Exploration of dynamic tori by multiple agents2021

    • Author(s)
      Gotoh Tsuyoshi、Sudo Yuichi、Ooshita Fukuhito、Kakugawa Hirotsugu、Masuzawa Toshimitsu
    • Journal Title

      Theoretical Computer Science

      Volume: 850 Pages: 202~220

    • DOI

      10.1016/j.tcs.2020.11.004

    • Peer Reviewed
  • [Journal Article] A Self-stabilizing 1-maximal Independent Set Algorithm2021

    • Author(s)
      Tanaka Hideyuki、Sudo Yuichi、Kakugawa Hirotsugu、Masuzawa Toshimitsu、Datta Ajoy K.
    • Journal Title

      Journal of Information Processing

      Volume: 29 Pages: 247~255

    • DOI

      10.2197/ipsjjip.29.247

    • Peer Reviewed
  • [Journal Article] A self‐stabilizing algorithm for constructing a maximal (σ, τ)‐directed acyclic mixed graph2020

    • Author(s)
      Kim Yonghwan、Katayama Yoshiaki、Masuzawa Toshimitsu
    • Journal Title

      Concurrency and Computation: Practice and Experience

      Volume: 33 Pages: ー

    • DOI

      10.1002/cpe.5812

    • Peer Reviewed
  • [Journal Article] Move-optimal partial gathering of mobile agents without identifiers or global knowledge in asynchronous unidirectional rings2020

    • Author(s)
      Shibata Masahiro、Kawata Norikazu、Sudo Yuichi、Ooshita Fukuhito、Kakugawa Hirotsugu、Masuzawa Toshimitsu
    • Journal Title

      Theoretical Computer Science

      Volume: 822 Pages: 92~109

    • DOI

      10.1016/j.tcs.2020.04.002

    • Peer Reviewed
  • [Journal Article] Dynamic Ring Exploration with (H,S) View2020

    • Author(s)
      Gotoh Tsuyoshi、Sudo Yuichi、Ooshita Fukuhito、Masuzawa Toshimitsu
    • Journal Title

      Algorithms

      Volume: 13 Pages: 141~141

    • DOI

      10.3390/a13060141

    • Peer Reviewed
  • [Journal Article] Time-Optimal Leader Election in Population Protocols2020

    • Author(s)
      Sudo Yuichi、Ooshita Fukuhito、Izumi Taisuke、Kakugawa Hirotsugu、Masuzawa Toshimitsu
    • Journal Title

      IEEE Transactions on Parallel and Distributed Systems

      Volume: 31 Pages: 2620~2632

    • DOI

      10.1109/TPDS.2020.2991771

    • Peer Reviewed
  • [Journal Article] Self-stabilizing token distribution on trees with constant space2020

    • Author(s)
      Sudo Yuichi、Datta Ajoy K.、Larmore Lawrence L.、Masuzawa Toshimitsu
    • Journal Title

      Journal of Parallel and Distributed Computing

      Volume: 146 Pages: 201~211

    • DOI

      10.1016/j.jpdc.2020.07.007

    • Peer Reviewed / Int'l Joint Research
  • [Presentation] A self-stabilizing token circulation with graceful handover on bidirectional ring networks2021

    • Author(s)
      Hirotsugu Kakugawa, Sayaka Kamei
    • Organizer
      IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW)
    • Int'l Joint Research
  • [Presentation] Gathering of seven autonomous mobile robots on triangular grids2021

    • Author(s)
      Masahiro Shibata, Masaki Ohyabu, Yuichi Sudo, Junya Nakamura, Yonghwan Kim, Yoshiaki Katayama
    • Organizer
      23rd Workshop on Advances in Parallel and Distributed Computational Models (APDCM)
    • Int'l Joint Research
  • [Presentation] The power of global knowledge on self-stabilizing population protocols2020

    • Author(s)
      Yuichi Sudo, Masahiro Shibata, Junya Nakamura, Yonghwan Kim, Toshimitsu Masuzawa
    • Organizer
      the 27th International Colloquium on Structural Information and Communication Complexity (SIROCCO
    • Int'l Joint Research
  • [Presentation] Communication efficient self-stabilizing leader election2020

    • Author(s)
      Xavier Defago, Yuval Emek, Shay Kutten, Toshimitsu Masuzawa, Yasumasa Tamura
    • Organizer
      the 34th International Symposium on Distributed Computing (DISC)
    • Int'l Joint Research
  • [Presentation] Efficient dispersion of mobile agents without global knowledge2020

    • Author(s)
      Takahiro Shintaku, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Organizer
      the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Int'l Joint Research
  • [Presentation] Time-optimal self-stabilizing leader election on rings in population protocols2020

    • Author(s)
      Daisuke Yokota, Yuichi Sudo, Toshimitsu Masuzawa
    • Organizer
      the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • Int'l Joint Research

URL: 

Published: 2022-12-28  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi