Calculation of System Availability for Mine Ventilation Network Based on Boolean Manipulation and Minimization Algorithm in Independence Minimal Path Sets

摘要

In this paper, based on the method of Boolean manipulation and minimization algorithm in the independence minimal path sets, and applied reliability engineering theory, a new method is proposed for calculating availability of mine ventilation network system. On the basis of the method, when the independence minimal path sets for linearly independent was arranged by sort ascending according to the mine ventilation network branches, the calculation capacity of the middle course still could be reduced further, and thus the optimum effect of Boolean manipulation and minimization algorithm was achieved to calculating availability of mine ventilation network system. The living example analysis shows that the two results are not only equal according to the full probability formula and deleting truth subsets in the calculation of system availability for mine ventilation network based on Boolean manipulation and minimization algorithm in the independence minimal path sets, but also it was fewer to possess Boolean manipulations in the calculation and the calculating program was simplified greatly to the method of Boolean manipulation and minimization algorithm in the independence minimal path sets.