研究課題/領域番号 |
20700265
|
研究種目 |
若手研究(B)
|
配分区分 | 補助金 |
研究分野 |
生体生命情報学
|
研究機関 | 東京大学 |
研究代表者 |
長崎 正朗 東京大学, 医科学研究所, 助教 (90396862)
|
研究期間 (年度) |
2008 – 2009
|
研究課題ステータス |
完了 (2009年度)
|
配分額 *注記 |
4,160千円 (直接経費: 3,200千円、間接経費: 960千円)
2009年度: 2,210千円 (直接経費: 1,700千円、間接経費: 510千円)
2008年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円)
|
キーワード | ペトリネット / オントロジー / 視覚的デバッグ / モデル検査 / OWL / HFPNe / 細胞分化 / ASTD |
研究概要 |
高機能ペトリネット(Hybrid Functional Petri net以下HFPNe)とその実用に耐えうる実装を行い成果を挙げてきている。本研究では、HFPNeにモデル検査の手法を導入するための定式化を行った。さらに、線虫の細胞分化にかかわるシグナル伝達を含む細胞間の制御モデルのシミュレーションモデルを、HFPNeを用い作成するとともに、そのモデル検査を行い妥当な細胞分化の規則の同定に成功した。また、HFPNeでモデル化されたパスウェイについて動的に変化する部分グラフの遷移構造を抽出する技術開発を行い。概日リズムのパスウェイモデルに適用し有用性を示した。
|