ブール代数方程式による論理ループ構造の信頼性解析

  • 松岡 猛
    宇都宮大学大学院工学研究科機械知能工学専攻

書誌事項

タイトル別名
  • Reliability Analysis of Logical Loop Structure by using Algebraic Solution of Boolean Equation
  • ブール ダイスウ ホウテイシキ ニ ヨル ロンリ ループ コウゾウ ノ シンライセイ カイセキ

この論文をさがす

抄録

論理ループ構造を持ったシステムは従来ブール代数の代数的演算では解けなかった.未知要素を持ったブール代数方程式を解こうとすると未知要素が繰り返し現れてしまう困難に出会ってきた.しかし,最近この未知要素を持ったブール代数方程式を限定された条件下で厳密に解く方法が提案された.本論文ではより一般化された条件下で解く方法を提案している.まず,ブール代数方程式の解法についての証明を与え,次に基本的ループ構造の時間的挙動について検討し,解に付随する任意要素と現実の工学システムとの関連を示した.これにより,ブール代数方程式を用いて論理ループ構造を持ったシステムの信頼性解析が実施できるようになった.最後に,サンプルシステムについての解析実施例を示し,シミュレーション結果との比較を行なった.

収録刊行物

被引用文献 (2)*注記

もっと見る

参考文献 (7)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ