電子機器用解析技術のシステムバイオロジーへの応用

• Project/Area Number: 19650006
• Research Category: Grant-in-Aid for Exploratory Research
• Allocation Type: Single-year Grants
• Research Field: Computer system/Network
• Research Institution: The University of Tokyo
• Principal Investigator: 藤田 昌宏 The University of Tokyo, 大規模集積システム設計教育研究センター, 教授 (70323524)
• Project Period (FY): 2007 – 2008
• Project Status: Completed (Fiscal Year 2008)
• Budget Amount: ¥3,300,000 (Direct Cost: ¥3,300,000); Fiscal Year 2008: ¥1,800,000 (Direct Cost: ¥1,800,000); Fiscal Year 2007: ¥1,500,000 (Direct Cost: ¥1,500,000)
• Keywords: システムバイオロジー / 設計支援 / ハードウェア化 / Next Reaction Method / Tau Leaping / 形式的手法

Research Abstract

本研究では、従来からハードウェアの設計支援や設計検証に用いられてきた手法によって、近年注日を集めているシステムバイオロジーにおけるシミュレーションや解析を効率的に行い、実験室で行う実験では観測が困難な現象の観測や生化学反応における内部状態の推定を実現することを目的としている。今年度は、まず、昨年度の一般的な調査の続きとして、ハードウェア実装による生化学システムのシミュレーションの高速実行に着目し、特に詳細な調査を行った。その結果として、既存研究lこよりNext Reaction Method(NRM)までの手法は高速なハードウェア実装が既に提案されており、それらにおいては浮動小数点演算処理の最適化が重要であることが分かった。次に、上記の調査結果を踏まえて、NRMよりも高速なシミュレーション手法であるTau Leaping(TL)に着目し、その高速なハードウェア実装について検討した。反応を一つずつ逐次処理しているNRMに対して、TLでは複数の反応が一つの時間区間で起こり得ることを前提としてそれらをまとめて処理している点に特徴がある。したがって、複数の反応を並列に処理することが可能であり、よりハードウェア実装に適していると考えられる。さらに、一つの反応あたりの除算処理数もNRMより少ない点も、ハードウェア実装に有利である。ただし、TLにはNRMには無い微分処理が含まれているが、差分式に近似して処理を行うことにより高速に実行可能である。比較実験として、実際のソフトウェアの生化学シミュレータであるStockSimによるシミュレーションと、FPGAであるVertex5によるハードウェア実行との比較を考えており、現在までにその環境構築が完了している。今後は、実際にシミュレーション速度を比較することにより、提案するハードウェア実装による高速化できていることを確認する予定である。