Space fault tree theory and system reliability analysis — Sha sha Li, Tie jun Cui