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

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

大規模動的ネットワークで動作する分散システムでは,各ノードが情報を収集する間にネットワーク環境が変動しうる.このため,各ノードが収集した大域情報は不確かさを伴う.そこで本研究では,不確かな大域情報を前提とする分散アルゴリズムの新たな理論的基盤の確立を目指す.これまでに,以下の課題に取り組み,一定の成果を得た.
1.ノードが収集した大域情報の不確かさを反映した新たなモデルの提案:動的ネットワーク環境において,各ノードが利用可能な情報を局所的な情報に限定したモデルを提案した.
2.大域タスクが実現できるために必要な大域情報の正確さの度合の解明:大域タスクを実現するには,各ノードにおいてどのような大域情報がどの程度の正確さで利用できればよいかの解明を目指した.訪問ノードで情報を収集し,得られた不確かな大域情報を利用してタスク処理を行うモバイルエージェントに関する研究を進めた.また,2次元平面上のモバイルロボット群の集合問題について,ロボットの視野に欠損がある場合のアルゴリズムに関する研究を進めた.
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

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

Strategy for Future Research Activity

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

  • Research Products

    (18 results)

All 2022 2021

All Journal Article (8 results) (of which Peer Reviewed: 8 results) Presentation (10 results) (of which Int'l Joint Research: 7 results)

  • [Journal Article] A self-stabilizing distributed algorithm for the generalized dominating set problem with safe convergence2022

    • Author(s)
      Kobayashi Hisaki, Sudo Yuichi, Kakugawa Hirotsugu, Masuzawa Toshimitsu
    • Journal Title

      The Computer Journal

      Volume: bxac021 Pages: 1-25

    • DOI

      10.1093/comjnl/bxac021

    • Peer Reviewed
  • [Journal Article] A self-stabilizing token circulation with graceful handover on bidirectional ring networks2022

    • Author(s)
      Kakugawa Hirotsugu, Kamei Sayaka, Katayama Yoshiaki
    • Journal Title

      International Journal of Networking and Computing

      Volume: 12 Pages: 103-130

    • DOI

      10.15803/ijnc.12.1_103

    • Peer Reviewed
  • [Journal Article] A cooperative partial snapshot algorithm for checkpoint-rollback recovery of large-scale and dynamic distributed systems and experimental evaluations2021

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

      Concurrency and Computation Practice and Experience

      Volume: 33 Pages: 1-18

    • DOI

      10.1002/cpe.5647

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

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

      Concurrency and Computation Practice and Experience

      Volume: 33 Pages: 1-21

    • DOI

      10.1002/cpe.581

    • Peer Reviewed
  • [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] Self-stabilizing population protocols with global knowledge2021

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

      IEEE Transactions on Parallel and Distributed Systems

      Volume: 32 Pages: 3011-3023

    • DOI

      10.1109/TPDS.2021.3076769

    • Peer Reviewed
  • [Journal Article] Time-optimal self-stabilizing leader election on rings in population protocols2021

    • Author(s)
      Yokota Daisuke, Sudo Yuichi, Masuzawa Toshimitsu
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E104.A Pages: 1675-1684

    • DOI

      10.1587/transfun.2020EAP1125

    • Peer Reviewed
  • [Journal Article] A self‐stabilizing distributed algorithm for the local (1, |Ni|)-critical section problem2021

    • Author(s)
      Kamei Sayaka, Kakugawa Hirotsugu
    • Journal Title

      Concurrency and Computation: Practice and Experience

      Volume: 33 Pages: 1-21

    • DOI

      10.1002/cpe.5628

    • Peer Reviewed
  • [Presentation] ビザンチンエージェントが混在する環境におけるモバイルエージェントの集合問題(招待講演)2022

    • Author(s)
      首藤裕一
    • Organizer
      電子情報通信学会 情報理論研究会
  • [Presentation] A self-stabilizing token circulation with graceful handover on bidirectional ring networks2021

    • Author(s)
      Kakugawa Hirotsugu, Kamei Sayaka
    • Organizer
      23rd Workshop on Advances in Parallel and Distributed Computational Models
    • Int'l Joint Research
  • [Presentation] A distributed multi-group mutual exclusion algorithm for intersection traffic control2021

    • Author(s)
      Kakugawa Hirotsugu, Kamei Sayaka
    • Organizer
      4th Sustainable Computing Systems Workshop
    • Int'l Joint Research
  • [Presentation] Time-optimal loosely-stabilizing leader election in population protocols2021

    • Author(s)
      Sudo Yuichi, Eguchi Ryota, Izumi Taisuke, Masuzawa Toshimitsu
    • Organizer
      35th International Symposium on Distributed Computing
    • Int'l Joint Research
  • [Presentation] Loosely-stabilizing maximal independent set algorithms with unreliable communications2021

    • Author(s)
      Dong Rongcheng, Sudo Yuichi, Izumi Taisuke, Masuzawa Toshimitsu
    • Organizer
      23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • Int'l Joint Research
  • [Presentation] Smoothed analysis of population protocols2021

    • Author(s)
      Schwartzman Gregory, Sudo Yuichi
    • Organizer
      35th International Symposium on Distributed Computing
    • Int'l Joint Research
  • [Presentation] Asynchronous gathering algorithms for autonomous mobile robots with lights2021

    • Author(s)
      Nakai Rikuo, Sudo Yuichi, Wada Koichi
    • Organizer
      23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • Int'l Joint Research
  • [Presentation] Gathering of seven autonomous mobile robots on triangular grids2021

    • Author(s)
      Shibata Masahiro, Ohyabu Masaki, Sudo Yuichi, Nakamura Junya, Kim Yonghwan, Katayama Yoshiaki
    • Organizer
      23rd Workshop on Advances in Parallel and Distributed Computational Models
    • Int'l Joint Research
  • [Presentation] 最小数のエージェント群による動的グラフ探索2021

    • Author(s)
      飯塚俊介,首藤裕一,泉泰介,増澤利光
    • Organizer
      電子情報通信学会 コンピュテーション研究会
  • [Presentation] 1-極小独立支配集合を求める反復合成に基づく自己安定アルゴリズム2021

    • Author(s)
      谷内優斗,首藤裕一,泉泰介,増澤利光
    • Organizer
      電子情報通信学会 コンピュテーション研究会

URL: 

Published: 2023-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi