確率ブーリアンネットワークの解析と制御のための計算手法

• Item type: SIG Technical Reports(1)
• 公開日: 2010-02-25
• タイトル: 確率ブーリアンネットワークの解析と制御のための計算手法
• タイトル / 言語: en
• タイトル: Computational Techniques for Analysis and Control of Probabilistic Boolean Networks
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 北陸先端科学技術大学院大学情報科学研究科
• 著者所属: 北陸先端科学技術大学院大学情報科学研究科
• 著者所属(英): en
• 著者所属(英): School of Information Science, Japan Advanced Institute of Science and Technology
• 著者所属(英): en
• 著者所属(英): School of Information Science, Japan Advanced Institute of Science and Technology
• 著者名: 小林, 孝一; 平石, 邦彦
• 著者名(英): Koichi, Kobayashi; Kunihiko, Hiraishi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 確率ブーリアンネットワーク （PBN） は，遺伝子ネットワークに代表される生体ネットワークのモデルの一つであり，盛んに研究が行われている．本論文では，PBN の可到達性および安全性の解析と最適制御のための計算手法を提案する．最適制御では，整数計画法を用いた手法を提案する．可到達性および安全性の解析では，確率モデル検査ツールを用いた手法を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A probabilistic Boolean network (PBN) is one of the models of biological networks such as gene regulatory networks, and has been extensively studied. In this paper, computational techniques for reachability/safety analysis and optimal control are proposed. In optimal control, an integer programming-based method is proposed. In reachability/safety analysis, a model checking approach is proposed.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12055912
• 書誌情報: 研究報告バイオ情報学（BIO）; 巻 2010-BIO-20, 号 10, p. 1-8, 発行日 2010-02-25
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会