逻辑代数模型相关硕士博士期刊学术论文

针对动态故障树的逻辑代数模型，提出一种不交化方法：在获得最小割序列或集合的基础上，通过对动态逻辑事件进行“非运算”和“反演”运......