/ 戻る / プログラム / 発表一覧 / 著者一覧 / JSAI2003 ホーム /

2F3-05 MGTPを用いた故障診断手法の効率化

6月26日(木) 14:20〜14:40 F 小会議室1+2

演題番号2F3-05
題目MGTPを用いた故障診断手法の効率化
著者尾崎 知伸 (慶應義塾大学SFC研究所)
江口 律子 (慶應義塾大学 大学院 政策・メディア研究科)
古川 康一 (慶應義塾大学大学院政策・メディア研究科)
筒井 良夫 (宇宙開発事業団)
五十嵐 創 (慶應義塾大学SFC研究所)
玉川 直世 (慶應義塾大学大学院政策・メディア研究科)
時間6月26日(木) 14:20〜14:40
セッション基礎・アーキテクチャ (13:00〜15:20 F 小会議室1+2)
概要これまでに,モデル生成型定理証明器(MGTP)を用いた,仮説推論手法が提案されている.本稿では,特にMGTPを故障診断に応用する際の,効率化手法について述べる.
論文PDFファイル, PDFファイル(会場ローカル)




/ 戻る / プログラム / 発表一覧 / 著者一覧 / JSAI2003 ホーム /

システム管理者 (jsai2003-admin@nii.ac.jp)