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

2015 Fiscal Year Annual Research Report

多様なダイナミクスを有する環境で持続・成長可能な自律適応的分散システムの研究

Research Project

Project/Area Number 26280022
Research InstitutionOsaka University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 大下 福仁  奈良先端科学技術大学院大学, 情報科学研究科, 准教授 (20362650)
角川 裕次  大阪大学, 情報科学研究科, 准教授 (80253110)
Project Period (FY) 2014-04-01 – 2018-03-31
Keywordsアルゴリズム / 分散アルゴリズム / 分散システム / 自律適応性 / エネルギー効率 / 自己安定性 / モバイル・エージェント
Outline of Annual Research Achievements

次世代ユビキタスネットワーク環境に構築される超大規模次世代分散システムの持続可能性,成長可能性を保証するには,ネットワーク環境やサービス要求などの変動に起因する多様なダイナミクスに対して分散システムがエネルギー効率よく自律的に適応して安定動作することが必要である.これまでに,分散システムのさまざまな適応的安定性モデルが提案されており,本研究では,これらの多様な安定性モデルを統融合することにより,多様なダイナミクスの時間・空間的特性に応じた適切な安定性を自律的に選択し,エネルギー効率よく実現する自律適応的分散アルゴリズムの理論的基盤と設計法を確立することを目指す.そのために,以下の課題に取り組む.
(1) 多様なダイナミクスの下でのさまざまな適応的安定性モデルの共生可能性の解明.(2) ダイナミクスに応じた多様な適応的安定性を実現するための統融合的手法の確立.(3) 適応的安定性のエネルギー効率にすぐれた実現方法の確立.
今年度は昨年度に引き続き,(1), (2)の課題に取り組むとともに,(3)の課題にも取り組み始めた.
課題(1)については,(a) 自己安定性,厳安定性,強安定性,故障封じ込め,安全収束性,時間適応安定性,弱安定性,緩安定性などさまざまな適応的安定性モデルについて,これらを実現可能なダイナミクス特性の特徴付けを行った.また,(b) 適応的安定性モデルの時間・空間的共生可能性についての検討を進めた.さらに,異なる安定性のシームレスな接続に有望なモバイル・エージェントの基盤問題についての考察を行った.
課題(2)については,(c) ダイナミクス特性の推定に基づく統合的手法の検討を行うとともに,(d) 安定性モデルの融合による,新たな適応的安定性モデルの創出について検討を開始した.
課題(3)については,多様な適応的安定性をエネルギー効率よく実現する分散アルゴリズムの理論的基盤の検討を開始した.

Current Status of Research Progress
Current Status of Research Progress

1: Research has progressed more than it was originally planned.

Reason

研究実施計画通りに,今年度は昨年度に引き続き(1), (2)の課題に取り組むとともに,(3)の課題にも取り組み始めた.
課題(1)については,(a) 自己安定性,厳安定性,強安定性,故障封じ込め,安全収束性,時間適応安定性,弱安定性,緩安定性などさまざまな適応的安定性モデルについて,これらを実現可能なダイナミクス特性の特徴付けに成功した.また,(b) 適応的安定性モデルの時間・空間的共生可能性についての検討を進め,新たな知見を得た.さらに,異なる安定性のシームレスな接続に有望なモバイル・エージェントについて,いくつかのの基盤問題に対する新たなアルゴリズムの提案を行った.
課題(2)については,(c) ダイナミクス特性の推定に基づく統合的手法の検討を行い,さらに,(d) 安定性モデルの融合による,新たな適応的安定性モデルの創出について検討を開始した.
課題(3)については,多様な適応的安定性をエネルギー効率よく実現する分散アルゴリズムの理論的基盤について検討し,いくつかの成果を得た.
当初の計画以上に研究成果が出ており,「当初の計画以上に進展している」と評価している.

Strategy for Future Research Activity

本研究は,当初の計画通りに進行しており,これまでのところ,当初の研究計画で実施が困難になるなどの問題は発生していない.今後も,研究分担者と共に,海外の共同研究者や研究代表者が指導する大学院生の協力を得ながら,当初計画に沿って研究を進めていく.平成28年度は,平成27年度に引き続き,本研究の基盤となるべき要素技術やアイデアの確立に取り組んでいく.
海外共同研究者の,Sebastien Tixeuil教授(フランス・パリ第6大学),Shay Kutten教授(イスラエル・テクニオン),Ajoy Datta教授(米国・ネバダ大学)それぞれのグループとは,これまで通り,相互訪問などもまじえて,密に意見交換を行い,当該分野のグローバルな研究動向や技術動向を踏まえながら,平成28年度以降の本研究を推進していく予定である.

Causes of Carryover

全体で150万円弱の次年度使用額が生じたが,これは主として,旅費および人件費・謝金によるものである.旅費については,予定していた国際会議に参加できなかったために残額が生じた.また,人件費・謝金については,雇用を予定していた博士後期課程の学生が他の業務に従事する必要が生じ,本経費で雇用できなくなったために残額が生じた.

Expenditure Plan for Carryover Budget

次年度の計画については,当初の予定通りに遂行する予定である.ただし,当初の想定以上の研究成果が得られつつあり,生じた次年度使用額については,論文別刷り代,および,シミュレーション実験環境の整備などに使用する予定である.

  • Research Products

    (13 results)

All 2016 2015 Other

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

  • [Int'l Joint Research] パリ第6大学(フランス)

    • Country Name
      FRANCE
    • Counterpart Institution
      パリ第6大学
  • [Int'l Joint Research] ネバダ大学(米国)

    • Country Name
      U.S.A.
    • Counterpart Institution
      ネバダ大学
  • [Journal Article] Partial gathering of mobile agents in asynchronous unidirectional rings2016

    • Author(s)
      Masahiro Shibata, Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Journal Title

      Theoretical Computer Science

      Volume: 617 Pages: 1-11

    • DOI

      10.1016/j.tcs.2015.09.012

    • Peer Reviewed / Open Access
  • [Journal Article] Fast and compact self-stabilizing verification, computation, and fault detection of an MST2015

    • Author(s)
      Amos Korman, Shay Kutten, Toshimitsu Masuzawa
    • Journal Title

      Distributed Computing

      Volume: 28 Pages: 253-294

    • DOI

      10.1007/s00446-015-0242-y

    • Peer Reviewed / Int'l Joint Research / Acknowledgement Compliant
  • [Journal Article] Maximum metric spanning tree made Byzantine tolerant2015

    • Author(s)
      Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil
    • Journal Title

      Algorithmica

      Volume: 73 Pages: 166-201

    • DOI

      DOI 10.1007/s00453-014-9913-5

    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] A single agent exploration in unknown undirected graphs with whiteboards2015

    • Author(s)
      Yuichi Sudo, Daisuke Baba, Junya Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E98-A Pages: 2117-2128

    • Peer Reviewed / Open Access
  • [Presentation] Maximum matching for anonymous trees with constant space per process2015

    • Author(s)
      Ajoy K Datta, Lawrence L Larmore, Toshimitsu Masuzawa
    • Organizer
      International Conference on Principles of Distributed Systems
    • Place of Presentation
      Rennes, France
    • Year and Date
      2015-12-14 – 2015-12-17
    • Int'l Joint Research
  • [Presentation] Loosely-stabilizing leader election on arbitrary graphs in population protocols without identifiers nor random numbers2015

    • Author(s)
      Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Organizer
      International Conference on Principles of Distributed Systems
    • Place of Presentation
      Rennes, France
    • Year and Date
      2015-12-14 – 2015-12-17
    • Int'l Joint Research
  • [Presentation] Self-stabilizing distributed algorithms2015

    • Author(s)
      Toshimitsu Masuzawa
    • Organizer
      International Workshop on Parallel and Distributed Algorithms and Applications
    • Place of Presentation
      Sapporo, Japan
    • Year and Date
      2015-12-08 – 2015-12-11
    • Int'l Joint Research / Invited
  • [Presentation] Realization of an efficient concurrent partial snapshot algorithm for large-scale and dynamic distributed systems2015

    • Author(s)
      Rentaro Watanabe, Yonghwan Kim, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Organizer
      International Workshop on Networking, Computing, Systems, and Software
    • Place of Presentation
      Sapporo, Japan
    • Year and Date
      2015-12-08 – 2015-12-11
    • Int'l Joint Research
  • [Presentation] An algorithm for partial gathering of mobile agents in arbitrary networks2015

    • Author(s)
      Masahiro Shibata, Junya Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Organizer
      Workshop on Distributed Robotic Swarms
    • Place of Presentation
      Kyoto, Japan
    • Year and Date
      2015-10-28 – 2015-10-30
    • Int'l Joint Research
  • [Presentation] An algorithm for uniform deployment of mobile agents in asynchronous rings2015

    • Author(s)
      Masahiro Shibata, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • Organizer
      電子情報通信学会 コンピュテーション研究会
    • Place of Presentation
      北海道・札幌市
    • Year and Date
      2015-06-12 – 2015-06-13
  • [Presentation] st-orderingを利用した(1, 1)-極大DAG構成自己安定アルゴリズム2015

    • Author(s)
      大野陽香,片山喜章,増澤利光
    • Organizer
      電子情報通信学会 コンピュテーション研究会
    • Place of Presentation
      北海道・札幌市
    • Year and Date
      2015-06-12 – 2015-06-13

URL: 

Published: 2017-01-06  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi