基于虚拟时序机的隐式软故障精确定位

虚拟时序机中的不完全封闭顺序时序机的工作模式识别,特别地隐式软故障精确定位是重大难题。在虚拟状态表、虚拟状态差表、虚拟自状态差表的基础上,提出了一系列定义,导出了一系列重要定理、性质及规律,建立了状态差理论及自状态差法。可简单、直观地识别虚拟时序机的全部工作模式,精确定位隐式软故障。

基于不完全封闭顺序时序机的动态故障精确定位

不完全封闭顺序时序机的工作模式识别,特别地动态故障精确定位是重大难题。本文在样本状态表,样本状态差表,样本自状态差表的基础上,提出了一系列定义,导出了一系列重要定理,性质及规律,建立了状态差理论及自状态差法。可直观地识别不完全封闭顺序时序机的全部工作模式,精确实时定位动态故障。理论及方法的重大贡献在于对数字集成系统的设计测试起重大推动作用。