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

2022 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.ノードが収集した大域情報の不確かさを反映した新たなモデルの提案:大域情報の不確かさを反映した新たなモデルとして,動的ネットワーク環境において,各ノードが利用可能な情報を局所的な情報に限定したモデルを提案し,ロボット/エージェント群が1点に集まる集合アルゴリズムを設計した.
2.大域タスクが実現できるために必要な大域情報の正確さの度合の解明:大域タスクを実現するには,各ノードにおいてどのような大域情報がどの程度の正確さで利用できればよいかの解明を目指した.具体的には,動的ネットワーク環境において,ロボット/エージェント群の均一配置問題や部分集合問題に対するアルゴリズムを提案した.
3.大域情報の範囲や正確さの度合いが,大域タスクの達成可能な正確性や効率に及ぼす影響の解明:大域情報の範囲や正確さの度合いが,実現できる大域タスクの正確性や効率に与える影響の解明を目指した.具体的には,さまざまなタスクに対し,各ノードが利用可能な情報がこれらのタスクの処理効率や精度に与える効果について,いくつかの結果を示した.また,訪問ノードで情報を収集し,得られた不確かな大域情報を利用してタスク処理を行うモバイルエージェントに関する研究を進めた.さらに,動的ネットワークにおいて,不確かな情報によって不都合な状況に陥ってもいずれ正当な状況に復帰できることを保証する自己安定分散アルゴリズムに関する研究を進めた.

Research Progress Status

令和4年度が最終年度であるため、記入しない。

Strategy for Future Research Activity

令和4年度が最終年度であるため、記入しない。

  • Research Products

    (19 results)

All 2024 2023 2022

All Journal Article (7 results) (of which Peer Reviewed: 7 results,  Open Access: 1 results) Presentation (12 results) (of which Int'l Joint Research: 12 results,  Invited: 2 results)

  • [Journal Article] Self-stabilizing 2-minimal dominating set algorithms based on loop composition2024

    • Author(s)
      Maruyama Syohei、Sudo Yuichi、Kamei Sayaka、Kakugawa Hirotsugu
    • Journal Title

      Theoretical Computer Science

      Volume: 983 Pages: 114314~114314

    • DOI

      10.1016/j.tcs.2023.114314

    • Peer Reviewed
  • [Journal Article] Loosely-Stabilizing Algorithm on Almost Maximal Independent Set2023

    • Author(s)
      DONG Rongcheng、IZUMI Taisuke、KITAMURA Naoki、SUDO Yuichi、MASUZAWA Toshimitsu
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E106.D Pages: 1762~1771

    • DOI

      10.1587/transinf.2023EDP7075

    • Peer Reviewed
  • [Journal Article] A self‐stabilizing distributed algorithm for the bounded lattice domination problems under the distance‐2 model2023

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

      Concurrency and Computation: Practice and Experience

      Volume: 36 Pages: e7902

    • DOI

      10.1002/cpe.7902

    • Peer Reviewed
  • [Journal Article] Loosely-stabilizing maximal independent set algorithms with unreliable communications2022

    • Author(s)
      Dong Rongcheng、Sudo Yuichi、Izumi Taisuke、Masuzawa Toshimitsu
    • Journal Title

      Theoretical Computer Science

      Volume: 937 Pages: 69~84

    • DOI

      10.1016/j.tcs.2022.09.031

    • Peer Reviewed
  • [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: 66 Pages: 1452~1476

    • DOI

      10.1093/comjnl/bxac021

    • Peer Reviewed
  • [Journal Article] Almost uniform deployment of mobile agents in dynamic rings2022

    • Author(s)
      Shibata Masahiro、Sudo Yuichi、Nakamura Junya、Kim Yonghwan
    • Journal Title

      Information and Computation

      Volume: 289 Pages: 104949~104949

    • DOI

      10.1016/j.ic.2022.104949

    • Peer Reviewed / Open Access
  • [Journal Article] Visibility-optimal gathering of seven autonomous mobile robots on triangular grids2022

    • Author(s)
      Shibata Masahiro、Ohyabu Masaki、Sudo Yuichi、Nakamura Junya、Kim Yonghwan、Katayama Yoshiaki
    • Journal Title

      International Journal of Networking and Computing

      Volume: 12 Pages: 2~25

    • DOI

      10.15803/ijnc.12.1_2

    • Peer Reviewed
  • [Presentation] A Near Time-optimal Population Protocol for Self-stabilizing Leader Election on Rings with a Poly-logarithmic Number of States2023

    • Author(s)
      Daisuke Yokota, Yuichi Sudo, Fukuhito Ooshita, Toshimitsu Masuzawa
    • Organizer
      2023 ACM Symposium on Principles of Distributed Computing
    • Int'l Joint Research
  • [Presentation] Brief Announcement: Crash-Tolerant Exploration by Energy Sharing Mobile Agents2023

    • Author(s)
      Quentin Bramas, Toshimitsu Masuzawa, Sebastien Tixeuil
    • Organizer
      25th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • Int'l Joint Research
  • [Presentation] Asynchrony, Memory, and Communication: Separations and Landscapes2023

    • Author(s)
      Paola Flocchini, Nicola Santoro, Yuichi Sudo, Koichi Wada
    • Organizer
      27th International Conference on Principles of Distributed Systems
    • Int'l Joint Research / Invited
  • [Presentation] Partial Gathering of Mobile Agents in Dynamic Tori2023

    • Author(s)
      Masahiro Shibata, Naoki Kitamura, Ryota Eguchi, Yuichi Sudo, Junya Nakamura, Yonghwan Kim
    • Organizer
      Symposium on Algorithmic Foundations of Dynamic Networks
    • Int'l Joint Research
  • [Presentation] A self-stabilizing distributed algorithm for the 1-MIS problem under the distance-3 model2023

    • Author(s)
      Hirotsugu Kakugawa, Sayaka Kamei, Masahiro Shibata, Fukuhito Ooshita
    • Organizer
      2023 Eleventh International Symposium on Computing and Networking Workshops
    • Int'l Joint Research
  • [Presentation] Brief Announcement: Gathering despite defected view2022

    • Author(s)
      Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama, Toshimitsu Masuzawa
    • Organizer
      36th International Symposium on Distributed Computing
    • Int'l Joint Research
  • [Presentation] Invited Paper: One bit agent memory is enough for snap-stabilizing perpetual exploration of cactus graphs with distinguishable cycles2022

    • Author(s)
      Kohei Shimoyama, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Organizer
      24th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • Int'l Joint Research / Invited
  • [Presentation] Computational power of a single oblivious mobile agent in two-edge-connected graphs2022

    • Author(s)
      Taichi Inoue, Naoki Kitamura, Taisuke Izumi, and Toshimitsu Masuzawa
    • Organizer
      26th International Conference on Principles of Distributed Systems
    • Int'l Joint Research
  • [Presentation] Gathering of mobile robots with defected views2022

    • Author(s)
      Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama, Toshimitsu Masuzawa
    • Organizer
      26th International Conference on Principles of Distributed Systems
    • Int'l Joint Research
  • [Presentation] A linear-time self-stabilizing distributed algorithm for the minimal minus (L,K,Z)-domination problem under the distance-2 model2022

    • Author(s)
      Hirotsugu Kakugawa, Sayaka Kamei
    • Organizer
      14th International Workshop on Parallel and Distributed Algorithms and Applications
    • Int'l Joint Research
  • [Presentation] A self-stabilizing 2-minimal dominating set algorithm based on loop composition in networks of girth at least 72022

    • Author(s)
      Syohei Maruyama, Yuichi Sudo, Sayaka Kamei, Hirotsugu Kakugawa
    • Organizer
      36th IEEE International Parallel & Distributed Processing Symposium
    • Int'l Joint Research
  • [Presentation] Implementation and Evaluation of Leader Election in the Population Protocol Model Using an Emulation Environment2022

    • Author(s)
      Keitaro Watanabe, Hideharu Kojima, Yuichi Sudo, Naoto Yanai, Tatsuhiro Tsuchiya
    • Organizer
      21st International Workshop on Assurance in Distributed Systems and Networks
    • Int'l Joint Research

URL: 

Published: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi