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

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

研究課題

研究課題/領域番号 22300009
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 ソフトウエア
研究機関大阪大学

研究代表者

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

研究分担者 角川 裕次  大阪大学, 大学院情報科学研究科, 准教授 (80253110)
大下 福仁  大阪大学, 情報科学研究科, 助教 (20362650)
連携研究者 大下 福仁  大阪大学, 大学院情報科学研究科, 准教授 (20362650)
研究期間 (年度) 2010-04-01 – 2014-03-31
研究課題ステータス 完了 (2013年度)
配分額 *注記
18,070千円 (直接経費: 13,900千円、間接経費: 4,170千円)
2013年度: 3,640千円 (直接経費: 2,800千円、間接経費: 840千円)
2012年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2011年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2010年度: 5,070千円 (直接経費: 3,900千円、間接経費: 1,170千円)
キーワードアルゴリズム / ディペンダブル・コンピューティング / 分散システム / ネットワーク / エネルギー効率化 / 無線ネットワーク / モバイル・エージェント / ビザンチン故障 / ディペンダブル・コンピューティング
研究概要

本研究では,断続的に変化するネットワーク環境において,自己適応性・安定動作を実現するエネルギー効率のよい分散アルゴリズムの理論・技術の確立を目指した.具体的には,以下の研究テーマに取り組み,いくつかの成果を得た.
(1) 分散アルゴリズムの消費エネルギーのモデル化.(2) 断続的に変化するネットワーク環境における分散システムの安定性の定量指標の提案.(3) 分散システムの消費エネルギーと安定性とのトレードオフの解明.(4) 分散システムのエネルギー効率にすぐれた安定化手法の確立.

報告書

(5件)
  • 2013 実績報告書   研究成果報告書 ( PDF )
  • 2012 実績報告書
  • 2011 実績報告書
  • 2010 実績報告書
  • 研究成果

    (53件)

すべて 2014 2013 2012 2011 2010 その他

すべて 雑誌論文 (15件) (うち査読あり 15件) 学会発表 (38件) (うち招待講演 1件)

  • [雑誌論文] Randomized gathering of mobile agents in anonymous unidirectional ring networks2014

    • 著者名/発表者名
      Fukuhito Ooshita, Shinji Kawai, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 雑誌名

      IEEE Transactions on Parallel and Distributed Systems

      巻: (to appear) 号: 5 ページ: 1289-1296

    • DOI

      10.1109/tpds.2013.259

    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
    • 査読あり
  • [雑誌論文] Analysis of distributed token circulation algorithm with faulty random number generator2014

    • 著者名/発表者名
      Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
    • 雑誌名

      Parallel Processing Letters

      巻: Vol.24, No.1 号: 01 ページ: 1450002-1450002

    • DOI

      10.1142/s0129626414500029

    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
    • 査読あり
  • [雑誌論文] Efficient Randomized Byzantine Fault-Tolerant Replication Based on Special Valued Coin Tossing2014

    • 著者名/発表者名
      Junya Nakamura, Tadashi Araragi, Shigeru Masuyama, Toshimitsu Masuzawa
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E97.D 号: 2 ページ: 231-244

    • DOI

      10.1587/transinf.E97.D.231

    • NAID

      130003394826

    • ISSN
      0916-8532, 1745-1361
    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
    • 査読あり
  • [雑誌論文] A Method of Parallelizing Consensuses for Accelerating Byzantine Fault Tolerance2014

    • 著者名/発表者名
      Junya Nakamura, Tadashi Araragi, Toshimitsu Masuzawa, Shigeru Masuyama
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E97.D 号: 1 ページ: 53-64

    • DOI

      10.1587/transinf.E97.D.53

    • NAID

      130003385484

    • ISSN
      0916-8532, 1745-1361
    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
    • 査読あり
  • [雑誌論文] A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems2014

    • 著者名/発表者名
      Kim Yonghwan, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E97.D 号: 1 ページ: 65-76

    • DOI

      10.1587/transinf.E97.D.65

    • NAID

      130003385485

    • ISSN
      0916-8532, 1745-1361
    • 関連する報告書
      2013 実績報告書 2013 研究成果報告書
    • 査読あり
  • [雑誌論文] Linear time and space gathering of anonymous mobile agents in asynchronous trees2013

    • 著者名/発表者名
      Daisuke Baba, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 雑誌名

      Theoretical Computer Science

      巻: Vol.478 ページ: 118-126

    • DOI

      10.1016/j.tcs.2013.01.022

    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
    • 査読あり
  • [雑誌論文] Loosely-stabilizing leader election in population protocol model2012

    • 著者名/発表者名
      Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 雑誌名

      Theoretical Computer Science

      巻: Vol.444 ページ: 100-112

    • DOI

      10.1016/j.tcs.2012.01.007

    • NAID

      110007995566

    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
    • 査読あり
  • [雑誌論文] Self-stabilizing protocols on oriented chains with joins and leaves2012

    • 著者名/発表者名
      Doina Bein, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 雑誌名

      International Journal of Autonomous and Adaptive Communications Systems

      巻: Vol.5, No.2 号: 2 ページ: 178-199

    • DOI

      10.1504/ijaacs.2012.046284

    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
    • 査読あり
  • [雑誌論文] Sebastien Tixeuil, Bounding the impact of unbounded attacks in stabilization2012

    • 著者名/発表者名
      Swan Dubois, Toshimitsu Masuzawa
    • 雑誌名

      IEEE Transactions on Parallel and Distributed Systems

      巻: Vol.23, No.3 号: 3 ページ: 460-466

    • DOI

      10.1109/tpds.2011.158

    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
    • 査読あり
  • [雑誌論文] Reliable communication on emulated channels resilient to transient faults2011

    • 著者名/発表者名
      Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa
    • 雑誌名

      International Journal of Foundations of Computer Science

      巻: Vol.22, No.5 ページ: 1099-1122

    • 関連する報告書
      2013 研究成果報告書
    • 査読あり
  • [雑誌論文] Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures2011

    • 著者名/発表者名
      H.Kakugawa, Y.Yamauchi, S.Kamei, T.Masuzawa
    • 雑誌名

      Theoretical Computer Science

      巻: 412 号: 33 ページ: 4336-4349

    • DOI

      10.1016/j.tcs.2010.11.013

    • 関連する報告書
      2013 研究成果報告書
    • 査読あり
  • [雑誌論文] Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures2011

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

      Theoretical Computer Science

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

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Reliable communication on emulated channels resilient to transient faults2011

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

      International Journal of Foundations of Computer Science

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

    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] Loosely-stabilizing leader election in population protocol model

    • 著者名/発表者名
      Sudo, Nakamura, Yamauchi, Ooshita, Kakugawa, Masuzawa
    • 雑誌名

      Theoretical Computer Science

      巻: (掲載確定)

    • NAID

      110007995566

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Self-stabilization with Byzantine tolerance for global tasks

    • 著者名/発表者名
      S.Dubois, T.Mesuzawa, S.Tixeuil
    • 雑誌名

      IEEE Transactions on Parallel and Distributed Systems

      巻: (掲載確定)

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [学会発表] 仮想グリッドネットワークにおける葉が多いBFS木の安全自己構成法2014

    • 著者名/発表者名
      高津周佑,大下福仁,角川裕次,増澤利光
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      明治大学(東京)
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 弦付リング構成のための空間計算量に優れた自己安定アルゴリズム2014

    • 著者名/発表者名
      伊藤瑠美,大下福仁,角川裕次,増澤利光
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      東北大学(仙台)
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Local-informationbased self-optimizing routing in virtual grid networks2013

    • 著者名/発表者名
      Shusuke Takatsu, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Zigzag
    • 学会等名
      the 33rd International Conference on Distributed Computing Systems
    • 発表場所
      Philadelphia, Pennsylvania, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Laurence Pilard, Transitive approach for topology control in wireless sensor networks2013

    • 著者名/発表者名
      Karim Bessaoud, Alain Bui, Toshimitsu Masuzawa
    • 学会等名
      the 9th International Wireless Communications and Mobile Computing Conference
    • 発表場所
      Cagliari, Sardinia - Italy
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Transitive approach for topology control in wireless sensor networks2013

    • 著者名/発表者名
      Karim Bessaoud, Alain Bui, Toshimitsu Masuzawa, Laurence Pilard
    • 学会等名
      the 9th International Wireless Communications and Mobile Computing Conference (IWCMC)
    • 発表場所
      Cagliari, Sardinia, Italy
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Zigzag: Local-information-based self-optimizing routing in virtual grid networks2013

    • 著者名/発表者名
      Shusuke Takatsu, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 学会等名
      the 33rd International Conference on Distributed Computing Systems (ICDCS)
    • 発表場所
      Philadelphia, Pennsylvania, USA
    • 関連する報告書
      2013 実績報告書
  • [学会発表] Randomized rendezvous of multiple mobile agents in anonymous unidirectional ring networks2012

    • 著者名/発表者名
      Shinji Kawai
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      東京大学
    • 年月日
      2012-03-16
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Algorithms for partial gathering of mobile agents in asynchronous rings2012

    • 著者名/発表者名
      Masahiro Shibata, Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 学会等名
      the 16th International Conference on Principles of Distributed Systems
    • 発表場所
      Rome, Italy
    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
  • [学会発表] Communication-efficient self-stabilization in wireless networks2012

    • 著者名/発表者名
      Tomoya Takimoto, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 学会等名
      the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • 発表場所
      Toronto, Canada
    • 関連する報告書
      2013 研究成果報告書 2012 実績報告書
  • [学会発表] Randomized rendezvous of mobile agents in anonymous unidirectional ring network2012

    • 著者名/発表者名
      Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 学会等名
      the 19th International Colloquium on Structural Information and Communication Complexity
    • 発表場所
      Reykjavik, Iceland
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Randomized rendezvous of mobile agents in anonymous unidirectional ring networks2012

    • 著者名/発表者名
      Shinji Kawai
    • 学会等名
      the 19th International Colloquium on Structural Information and Communication Complexity
    • 発表場所
      Reykjavik, Iceland
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 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
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 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
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Maximum metric spanning tree made Byzantine tolerant2011

    • 著者名/発表者名
      Swan Dubois
    • 学会等名
      25th International Symposium on Distributed Computing
    • 発表場所
      Rome (Italy)
    • 年月日
      2011-09-20
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 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
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Advantages of optimal longcut route for wireless mobile users2011

    • 著者名/発表者名
      Gen Motoyoshi
    • 学会等名
      IEEE International Conference on Communications
    • 発表場所
      Kyoto (Japan)
    • 年月日
      2011-06-07
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Self stabilizing and fault-containing leader election resilient to time-bounded Byzantine faults2011

    • 著者名/発表者名
      Y.Yamauchi, T Mesuzawa, D.Bein
    • 学会等名
      情報処理学会アルゴリズム研究会
    • 発表場所
      琉球大学
    • 年月日
      2011-03-07
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Brief Announcement : A concurrent partial snapshot algorithm for large-scale and dynamic distributed systems2011

    • 著者名/発表者名
      Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa
    • 学会等名
      the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • 発表場所
      Grenoble, France
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Silence is golden : Self-stabilizing protocols communication-efficient after convergence2011

    • 著者名/発表者名
      Toshimitsu Masuzawa
    • 学会等名
      the 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • 発表場所
      Grenoble, France
    • 関連する報告書
      2013 研究成果報告書
    • 招待講演
  • [学会発表] Maximum metric spanning tree made Byzantine tolerant2011

    • 著者名/発表者名
      Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil
    • 学会等名
      the 25th International Symposium on Distributed Computing
    • 発表場所
      Rome, Italy
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Fast and compact self stabilizing verification, computation, and fault detection of an MST2011

    • 著者名/発表者名
      Amos Korman, Shay Kutten, Toshimitsu Masuzawa
    • 学会等名
      the 30th annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
    • 発表場所
      San Jose, California, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Advantages of optimal longcut route for wireless mobile users2011

    • 著者名/発表者名
      Gen Motoyoshi, Yuichi Sudo, Tsutomu Murase, Toshimitsu Masuzawa
    • 学会等名
      IEEE International Conference on Communications
    • 発表場所
      Kyoto, Japan
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Evaluation of self-stabilizing token circulation algorithm with faulty random number generators2010

    • 著者名/発表者名
      Shinji Kawai, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 学会等名
      the Workshop on Dependability of Network Software Applications
    • 発表場所
      Higashi Hiroshima, Japan
    • 年月日
      2010-11-18
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Evaluation of self-stabilizing token circulation algorithm with faulty random number generators2010

    • 著者名/発表者名
      S.Kawai, F.Ooshita, H.Kakugawa, T.Masuzawa
    • 学会等名
      Workshop on Dependability of Network Software Applications
    • 発表場所
      広島大学
    • 年月日
      2010-11-18
    • 関連する報告書
      2010 実績報告書
  • [学会発表] On Byzantine containment properties of the min+1 protocol2010

    • 著者名/発表者名
      S.Dubois, T.Masuzawa, S.Tixeuil
    • 学会等名
      12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • 発表場所
      New York(USA)
    • 年月日
      2010-09-20
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Adaptive containment of time-bounded Byzantine faults2010

    • 著者名/発表者名
      Y.Yamauchi, T.Masuzawe, D.Bein
    • 学会等名
      12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • 発表場所
      New York(USA)
    • 年月日
      2010-09-20
    • 関連する報告書
      2010 実績報告書
  • [学会発表] The impact of topology on Byzantine containment in stabilization2010

    • 著者名/発表者名
      S.Dubois, T.Masuzawa, S.Tixeuil
    • 学会等名
      24th International Symposium on Distributed Computing
    • 発表場所
      Cambridge(USA)
    • 年月日
      2010-09-15
    • 関連する報告書
      2010 実績報告書
  • [学会発表] An agent exploration in unknown undirected graphs with whiteboards2010

    • 著者名/発表者名
      Yuichi Sudo, Daisuke Baba, Junya Nakamura, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 学会等名
      the 3rd Workshop on Reliability, Availability, and Security
    • 発表場所
      Zurich, Switzerland
    • 年月日
      2010-07-29
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] An agent exploration in unknown undirected graphs with whiteboards2010

    • 著者名/発表者名
      Sudo, Baba, Nakamura Ooshita, Kakugawa, Masuzawa
    • 学会等名
      3rd Workshop on Reliability, Availability, and Security
    • 発表場所
      Zurich(Switzerland)
    • 年月日
      2010-07-29
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Stabilizing locally maximizable tasks in unidirectional networks is hard2010

    • 著者名/発表者名
      T.Mesuzawa, S.Tixeuil
    • 学会等名
      30th International Conference on Distributed Computing Systems
    • 発表場所
      Genoa(Italy)
    • 年月日
      2010-06-24
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Space-optimal rendezvous of mobile agents in asynchronous trees2010

    • 著者名/発表者名
      D, Baba, T.Izumi, F.Ooshita, H.Kakugawa, T.Masuzawa
    • 学会等名
      17th International Colloquium on Structural Information and Communication Complexity
    • 発表場所
      Sirince(Turkey)
    • 年月日
      2010-06-08
    • 関連する報告書
      2010 実績報告書
  • [学会発表] On Byzantine containment properties of the min+1 protocol2010

    • 著者名/発表者名
      Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil
    • 学会等名
      the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • 発表場所
      New York City, New York, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Adaptive containment of time-bounded Byzantine faults2010

    • 著者名/発表者名
      Yukiko Yamauchi, Toshimitsu Masuzawa, Doina Bein
    • 学会等名
      the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems
    • 発表場所
      New York City, New York, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] The impact of topology on Byzantine containment in stabilization2010

    • 著者名/発表者名
      Swan Dubois, Toshimitsu Masuzawa, Sebastien Tixeuil
    • 学会等名
      the 24th International Symposium on Distributed Computing
    • 発表場所
      Cambridge, Massachusetts, USA
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Stabilizing locally maximizable tasks in unidirectional networks is hard2010

    • 著者名/発表者名
      Toshimitsu Masuzawa, Sebastien Tixeuil
    • 学会等名
      the 30th International Conference on Distributed Computing Systems
    • 発表場所
      Genoa, Italy
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] Space-optimal rendezvous of mobile agents in asynchronous trees2010

    • 著者名/発表者名
      Daisuke Baba, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
    • 学会等名
      the 17th International Colloquium on Structural Information and Communication Complexity
    • 発表場所
      Sirince, Turkey
    • 関連する報告書
      2013 研究成果報告書
  • [学会発表] 同期リングにおけるモバイルエージェント均一配置アルゴリズム

    • 著者名/発表者名
      妻鹿敏也
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      愛媛大学
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 非同期リングにおけるモバイルエージェント部分集合アルゴリズム

    • 著者名/発表者名
      柴田将拡
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      愛媛大学
    • 関連する報告書
      2012 実績報告書

URL: 

公開日: 2010-08-23   更新日: 2019-07-29  

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

Powered by NII kakenhi