许新山 石曙东 李国屏 童钰

广义密勒定理 最短状态变化过程 隐式软故障 误差 不完全状态差表 状态变化过程 功能冒险 计算结果 （2N-m）计数器定理 微机 动态故障 修正项 互比较 任意计数器 待测自状态差表 简化精确定位 实质动态冒险 自比较 混合逻辑代数 精确方法 调度 2N-m)计数器定理 浮电位 等效状态变化过程 顺序时序机 计算实例 快速判断法则 逻辑结构 表状态差 逻辑表达式

湖北黄石 湖北师范学院计算机科学系