基于状态转换符的时序电路冗余状态变换设计
来源期刊：控制工程1999年第5期
论文作者：濮荣强 汪柄权 徐光明
文章页码：52 - 54
关键词：状态转换符;冗余状态变换设计;Matlab语言;
摘 要：在分析了时序电路冗余状态基础上，提出了基于状态转换符的时序电路冗余状态变换设计，可以把时序电路在４ 变量以内产生的冗余状态故障自动变换为合法状态，从而避免了状态验证和测试生成等较为繁琐的步骤，可以方便地设计出各种给定状态的具有自启动能力的时序电路，简洁方便、设计效率高，尤为适应采用Ｍａｔｌａｂ 程序对各类同步时序电路进行分析、化简和设计，具有较为实际的应用价值
濮荣强，汪柄权，徐光明
摘 要：在分析了时序电路冗余状态基础上，提出了基于状态转换符的时序电路冗余状态变换设计，可以把时序电路在４ 变量以内产生的冗余状态故障自动变换为合法状态，从而避免了状态验证和测试生成等较为繁琐的步骤，可以方便地设计出各种给定状态的具有自启动能力的时序电路，简洁方便、设计效率高，尤为适应采用Ｍａｔｌａｂ 程序对各类同步时序电路进行分析、化简和设计，具有较为实际的应用价值
关键词：状态转换符;冗余状态变换设计;Matlab语言;
