田绍槐 张如健

迭代公式 扇出 时序机 故障字典 状态转移矩阵 映射法 并行算法 通路条件 状态函数 矩阵相乘 转换表 单通路 时序电路 同步序列 区分序列 故障矩阵 判别矩阵 简化网络 数学方法 状态化简 布尔方程组 故障网络 逻辑值 测试序列 重聚合 异步时序电路 特解 快速计算 故障检测

中国保险管理干部学院 湘潭大学