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

On the Stability of Huge-scale Distributed Systems - the Advent of the Era of Tera

Research Project

Project/Area Number 14380145
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionKYUSHU UNIVERSITY

Principal Investigator

YAMASHITA Masafumi  Kyushu University, School of Information Science and Electrical Engineering, Professor, 大学院・システム情報科学研究院, 教授 (00135419)

Co-Investigator(Kenkyū-buntansha) SADAKANE Kunihiko  Kyushu University, School of Information Science and Electrical Engineering, Associate Professor, 大学院・システム情報科学研究院, 助教授 (20323090)
ASAHIRO Yuichi  Kyushu Sangyo University, Faculty of Information Science, Associate Professor, 情報科学部, 助教授 (40304761)
ONO Hirotaka  Kyushu University, School of Information Science and Electrical Engineering, Research Associate, 大学院・システム情報科学研究院, 助手 (00346826)
Project Period (FY) 2002 – 2005
Project Status Completed (Fiscal Year 2005)
Budget Amount *help
¥9,400,000 (Direct Cost: ¥9,400,000)
Fiscal Year 2005: ¥1,700,000 (Direct Cost: ¥1,700,000)
Fiscal Year 2004: ¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 2003: ¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 2002: ¥2,700,000 (Direct Cost: ¥2,700,000)
KeywordsHuge distributed systems / stability / probabilistic methods / global information / local information / distributed algorithms / 統計力学的手法 / ランダムウォーク / 自己安定システム / ランダムウォー
Research Abstract

Unlike the conventional concept of distributed system, by a distributed system, we mean a one consisting of autnomonous agents that can communicate with each other by some communication devices, including for example a system of autonomous mobile robots, not only usual distributed systems on computer networks. Some huge distributed system like WWW consists of several GIGAs of agents and the era that the size of a distributed system is counted by TERAs is just around the corner.
Targets of this research are such huge distributed systems. The huge distributed systems can be characterized as follows ; first, the topology changes so rapid that each agent cannot ignore it, but second, the amount of local information that each process can collect relatively shrinks compared with the amount of global information.
The objectives of the research are to establish the concepts of the stability of the system and the correctness of the protocol, and propose methods to design correct protocols to keep the stability of a given distributed system.
In the following, we explain results of this research project by partitioning them into three groups. The first group contains papers on probabilistic search methods for huge distributed systems. A highlight among the results is about random walks using local information ; those random walks achieve the optimal hitting time and hence this local information is as powerful as the global information, as long as the hitting time is concerned.
The second group consists of papers on stabilizing protocols for huge distributed systems. We in one of the papers introduced the concept of stabilization for dynamic distributed systems, and presented a stabilizing token circulation protocol. The third collects search problems on plane, which appears frequently in robot systems. Note that papers in the publication list are selected from the works done in 2005.

Report

(5 results)
  • 2005 Annual Research Report   Final Research Report Summary
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • 2002 Annual Research Report
  • Research Products

    (55 results)

All 2006 2005 2004 Other

All Journal Article (32 results) Publications (23 results)

  • [Journal Article] A Probabilistic Model of the DNA Conformational Change,2006

    • Author(s)
      M.shirozaki, H.Ono, K.Sadakane, M.Yamashita
    • Journal Title

      12th International Workshop on DNA Based Computers, (印刷中)

    • NAID

      120006655004

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Generic Search Strategy for large Scale Real World Networks,2006

    • Author(s)
      Y.Kurumida, T.Ogata, H.Ono, K.Sadakane, M.Yamashita
    • Journal Title

      First International Comference on Scalable Information systems, (印刷中)

    • NAID

      120006654471

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Randomized 1-Latent,Time-adaptive and Safe Self-Stabilizing Mutual Exclusion Protocol2006

    • Author(s)
      J.Kiniwa, M.Yamashit
    • Journal Title

      Parallel Processing Letters 16,1,

      Pages: 53-61

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Probabilistic Model of the DNA Conformatinal Change,2006

    • Author(s)
      M.Shiozaki, H.Ono, K.Sadakane, M.Yamashita
    • Journal Title

      12th International Workshop on DNA Based Computers (to appear)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Generic Search Strategy for Large Scale Real World Networks,2006

    • Author(s)
      Y.Kurumida, T.Ogata, H.Ono, K.Sadakane, M.Yamashita
    • Journal Title

      First International Conference on Scalable Information Systems (to appear)

    • NAID

      120006654471

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] A Randomized 1-Latent, Time-Adaptive and Safe Self-Stabilizing Mutual Exclusion Protocol,2006

    • Author(s)
      J.Kiniwa, M.Yamashita
    • Journal Title

      Parallel Processing Letters 16,1

      Pages: 53-61

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Transversal Merge Operation : A Nondominated Coterie Construction Method for distributed Mutual exclusion2005

    • Author(s)
      T.Harada, M.Yamashita:
    • Journal Title

      IEEE Transactions on Parallel and distributed systems 16,2,

      Pages: 183-192

    • NAID

      120000881784

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Modeling DNA Conformation Change and Theoretical Analysis on the Reaction Rate2005

    • Author(s)
      M.shiozaki, H.Ono, K.Sadakane, M.Yamashita
    • Journal Title

      Preproceedings of DNA Computing,11th International Workshop on DNA Based Computers

      Pages: 408-408

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Energy-Optimal Online Algorithms for Broadcasting in Wireless Networks2005

    • Author(s)
      S.Kutten, H.Ono, D.Peleg, K.Sadakane, M.Yamashita:
    • Journal Title

      IEEE The Second Annual Conference on Wireless On demand Network Systems and Services

      Pages: 125-130

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Transversal Merge Operation : A Nondominated Coterie Construction Method for Distributed Mutual Exclusion,2005

    • Author(s)
      T.Harada, M.Yamashita
    • Journal Title

      IEEE Transactions on Parallel and Distributed Systems 16,2

      Pages: 183-192

    • NAID

      120000881784

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Modeling DNA Conformation Change and Theoretical Analysis on the Reaction Rate2005

    • Author(s)
      M.Shiozaki, H.Ono, K.Sadakane, M.Yamashita
    • Journal Title

      Preproceedings of DNA Computing, 11th International Workshop on DNA Based Computers London, Ontario, Canada

      Pages: 408-408

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Energy-Optimal Online Algorithms for Broadcasting in Wireless Networks2005

    • Author(s)
      S.Kutten, H.Ono, D.Peleg, K.Sadakane, M.Amashita
    • Journal Title

      IEEE The Second Annual Conference on Wireless On demand Network Systems and Services, WONS 2005, St.Moritz, Switzerland

      Pages: 125-130

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2005 Final Research Report Summary
  • [Journal Article] Circuit Switched Broadcastings and Digit Tilings on Torus Networks2005

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

      Proceedings of the 4th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications

      Pages: 288-295

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A Local Search Based Barrier Height Estimation Algorithm for DNA Molecular Transitions2005

    • Author(s)
      T.Takeda, H.Ono, K.Sadakane, M.Yamashita
    • Journal Title

      Preproceedings of the 11th International Meeting on DNA Computing, DNA11

      Pages: 354-365

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Modeling DNA Conformation Change and Theoretical Analysis on the Reaction Rate2005

    • Author(s)
      M.Shiozaki, H.Ono, K.Sadakane, M.Yamashita
    • Journal Title

      Preproceedings of the 11th International Meeting on DNA Computing, DNA11

      Pages: 408-408

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 故障計数器を用いた合意問題を解くアルゴリズム2005

    • Author(s)
      坂田 敦, 小野 廣隆, 定兼 邦彦, 山下 雅史
    • Journal Title

      第58回電気関係学会九州支部連合大会予稿集

      Pages: 468-468

    • NAID

      130004607934

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 進化的ネットワークにおける探索アルゴリズムの提案2005

    • Author(s)
      緒方司, 小野廣隆, 定兼邦彦, 山下雅史
    • Journal Title

      2005年冬のLAシンポジウム 京都大学数理解析研講究録 1426

      Pages: 84-90

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 分子構造変化のモデル化と反応速度の理論的解析2005

    • Author(s)
      塩崎真史, 小野廣隆, 定兼邦彦, 山下雅史
    • Journal Title

      2005年冬のLAシンポジウム 京都大学数理解析研講究録 1426

      Pages: 238-244

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Combinatorics and algorithms on low-discrepancy roundings of a real sequence2005

    • Author(s)
      K.Sadakane, N.Takki-Chebihi, T.Tokuyama
    • Journal Title

      Theoretical Computer Science 331-1

      Pages: 23-36

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Dynamic Dictionary Matching and Compressed Suffix Trees2005

    • Author(s)
      H.L.Chan, W.K.Hon, T.W.Lam, K.Sadakane
    • Journal Title

      Proc.ACM-SIAM SODA (印刷中)

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Energy-Optimal Online Algorithms for Broadcasting in Wireless Networks2005

    • Author(s)
      Shay Kutten, Hirotaka Ono, David Peleg, Kunihiko Sadakane, Masa
    • Journal Title

      Proc.WONS

      Pages: 125-130

    • Related Report
      2004 Annual Research Report
  • [Journal Article] k-Coteries for Tolerating Network 2-Partition2004

    • Author(s)
      T.Harada, M.Yamashita
    • Journal Title

      IEEE Trans.Parallel and Distributed Systems 15・7

      Pages: 666-672

    • NAID

      120000881785

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Searching a Polygonal Region by a Group of Stationary k-Searchers2004

    • Author(s)
      M.Yamashita, I.Suzuki, T.Kameda
    • Journal Title

      Information Processing Letters 92・1

      Pages: 1-9

    • Related Report
      2004 Annual Research Report
  • [Journal Article] High Speed Formations of Reconfigurable Modular Robotic Systems2004

    • Author(s)
      A.Dumitrescu, I.Suzuki, M.Yamashita
    • Journal Title

      Int'l Journal on Robotic Research 23・6

      Pages: 583-593

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Motion Planning for Metamorphic Systems : Feasibility, Decidability and Distributed Reconfiguration2004

    • Author(s)
      A.Dumitrescu, I.Suzuki, M.Yamashita
    • Journal Title

      IEEE Trans.Robotics and Automation 20・3

      Pages: 409-418

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 無線通信プロトコルの理論的研究の現状(招待解説論文)2004

    • Author(s)
      中野浩嗣, 山下雅史
    • Journal Title

      電子情報通信学会誌 87-4

      Pages: 342-344

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Neighborhood Composition : A Parallelization of Local Search Algorithms2004

    • Author(s)
      Y.Handa, H.Ono, K.Sadakane, M.Yamashita
    • Journal Title

      Proc.11th European PVM/MPI Users' Group Meeting, LNCS 3241

      Pages: 155-163

    • NAID

      130004607933

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Web Page Scoring Method for Local Web Search Engines2004

    • Author(s)
      Y.Ikawa, K.Sadakane
    • Journal Title

      Proc.of DASFAA, LNCS 2973

      Pages: 606-617

    • NAID

      110003178800

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Compressed Index for Dynamic Text2004

    • Author(s)
      W.K.Hon, T.W.Lam, K.Sadakane, W.K.Sung
    • Journal Title

      Proceedings of IEEE Data Compression Conference(DCC 2004)

      Pages: 102-111

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Rooted Maximum Agreement Supertrees2004

    • Author(s)
      J.Jansson, H.K.Ng, K.Sadakane, W.K.Sung
    • Journal Title

      Proc.of LATIN, LNCS 2976

      Pages: 499-508

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Advantages of Backward Searching---Efficient Secondary Memory and Distributed Implementation of Compressed Suffix Arrays2004

    • Author(s)
      V.M{"a}kinen, G.Navarro, K.Sadakane
    • Journal Title

      Proc.of ISAAC, LNCS 3341

      Pages: 681-692

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Decomposability Index in Logical Analysis of Data2004

    • Author(s)
      H.Ono, M.Yagiura, T.Ibaraki
    • Journal Title

      Discrete Applied Mathematics 142,1-3

      Pages: 165-180

    • Related Report
      2004 Annual Research Report
  • [Publications] Y.Asahiro, M.Ishibashi, Masafumi Yamashit: "Independent and Cooperative Parallel Search Methods"Journal of Optimization Methods and Software. 18・2. 129-141 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] S.Ikeda, I.Kubo, N.Okumoto, M.Yamashita: "Impact of Local Topological Information on Random Walks on Finite Graphs"Proc.30th International Colloquium on Automata, Languages and Programming (ICALP2003). 1054-1067 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] S.Ikeda, I.Kubo, M.Yamashita: "Reducing the Hitting and the Cover Times of Random Walks on Finite Graphs by Local Topological Information"The 2003 International Conference on VLSI. 203-207 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 伊川 洋平, 定兼 邦彦: "サイト内検索エンジンのためのスコアリング手法"日本データベース学会Letters. 115-118 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] Takashi Harada, Masafumi Yamashita: "Transversal Merge Operation and Nondominated Grid Coteries"Proc.15th IASTED International Conference Parallel and Distributed Computing and Systems (PDCS2003). 128-133 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] C.Y.Koo, T.W.Lam, T.W.Nganb, K.Sadakane, K.K.To: "On-line Scheduling with Tight Deadlines"Theoretical Computer Science. 295 1-3. 251-261 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] Kazuhisa Makino, Hirotaka Ono, Toshihide Ibaraki: "Interior and exterior functions of positive Boolean functions"Discrete Applied Mathematics. 130・3. 417-436 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] Kunihiko Sadakane: "New Text Indexing Functionalities of the Compressed Suffix Arrays"Journal of Algorithms. 48-2. 1054-1067 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] W.K.Hon, K.Sadakane, W.K.Sung: "Breaking a Time-and-Space Barrier in Constructing Full-Text Indices"Proc.IEEE FOCS. 251-260 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] W.K.Hon, T.W.Lam, K.Sadakane, W.K.Sung: "Constructing Compressed Suffix Arrays with Large Alphabets"Proc.ISAAC. 2906. 240-249 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] W.K.Hon, K.Sadakane, W.K.Sung: "Succinct Data Structures for Searchable Partial Sums"Proc.ISAAC. 2906. 505-516 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] J.Chun, K.Sadakane, T.Tokuyama: "Linear Time Algorithm for Approximating a Curve by a Single-Peaked Curve"Proc.ISAAC. 2906. 6-15 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] J.Chun, K.Sadakane, T.Tokuyama: "Efficient Algorithms for Constructing a Pyramid from a Terrain"Discrete and Computational Geometry. 2866. 108-117 (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] C.Choy, J.Jansson, K.sadakane, W.K.Sung: "On the Computational Complexity of the Maximum Agreement Phylogenetic Subnetwork Problem"Proc.Computing : The Australasian Theory Symposium (CATS2004). 1-16 (2004)

    • Related Report
      2003 Annual Research Report
  • [Publications] A.Dumitrescu, I.Suzuki, M.Yamashita: "High Speed Formations of Reconfigurable Modular Robotic Systems"Proc. 2002 IEEE International Conference on Robotics and Automation. 123-128 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] H.Kakugawa, M.Yamashita: "Uniform and Self-Stabilizing Fair Mutual Exclusion on Unidirectional Rings with Unfair Distributed Daemon"Journal of Parallel and Distributed Computing. 62. 885-898 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] K.Makino, M.Yamashita, T.Kameda: "Max-and Min-Neighborhood Monopolies"Algorithmica. 34. 240-260 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] S.Ikeda, N.Okumoto, I.Kubo, M.Yamashita: "Fair Circulation of a Token"IEEE Trans. Parallel and Distributed Systems. 13・4. 367-372 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] T.Harada, M.Yamashita: "k-Coteries for Tolerating Network 2-Partition"Proc. 6th International Conference On Principles Of DIstributed Systems (OPODIS'02). 119-126 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] H.Kakugawa, M.Yamashita: "Self-Stabilizing Local Mutual Exclusion on Networks in which Process Identifiers are not Distinct"Proc. 21th IEEE Symposium on Reliable Distributed Systems. 202-211 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] E.Ando, M.Yamashita, T.Nakata, Y.Matsunaga: "The Statistical Longest Path Problem and Its Application to Delay Analysis of Logical Circuits"Proc. TAU'02:20th Int'l Workshop on Timing Issues in the Specifications and Synthesis of Digital Systems. 134-149 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] M.Ishibashi, Y.Asahiro, M.Yamashita: "Parallelization of a Local Search Method for the Generalized Assignment Problem"Proc. of the Second Japanese-Sino Optimization Meeting (JSOM2002). 85-85 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 石橋正裕, 小野廣隆, 朝廣雄一, 山下雅史: "メタ戦略アルゴリズムに対するロバストな並列化"冬のLAシンポジウム2003. 1-8 (2003)

    • Related Report
      2002 Annual Research Report

URL: 

Published: 2002-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi