診断結果を論理式で表現した故障診断システム(研究速報)
スポンサーリンク
概要
- 論文の詳細を見る
診断結果を論理式を用いて表現する自己診断システムのアルゴリズムを提案する.従来の故障診断システムは故障数に対する上限あるいはグラフの形状に制限を設けていたが,このアルゴリズムはそのいずれにも制限を設けなくても解析可能である.時間計算量は頂点数nに対してO(n^6)である.
- 社団法人電子情報通信学会の論文
- 2008-09-01
著者
-
守谷 哲夫
国士舘大学理工学部
-
片岳 格
国士舘大学理工学部
-
守谷 哲夫
国士舘大学工学部電気電子工学科
-
片岳 格
国士舘大学工学研究科応用システム工学専攻
-
片岳 格
国士舘大学大学院工学研究科
-
守谷 哲夫
国士舘大学
関連論文
- Some families of codes under the pure codes and the bifix codes (Algebras, Languages, Algorithms in Algebraic Systems and Computations)
- Literal shuffle on $\omega$-languages(Semigroups, Formal Languages and Computer Systems)
- 診断結果を論理式で表現した故障診断システム(研究速報)
- d-primitive words and D(1)-concatenated words (Algorithmic and Computational Theory in Algebra and Languages)
- 論理式を用いた故障診断システムについて
- 無向グラフの隣接次数表と最小サイクル表 : 位数制限グラフの同型性
- 隣接次数表による無向グラフが同型であるための十分条件
- 符号のSyntactic congruence
- 非サイクル有向グラフの極大パス被覆を求めるアルゴリズム
- Membership of words in Codes
- Syntactic Congruences of some Codes (Algebraic Systems, Formal Languages and Computations)
- Closure property of Some Codes under Composition (Languages, Algebra and Computer Systems)
- 符号の合成について
- 上昇型プッシュダウン木オートマトンと文脈自由木文法
- ある無限列が表現する実数の集合
- Morphism preserving some kinds of languages (Algebras, Languages, Algorithms and Computations)
- Closure properties of $\omega$-languages under morphism and inverse morphism