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

2023 Fiscal Year Annual Research Report

障害から超高速に自律復旧するナノスケールネットワークの設計

Research Project

Project/Area Number 20H04140
Research InstitutionHosei University

Principal Investigator

首藤 裕一  法政大学, 情報科学部, 准教授 (50643665)

Co-Investigator(Kenkyū-buntansha) 大下 福仁  福井工業大学, 工学部, 教授 (20362650)
泉 泰介  大阪大学, 大学院情報科学研究科, 准教授 (20432461)
増澤 利光  大阪大学, 大学院情報科学研究科, 教授 (50199692)
Project Period (FY) 2020-04-01 – 2024-03-31
Keywords個体群プロトコル / ナノスケールネットワーク / 分散計算理論 / 自己安定 / 緩安定 / ゆらぎ
Outline of Annual Research Achievements

本研究は、膨大な数の極小デバイスで構成されるナノスケールネットワークにおいて、一部デバイスの物理的な故障などの障害によって不安定な状態に陥ったネットワークを高速に復旧するための基盤技術の確立を目的とする。極小デバイス群で構成されるナノスケールネットワークにおいては障害への耐性が強く求められる一方で、障害発生時に自律復旧を行う頑健なナノスケールネットワークの設計は極めて困難であることが知られており、実用化の障壁となっている。本研究は、障害が発生していない平常時にもわずかな確率で異常状態に陥る「ゆらぎ」を許容することをアプローチとして、ナノスケールネットワークにおいても超高速かつ頑健なアルゴリズム群を実現するための基盤技術を確立することを目指す。本研究によって、ナノスケールネットワークの障害耐性を汎用的かつ著しく高めることが期待できる。
本研究課題最終年度となる令和5年度は、これまでの3年間に引き続き、重要な結果を得ることができた。まず、昨年度に時間最適性を証明した、ナノスケールネットワークの形状が円環である場合の超高速かつ頑健なリーダ選挙アルゴリズムを6月に分散計算理論のトップ会議であるPODC 2023で発表し、多くの研究者からフィードバックを得た。また、ナノスケールネットワークにおいてデバイスの故障発生などに伴い生じる変数の不整合を高速に衝突検知する技術を昨年度に考案していたが、これをさらに高速化することに成功した。このアルゴリズムの正当性および計算量の解析はすでに完了しており、理論計算機科学のトップ会議のひとつであるSODAに投稿予定である。さらに、ナノスケールネットワークで動作する広範なクラスのアルゴリズムを本研究課題独自のアプローチである「ゆらぎ」を用いて頑健化する緩安定コンパイラの設計に成功した。

Research Progress Status

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

Strategy for Future Research Activity

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

  • Research Products

    (13 results)

All 2024 2023 Other

All Int'l Joint Research (1 results) Journal Article (6 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 6 results,  Open Access: 4 results) Presentation (6 results) (of which Int'l Joint Research: 6 results,  Invited: 3 results)

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

    • Country Name
      CANADA
    • Counterpart Institution
      University of Ottawa/Carleton University
  • [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] Fast gathering despite a linear number of weakly Byzantine agents2024

    • Author(s)
      Hirose Jion、Nakamura Junya、Ooshita Fukuhito、Inoue Michiko
    • Journal Title

      Concurrency and Computation: Practice and Experience

      Volume: - Pages: -

    • DOI

      10.1002/cpe.8055

    • Peer Reviewed / Open Access
  • [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 / Open Access
  • [Journal Article] Atomic cross-chain swaps with improved space, time and local time complexities2023

    • Author(s)
      Imoto Soichiro、Sudo Yuichi、Kakugawa Hirotsugu、Masuzawa Toshimitsu
    • Journal Title

      Information and Computation

      Volume: 292 Pages: 105039~105039

    • DOI

      10.1016/j.ic.2023.105039

    • Peer Reviewed / Open Access
  • [Journal Article] A Self-Stabilizing Distributed Algorithm for the Generalized Dominating Set Problem With Safe Convergence2023

    • 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 / Open Access
  • [Journal Article] Location functions for self-stabilizing byzantine tolerant swarms2023

    • Author(s)
      Ashkenazi Yotam、Dolev Shlomi、Kamei Sayaka、Katayama Yoshiaki、Ooshita Fukuhito、Wada Koichi
    • Journal Title

      Theoretical Computer Science

      Volume: 954 Pages: 113755~113755

    • DOI

      10.1016/j.tcs.2023.113755

    • Peer Reviewed / Int'l Joint Research
  • [Presentation] On Asynchrony, Memory, and Communication: Separations and Landscapes2023

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

    • Author(s)
      Masahiro Shibata, Naoki Kitamura, Ryota Eguchi, Yuichi Sudo, Junya Nakamura, and Yonghwan Kim
    • Organizer
      2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023)
    • Int'l Joint Research
  • [Presentation] Graph exploration by a clumsy agent2023

    • Author(s)
      Yuichi Sudo
    • Organizer
      Moving and Computing (MAC 2023)
    • Int'l Joint Research / Invited
  • [Presentation] On computational power of mobile agents in node storage model.2023

    • Author(s)
      Taisuke Izumi
    • Organizer
      Moving and Computing (MAC 2023)
    • Int'l Joint Research / Invited
  • [Presentation] Crash-tolerant graph exploration by two energy-sharing mobile agents.2023

    • Author(s)
      Toshimitsu Masuzawa
    • Organizer
      Moving and Computing (MAC 2023)
    • Int'l Joint Research / Invited
  • [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 (SSS 2023)
    • Int'l Joint Research

URL: 

Published: 2024-12-25  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi