The characteristics and safety state index of a gas dynamic system are discussed on the basis of analysis of a gas hazard system.

在分析瓦斯灾害系统的基础上，论述了瓦斯动力系统的特征与系统安全状态的表征量。

youdao

For fuzzy reliability analysis with fuzzy failure state and fuzzy safety state, a moment method is proposed to calculate fuzzy failure probability.

针对失效状态和安全状态具有模糊性的模糊可靠性分析问题，提出了一种模糊失效概率计算的矩方法。

youdao

Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.

理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。

youdao