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

2011 Fiscal Year Annual Research Report

断続的ダイナミクスを有する分散システムのエネルギー効率にすぐれた安定化手法の確立

Research Project

Project/Area Number 22300009
Research InstitutionOsaka University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 角川 裕次  大阪大学, 大学院・情報科学研究科, 准教授 (80253110)
大下 福仁  大阪大学, 大学院・情報科学研究科, 助教 (20362650)
Keywordsアルゴリズム / ディペンダブル・コンピューティング / 分散システム / ネットワーク / エネルギー効率化
Research Abstract

本研究では,時々刻々変化するネットワーク環境に構築される,超大規模分散システムの安定性と消費エネルギーの間のトレードオフ関係を解明し,エネルギー効率に優れた自律適応型分散アルゴリズムの設計法を確立することを目的とする.本年度は,昨年度に引き続き,研究課題(1),(2)に取り組むとともに,研究課題(3),(4)への取り組みを開始した.各研究課題についての成果を以下にまとめておく.
(1)分散アルゴリズムの消費エネルギーのモデル化
昨年度に行った,無線センザネットワークにおける分散アルゴリズムの通信効率の定式化を拡張し,通信効率に優れた分散アルゴリズムの設計を行った.
(2)断続的に変化するネットワーク環境における分散システムの安定性の定量指標の提案
昨年度,ビザンチン故障封じ込めの概念と,その評価指標を提案した.今年度は,さまざまなモデルや問題に対して,ビザンチン故障封じ込めを実現する分散アルゴリズムの設計を行った.
(3)分散システムの消費エネルギーと安定性とのトレードオフの解明
分散システムの消費エネルギー低減化を実現するには,モバイルエージェントを導入し,エージェント数制御により,分散システム全体の消費エネルギーを制御することが有用であると考えられる.そこで,モバイルエージェントシステムの消費エネルギー(主として,モバイルエージェントの移動数で評価される)とシステムの安定性の間のトレードオフについて考察し,いくつかの結果を得た.
(4)分散システムのエネルギー効率にすぐれた安定化手法の確立
(3)と同様,モバイルエージェントを利用した分散システム設計について,エネルギー効率化に有用なサブタスクをいくつか提案し,それらを実現する手法を提案した.

Current Status of Research Progress
Current Status of Research Progress

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

Reason

エネルギー効率に優れた自己安定アルゴリズムの定式化,および,設計については,当初計画以上に進展している.その成果が認められ,2011年10月に開催された国際会議International Synposium on Stabilization, Safety and Security of Distributed Systems(SSS)で,招待講演を行った.さらに,本研究の目的達成にモバイルエージェントが有用であるとの着想を得ることができ,研究対象をモバイルエージェントに拡張し,エネルギー効率化について,既にいくつかの結果を得ている.

Strategy for Future Research Activity

研究は順調に進展している.今後,研究成果の拡張・深化のために研究を推進することに加えて,研究成果を国際会議,国際論文誌などに,発表していく.また,これまでの研究では,理論的成果が先行しているが,これらの理論的成果の実環境での有用性についても,実システムを用いた実験等により実証していく予定である.

  • Research Products

    (8 results)

All 2012 2011

All Journal Article (2 results) (of which Peer Reviewed: 2 results) Presentation (6 results)

  • [Journal Article] Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures2011

    • Author(s)
      Hirotsugu Kakugawa
    • Journal Title

      Theoretical Computer Science

      Volume: Vol.412 Pages: 4336-4349

    • Peer Reviewed
  • [Journal Article] Reliable communication on emulated channels resilient to transient faults2011

    • Author(s)
      Yukiko Yamauchi
    • Journal Title

      International Journal of Foundations of Computer Science

      Volume: Vol.22 Pages: 1099-1122

    • Peer Reviewed
  • [Presentation] Randomized rendezvous of multiple mobile agents in anonymous unidirectional ring networks2012

    • Author(s)
      Shinji Kawai
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      東京大学
    • Year and Date
      2012-03-16
  • [Presentation] Brief Announcement : A concurrent partial snapshot algorithm for large-scale and dynamic distributed systems2011

    • Author(s)
      Yonghwan Kim
    • Organizer
      13th International Symposium on Stabilization, Safety, and Security
    • Place of Presentation
      Grenoble (France)
    • Year and Date
      2011-10-11
  • [Presentation] Silence is golden : Self-stabilizing protocols communication-efficient after convergence2011

    • Author(s)
      Toshimitsu Masuzawa
    • Organizer
      13th International Symposium on Stabilization, Safety, and Security
    • Place of Presentation
      Grenoble (France)(Invited talk)
    • Year and Date
      2011-10-10
  • [Presentation] Maximum metric spanning tree made Byzantine tolerant2011

    • Author(s)
      Swan Dubois
    • Organizer
      25th International Symposium on Distributed Computing
    • Place of Presentation
      Rome (Italy)
    • Year and Date
      2011-09-20
  • [Presentation] Fast and compact self-stabilizing verification, computation, and fault detection of an MST2011

    • Author(s)
      Amos Korman
    • Organizer
      30th annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
    • Place of Presentation
      San Jose (USA)
    • Year and Date
      2011-06-08
  • [Presentation] Advantages of optimal longcut route for wireless mobile users2011

    • Author(s)
      Gen Motoyoshi
    • Organizer
      IEEE International Conference on Communications
    • Place of Presentation
      Kyoto (Japan)
    • Year and Date
      2011-06-07

URL: 

Published: 2013-06-26  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi