書誌事項
- タイトル別名
-
- Petri net based discrete-event modeling of a nuclear plant
この論文をさがす
抄録
本報告では.原子力プラントのモデル化としてペトリネットを用いた離散事象モデリング法を紹介する.達続変数システムを離散事象システムとしてモデル化する方法は,これまでに数多く提案されているが,定性推論において挙動予測の不完全性(あいまい性や,にせの挙動生成)という問題がある.それを解決するために,これまでは特殊な制約を付け加えるなどの方法がなされてきた.ここで紹介する方法は,一般的な定性推論に特殊な制約を含んだアルゴリズムをペトリネットで表現して定性推論を行なうという方式である.この方式によって正しい挙動ができることを示す.
収録刊行物
-
- 電子情報通信学会技術研究報告. CST, コンカレント工学
-
電子情報通信学会技術研究報告. CST, コンカレント工学 95 (471), 17-22, 1996-01-19
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1573105977281099264
-
- NII論文ID
- 110003300053
-
- NII書誌ID
- AN10438446
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles