• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A Theory of Tera-scale Distributed Computing -- On Autonomy

Research Project

Project/Area Number 22300004
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Fundamental theory of informatics
Research InstitutionKyushu University

Principal Investigator

YAMASHITA Masafumi  九州大学, システム情報科学研究科(研究院, 教授 (00135419)

Project Period (FY) 2010-04-01 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥17,550,000 (Direct Cost: ¥13,500,000、Indirect Cost: ¥4,050,000)
Fiscal Year 2014: ¥2,990,000 (Direct Cost: ¥2,300,000、Indirect Cost: ¥690,000)
Fiscal Year 2013: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2012: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2011: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2010: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Keywords分散計算論 / 分散計算構造 / 自律性 / 合意形成 / 巨大分散システム / 分散システム / 分散ロボットシステム / ランダム性 / 匿名性 / 自己安定化 / 局所記憶 / 確率的システム / 情報交換の局所性 / 自己組織化 / 乱歩 / マルコフ連鎖 / 確率的自己安定
Outline of Final Research Achievements

A typical distributed problem known as the agreement problem commonly arises from many problems in many different areas, when we look into the distributed computation structure of a problem, ignoring proper aspects and restrictions of each area. Examples are understanding how functionalities emerges in biomolecule systems, controlling positions of autonomous mobile robots, consistency control in database systems, and election in human society. In the light of this fact, we have introduced and studied the problem of constructing a generic theory of distributed computing for understanding and controlling huge distributed systems.
In this project, we focused on autonomy, and investigated why natural distributed systems consisting of primitive elements that even do not have identifiers or memory, can have rich autonomous properties from the view of distributed computing, and constructed a method to implement these autonomous properties to huge distributed systems.

Report

(6 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • 2011 Annual Research Report
  • 2010 Annual Research Report
  • Research Products

    (44 results)

All 2015 2014 2013 2012 2011 2010

All Journal Article (7 results) (of which Peer Reviewed: 7 results,  Acknowledgement Compliant: 1 results) Presentation (37 results)

  • [Journal Article] Forming sequences of geometric patterns with oblivious mobile robots2015

    • Author(s)
      Shantanu Das, Paola Flocchini, Nicola Santoro, Masafumi Yamashita
    • Journal Title

      Distributed Computing

      Volume: 28 Issue: 2 Pages: 131-145

    • DOI

      10.1007/s00446-014-0220-9

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] The Gathering Problem for Two Oblivious Robots with Unreliable Compasses2012

    • Author(s)
      Taisuke Izumi
    • Journal Title

      SIAM Journal on Computing

      Volume: 41(1) Issue: 1 Pages: 26-46

    • DOI

      10.1137/100797916

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Probabilistic Self-Stabilization and Biased Random Walks on Dynamic Graphs2012

    • Author(s)
      Masafumi Yamashita
    • Journal Title

      International Journal of Networking and Computing

      Volume: 2 Pages: 147-159

    • NAID

      130005475374

    • Related Report
      2012 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Broadcastings and digit tilings on three-dimensional torus networks2011

    • Author(s)
      Ryotaro Okazaki, Hirotaka Ono, Taizo Sadahiro, Masafumi Yamashita
    • Journal Title

      Theor. Comput. Sci

      Volume: 412(4-5) Issue: 4-5 Pages: 307-319

    • DOI

      10.1016/j.tcs.2010.09.028

    • Related Report
      2011 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Broadcastings and digit tilings on three-dimensional torus networks2011

    • Author(s)
      R.Okazaki, H.Ono, T.Sadahiro, M.Yamashita
    • Journal Title

      Theoretical Computer Science

      Volume: 412(4-5) Pages: 307-319

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Upper and Lower Bounds of Space Complexity of Self-Stabilizing Leader Election in Mediated Population Protocol2010

    • Author(s)
      Ryu Mizoguchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita
    • Journal Title

      OPODIS 2010

      Pages: 491-503

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On the computational power of oblivious robots : forming a series of geometric patterns2010

    • Author(s)
      Shantanu Das, Paola Flocchini, Nicola Santoro, Masafumi Yamashita
    • Journal Title

      Proceeding of PODC 2010

      Pages: 267-276

    • Related Report
      2010 Annual Research Report
    • Peer Reviewed
  • [Presentation] 有向グラフにおけるパリティハミルトン閉路問題2015

    • Author(s)
      西山宏,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      第152回アルゴリズム研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2015-03-03
    • Related Report
      2014 Annual Research Report
  • [Presentation] パリティハミルトン閉路問題2015

    • Author(s)
      西山宏,小林佑輔, 山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      第151回アルゴリズム研究会
    • Place of Presentation
      名古屋工業大学
    • Year and Date
      2015-01-13 – 2015-01-14
    • Related Report
      2014 Annual Research Report
  • [Presentation] splitグラフ上の全域木混雑度問題に対する反復丸めを用いた近似アルゴリズム2014

    • Author(s)
      久保浩平,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      第150回アルゴリズム研究会
    • Place of Presentation
      大濱信泉記念館
    • Year and Date
      2014-11-20 – 2014-11-21
    • Related Report
      2014 Annual Research Report
  • [Presentation] 移動ビザンチン故障の移動性とビザンチン合意問題の困難さ2014

    • Author(s)
      佐々木徹,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      第150回アルゴリズム研究会
    • Place of Presentation
      大濱信泉記念館
    • Year and Date
      2014-11-20 – 2014-11-21
    • Related Report
      2014 Annual Research Report
  • [Presentation] 安定結婚問題における最適選好マッチングの端点集合族の性質2014

    • Author(s)
      平川瑞樹,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      第150回アルゴリズム研究会
    • Place of Presentation
      伝国の杜
    • Year and Date
      2014-09-12
    • Related Report
      2014 Annual Research Report
  • [Presentation] On Self-Adjusting Optimal Binary Search Trees2014

    • Author(s)
      Tadahiro Matsukawa, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      The 17th Korea-Japan Joint Workshop on Algorithms and Computation
    • Place of Presentation
      Okinawa, Japan
    • Year and Date
      2014-07-13 – 2014-07-15
    • Related Report
      2014 Annual Research Report
  • [Presentation] 安定結婚問題における最適選好マッチングの端点集合族2014

    • Author(s)
      平川瑞樹, 山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      日本OR学会「最適化の理論と応用」研究部会 -- 未来を担う若手研究者の集い2014 --
    • Place of Presentation
      筑波大学
    • Year and Date
      2014-05-31 – 2014-06-01
    • Related Report
      2014 Annual Research Report
  • [Presentation] 自己適応最適二分探索木の研究2014

    • Author(s)
      松川理拓,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      火の国情報シンポジウム2014
    • Place of Presentation
      大分大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] Mobile Byzantine Agreement on Arbitrary Network2013

    • Author(s)
      Toru Sasaki, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita
    • Organizer
      The 17th International Conference on Principles of Distributed Systems (OPODIS 2013)
    • Place of Presentation
      Nice, France
    • Related Report
      2013 Annual Research Report
  • [Presentation] Rendezvous of Two Robots with Constant Memory2013

    • Author(s)
      Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Masafumi Yamashita
    • Organizer
      The 17th International Conference on Principles of Distributed Systems (OPODIS 2013)
    • Place of Presentation
      Nice, France
    • Related Report
      2013 Annual Research Report
  • [Presentation] Expressivity of Time-Varying Graphs2013

    • Author(s)
      Arnaud Casteigts, Paola Flocchini, Emmanuel Godard, Nicola Santoro, Masafumi Yamashita
    • Organizer
      The 19th International Symposium on Fundamentals of Computation Theory (FCT2013)
    • Place of Presentation
      Liverpool, United Kingdom
    • Related Report
      2013 Annual Research Report
  • [Presentation] Any max-cardinality popular matching in a stable marriage problem consists of the same people2013

    • Author(s)
      Mizuki Hirakawa, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
    • Organizer
      The 8th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications
    • Place of Presentation
      Veszprem, Hungary
    • Related Report
      2013 Annual Research Report
  • [Presentation] A randomized streaming algorithm for finding distinction of frequent items in distributed systems2013

    • Author(s)
      Naoto Sonoda, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
    • Organizer
      The 8th Japanese-Hungarian Symposium on Discrete Mathematics and Its Application
    • Place of Presentation
      Veszprem, Hungary
    • Related Report
      2013 Annual Research Report
  • [Presentation] ラーマングラフに対する局所交換アルゴリズム2013

    • Author(s)
      Taufiqurrachman,山内由紀子, 来嶋秀治, 山下雅史
    • Organizer
      2013年度 夏のLAシンポジウム
    • Place of Presentation
      休暇村 志賀島
    • Related Report
      2013 Annual Research Report
  • [Presentation] 森および連結全域部分グラフの乱択近似数え上げ2013

    • Author(s)
      三原勇治
    • Organizer
      2012年度 冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所,京都
    • Related Report
      2012 Annual Research Report
  • [Presentation] ロータールーターモデルの設計手法の提案2012

    • Author(s)
      白髪丈晴
    • Organizer
      情報処理学会九州支部火の国シンポジウム2012
    • Place of Presentation
      九州工業大学(福岡)
    • Year and Date
      2012-03-16
    • Related Report
      2011 Annual Research Report
  • [Presentation] 定数次数グラフの同型性判定アルゴリズムの実装2012

    • Author(s)
      園田尚人
    • Organizer
      情報処理学会九州支部火の国シンポジウム2012
    • Place of Presentation
      九州工業大学(福岡)
    • Year and Date
      2012-03-15
    • Related Report
      2011 Annual Research Report
  • [Presentation] LamanグラフとM-CircuitsのHenneberg分解の列挙について2012

    • Author(s)
      タウフィックラチマン
    • Organizer
      情報処理学会九州支部火の国シンポジウム2012
    • Place of Presentation
      九州工業大学(福岡)
    • Year and Date
      2012-03-15
    • Related Report
      2011 Annual Research Report
  • [Presentation] 確率的スケジューラの下での確率的自己安定2012

    • Author(s)
      山内由紀子
    • Organizer
      2011年度冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所(京都)
    • Year and Date
      2012-01-31
    • Related Report
      2011 Annual Research Report
  • [Presentation] Asynchronous pattern formation by anonymous oblivious mobile robots2012

    • Author(s)
      Nao Fujinaga
    • Organizer
      The 26th International Symposium on Distributed Computing
    • Place of Presentation
      Pestana Bahia Hotel, Brazil
    • Related Report
      2012 Annual Research Report
  • [Presentation] The Power of Lights: Synchronizing Asynchronous Robots Using Visible Bits2012

    • Author(s)
      Shantanu Das
    • Organizer
      The 32nd International Conference on Distributed Computing Systems
    • Place of Presentation
      Venetian Macao-Resort-Hotel, Macau, China
    • Related Report
      2012 Annual Research Report
  • [Presentation] Hitting time and cover time on dynamic graphs2012

    • Author(s)
      Kosuke Koba
    • Organizer
      The 36th Australasian Conference on Combinatorial Mathematics and Combinatorial Computing (ACCMCC)
    • Place of Presentation
      University of New South Wales, Sydney, Australia
    • Related Report
      2012 Annual Research Report
  • [Presentation] Fast random walk and its stationary distribution2012

    • Author(s)
      Yusuke Hosaka
    • Organizer
      The 36th Australasian Conference on Combinatorial Mathematics and Combinatorial Computing (ACCMCC)
    • Place of Presentation
      University of New South Wales, Sydney, Australia
    • Related Report
      2012 Annual Research Report
  • [Presentation] ポピュラーマッチングの解構造に対する一考察2012

    • Author(s)
      平川瑞樹
    • Organizer
      日本OR学会九州支部 第3回若手OR研究交流会
    • Place of Presentation
      北九州市立大学,福岡
    • Related Report
      2012 Annual Research Report
  • [Presentation] 安定結婚問題におけるポピュラーマッチングの解構造に対する一考察2012

    • Author(s)
      平川瑞樹
    • Organizer
      平成24年度(第65回)電気関係学会九州支部連合大会
    • Place of Presentation
      長崎大学,長崎
    • Related Report
      2012 Annual Research Report
  • [Presentation] 剛性グラフに対する局所交換可能性2012

    • Author(s)
      Taufiqurrachman
    • Organizer
      平成24年度(第65回)電気関係学会九州支部連合大会
    • Place of Presentation
      長崎大学,長崎
    • Related Report
      2012 Annual Research Report
  • [Presentation] 完全k部グラフにおける移動ビザンチン合意問題アルゴリズムの提案2012

    • Author(s)
      佐々木徹
    • Organizer
      平成24年度(第65回)電気関係学会九州支部連合大会
    • Place of Presentation
      長崎大学,長崎
    • Related Report
      2012 Annual Research Report
  • [Presentation] パリティ最長路問題2012

    • Author(s)
      西山宏
    • Organizer
      平成24年度(第65回)電気関係学会九州支部連合大会
    • Place of Presentation
      長崎大学,長崎
    • Related Report
      2012 Annual Research Report
  • [Presentation] A randomized algorithm for finding frequent elements in streams using O(loglog N) space2011

    • Author(s)
      Masatora Ogata
    • Organizer
      The 22nd International Symposium on Algorithms and Computation (ISAAC 2011)
    • Place of Presentation
      Workpia Yokohama, Kanagawa
    • Year and Date
      2011-12-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] グラフ上のランダムウォークとその高速化2011

    • Author(s)
      野中良哲
    • Organizer
      日本オペレーションズ・リサーチ学会2011年秋季研究発表会
    • Place of Presentation
      甲南大学(兵庫)
    • Year and Date
      2011-09-15
    • Related Report
      2011 Annual Research Report
  • [Presentation] 多種ランダムウォークにおける全訪問時間の上下界2011

    • Author(s)
      穂坂祐輔
    • Organizer
      2011年度夏のLAシンポジウム
    • Place of Presentation
      ザヴィラ浜名湖(静岡)
    • Year and Date
      2011-07-21
    • Related Report
      2011 Annual Research Report
  • [Presentation] 離散構造に着目したグラフ上のランダムウォーク高速化の解析2011

    • Author(s)
      野中良哲
    • Organizer
      2011年度夏のLAシンポジウム
    • Place of Presentation
      ザヴィラ浜名湖(静岡)
    • Year and Date
      2011-07-21
    • Related Report
      2011 Annual Research Report
  • [Presentation] エレベータのオンラインアルゴリズムに対する解析2011

    • Author(s)
      深江脩紀
    • Organizer
      2011年度夏のLAシンポジウム
    • Place of Presentation
      ザヴィラ浜名湖(静岡)
    • Year and Date
      2011-07-19
    • Related Report
      2011 Annual Research Report
  • [Presentation] On cover time of multiplex random walks2011

    • Author(s)
      Yusuke Hosaka
    • Organizer
      The 14th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2011)
    • Place of Presentation
      Haeundae, Busan, Korea
    • Year and Date
      2011-07-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] Random walks on dynamic graphs2011

    • Author(s)
      Kosuke Koba
    • Organizer
      The 14th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2011)
    • Place of Presentation
      Haeundae, Busan, Korea
    • Year and Date
      2011-07-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] On random maze via Markov chain Monte Carlo2011

    • Author(s)
      Yuji Mihara
    • Organizer
      The 14th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2011)
    • Place of Presentation
      Haeundae, Busan, Korea
    • Year and Date
      2011-07-08
    • Related Report
      2011 Annual Research Report
  • [Presentation] SS-LEメディエイテッドポピュレーションプロトコルの設計と解析2010

    • Author(s)
      溝口隆, 小野廣隆, 来嶋秀治, 山下雅文
    • Organizer
      2010年度夏のLAシンポジウム
    • Place of Presentation
      九殿浜温泉ひみのはな
    • Year and Date
      2010-07-20
    • Related Report
      2010 Annual Research Report

URL: 

Published: 2010-08-23   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi