動的無線ネットワークにおける高度な故障耐性を持つ分散近似アルゴリズムの設計

• 研究課題/領域番号: 22700074
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: 計算機システム・ネットワーク
• 研究機関: 広島大学
• 研究代表者: 亀井 清華 広島大学, 工学(系)研究科(研究院), 准教授 (90434977)
• 研究期間 (年度): 2010-04-01 – 2014-03-31
• 研究課題ステータス: 完了 (2013年度)
• 配分額: 3,770千円 (直接経費: 2,900千円、間接経費: 870千円); 2013年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2012年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2011年度: 780千円 (直接経費: 600千円、間接経費: 180千円); 2010年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
• キーワード: 分散アルゴリズム / 耐故障性 / 自己安定 / 近似アルゴリズム / 安全収束性 / 動的ネットワーク / 無線ネットワーク / 動的無線ネットワーク / 自己安定性 / 分散近似アルゴリズム / safe convergence

研究概要

動的無線ネットワークに適した分散アルゴリズムとして，安全に収束する自己安定分散アルゴリズムの研究をおこなった．これは，故障が起こった後の任意の状況から短時間で（解の質を問わない）安全な状況に遷移し，そこからは安全性を崩さずに最適解に収束するという性質を持つ分散アルゴリズムである．様々な最適化問題にモデル化される分散問題について，この性質を持つ分散近似アルゴリズムの設計を行った．

研究成果

• [雑誌論文] Time-optimal Gathering Algorithm of Mobile Robots with Local Weak Multiplicity Detection in Rings (2013)
  • 著者名/発表者名: Tomoko Izumi, Taisuke Izumi, Sayaka Kamei, and Fukuhito Ooshita
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: E96-A巻, 6号 ページ: 1072-1080
  • NAID: 10031193792
  • URL: http://search.ieice.org/bin/summary.php?id=e96-a_6_1072
  • 査読あり
• [雑誌論文] Feasibility of Polynomial-time Randomized Gathering for Oblivious Mobile Robots (2013)
  • 著者名/発表者名: Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Oosita
  • 雑誌名: IEEE Transactions on Parallel and Distributed Systems 巻: Vol. 24, No. 4 号: 4 ページ: 716-723
  • DOI: 10.1109/tpds.2012.212
  • 査読あり
• [雑誌論文] A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks (2013)
  • 著者名/発表者名: Sayaka Kamei, Hirotsugu Kakugawa, Stephane Devismes, Sebastien Tixeuil
  • 雑誌名: Journal of Combinatorial Optimization 巻: 25巻, 3号 ページ: 430-459
  • 査読あり
• [雑誌論文] A Self-Stabilizing 6-Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graph (2012)
  • 著者名/発表者名: S.Kamei, H.Kakugawa
  • 雑誌名: Theoretical Computer Science 巻: 428 ページ: 80-90
  • DOI: 10.1016/j.tcs.2011.12.007
  • 査読あり
• [雑誌論文] Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures (2011)
  • 著者名/発表者名: H.Kakugawa, Y.Yamauchi, S.Kamei, T.Masuzawa
  • 雑誌名: Theoretical Computer Science 巻: 412 号: 33 ページ: 4336-4349
  • DOI: 10.1016/j.tcs.2010.11.013
  • 査読あり
• [雑誌論文] A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks (2011)
  • 著者名/発表者名: Sayaka Kamei
  • 雑誌名: Journal of Combinatorial Optimization 巻: 21
  • 査読あり
• [学会発表] An Asynchronous Self-Stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graphs (2013)
  • 著者名/発表者名: Sayaka Kamei
  • 学会等名: The 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS2013)
  • 発表場所: 大阪
  • 年月日: 2013-11-16
• [学会発表] An Asynchronous Self-Stabilizing Approximation for the Minimum Connected Dominating Set with Safe Convergence in Unit Disk Graphs (2013)
  • 著者名/発表者名: Sayaka Kamei
  • 学会等名: the 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS2013)
  • 発表場所: 大阪大学
• [学会発表] Mobile Agent Rendezvous on a Probabilistic Edge Evolving Ring (2012)
  • 著者名/発表者名: Yukiko Yamauchi
  • 学会等名: The Third International Conference on Networking and Computing(ICNC)
  • 発表場所: 沖縄
  • 年月日: 2012-12-06
• [学会発表] Brief Announcement : Mobile Agent Rendezvous on Edge Evolving Rings (2012)
  • 著者名/発表者名: Tomoko Izumi
  • 学会等名: The 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS2012)
  • 発表場所: カナダ・トロント
  • 年月日: 2012-10-03
• [学会発表] Gathering an even number of robots in a symmetric ring without global multiplicity detection (2012)
  • 著者名/発表者名: Anissa Lamani
  • 学会等名: The 37th International Symposium on Mathematical Foundations of Computer Science (MFCS)
  • 発表場所: スロバキア・ブラチスラバ
  • 年月日: 2012-08-28
• [学会発表] Gathering an even number of robots in a symmetric ring without global multiplicity detection (2012)
  • 著者名/発表者名: Anissa Lamani
  • 学会等名: The 37th International Symposium on Mathematical Foundations of Computer Science
  • 発表場所: Bratislava, Slovakia
• [学会発表] Brief Announcement:Mobile Agent Rendezvous on Edge Evolving Rings (2012)
  • 著者名/発表者名: Tomoko Izumi
  • 学会等名: The 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems
  • 発表場所: Toronto, Canada
• [学会発表] Mobile Agent Rendezvous on a Probabilistic Edge Evolving Ring (2012)
  • 著者名/発表者名: Yukiko Yamauchi
  • 学会等名: The 3rd International Conference on Networking and Computing
  • 発表場所: Okinawa, Japan
• [学会発表] Fast and Reliable Route Maintenance Protocols for Wsn with Crash and Intermittent Failures (2011)
  • 著者名/発表者名: Sayaka Kamei
  • 学会等名: The Second International Conference on Networking and Computing (ICNC 2011)
  • 発表場所: 大阪
  • 年月日: 2011-12-01
• [学会発表] Fast and Reliable Route Maintenance Protocols for WSN with Crash and Intermittent Failures (2011)
  • 著者名/発表者名: Sayaka Kamei
  • 学会等名: The Second International Conference on Networking and Computing (ICNC 2011)
  • 発表場所: 大阪
  • 年月日: 2011-12-01
• [学会発表] Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection (2011)
  • 著者名/発表者名: Anissa Lamani
  • 学会等名: The 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2011)
  • 発表場所: ポーランド・グダンスク
  • 年月日: 2011-06-27
• [学会発表] Asynchronous mobile robot gathering from symmetric configurations without global multiplicity detection (2011)
  • 著者名/発表者名: Anissa Lamani
  • 学会等名: The 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO)
  • 発表場所: ポーランド,グダニスク
  • 年月日: 2011-06-27
• [学会発表] A Token-based Distributed Algorithm for the Generalized Resource Allocation Problem (2010)
  • 著者名/発表者名: Sayaka Kamei
  • 学会等名: The 14th International Conference on Principles of Distributed Systems (OPODIS 2010)
  • 発表場所: チュニジア・トズール
  • 年月日: 2010-12-15
• [学会発表] A Token-based Distributed Algorithm for the Generalized Resource Allocation Problem (2010)
  • 著者名/発表者名: Sayaka Kamei
  • 学会等名: The 14th International Conference on Principles of Distributed Systems (OPODIS)
  • 発表場所: チュニジア,トズール
  • 年月日: 2010-12-15
• [学会発表] A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks (2010)
  • 著者名/発表者名: Sayaka Kamei
  • 学会等名: The 16th Annual International Computing and Combinatorics Conference (COCOON 2010)
  • 発表場所: ベトナム・ニャチャン
  • 年月日: 2010-07-21
• [学会発表] A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks (2010)
  • 著者名/発表者名: Sayaka Kamei
  • 学会等名: The 16th Annual International Computing and Combinatorics Conference (COCOON)
  • 発表場所: ベトナム,ニャチャン
  • 年月日: 2010-07-21