抄録
プラントなどの大規模物理系に対する, 定性シミュレーションアルゴリズムを開発した.プラントのような大規模物理系においては, 状態変数が多く複雑に作用しあうため, 数値的なシミュレーションは不可能であったり, 数式に基づくモデルが得られない場合がある.そのため, 本論文では, 変数間の作用関係をアークとする定性ネットワークモデルを用い, ネットワーク上での定性シミュレーションについて考察した.そのアルゴリズムは基本的にはdekleerのアルゴリズムを定性ネットワーク上で応用したもので次に述べる特徴を持つ. (1) 値伝播を静的伝播と動的伝播に分けることで定性シミュレーションに特徴的な分岐の数を減らした. (2) 静的伝播に伴う決定不能な変数と発生をバランス機能により抑えた. (3) ネットワーク上で一貫性を保ちながら値伝播を行なうことができる.
