王金祥 田绍槐 刘春和 张如健 吕毅 解永良 姚志江 魏道政 王文章 蔡景河

设计方法 故障矩阵 有序二元判决图 布尔代数 映射法 反馈回路 异步时序机 单故障 测试序列 不稳定状态 故障自检 状态函数 故障代码 特征函数 故障检测 布尔格 输入变量 稳定性判据 开关代数 状态图 转换表 状态变换