連続的不安定なネットワーク環境において安定動作する分散システムの実現に関する研究

2010 年度 研究成果報告書

• 研究課題/領域番号: 19300017
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 計算機システム・ネットワーク
• 研究機関: 大阪大学
• 研究代表者: 増澤 利光 大阪大学, 大学院・情報科学研究科, 教授 (50199692)
• 研究分担者: 角川 裕次 大阪大学, 大学院・情報科学研究科, 准教授 (80253110) ; 大下 福仁 大阪大学, 大学院・情報科学研究科, 助教 (20362650)
• 研究期間 (年度): 2007 – 2010
• キーワード: アルゴリズム / ディペンダブル・コンピューティング / ネットワーク / 分散システム / 自己安定システム / モバイル・アドホック・ネットワーク / P2Pシステム

研究概要

大規模ネットワーク環境は、計算機の故障、ネットワークトポロジの変化、外部からの攻撃などの外乱のために不安定で絶えず変動している。このようなネットワークにおいて、安定動作する自己適応型分散システム設計の基盤となる理論・技術について研究した。特に、高度な自己適応性を有する自己安定分散アルゴリズムの概念を、断続的な外乱に対応できるように拡張し、いくつかの自己安定分散アルゴリズムを提案した。

研究成果

• [雑誌論文] Timer based composition of fault-containing self-stabilizing protocols (2010)
  • 著者名/発表者名: Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • 雑誌名: Information Sciences Vol.180 ページ: 1802-1816
  • 査読あり
• [雑誌論文] Quiescence of self-stabilizing gossiping among mobile agents in graphs (2010)
  • 著者名/発表者名: Toshimitsu Masuzawa, Sebastien Tixeuil
  • 雑誌名: Theoretical Computer Science Vol.411 ページ: 1567-1582
  • 査読あり
• [雑誌論文] An ant colony optimizationrouting for ad hoc networks with GPSs (2010)
  • 著者名/発表者名: Daisuke Kadono, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • 雑誌名: Ad Hoc Networks Vol.8,Issue 1 ページ: 63-76
  • 査読あり
• [雑誌論文] Preserving the fault contain-ment of ring protocols executed on trees (2009)
  • 著者名/発表者名: Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa
  • 雑誌名: The Computer Journal Vol.52, No.4 ページ: 483-498
  • 査読あり
• [雑誌論文] Self-stabiliza-tion in dynamic networks (2009)
  • 著者名/発表者名: 増澤利光
  • 雑誌名: IEICE Trans-actions on Information and Systems Vol.E92-D ページ: 108-115
  • 査読あり
• [雑誌論文] A token-baseddistributed group mutual exclusionalgorithm with quorums (2008)
  • 著者名/発表者名: Hirotsugu Kakugawa, Sayaka Kamei, Toshimitsu Masuzawa
  • 雑誌名: IEEE Trans-actions on Parallel and Distributed Systems Vol.19, No.9 ページ: 1153-1166
  • 査読あり
• [雑誌論文] Move-optimal gossiping amongmobile agents (2008)
  • 著者名/発表者名: Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • 雑誌名: Theoretical Computer Science Vol.393, No.1-3 ページ: 90-101
  • 査読あり
• [雑誌論文] モバイルアドホックネットワークにおける公平性の高い自己安定相互排除プロトコル (2008)
  • 著者名/発表者名: 西川元, 山内由紀子, 大下福仁, 角川裕次, 増澤利光
  • 雑誌名: 電子情報通信学会論文誌(A) Vol.J91-A ページ: 279-284
  • 査読あり
• [雑誌論文] Stabilizing link-coloration ofarbitrary networks with unboundedByzantine faults (2007)
  • 著者名/発表者名: Toshimitsu Masuzawa, Sebastien Tixeuil
  • 雑誌名: International Journal of Principles and Applications of Information Science and Technology Vol.1 ページ: 1-13
  • 査読あり
• [雑誌論文] Self-stabilizing protocols on oriented chains with joins and leaves
  • 著者名/発表者名: Doina Bein, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • 雑誌名: International Journal of Autonomous and Adaptive Communications Systems (採録決定)
  • 査読あり
• [学会発表] Stabilizing locally maximizable tasks in unidirectional networks is hard (2010)
  • 著者名/発表者名: Toshimitsu Masuzawa, Sebastien Tixeuil
  • 学会等名: the 30th International Conference on Distributed Computing Systems
  • 発表場所: Genoa, Italy
  • 年月日: 2010-06-24
• [学会発表] Space-optimal rendezvous of mobile agents in asynchronous trees (2010)
  • 著者名/発表者名: Daisuke Baba, Tomoko Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • 学会等名: the 17th International Colloquium on Structural Information and Communication Complexity
  • 発表場所: Sirince, Turkey
  • 年月日: 2010-06-08
• [学会発表] Cached sensornet transformation of non-silent self-stabilizing algorithms withunreliable links (2009)
  • 著者名/発表者名: Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa
  • 学会等名: the 11th International Symposium on Stabilization, Safety, andSecurity of Distributed Systems
  • 発表場所: Lyon, France
  • 年月日: 2009-11-05
• [学会発表] Communication efficiency in self-stabilizing silent protocols (2009)
  • 著者名/発表者名: Stephane Devismes, Toshimitsu Masuzawa, Sebastien Tixeuil
  • 学会等名: the 29th International Conference on Distributed Computing Systems
  • 発表場所: Montreal, Canada
  • 年月日: 2009-06-24
• [学会発表] Loosely stabilizing leader election in population protocol model (2009)
  • 著者名/発表者名: Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • 学会等名: the 16th International Colloquium on Structural Information and Communication Complexity
  • 発表場所: Piran, Slovenia
  • 年月日: 2009-05-26
• [学会発表] Convergence time analysis of self-stabilizing algorithms in wireless sensor networks with unreliable links (2008)
  • 著者名/発表者名: Hirotsugu Kakugawa, Toshimitsu Masuzawa
  • 学会等名: the 10th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • 発表場所: Detroit, USA
  • 年月日: 2008-11-22
• [学会発表] Calibrating anembedded protocol on an asynchronoussystem (2008)
  • 著者名/発表者名: Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Linda Morales, Ivan Hal Sudborough
  • 学会等名: the 2nd International Symposium on Intelligent Distributed Computing
  • 発表場所: Catania, Italy
  • 年月日: 2008-09-19
• [学会発表] Output stability versus time tilloutput (2007)
  • 著者名/発表者名: Shay Kutten, Toshimitsu Masuzawa
  • 学会等名: the 21st International Symposium on Distributed Computing
  • 発表場所: Lemesos, Cyprus
  • 年月日: 2007-09-26
• [図書] 適応的分散アルゴリズム (2010)
  • 著者名/発表者名: 山下雅史, 増澤利光
  • 総ページ数: 71-102,165-262
  • 出版者: 共立出版