• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2011 年度 実績報告書

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

研究課題

研究課題/領域番号 22300009
研究機関大阪大学

研究代表者

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

研究分担者 角川 裕次  大阪大学, 大学院・情報科学研究科, 准教授 (80253110)
大下 福仁  大阪大学, 大学院・情報科学研究科, 助教 (20362650)
キーワードアルゴリズム / ディペンダブル・コンピューティング / 分散システム / ネットワーク / エネルギー効率化
研究概要

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

現在までの達成度 (区分)
現在までの達成度 (区分)

1: 当初の計画以上に進展している

理由

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

今後の研究の推進方策

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

  • 研究成果

    (8件)

すべて 2012 2011

すべて 雑誌論文 (2件) (うち査読あり 2件) 学会発表 (6件)

  • [雑誌論文] Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures2011

    • 著者名/発表者名
      Hirotsugu Kakugawa
    • 雑誌名

      Theoretical Computer Science

      巻: Vol.412 ページ: 4336-4349

    • 査読あり
  • [雑誌論文] Reliable communication on emulated channels resilient to transient faults2011

    • 著者名/発表者名
      Yukiko Yamauchi
    • 雑誌名

      International Journal of Foundations of Computer Science

      巻: Vol.22 ページ: 1099-1122

    • 査読あり
  • [学会発表] Randomized rendezvous of multiple mobile agents in anonymous unidirectional ring networks2012

    • 著者名/発表者名
      Shinji Kawai
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      東京大学
    • 年月日
      2012-03-16
  • [学会発表] Brief Announcement : A concurrent partial snapshot algorithm for large-scale and dynamic distributed systems2011

    • 著者名/発表者名
      Yonghwan Kim
    • 学会等名
      13th International Symposium on Stabilization, Safety, and Security
    • 発表場所
      Grenoble (France)
    • 年月日
      2011-10-11
  • [学会発表] Silence is golden : Self-stabilizing protocols communication-efficient after convergence2011

    • 著者名/発表者名
      Toshimitsu Masuzawa
    • 学会等名
      13th International Symposium on Stabilization, Safety, and Security
    • 発表場所
      Grenoble (France)(Invited talk)
    • 年月日
      2011-10-10
  • [学会発表] Maximum metric spanning tree made Byzantine tolerant2011

    • 著者名/発表者名
      Swan Dubois
    • 学会等名
      25th International Symposium on Distributed Computing
    • 発表場所
      Rome (Italy)
    • 年月日
      2011-09-20
  • [学会発表] Fast and compact self-stabilizing verification, computation, and fault detection of an MST2011

    • 著者名/発表者名
      Amos Korman
    • 学会等名
      30th annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
    • 発表場所
      San Jose (USA)
    • 年月日
      2011-06-08
  • [学会発表] Advantages of optimal longcut route for wireless mobile users2011

    • 著者名/発表者名
      Gen Motoyoshi
    • 学会等名
      IEEE International Conference on Communications
    • 発表場所
      Kyoto (Japan)
    • 年月日
      2011-06-07

URL: 

公開日: 2013-06-26  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi