ペトリネット解析手法を利用したプラント異常の検知
スポンサーリンク
概要
- 論文の詳細を見る
システムを安全に運転するためには,観測可能な測定データの組から異常を検知できることが必要である.本研究では,システムモデルとしてペトリネットを用い,プレースインバリアントの台集合に対応するサブシステムごとに異常検知を行いながら,システム全体の異常検知を行う方法を提案する.ここで用いるペトリネットモデルは異常検知だけでなく,統一モデルとして、計画・制御・運転等にも利用できると期待される.
- 社団法人電子情報通信学会の論文
- 2003-12-15
著者
-
大橋 一輝
名古屋大学工学研究科
-
小野木 克明
名古屋大学大学院工学研究科
-
橋爪 進
名古屋大学大学院工学研究科化学・生物工学専攻分子化学工学分野
-
伊藤 貴史
名古屋大学工学研究科
-
矢嶌 智之
名古屋大学工学研究科
-
栗本 英和
名古屋大学情報科学研究科
-
橋爪 進
名古屋大学大学院工学研究科
-
栗本 英和
名古屋大学大学院情報科学研究科
-
矢嶌 智之
名古屋大学大学院工学研究科
-
小野木 克明
名古屋大学
-
橋爪 悟
名大
-
橋爪 進
名大
-
小野木 克明
名大
関連論文
- 創成教育を目指した化学工学の実習と実験の試み--ジュースサーバーを作ろう--冷熱源からの効率的な熱の取り出し
- 与えられた動作を行う条件/事象ネットの最小実現に関する考察
- 条件/事象ネットの補助事象なし設計問題とその解法
- 条件/事象ネット設計問題の一つの定式化とその可解性
- 創成教育を目指した化学工学の実習と実験の試み : ジュースサーバーを作ろう-冷熱源からの効率的な熱の取り出し-
- ペトリネット解析手法を利用したプラント異常の検知
- システム・情報・シミュレーション
- 「高度総合工学創造実験」による創造性教育の実践
- システム・情報・シミュレーション
- NeO に基づく並行システム解析・設計のための支援システムの開発
- グラフ構造に基づく計算モデル構築システムの開発 : モデル変換系の自動生成
- 並行システムモデルNeOとその解析
- 離散事象系モデリングの一手法について
- 与えられた動作を行う条件/事象ネットの最小実現に関する考察
- p-インバリアントを利用した離散事象システムの異常診断(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- 予習用eラーニングビデオ教材の効果(教育報告)
- 全学教育物理学実験のためのeラーニング用動画教材内製化とその運用(教育報告)
- 28pYE-11 大学初年次向け物理学実験のためのeラーニングビデオ教材の内製化(28pYE 物理教育,領域13(物理教育,物理学史,環境物理))
- 条件/事象ネットモデルを用いた離散事象の制御
- 離散事象システムモデルとその詳細化の代数的仕様記述
- 離散事象システムの段階的詳細化について
- 非線形ダイナミクスによる知的センシング -半導体ガスセンサーの動的非線形応答による成分計測-
- シーケンス制御を含む離散事象システムの設計と診断
- 2目的をもつ待ち行列系のスケジューリング
- バッチ制御のための操作手順の合成
- 周期動作を行う条件/事象ネットの構成
- 条件/事象ネットに基づくシーケンス制御系のモジュラ設計
- 条件/事象ネットに基づくシーケンス制御系の設計
- 半言語の階層記述とそれの条件/事象ネット構成問題への応用
- 半言語による離散事象システム理論の展開
- 仕様に階層表現を用いた条件/事象ネットの構成
- 不等号制約条件をもつペトリネットのフィードバック制御
- 条件/事象ネットの制御に関する考察
- 半言語とそれの離散事象システム論への応用
- 半言語の上の演算とそれに基づく条件/事象ネットの構成
- 半言語の上の演算とそれに基づく条件/事象ネットの構成
- 条件/事象ネット構成問題の解法に関する考察
- 条件/事象ネットに基づく離散事象システムの階層設計
- プロセスシステム工学全体
- 情報技術による学務業務プロセスの再設計(第2報) : 情報メディアとユーザインタフェースのあり方
- プロセス思考による情報システムの構築
- 情報技術による学務業務プロセスの再設計 : シラバス電子情報システムの構築と運用
- 情報文化学を指向した情報処理教育の考え方
- 与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム
- 補助事象なし条件/事象ネット構成問題の解集合を求める一方法
- 与えられた半言語に適合するアトム全体の集合を求めるアルゴリズム
- 部分同一化近似法における部分問題の解法に関する考察
- 部分同一化近似に基づく組合せ最適化問題の近似解法
- 生産環境変化に即応できる意思決定プロセスのモデリング (システム数理と応用)
- 生産環境変化に即応できる意思決定プロセスのモデリング (信号処理)
- 生産環境変化に即応できる意思決定プロセスのモデリング (VLSI設計技術)
- 生産環境変化に即応できる意思決定プロセスのモデリング (回路とシステム)
- 逐次競争反応CSTRの多変数周期制御実験
- アントコロニー最適化法に基づく2目的巡回セールスマン問題の解法について(一般,コンカレントシステム及び一般)
- 条件/事象ネットの冗長性について
- 時空間微分法によるオプティカルフロ-の検出可能性と3次元運動推定の一方法
- プロセスシステム工学
- AP-4-5 プロセスシステムにおける離散事象制御(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
- 生産環境変化に即応できる意思決定プロセスのモデリング(システムと信号処理及び一般)
- 生産環境変化に即応できる意思決定プロセスのモデリング(システムと信号処理及び一般)
- 生産環境変化に即応できる意思決定プロセスのモデリング(システムと信号処理及び一般)
- 生産環境変化に即応できる意思決定プロセスのモデリング(システムと信号処理及び一般)
- 与えられた動作を行う条件/事象ネットの最小実現(システムと制御)
- 離散事象という視点からのシステムズアプローチ
- 分解法に基づく2目的巡回セールスマン問題の解法とその評価
- 分解法に基づく2目的巡回セールスマン問題の解法とその評価
- 分解法に基づく2目的巡回セールスマン問題の解法とその評価
- 分解法に基づく2目的巡回セールスマン問題の解法とその評価
- 504 分解法に基づく2目的巡回セールスマン問題の解法とその応用(OS9-1 時代を進める「もの・こと」つくりのシステム情報化術(1),OS9 時代を進める「もの・こと」つくりのシステム情報化術)