ループ構造をもつシステムのアベイラビリティ解析

摘要

A system which has logical loop(s) was not generally solved in terms of the arithmetic operators of Boolean algebra. It appears infinite circulation of the unknown variables in the process of solving Boolean equation. In the present paper, a generalized procedure is proposed for systems with logical loop(s). The proof of the solution for Boolean equation with unknown variable is given in a simplified formulation. The procedure is given for identifying operating states of loop structure and analysis results are shown for fundamental loop structure.%論理ループ構造を持ったシステムは従来プール代数の代数的演算では解けなかった。未知要素を持ったプール代数方程式を解こうとすると未知要素が繰り返し現れてしまう困難に出会ってきた。本論文ではループ構造を持つシステムのアベイラビリティ解析を一般化された条件下で実施する方法を提案している。プール代数方程式の解法についての証明を与え、次にループ運転状態事象の算出手順を示し、最後に基本ループ構造についての解析結果を示した。