配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2011年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2010年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2009年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
|
研究概要 |
指数分布の発火遅延時間をもつ一般化確率ペトリネットに対して,各プレースにおける確率分布の分散を,流体モデル上のトランジションの区間発火速度で表現する方法を考案し,さらに,モデルが区間パラメータをもつ区分的線形システムで等価的に表現できることを示した。また,モデルのシミュレーションのために,常微分方程式に対する区間法を拡張した手法,および,連続状態システムに対する離散抽象化手法の一つである箱抽象化計算の高速化手法の2つを開発した。
|