(57)【要約】本発明は、故障の木の解析システムであって、ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除くｋ／ｎゲート論理積除去手段を有する故障の木の解析システムである。
2012115007.tif 000002
【特許請求の範囲】
【請求項１】
故障の木の解析システムであって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除くｋ／ｎゲート論理積除去手段を有する故障の木の解析システム。
【請求項２】
単純化ルールに基づいて、論理積のｋ／ｎゲートに繰り返し入力する事象又は節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化するｋ／ｎゲート単純化手段を有する請求項１に記載の故障の木の解析システム。
【請求項３】
前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、ｋ／ｎゲートが同じ論理積の他の事象と共通の入力事象又は入力節を含まないｋ／ｎゲートを意味する
請求項１又は請求項２に記載に故障の木の解析システム。
【請求項４】
故障の木の解析方法であって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除く
故障の木の解析方法。
【請求項５】
単純化ルールに基づいて、論理積のｋ／ｎゲートに繰り返し入力する事象又は節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化することを更に含む請求項４に記載の故障の木の解析方法。
【請求項６】
前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、ｋ／ｎゲートが同じ論理積の他の事象と共通の入力事象又は入力節を含まないｋ／ｎゲートを意味する
請求項４又は請求項５に記載に故障の木の解析方法。
【請求項７】
故障の木の解析のプログラムであって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除くｋ／ｎゲート論理積除去処理を
情報処理装置に実行させるプログラム。
【請求項８】
単純化ルールに基づいて、論理積のｋ／ｎゲートに繰り返し入力する事象又は節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化するｋ／ｎゲート単純化処理を
情報処理装置に実行させる請求項７に記載のプログラム。
【請求項９】
前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、ｋ／ｎゲートが同じ論理積の他の事象と共通の入力事象又は入力節を含まないｋ／ｎゲートを意味する
請求項７又は請求項８に記載にプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、故障の木のシステム信頼性分析に関し、特に、一定の最大ＭＣＳ階数（最小カットセット）を有するｋ／ｎ（ｎのｋアウト、投票）ゲートを含む故障の木の最小カットセットの評価に関する。
【背景技術】
【０００２】
故障の木分析（ＦＴＡ）においては、一定の最大階数までの最小カットセット、例えばＭまでとすることが求められている場合、除去方法を導入し、ＭＣＳの評価中に生じた、事象の長すぎる論理積（コンビネーション）を取り除く。【０００３】
典型的な除去アルゴリズムが非特許文献１に開示されている。論理積が与えられると、論理積の階数をＶとすると、Ｖ＝α＋β＋δにより計算でき、ここでαは連言の基本事象（カテゴリー１）の数を表し、βはカテゴリー１の基本事象に含まれず、それらの間で共通点がない基本事象のみを入力とする論理和（ＯＲゲート）の数を表す。パラメータδは、論理積の組が、カテゴリー１に含まれず、それらの間に共通点を有する基本事象を持つ論理和（ＯＲゲート）を含む場合には１に設定され、それ以外はδ＝０に設定される。【０００４】
このアルゴリズムにおいては、基本事象と２種類のＯＲゲートとが考慮され、ｋ／ｎゲートなどの他のゲートの個々の階数は省略される（即ち、それらの階数は、Ｖを計算する場合は単に０として扱われる）。【０００５】
また、ｋ／ｎゲートの標準拡張アルゴリズムが非特許文献２に開示されている。非特許文献２では、ｅ１, ．．．, ｅｎを事象する場合、
2012115007.tif 000003
のk/nゲートを、
2012115007.tif 000004
の形に拡張できる。この拡張アルゴリズムの時間計算量は、従来の計算方法に比較して、
2012115007.tif 000005
減じることができる。
【先行技術文献】
【非特許文献】
【０００６】
【非特許文献１】D. M. Rasmuson and N. H. Marshall, “FATRAM - A Core Efficient Cut-Set Algorithm”, IEEE Trans. on Reliability, vol. R-27, 1978, pp. 250-253.
【非特許文献２】A. Rauzy, “Toward an Efficient Implementation of the MOCUS Algorithm”, IEEE Trans. on Reliability, vol. 52, 2003, pp.175-180.
【発明の概要】
【発明が解決しようとする課題】
【０００７】
しかしながら、たとえ、最大階数Ｍ及び非特許文献１の除去行程を行ったとしても、その拡張は、最終の論理積の数に関しては依然として階乗的空間計算量を伴う結果となる。ｋ、ｎ及びＭがそれほど大きくなくとも、空間問題は、実際上、容易にメモリアウトとなる結果つながる。それ故、比較的大きく複雑なｋ／ｎゲート、例えば、クラウドコンピューティングにおけるデータセンタのサーバクラスタが導入されると、上述の方法では失敗する。ここで「複雑な」とはｋ／ｎゲートの入力が基本事象ではなく、中間事象であることを意味する。【０００８】
その理由は、上述の方法では、ｋ／ｎゲートの階数が評価されず（即ち、単に０として処理される）、ｋ／ｎゲートが、ｋ＝１又はｋ＝ｎが得られるまで、又は、ｋ／ｎゲートを含む論理積の階数がＭＳＣの最大階数より大きくなるまで繰り返し拡張すると想定されているためである。この結果、夥しい数の長すぎる論理積となり、拡張の階乗的な空間計算量がメモリアウトの原因となるからである。【０００９】
そこで、本発明は上記課題に鑑みて発明されたものであって、ｋ／ｎゲートを含む長すぎる論理積を、故障の木のＭＣＳの評価中に早期に除去でき、これらのｋ／ｎゲートを拡張しない故障の木解析システム、故障の木解析方法及びプログラムを提供することにある。
【課題を解決するための手段】
【００１０】
本発明は、故障の木の解析システムであって、ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除くｋ／ｎゲート論理積除去手段を有する故障の木の解析システムである。【００１１】
本発明は、故障の木の解析方法であって、ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除く故障の木の解析方法である。【００１２】
本発明は、故障の木の解析のプログラムであって、ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除くｋ／ｎゲート論理積除去処理を情報処理装置に実行させるプログラムである。
【発明の効果】
【００１３】
本発明は、ｋ／ｎゲートを含む長すぎる論理積を、故障の木の最小カットセット（ＭＣＳ）を評価の早い段階で除去することができる。
【図面の簡単な説明】
【００１４】
【図１】図１は第１の実施の形態のブロック図である。
【図２】図２は第１の実施の形態のフローチャートである。
【図３】図３は第２の実施の形態のブロック図である。
【図４】図４は第２の実施の形態のフローチャートである。
【図５】図５はｋ／ｎゲートの単純化ルールの一例を示した図である。
【図６】図６は実施例１における第１の例の故障木の論理式を示す図である。
【図７】図７は実施例２における第１の例の故障木の論理式を示す図である。
【図８】図８は本発明適用後の第２の例の故障木のＭＣＳの論理式を示す図である。
【発明を実施するための形態】
【００１５】
本発明の実施の形態について図面を参照して詳細に説明する。
【００１６】
図１は第１の実施の形態のブロック図である。
【００１７】
図１を参照すると、本発明の第１の実施の形態は、統合ＭＣＳ評価手段１１０と、ｋ／ｎゲート論理積除去手段１２０とを備える。
【００１８】
これらの手段はそれぞれ概略つぎのように動作する。
【００１９】
統合ＭＣＳ評価手段１１０は、論理的表現の故障の木からＭＣＳを削減し、ＭＣＳの削減中に生じた非ｋ／ｎ論理積を除去する。
【００２０】
ｋ／ｎゲート論理積除去手段１２０は、ディスジョイントな基本及び／又は単純ｋ／ｎゲートを含む論理積を除去する。除去の結果（論理積の階数が最大階数以下か否かによって、オリジナルの論理積であるか、又は論理的に偽のいずれか）は、統合ＭＣＳ評価手段１１０に戻され、更にＭＣＳｓが評価される。
【００２１】
ここで、基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味する。
【００２２】
また、単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、以降、ＤＮＦｓの論理積節を簡略してｋ／ｎゲートの入力節と呼ぶ。
【００２３】
また、ディスジョイントなｋ／ｎゲート（以下、単にディスジョイントｋ／ｎゲート）とは、ｋ／ｎゲートが同じ論理積の他の事象と共通の（すなわちゲートに繰り返される）入力事象又は入力節を含まないｋ／ｎゲートを意味する。
【００２４】
次に、図１及び図２のフローチャートを参照して本実施の形態の全体の動作について詳細に説明する。
【００２５】
先ず、論理的表現の故障の木が本システムに入力される（ステップＡ１）。
【００２６】
続いて、統合ＭＣＳ評価手段１１０によって、ＤＮＦｓへの変換及び冗長論理積の除去が行われ、ＭＣＳの削減される（ステップＡ２）。
【００２７】
各（中間）論理積毎に、論理積がｋ／ｎゲートを含むか否かをチェックする。
【００２８】
ｋ／ｎゲートを含めば、当該論理積をｋ／ｎ論理積と呼び、含まなければ、非ｋ／ｎ論理積と呼ぶ。ｋ／ｎ論理積の場合、ｋ／ｎゲート論理積除去手段１２０が除去行程を適用する（ステップＡ３）。一方、非ｋ／ｎ論理積の場合、統合ＭＣＳ評価手段１１０が従来の除去行程（例えば、非特許文献１）を非ｋ／ｎ論理積に適用する（ステップＡ４）。
【００２９】
ｋ／ｎ論理積の除去行程は、論理積の事象を区分けすることにより進行する。４種類の事象が論理積の階数を下げるために考慮される、即ち、
（１）  基本事象の集合をαとする。
（２）（１）の基本事象には含まれず、それらの間で共通でない（繰り返される入力されない）基本事象のみを入力とするＯＲゲートの集合をβとする。
（３）（１）の基本事象には含まれず、それらの間のいくつかで共通（繰り返される入力される）である基本事象のみを入力とするＯＲゲートにおいて、そのＯＲゲートの基数（cardinality）が０より大きければ、δ＝１とし、小さければ、δ＝０とする。
（４）  ディスジョイント基本及び／又は単純ｋ／ｎゲートの集合をｍとし、
2012115007.tif 000006
と定義する。
【００３０】
非基本事象を入力とするＡＮＤゲートのような論理積の事象は考慮せず、その影響及び階数は０として扱われる。
【００３１】
論理積の階数をＶとすると、ＶはＶ＝α＋β＋δ＋εにより計算できる。Ｖ＞Ｍの場合、論理積は除去され、そうでなければ、更なるＭＣＳ削減のため保持される。
【００３２】
削減後、システムすべての論理積がＭＣＳｓか否かをチェックする。すべてＭＣＳｓであれば、結果として生じるＭＣＳｓは出力される（ステップＡ５）。一方、すべてＭＣＳｓでなければ、ステップＡ２に戻り、更にＭＣＳの削減が行われる。
【００３３】
次に、本実施の形態の効果について説明する。
【００３４】
本実施の形態は、基本及び／又は単純ｋ／ｎゲートを含む論理積の階数を拡張しないで、より正確に評価できるように、ディスジョイント基本及び単純ｋ／ｎゲートの階数を評価するステップを備える。つまり、数個のサブ論理積に分割しないで、これらのｋ／ｎゲートを含む論理積の階数をより正確に評価できる（ｋ／ｎゲートの拡張の結果をもとにした論理的分配法による）。それ故、ディスジョイント基本及び／又は単純ｋ／ｎゲートを含む長すぎる論理積をタイムリーに削減することができ、拡張されたｋ／ｎゲートを保存する空間（メモリ）を節約できる。
【００３５】
次に、本発明の第２の実施の形態について図面を参照して詳細に説明する。
【００３６】
図３は第２の実施の形態のブロック図である。
【００３７】
第２の実施の形態は、第１の実施の形態に加えて、ｋ／ｎゲート単純化手段１１１を備える。
【００３８】
ｋ／ｎゲート単純化手段１１１は、ｋ／ｎゲートに繰り返し、入力する事象又は節を取り除くことにより、いくつかのｋ／ｎゲートをディスジョイント基本又は単純ｋ／ｎゲートに単純化する。
【００３９】
次に、図３及び図４のフローチャートを参照して、第２の実施の形態の動作について詳細に説明する。
【００４０】
第２の実施の形態では、追加のステップＡ２ａがステップＡ２とＡ３との間に追加されたことを除いて第１の実施の形態と同様である。
【００４１】
ステップＡ２ａにおいて、ｋ／ｎゲート単純化手段１１１は、繰り返す入力を取り除き、ｋ／ｎゲートをディスジョイント基本又は単純ｋ／ｎゲートに単純化する。
【００４２】
代表的な単純化ルールを図５に示す。
【００４３】
次に、第２の実施の形態の効果について説明する。
【００４４】
第２の実施の形態は、ｋ／ｎゲートをディスジョイントな基本及び単純ｋ／ｎゲートに単純化するステップを備える。それ故、非ディスジョイントなｋ／ｎゲートの一部も拡張することなく、正確に除去することができる。
【実施例１】
【００４５】
次に、具体的な実施例を用いて本発明を実施の形態の動作を説明する。【００４６】
２つの例を使用して、本発明の実効性を証明する。尚、２つの例において、ＭＣＳｓの最大階数を５に設定する。【００４７】
第１の例の故障の木は、１つの基本ｋ／ｎゲートのみで構成される。【００４８】
第２の例の故障の木は、繰り返す入力を持つ多くのｋ／ｎゲートで構成される。【００４９】
第１の例の故障の木の論理的表現は図６で示され、第２の例の故障の木の論理的表現は図７で示される。ここで、故障の木の基本事象の定義として、ｂｉ（ｉ＝１,…,ｎ）を用いる。【００５０】
図６によると、第１の例の故障の木の入力は、基本６／１２ゲートである。ｋの値、すなわち６は最大階数５より大きいので、基本６／１２ゲートは６／１２論理積除去手段１２０により除去され（図２のステップＡ３）、この故障の木に対して有用なＭＳＣがない、即ち、論理出力は偽となる。【００５１】
本発明と従来方法との比較を行うと、本発明は、本例に対して計算時間は殆どゼロであるが、従来の方法を基にしたアイテムツールキット７．０８（ＦＴＡの市販ツール）では約７００ミリ秒を要した。【００５２】
更に、アイテムツールキットは、ｋ≧８及びｎ≧１６の時、メモリアウトエラーが起こるが、本発明では無視できる時間で処理できる。【００５３】
図７によると、故障の木のｋ／ｎゲートには多くの入力が繰り返される。例えば、２／２（ｂ５８＋ｂ１２７、ｂ５９＋ｂ１２７）のｂ１２７や、最後の複雑な６／１２ゲートの２／２（ｂ５８＋ｂ１２７、ｂ５９＋ｂ１２７）等の繰り返される入力は、除去前にｋ／ｎゲート単純化手段１１１により取り除くことができる。【００５４】
図５に示すように、この場合２種類の方法を適用できる。１つは、ルール（５−４ａ）により定義として、故障の木のいくつかの他の事象の助けを借りてｋ／ｎゲートに繰り返される入力を取り除くことである。他のひとつは、ルール（５−４ａ）により表されるように、ｋ／ｎゲート内で繰り返される入力を取り除くことである。例えば、第２の実施の形態及びルール（５−４ａ）を適用することにより、ｂ１２７＋２／２（ｂ５８＋ｂ１２７、ｂ５９＋ｂ１２７）＋…＝ｂ１２７＋２／２（ｂ５８，ｂ５９，＋ｂ１２７）＋…＝ｂ１２７＋２／２（ｂ５８，ｂ５９，）＋…、となるので、ｋ／ｎゲートの２／２（ｂ５８＋ｂ１２７、ｂ５９＋ｂ１２７）を２／２（ｂ５８、ｂ５９）に単純化できる（図４のステップＡ２ａ）。基本ｋ／ｎゲートの２／２（ｂ５８、ｂ５９）は最大階数（＝５）未満のｋ（＝２）階数のディスジョイント基本ｋ／ｎゲートであるため、除去の結果は２／２（ｂ５８、ｂ５９）となる（図４のステップＡ３）。【００５５】
単純化と除去プロセスを繰り返し適用することによる、
実施例の故障の木の最終結果を図８に示す。図８に示されるように、ディスジョイント入力からのみ構成されるオリジナルの６／１２ゲートはｋ／ｎゲートゲート論理積除去手段１２０により削減されるので、６／１２ゲートのディスジョイントな事象、例えば、ｂ６及びｂ７６を含むＭＳＣがないことに注目すべきである。その理由は、単純化されたｋ／ｎゲートは、最大階数より大きいｋ（＝６）階数のディスジョイント単純ｋ／ｎゲートであるためである。【００５６】
本例に関して、本発明はＮＣＳｓを評価するのに約４８ミリ秒要するが、市販ツールである、従来の拡張及び除去方法に基づいたアイテムツールキットでは約２１秒を要する（本発明のようにミリ秒ではない）。この比較により本発明の効率を実証することができる。【００５７】
また、上述した説明からも明らかなように、各部をハードウェアで構成することも可能であるが、コンピュータプログラムにより実現することも可能である。この場合、プログラムメモリに格納されているプログラムで動作するプロセッサによって、上述した各実施の形態と同様の機能、動作を実現させる。また、上述した実施の形態の一部の機能のみをコンピュータプログラムにより実現することも可能である。【００５８】
尚、以下に付記を記載する。【００５９】
（付記１）  故障の木の解析システムであって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除くｋ／ｎゲート論理積除去手段を有する故障の木の解析システム。【００６０】
（付記２）  単純化ルールに基づいて、論理積のｋ／ｎゲートに繰り返し入力する事象又は節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化するｋ／ｎゲート単純化手段を有する付記１に記載の故障の木の解析システム。【００６１】
（付記３）  前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、ｋ／ｎゲートが同じ論理積の他の事象と共通の入力事象又は入力節を含まないｋ／ｎゲートを意味する
付記１又は付記２に記載に故障の木の解析システム。【００６２】
（付記４）  故障の木の解析方法であって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除く
故障の木の解析方法。【００６３】
（付記５）  単純化ルールに基づいて、論理積のｋ／ｎゲートに繰り返し入力する事象又は節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化することを更に含む付記４に記載の故障の木の解析方法。【００６４】
（付記６）  前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、ｋ／ｎゲートが同じ論理積の他の事象と共通の入力事象又は入力節を含まないｋ／ｎゲートを意味する
付記４又は付記５に記載に故障の木の解析方法。【００６５】
（付記７）  故障の木の解析のプログラムであって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大階数より大きい階数の論理積を取り除くｋ／ｎゲート論理積除去処理を
情報処理装置に実行させるプログラム。【００６６】
（付記８）  単純化ルールに基づいて、論理積のｋ／ｎゲートに繰り返し入力する事象又は節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化するｋ／ｎゲート単純化処理を
情報処理装置に実行させる付記７に記載のプログラム。【００６７】
（付記９）  前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、ｋ／ｎゲートが同じ論理積の他の事象と共通の入力事象又は入力節を含まないｋ／ｎゲートを意味する
付記７又は付記８に記載にプログラム。【００６８】
以上好ましい実施の形態及び実施例をあげて本発明を説明したが、本発明は必ずしも上記実施の形態及び実施例に限定されるものではなく、その技術的思想の範囲内において様々に変形し実施することが出来る。【００６９】
本出願は、２０１１年２月２２日に出願された日本出願特願２０１１−０３５８７２号を基礎とする優先権を主張し、その開示の全てをここに取り込む。
【符号の説明】
【００７０】
１１０    統合ＭＣＳ評価手段
１１１    ｋ／ｎゲート単純化手段
１２０    ｋ／ｎゲート論理積除去手段
【図１】
2012115007.tif 000007
【図２】
2012115007.tif 000008
【図３】
2012115007.tif 000009
【図４】
2012115007.tif 000010
【図５】
2012115007.tif 000011
【図６】
2012115007.tif 000012
【図７】
2012115007.tif 000013
【図８】
2012115007.tif 000014
【手続補正書】
【提出日】平成24年12月20日(2012.12.20)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
故障の木の解析システムであって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大次数より大きい次数の論理積を取り除くｋ／ｎゲート論理積除去手段を有する故障の木の解析システム。
【請求項２】
単純化ルールに基づいて、論理積のｋ／ｎゲートの共通する入力事象又は入力節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化するｋ／ｎゲート単純化手段を有する請求項１に記載の故障の木の解析システム。
【請求項３】
前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、同じ論理積の中で共通する入力事象又は入力節を含まないｋ／ｎゲートを意味する
請求項１又は請求項２に記載に故障の木の解析システム。
【請求項４】
故障の木の解析方法であって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大次数より大きい次数の論理積を取り除く
故障の木の解析方法。
【請求項５】
単純化ルールに基づいて、論理積のｋ／ｎゲートの共通する入力事象又は入力節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化することを更に含む請求項４に記載の故障の木の解析方法。
【請求項６】
前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、同じ論理積の中で共通する入力事象又は入力節を含まないｋ／ｎゲートを意味する
請求項４又は請求項５に記載に故障の木の解析方法。
【請求項７】
故障の木の解析のプログラムであって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大次数より大きい次数の論理積を取り除くｋ／ｎゲート論理積除去処理を
情報処理装置に実行させるプログラム。
【請求項８】
単純化ルールに基づいて、論理積のｋ／ｎゲートの共通する入力事象又は入力節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化するｋ／ｎゲート単純化処理を
情報処理装置に実行させる請求項７に記載のプログラム。
【請求項９】
前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、同じ論理積の中で共通する入力事象又は入力節を含まないｋ／ｎゲートを意味する
請求項７又は請求項８に記載にプログラム。
【手続補正３】
【補正対象書類名】明細書
【補正対象項目名】０００１
【補正方法】変更
【補正の内容】
【０００１】
技術分野
［０００１］
本発明は、故障の木のシステム信頼性分析に関し、特に、与えられた最大のＭＣＳ（最小カットセット）の次数を有するｋ／ｎゲート（ｋ−ｏｕｔ−ｏｆ−ｎ、多数決ゲート）を含む故障の木の最小カットセットの評価に関する。
背景技術
［０００２］
故障の木分析（ＦＴＡ）においては、最小カットセットの次数をある最大限の次数、例えばＭまでとすることが求められている場合、除去アルゴリズムを導入し、ＭＣＳの評価中に生じた、事象の長すぎる論理積（又はそのコンビネーション）を取り除く。
［０００３］
従来の除去アルゴリズムが非特許文献１に開示されている。この除去アルゴリズムによれば、与えられた論理積の次数は、論理積の次数をＶとすると、Ｖ＝α＋β＋δにより計算できる。ここで、αは論理積の基本事象（カテゴリー１）の数を表し、βはカテゴリー１の基本事象ではなく、入力される基本事象間で共通しない基本事象のみを入力とする論理和（ＯＲゲート）の数を表す。パラメータδは、論理積が、入力される基本事象がカテゴリー１の基本事象に含まれず、それらの入力基本事象が共通する論理和（ＯＲゲート）の集合を含む場合には１に設定され、それ以外はδ＝０に設定される。
［０００４］
このアルゴリズムにおいては、基本事象と２種類のＯＲゲートとが考慮され、ｋ／ｎゲートなどの他のゲートの個々の次数は省略される。即ち、それらの次数は、Ｖを計算する場合は単に０として扱われる。
［０００５］
また、ｋ／ｎゲートの標準展開アルゴリズムが非特許文献２に開示されている。非特許文献２では、ｅ１，．．．，ｅｎを事象とする場合、
2012115007.tif 000015
【手続補正４】
【補正対象書類名】明細書
【補正対象項目名】０００２
【補正方法】変更
【補正の内容】
【０００２】
のｋ／ｎゲートを、
2012115007.tif 000016
の形に展開できる。この展開アルゴリズムの時間計算量は、従来の計算方法に比較して、
2012115007.tif 000017
減じることができる。
先行技術文献
非特許文献
［０００６］
非特許文献１：Ｄ．Ｍ．Ｒａｓｍｕｓｏｎ  ａｎｄ  Ｎ．Ｈ．Ｍａｒｓｈａｌｌ，“ＦＡＴＲＡＭ−Ａ  Ｃｏｒｅ  Ｅｆｆｉｃｉｅｎｔ  Ｃｕｔ−Ｓｅｔ  Ａｌｇｏｒｉｔｈｍ”，ＩＥＥＥ  Ｔｒａｎｓ．ｏｎ  Ｒｅｌｉａｂｉｌｉｔｙ，ｖｏｌ．Ｒ−２７，１９７８，ｐｐ．２５０−２５３．
非特許文献２：Ａ．Ｒａｕｚｙ，“Ｔｏｗａｒｄ  ａｎ  Ｅｆｆｉｃｉｅｎｔ  Ｉｍｐｌｅｍｅｎｔａｔｉｏｎ  ｏｆ  ｔｈｅ  ＭＯＣＵＳ  Ａｌｇｏｒｉｔｈｍ”，ＩＥＥＥ  Ｔｒａｎｓ．ｏｎ  Ｒｅｌｉａｂｉｌｉｔｙ，  ｖｏｌ．５２，２００３，ｐｐ．１７５−１８０．
発明の概要
発明が解決しようとする課題
［０００７］
しかしながら、最大限の次数Ｍが与えられて非特許文献１の除去アルゴリズムを行ったとしても、その展開は、最終的な論理積の数によっては依然として階乗的な空間計算量を伴う。ｋ、ｎ及びＭがそれほど大きくなくとも、空間問題は、実際上、容易にメモリアウトの原因となる。それ故、例えば、クラウドコンピューティングにおけるデータセンタのサーバクラスタに、比較的大きく複雑な複数のｋ／ｎゲートの計算をさせると、従来のアルゴリズムでは失敗することが多い。ここで「複雑」とは、ｋ／ｎゲートの入力が基本事象ではなく、中間事象であることを意味する。
［０００８］
その理由は、上述の従来の方法では、複数のｋ／ｎゲートの次数が評価
【手続補正５】
【補正対象書類名】明細書
【補正対象項目名】０００３
【補正方法】変更
【補正の内容】
【０００３】
されず（即ち、単に０として処理される）、ｋ／ｎゲートが、ｋ＝１又はｋ＝ｎが得られるまで、又は、ｋ／ｎゲートを含む論理積の次数がＭＳＣの与えられた最大の次数より大きくなるまで繰り返し展開するためである。この結果、著しい数の長い論理積となり、階乗的な空間計算量がメモリアウトの原因となる。
［０００９］
そこで、本発明は上記課題に鑑みて発明されたものであって、展開せずにｋ／ｎゲートの次数を評価し、ｋ／ｎゲートを含む長すぎる論理積を、故障の木のＭＣＳの評価中に早期に除去できる故障の木解析システム、故障の木解析方法及びプログラムを提供することにある。
課題を解決するための手段
［００１０］
本発明は、故障の木の解析システムであって、ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大次数より大きい次数の論理積を取り除くｋ／ｎゲート論理積除去手段を有する故障の木の解析システムである。
［００１１］
本発明は、故障の木の解析方法であって、ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大次数より大きい次数の論理積を取り除く故障の木の解析方法である。
［００１２］
本発明は、故障の木の解析のプログラムであって、ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大次数より大きい次数の論理積を取り除くｋ／ｎゲート論理積除去処理を情報処理装置に実行させるプログラムである。
発明の効果
［００１３］
本発明は、ｋ／ｎゲートを含む長すぎる論理積を、故障の木の最小カットセット（ＭＣＳ）を評価の早い段階で除去することができる。
図面の簡単な説明
［００１４］
［図１］図１は第１の実施の形態のブロック図である。
［図２］図２は第１の実施の形態のフローチャートである。
［図３］図３は第２の実施の形態のブロック図である。
【手続補正６】
【補正対象書類名】明細書
【補正対象項目名】０００４
【補正方法】変更
【補正の内容】
【０００４】
［図４］図４は第２の実施の形態のフローチャートである。
［図５］図５はｋ／ｎゲートの単純化ルールの一例を示した図である。
［図６］図６は実施例１における第１の例の故障木の論理式を示す図である。
［図７］図７は実施例１における第２の例の故障木の論理式を示す図である。
［図８］図８は本発明適用後の第２の例の故障木のＭＣＳの論理式を示す図である。
発明を実施するための形態
［００１５］
本発明の実施の形態について図面を参照して詳細に説明する。
［００１６］
図１は第１の実施の形態のブロック図である。
［００１７］
図１を参照すると、本発明の第１の実施の形態は、統合ＭＣＳ評価手段１１０と、ｋ／ｎゲート論理積除去手段１２０とを備える。
［００１８］
これらの手段はそれぞれ概略つぎのように動作する。
［００１９］
統合ＭＣＳ評価手段１１０は、論理的表現の故障の木からＭＣＳを削減し、ＭＣＳの削減中に生じた非ｋ／ｎ論理積を除去する。
［００２０］
ｋ／ｎゲート論理積除去手段１２０は、ディスジョイントな基本ｋ／ｎゲート及び／又は単純ｋ／ｎゲートを含む論理積を除去する。除去の結果として、論理積の次数が与えられた最大次数以下の場合にはオリジナルの論理積を、論理積の次数が最大次数以下でない場合には論理的な偽を、統合ＭＣＳ評価手段１１０に戻し、統合ＭＣＳ評価手段１１０により更にＭＣＳｓが評価される。
［００２１］
ここで、基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味する。
［００２２］
また、単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、以降、ＤＮＦｓの論理積節を簡略してｋ／ｎゲートの入力節と呼ぶ。
［００２３］
また、ディスジョイントなｋ／ｎゲート（以下、単にディスジョイントｋ／ｎゲートと記載する）とは、同じ論理積の中で共通の入力事象又は入力節（すなわちゲートに繰り返し入力される入力事象又は入力節）を含まないｋ／ｎゲートを意味する。
【手続補正７】
【補正対象書類名】明細書
【補正対象項目名】０００５
【補正方法】変更
【補正の内容】
【０００５】
［００２４］
次に、図１及び図２のフローチャートを参照して本実施の形態の全体の動作について詳細に説明する。
［００２５］
先ず、論理的表現の故障の木が本システムに入力される（ステップＡ１）。
［００２６］
続いて、統合ＭＣＳ評価手段１１０によって、ＤＮＦｓへの変換及び冗長論理積の除去が行われ、ＭＣＳが削減される（ステップＡ２）。
［００２７］
各（中間）論理積毎に、論理積がｋ／ｎゲートを含むか否かをチェックする。
［００２８］
ｋ／ｎゲートを含めば、当該論理積をｋ／ｎ論理積と呼び、含まなければ、非ｋ／ｎ論理積と呼ぶ。ｋ／ｎ論理積の場合、ｋ／ｎゲート論理積除去手段１２０が除去工程を適用する（ステップＡ３）。一方、非ｋ／ｎ論理積の場合、統合ＭＣＳ評価手段１１０が従来の除去工程（例えば、非特許文献１に記載された除去工程）を非ｋ／ｎ論理積に適用する（ステップＡ４）。
［００２９］
ｋ／ｎ論理積の除去工程は、論理積の事象を区分けすることにより進行する。以下の４種類の事象が論理積の次数を計算するために考慮される。
（１）基本事象（それらの数をαとする）。
（２）基本事象のみを入力とするＯＲゲートであって、それらの基本事象のいずれも（１）の基本事象には含まれず、それらＯＲゲートの間で共通するものがない（繰り返される入力されない）（それらのＯＲゲートの数をβとする）。
（３）基本事象のいずれもが（１）の基本事象には含まれず、それらの基本事象のいくつかが共通（繰り返される入力される）である基本事象のみを入力とするＯＲゲート（それらのＯＲゲートの集合の基数（ｃａｒｄｉｎａｌｉｔｙ）が０より大きければ、δ＝１とし、小さければ、δ＝０とする）。
（４）ディスジョイント基本ｋ／ｎゲート、及び／又は、ディスジョイント単純ｋ／ｎゲート（それらの数をｍとし、
2012115007.tif 000018
と定義する）。
【手続補正８】
【補正対象書類名】明細書
【補正対象項目名】０００６
【補正方法】変更
【補正の内容】
【０００６】
［００３０］
非基本事象を入力とするＡＮＤゲートのような論理積の事象は考慮せず、その次数は０として扱われる。
［００３１］
論理積の次数をＶとすると、ＶはＶ＝α＋β＋δ＋εにより計算できる。Ｖ＞Ｍの場合、その論理積は除去され、そうでなければ、更なるＭＣＳ削減のため保持される。
［００３２］
削減後、システムすべての論理積がＭＣＳｓか否かをチェックする。すべての論理積がＭＣＳｓであれば、結果として生じるＭＣＳｓは出力される（ステップＡ５）。一方、すべての論理積がＭＣＳｓでなければ、ステップＡ２に戻り、更にＭＣＳの削減が行われる。
［００３３］
次に、本実施の形態の効果について説明する。
［００３４］
本実施の形態は、基本ｋ／ｎゲート、及び／又は、単純ｋ／ｎゲートを含む論理積の次数を展開しないで、より正確に評価できるように、ディスジョイント基本ｋ／ｎゲート、及びディスジョイント単純ｋ／ｎゲートの次数を評価するステップを備える。つまり、ｋ／ｎゲートを数個のサブ論理積に分割することなく、これらのｋ／ｎゲートを含む論理積の次数をより正確に評価できる。それ故、ディスジョイント基本ｋ／ｎゲート、及び／又は、ディスジョイント単純ｋ／ｎゲートを含む長すぎる論理積をタイムリーに除去することができ、展開されたｋ／ｎゲートを保存する空間（メモリ）を節約できる。
［００３５］
次に、本発明の第２の実施の形態について図面を参照して詳細に説明する。
［００３６］
図３は第２の実施の形態のブロック図である。
［００３７］
第２の実施の形態は、第１の実施の形態に加えて、ｋ／ｎゲート単純化手段１１１を備える。
［００３８］
ｋ／ｎゲート単純化手段１１１は、ｋ／ｎゲートに繰り返される入力事象又は入力節を取り除くことにより、いくつかのｋ／ｎゲートをディスジョイント基本ｋ／ｎゲート、又はディスジョイント単純ｋ／ｎゲートに単純化する。
［００３９］
次に、図３及び図４のフローチャートを参照して、第２の実施の形態の動作について詳細に説明する。
【手続補正９】
【補正対象書類名】明細書
【補正対象項目名】０００７
【補正方法】変更
【補正の内容】
【０００７】
［００４０］
第２の実施の形態では、追加のステップＡ２ａがステップＡ２とＡ３との間に追加されたことを除いて第１の実施の形態と同様である。
［００４１］
ステップＡ２ａにおいて、ｋ／ｎゲート単純化手段１１１は、繰り返される入力を取り除き、ｋ／ｎゲートをディスジョイント基本ｋ／ｎゲート、又は、ディスジョイント単純ｋ／ｎゲートに単純化する。
［００４２］
代表的な単純化ルールを図５に示す。
［００４３］
次に、第２の実施の形態の効果について説明する。
［００４４］
第２の実施の形態は、ｋ／ｎゲートをディスジョイントな基本及び単純ｋ／ｎゲートに単純化するステップを備える。それ故、非ディスジョイントなｋ／ｎゲートの一部も展開することなく、正確に除去することができる。
実施例１
［００４５］
次に、具体的な実施例を用いて本発明を実施の形態の動作を説明する。
［００４６］
２つの例を使用して、本発明の実効性を証明する。尚、２つの例において、ＭＣＳｓの最大の次数を５に設定する。
［００４７］
第１の例の故障の木は、１つの基本ｋ／ｎゲートのみで構成される。
［００４８］
第２の例の故障の木は、繰り返される入力を持ついくつかのｋ／ｎゲートで構成される。
［００４９］
第１の例の故障の木の論理的表現は図６に示され、第２の例の故障の木の論理的表現は図７に示される。ここで、故障の木の基本事象の定義として、ｂｉ（ｉ＝１，…，ｎ）を用いる。
［００５０］
図６によると、第１の例の故障の木の入力は、基本６／１２ゲートである。ｋの値、すなわち６は最大の次数５より大きいので、基本６／１２ゲートはｋ／ｎゲート論理積除去手段１２０により除去され（図２のステップＡ３）、この故障の木に対して有用なＭＳＣがなく、論理出力は偽となる。
［００５１］
本発明と従来方法との比較を行うと、本発明は、本例に対して計算時間は殆どゼロであるが、従来の方法を基にしたアイテムツールキット７．０８（ＦＴＡの市販ツール）では約７００ミリ秒を要した。
［００５２］
更に、アイテムツールキットは、ｋ≧８及びｎ≧１６の時、メモリアウト
【手続補正１０】
【補正対象書類名】明細書
【補正対象項目名】０００８
【補正方法】変更
【補正の内容】
【０００８】
エラーが起こるが、本発明では無視できる時間で処理できる。
［００５３］
図７によると、故障の木のｋ／ｎゲートには繰り返しでてくる入力が多くある。例えば、２／２（ｂ５８＋ｂ１２７、ｂ５９＋ｂ１２７）のｂ１２７や、最後の複雑な６／１２ゲートの２／２（ｂ５８＋ｂ１２７、ｂ５９＋ｂ１２７）等は、論理積の除去前にｋ／ｎゲート単純化手段１１１により取り除くことができる。
［００５４］
図５に示すように、この場合、２種類の方法を適用できる。１つは、ルール（５−４ａ）の定義によりｋ／ｎゲートに繰り返しでてくる入力を取り除くことである。他のひとつは、ルール（５−２ａ）の定義により、ｋ／ｎゲート内で繰り返しでてくる入力を取り除くことである。例えば、ルール（５−４ａ）及びルール（５−２ａ）を適用することにより、ｂ１２７＋２／２（ｂ５８＋ｂ１２７、ｂ５９＋ｂ１２７）＋…＝ｂ１２７＋２／２（ｂ５８，ｂ５９，＋ｂ１２７）＋…＝ｂ１２７＋２／２（ｂ５８，ｂ５９，）＋…、となるので、ｋ／ｎゲートの２／２（ｂ５８＋ｂ１２７、ｂ５９＋ｂ１２７）を２／２（ｂ５８、ｂ５９）に単純化できる（図４のステップＡ２ａ）。基本ｋ／ｎゲートの２／２（ｂ５８、ｂ５９）は最大次数（＝５）未満のｋ（＝２）次数のディスジョイント基本ｋ／ｎゲートであるため、除去の結果は２／２（ｂ５８、ｂ５９）となる（図４のステップＡ３）。
［００５５］
単純化と除去プロセスを繰り返し適用した実施例の故障の木の最終結果を図８に示す。図８に示されるように、ディスジョイント入力からのみ構成されるオリジナルの６／１２ゲートを単純化したｋ／ｎゲートゲートはｋ／ｎゲートゲート論理積除去手段１２０により削減されるので、６／１２ゲートのディスジョイントな事象、例えば、ｂ６及びｂ７６を含むＭＳＣがないことに注目すべきである。その理由は、単純化されたｋ／ｎゲートは、最大次数より大きいｋ（＝６）次数のディスジョイント単純ｋ／ｎゲートであるためである。
［００５６］
本例に関して、本発明はＭＣＳｓを評価するのに約４８ミリ秒要するが、市販ツールである、従来の展開及び除去方法に基づいたアイテムツールキットでは約２１秒を要する（本発明のようにミリ秒ではない）。この比較によ
【手続補正１１】
【補正対象書類名】明細書
【補正対象項目名】０００９
【補正方法】変更
【補正の内容】
【０００９】
り本発明の効率を実証することができる。
［００５７］
また、上述した説明からも明らかなように、各部をハードウェアで構成することも可能であるが、コンピュータプログラムにより実現することも可能である。この場合、プログラムメモリに格納されているプログラムで動作するプロセッサによって、上述した各実施の形態と同様の機能、動作を実現させる。また、上述した実施の形態の一部の機能のみをコンピュータプログラムにより実現することも可能である。
［００５８］
尚、以下に付記を記載する。
［００５９］
（付記１）故障の木の解析システムであって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大次数より大きい次数の論理積を取り除くｋ／ｎゲート論理積除去手段を有する故障の木の解析システム。
［００６０］
（付記２）単純化ルールに基づいて、論理積のｋ／ｎゲートに繰り返し入力する事象又は節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化するｋ／ｎゲート単純化手段を有する付記１に記載の故障の木の解析システム。
［００６１］
（付記３）前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、ｋ／ｎゲートが同じ論理積の他の事象と共通の入力事象又は入力節を含まないｋ／ｎゲートを意味する
付記１又は付記２に記載に故障の木の解析システム。
［００６２］
（付記４）故障の木の解析方法であって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大次数より大きい次数の論理積を取り除く
故障の木の解析方法。
［００６３］
（付記５）単純化ルールに基づいて、論理積のｋ／ｎゲートに繰り返し
【手続補正１２】
【補正対象書類名】明細書
【補正対象項目名】００１０
【補正方法】変更
【補正の内容】
【００１０】
入力する事象又は節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化することを更に含む付記４に記載の故障の木の解析方法。
［００６４］
（付記６）前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、ｋ／ｎゲートが同じ論理積の他の事象と共通の入力事象又は入力節を含まないｋ／ｎゲートを意味する
付記４又は付記５に記載に故障の木の解析方法。
［００６５］
（付記７）故障の木の解析のプログラムであって、
ディスジョイントな基本及び単純ｋ／ｎを含む論理積を除去し、最小カットセット群の最大次数より大きい次数の論理積を取り除くｋ／ｎゲート論理積除去処理を
情報処理装置に実行させるプログラム。
［００６６］
（付記８）単純化ルールに基づいて、論理積のｋ／ｎゲートに繰り返し入力する事象又は節を削除し、ｋ／ｎゲートをディスジョイントな基本又は単純ｋ／ｎゲートに単純化するｋ／ｎゲート単純化処理を
情報処理装置に実行させる付記７に記載のプログラム。
［００６７］
（付記９）前記基本ｋ／ｎゲートとは、基本事象のみを入力とするｋ／ｎゲートを意味し、
前記単純ｋ／ｎゲートとは、基本事象のＤＮＦｓ（加法標準形）を入力とするｋ／ｎゲートを意味し、
前記ディスジョイントなｋ／ｎゲートとは、ｋ／ｎゲートが同じ論理積の他の事象と共通の入力事象又は入力節を含まないｋ／ｎゲートを意味する
付記７又は付記８に記載にプログラム。
［００６８］
以上好ましい実施の形態及び実施例をあげて本発明を説明したが、本発明は必ずしも上記実施の形態及び実施例に限定されるものではなく、その技術
【手続補正１３】
【補正対象書類名】明細書
【補正対象項目名】００１１
【補正方法】変更
【補正の内容】
【００１１】
的思想の範囲内において様々に変形し実施することが出来る。
［００６９］
本出願は、２０１１年２月２２日に出願された日本出願特願２０１１−０３５８７２号を基礎とする優先権を主張し、その開示の全てをここに取り込む。
符号の説明
［００７０］
１１０    統合ＭＣＳ評価手段
１１１    ｋ／ｎゲート単純化手段
１２０    ｋ／ｎゲート論理積除去手段
【国際調査報告】
2012115007.tif 000019
2012115007.tif 000020
2012115007.tif 000021
2012115007.tif 000022