会員メニュー Member’s menu

  1. トップ
  2. 会員ページ
  3. 生産システムの異常診断入門
  4. 第26回 FTと論理式

生産システムの異常診断入門System Check

第26回 FTと論理式

FTは論理線図であるので,特別の場合を除き,組合せ論理式で表すことができる。
FTで与えられる事象を2値変数に置き換え、FTの線図の論理ゲートの部分を論理
演算に置き換えていくだけで論理式が求まる。
さらに置き換えられた論理式を変形(例えば項和形、最簡項和形、NAND形式、
和積の形式)し、逆にFT図を描くと、いろいろな別なFT図が作られる。
最小カットセット、最小パスセットの求め方も含め、以下次の例で説明する。

%e5%9b%b35-7

【解答】
これらの2値変数と図の事象を結ぶ論理記号より次のような論理式を得る。

%e5%9b%b35-6-1

いま、中間事象G1~G5を代入消去すると

%e5%9b%b35-6-2

となり、これはトップ事象と基本事象の関係が項和形式で与えられている
ことになる。これよりFTを逆に作ると図5.7(b)のようになる。この
項和形式は最簡形である。このことより、基本事象の組(X1とX3)、(X1
とX5)、(X3とX4)、(X2とX4とX5)のいずれかが起こると、トップ事象が
起こることを意味している。したがって、上の四つの基本事象の組は
最小カットセットである。いまde Morganの法則を用いて上の項和形式
からt(事象rが起こらない)を求める。

%e5%9b%b35-6-3

さらにde Morganの定理を適用すると

%e5%9b%b35-6-4

%e5%9b%b35-6-5
分配律を適用すると

%e5%9b%b35-6-6

さらに分配律を適用すると次のようになる。

%e5%9b%b35-6-7

このFT図は、図5.7(c)のようになる。これは(X3とX5が起こらない)
あるいは(X1とX4が起こらない)あるいは(X1とX2とX3が起こらない)
ならば、トップ事象は起こらない。したがって,集合{X3、X5}{X1、X4},
{X1、X2、X3}はパスセットである。この場合,これらは最小パスセット
である。

上のtのNOTを再びとると、対合律より

%e5%9b%b35-6-8

となる。de Morganの法則を2度適用すると

%e5%9b%b35-6-9

となり、このFTは上のtに関するFTに対し、図5.7(d)のように

%e5%9b%b35-6-10

と置き換えたものになる。図5.7(c)と図5.7(d)は双対な関係にあると
いわれ、一般にトップ事象Tのもとで作られたFTよりトップ事象t
FTは、FTの%e5%9b%b35-6-11に書き換える
ことで求めることができる。

© KANSAI Automation Co., LTD. All Rights Reserved.