講演名 | 1996/1/19 ペトリネットによる原子力プラントの離散事象モデル 斎藤 貴光, 柴田 弘, 熊谷 貞俊, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 本報告では.原子力プラントのモデル化としてペトリネットを用いた離散事象モデリング法を紹介する.達続変数システムを離散事象システムとしてモデル化する方法は,これまでに数多く提案されているが,定性推論において挙動予測の不完全性(あいまい性や,にせの挙動生成)という問題がある.それを解決するために,これまでは特殊な制約を付け加えるなどの方法がなされてきた.ここで紹介する方法は,一般的な定性推論に特殊な制約を含んだアルゴリズムをペトリネットで表現して定性推論を行なうという方式である.この方式によって正しい挙動ができることを示す. |
抄録(英) | This paper deals with the discrete-event modeling of a nuclear plant based on Petri nets. Various methods of modeling continuous systems as discrete-event systems have been proposed, but qualitative simulation faces intrinsic problems such as predicting unrealistic behaviors and so on. In order to solve the problem, the method that a particular restriction are put on has been proposed. We propose Petri net discrete-event modeling which contains the particular restriction and show that the Petri net based method for qualitalive simulation can accurately predict the nuclear plant's behavior. |
キーワード(和) | 離散事象システム / 定性推論 / ペトリネット |
キーワード(英) | discrete-event system / qualitative simulation / Petri net |
資料番号 | CST95-31 |
発行日 |
研究会情報 | |
研究会 | CST |
---|---|
開催期間 | 1996/1/19(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Concurrent System Technology (CST) |
---|---|
本文の言語 | JPN |
タイトル(和) | ペトリネットによる原子力プラントの離散事象モデル |
サブタイトル(和) | |
タイトル(英) | Petri net based discrete-event modeling of a nuclear plant |
サブタイトル(和) | |
キーワード(1)(和/英) | 離散事象システム / discrete-event system |
キーワード(2)(和/英) | 定性推論 / qualitative simulation |
キーワード(3)(和/英) | ペトリネット / Petri net |
第 1 著者 氏名(和/英) | 斎藤 貴光 / T. Saito |
第 1 著者 所属(和/英) | 大阪大学 工学部 電気工学科 Dept. of Electoric Engineering, Osaka University |
第 2 著者 氏名(和/英) | 柴田 弘 / H. Shibata |
第 2 著者 所属(和/英) | 大阪大学 工学部 電気工学科 Dept. of Electoric Engineering, Osaka University |
第 3 著者 氏名(和/英) | 熊谷 貞俊 / S. Kumagai |
第 3 著者 所属(和/英) | 大阪大学 工学部 電気工学科 Dept. of Electoric Engineering, Osaka University |
発表年月日 | 1996/1/19 |
資料番号 | CST95-31 |
巻番号(vol) | vol.95 |
号番号(no) | 471 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |