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

永続的なネットワーク動的変動のもとで有効に動作する分散アルゴリズムの実現

研究課題

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

若手研究(B)

配分区分補助金
研究分野 情報学基礎
研究機関名古屋工業大学

研究代表者

泉 泰介  名古屋工業大学, 工学研究科, 准教授 (20432461)

研究期間 (年度) 2010 – 2012
研究課題ステータス 完了 (2012年度)
配分額 *注記
3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2012年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2011年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2010年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
キーワードアルゴリズム / 情報基礎 / 分散システム / 分散アルゴリズム
研究概要

P2P環境やモバイル環境等の、ネットワーク動的変化(計算機の参加、離脱、および接続リンクの変化等)が絶え間なく生じる環境における分散アルゴリズムの設計法について、新しい理論モデルの探求等を通じて研究を行った。特に、近年注目を集める個体群モデルや自律分散ロボット等のアルゴリズム設計、またPeer-to-peer型のシステムにおける基盤技術であるオーバレイネットワークの設計手法等について新たな結果を得た。

報告書

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

    (42件)

すべて 2013 2012 2011 2010

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

  • [雑誌論文] Feasibility of Polynomial-time Randomized Gathering for Oblivious Mobile Robots2013

    • 著者名/発表者名
      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

    • 関連する報告書
      2012 実績報告書 2012 研究成果報告書
    • 査読あり
  • [雑誌論文] Time-Optimal Gathering Algorihm of Mobile Robots with Local Weak Multiplicity Detection in Rings2013

    • 著者名/発表者名
      Tomoko Izumi, Taisuke Izumi, Sayaka, Kamei, Fukuhito Oosita
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E96-A

    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] The Optimal Tolerance of Uniform Observation Error for Mobile Robot Convergence2012

    • 著者名/発表者名
      Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada
    • 雑誌名

      Theoretical ComputerScience

      巻: Vol. 444, No. 27 ページ: 77-86

    • DOI

      10.1016/j.tcs.2012.04.038

    • 関連する報告書
      2012 実績報告書 2012 研究成果報告書 2011 実績報告書
    • 査読あり
  • [雑誌論文] The price of multi-organization constraint in unrelated parallel machine scheduling2012

    • 著者名/発表者名
      Fukuhito Oosita, Tomoko Izumi, Taisuke Izumi
    • 雑誌名

      Parallel Processing Letters

      巻: Vol. 22, No. 2 号: 02 ページ: 1250006-1250006

    • DOI

      10.1142/s0129626412500065

    • 関連する報告書
      2012 研究成果報告書
    • 査読あり
  • [雑誌論文] Minimum Certificate Dispersal with Tree Structure2012

    • 著者名/発表者名
      Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada
    • 雑誌名

      9th annual conference on Theory and Applications of Models of Computation(TAMC)

      巻: Vol. 7287 of LNCS ページ: 548-559

    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] On the approximability and hardness of minimum topic connected overlay and its special instances2012

    • 著者名/発表者名
      J.Hosoda, J.Hromkovic, T.Izumi,, H.Ono, M.Steinova, K.Wada
    • 雑誌名

      Theoretical Computer Science

      巻: 429 ページ: 144-154

    • DOI

      10.1016/j.tcs.2011.12.033

    • 関連する報告書
      2012 実績報告書 2012 研究成果報告書
    • 査読あり
  • [雑誌論文] The Gathering Problem for Two Oblivious Robots with Unreliable Compasses2012

    • 著者名/発表者名
      Taisuke Izumi
    • 雑誌名

      SIAM Journal on Computing

      巻: 41(1) 号: 1 ページ: 26-46

    • DOI

      10.1137/100797916

    • 関連する報告書
      2012 研究成果報告書 2011 実績報告書
    • 査読あり
  • [雑誌論文] How to Prove Impossibility under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model2012

    • 著者名/発表者名
      Cai Shukai, Taisuke Izumi, Koichi Wada
    • 雑誌名

      Theory of Computing Systems

      巻: Vol. 50, No. 3 号: 3 ページ: 433-445

    • DOI

      10.1007/s00224-011-9313-z

    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Minimum Certificate Dispersal with Tree Structures2012

    • 著者名/発表者名
      Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada
    • 雑誌名

      TAMC

      巻: 7287 ページ: 548-559

    • DOI

      10.1007/978-3-642-29952-0_51

    • ISBN
      9783642299513, 9783642299520
    • 関連する報告書
      2012 実績報告書
    • 査読あり
  • [雑誌論文] Adaptive and Doubly-Expedited One-Step Consensus in Byzantine Asynchronous Systems2011

    • 著者名/発表者名
      Nazreen Banu, Taisuke Izumi, Koichi Wada
    • 雑誌名

      Parallel Processing Letters

      巻: Vol. 21, No. 4 号: 04 ページ: 461-477

    • DOI

      10.1142/s0129626411000321

    • 関連する報告書
      2012 研究成果報告書 2011 実績報告書
  • [雑誌論文] The BG-simulation for Byzantine Mobile Robots2011

    • 著者名/発表者名
      Taisuke Izumi, Zohir Bouzid, Sebastien Tixeuil, Koichi Wada
    • 雑誌名

      25th International Symposium on Distributed Computing(DISC)

      巻: Vol. 6950 of LNCS ページ: 330-331

    • DOI

      10.1007/978-3-642-24100-0_32

    • ISBN
      9783642240997, 9783642241000
    • 関連する報告書
      2012 研究成果報告書 2011 実績報告書
  • [雑誌論文] Physical Expander in Virtual Tree Overlay2011

    • 著者名/発表者名
      Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero
    • 雑誌名

      25th International Symposium on Distributed Computing(DISC)

      巻: Vol. 6950 of LNCS ページ: 82-96

    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model2011

    • 著者名/発表者名
      Samia Souissi, Taisuke Izumi, Koichi Wada
    • 雑誌名

      Theoretical Computer Science

      巻: Vol. 412, No. 33 号: 33 ページ: 4350-4360

    • DOI

      10.1016/j.tcs.2010.11.011

    • 関連する報告書
      2012 研究成果報告書 2011 実績報告書 2010 実績報告書
  • [雑誌論文] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances2011

    • 著者名/発表者名
      Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinova, Koichi Wada
    • 雑誌名

      36th International Symposium on Mathematical Foundations of Computer Science(MFCS)

      巻: Vol. 6907 of LNCS ページ: 376-387

    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Physical Expander in Virtual Tree Overlay2011

    • 著者名/発表者名
      Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero
    • 雑誌名

      Proc.of 25th International Symposium on Distributed Computing

      巻: Vol.6950 of LNCS ページ: 82-96

    • DOI

      10.1007/978-3-642-24100-0_6

    • ISBN
      9783642240997, 9783642241000
    • 関連する報告書
      2011 実績報告書
    • 査読あり
  • [雑誌論文] How to Prove Impossibility under Global Fairness : On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model2011

    • 著者名/発表者名
      S.Cai, T.Izumi, K.Wada
    • 雑誌名

      Theory of Computing Systems

      巻: (未出版(採録決定))

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Improving SpacE Complexity of Self-stabilizing Countingon Mobile Sensor Networks2010

    • 著者名/発表者名
      Keigo Kinpara, Tomoko Izumi, TaisukE Izumi, Koichi Wada
    • 雑誌名

      14th International Conference on Principle of Distributed Systems (OPODIS)

      巻: Vol. 6430 of LNCS ページ: 504-515

    • DOI

      10.1007/978-3-642-17653-1_36

    • ISBN
      9783642176524, 9783642176531
    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility2010

    • 著者名/発表者名
      Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sebastien Tixeuil
    • 雑誌名

      The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)

      巻: Vol. 6366 of LNCS ページ: 319-331

    • DOI

      10.1007/978-3-642-16023-3_27

    • ISBN
      9783642160226, 9783642160233
    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Doubly-Expedited One-step Byzantine Consensus2010

    • 著者名/発表者名
      Nazreen Banu, Taisuke Izumi, Koichi Wada
    • 雑誌名

      The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2010)

      ページ: 373-382

    • DOI

      10.1109/dsn.2010.5544293

    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Mobile Robot Gathering Algorithm with Local Weak Multiplicity in Rings2010

    • 著者名/発表者名
      Tomoko Izumi, Taisuke Izumi, Sayaka Kamei, Fukuhito Ooshita
    • 雑誌名

      17th International Colloquium on Structural Information and Communication Complexity (SIROCCO)

      巻: Vol. 6058 of LNCS ページ: 101-113

    • DOI

      10.1007/978-3-642-13284-1_9

    • ISBN
      9783642132834, 9783642132841
    • 関連する報告書
      2012 研究成果報告書
  • [雑誌論文] Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks2010

    • 著者名/発表者名
      K.Kinpara, T.Izumi, K.Wada
    • 雑誌名

      Lecture Notes in Computer Science (14th International Conference on Principle of Distributed Systems (OPODIS))

      巻: 6430 ページ: 504-515

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [雑誌論文] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility2010

    • 著者名/発表者名
      Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sebastien Tixeuil
    • 雑誌名

      Lecture Notes in Computer Science (The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS))

      巻: 6366 ページ: 319-331

    • 関連する報告書
      2010 実績報告書
    • 査読あり
  • [学会発表] 完全ネットワーク上で最小生成木問題を解く新しい分散アルゴリズム2012

    • 著者名/発表者名
      泉泰介
    • 学会等名
      2012年夏のLAシンポジウム
    • 発表場所
      兵庫
    • 年月日
      2012-07-18
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Minimum CertificateDispersal with Tree Structure2012

    • 著者名/発表者名
      泉泰介
    • 学会等名
      9th annual conference on Theory and Applications of Models of Computation
    • 発表場所
      北京,中国
    • 年月日
      2012-05-17
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Minimum Certificate Dispersal with Tree Structure2012

    • 著者名/発表者名
      Taisuke Izumi
    • 学会等名
      9th annual conference on Theory and Applications of Models of Computation
    • 発表場所
      Beijing, China
    • 関連する報告書
      2012 実績報告書
  • [学会発表] The BG-simulation for Byzantine Mobile Robots2011

    • 著者名/発表者名
      泉泰介
    • 学会等名
      25th International Symposium on Distributed Computing
    • 発表場所
      ローマ,イタリア
    • 年月日
      2011-09-21
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Physical Expander in Virtual Tree Overlay2011

    • 著者名/発表者名
      泉泰介
    • 学会等名
      25th International Symposium on Distributed Computing
    • 発表場所
      ローマ,イタリア
    • 年月日
      2011-09-20
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances2011

    • 著者名/発表者名
      Monika Steinova, Taisuke Izumi
    • 学会等名
      36th International Symposium on Mathematical Foundations of Computer Science(MFCS)
    • 発表場所
      ワルシャワ,ポーランド.
    • 年月日
      2011-08-25
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成2011

    • 著者名/発表者名
      泉泰介
    • 学会等名
      2011年夏のLAシンポジウム
    • 発表場所
      静岡
    • 年月日
      2011-07-21
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Distributed Algorithms for Cooperative Mobile Robots : A Survey2011

    • 著者名/発表者名
      S.Souissi
    • 学会等名
      Second International Conference on Networking and Computing(ICNC)
    • 発表場所
      大阪府,日本(招待講演)
    • 関連する報告書
      2011 実績報告書
  • [学会発表] Physical Expander in Virtual Tree Overlay2011

    • 著者名/発表者名
      T.Izumi
    • 学会等名
      25th International Symposium on Distributed Computing (DISC)
    • 発表場所
      ローマ,イタリア
    • 関連する報告書
      2011 実績報告書
  • [学会発表] The BG-simulation for Byzantine Mobile Robots2011

    • 著者名/発表者名
      T.Izumi
    • 学会等名
      25th International Symposium on Distributed Computing (DISC)
    • 発表場所
      ローマ,イタリア
    • 関連する報告書
      2011 実績報告書
  • [学会発表] On the Approximability of Minimum Topic Connected Overlay and Its Special Instances2011

    • 著者名/発表者名
      M.Steinova
    • 学会等名
      36th International Symposium on Mathematical Foundations of Computer Science (MFCS)
    • 発表場所
      ワルシャワ,ポーランド
    • 関連する報告書
      2011 実績報告書
  • [学会発表] 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成2011

    • 著者名/発表者名
      泉泰介
    • 学会等名
      2011年夏のLAシンポジウム
    • 発表場所
      静岡県,日本
    • 関連する報告書
      2011 実績報告書
  • [学会発表] lmproving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks2010

    • 著者名/発表者名
      金原圭吾,泉泰介
    • 学会等名
      14th International Conference on Principle of Distributed Systems(OPODIS)
    • 発表場所
      トズル,チュニジア
    • 年月日
      2010-12-14
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility2010

    • 著者名/発表者名
      泉泰介
    • 学会等名
      The l2th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • 発表場所
      ニューヨーク,米国
    • 年月日
      2010-09-21
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] ビザンチン故障を含むロボット群の一点集合問題に対する強い不可能性2010

    • 著者名/発表者名
      泉泰介
    • 学会等名
      2010年夏の猛シンポジウム
    • 発表場所
      富山.
    • 年月日
      2010-07-20
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Doubly-Expedited One-step Byzantine Consensus2010

    • 著者名/発表者名
      泉泰介
    • 学会等名
      The 40th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
    • 発表場所
      シカゴ,米国
    • 年月日
      2010-06-29
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Mobile Robot Gathering Algorithm with Local Weak Multiplicity in Rings2010

    • 著者名/発表者名
      亀井清華,泉泰介
    • 学会等名
      17th International Colloquium on Structural Information and Communication Complexity (SIROCCO)
    • 発表場所
      シリンス,トノレコ.
    • 年月日
      2010-06-10
    • 関連する報告書
      2012 研究成果報告書
  • [学会発表] Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks2010

    • 著者名/発表者名
      Keigo Kinpara
    • 学会等名
      14th International Conference on Principle of Distributed Systems (OPODIS)
    • 発表場所
      トズル、チュニジア
    • 関連する報告書
      2010 実績報告書
  • [学会発表] Connectivity-Preserving Scattering of Mobile Robots with Limited Visibillty2010

    • 著者名/発表者名
      Taisuke Izumi
    • 学会等名
      The 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
    • 発表場所
      ニューヨーク、アメリカ
    • 関連する報告書
      2010 実績報告書
  • [学会発表] ビザンチン故障を含むロボット群の一点集合問題に対する強い不可能性2010

    • 著者名/発表者名
      泉泰介
    • 学会等名
      2010年夏のLAシンポジウム
    • 発表場所
      富山、日本
    • 関連する報告書
      2010 実績報告書

URL: 

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

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

Powered by NII kakenhi