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

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

时序险象基本判据

本文利用几个定义和限制，得到了一外部激励ｘ，ｎ个状态变量电位异步时序电路的任一状态的一般逻辑表达式－特性方程、将此方程与状态表结合导出了产生时序险象时的状态变量数和稳定状态数所满足的条件；给出了对时序险象研究特别有用的基本判定法则。     

组合险象逻辑余式判据

本文给出了逻辑函数余式的定义，建立了简单逻辑函数余式和复合逻辑函数余式，并得到一系列逻辑冒险，０型功能冒险，１型功能冒险的判定定理及确定各类险象和其转化条件，为无险象组合电路设计及最终解决组合险象问题奠定了坚实的基础。     

动态冒险精确定位

给出了实质动态冒险、非实质动态冒险的定义，导出了动态冒险的判断定理，得到了一系列重要的实质动态冒险的判定法则，三变量简单复合逻辑函数实质0型，1型动态冒险得以精确定位，多变量逻辑函数动态冒险均可获得定位，组合险象全面解决使得数字电路和计算机设计迅速发展有了最基本的前提条件。     

功能险象的简化快速算法研究

本文利用参与逻辑函数和逻辑函数余式的理论，得到了一第列重要的规律，使用导出的等效二变量逻辑余式状态变化过程对功能冒险精确定位，避免了繁琐沉得的计算，为数字电路和计算机奠定了基础。     

时序险象基本判据

本文利用几个定义和限制,得到了一外部激励x,n个状态变量电位异步时序电路的任一状态的一般逻辑表达式特性方程.将此方程与状态表结合,导出了产生时序险象时的状态变量数和稳定状态数所满足的条件;给出了对时序险象研究特别有用的基本判定法则.     

常用逻辑函数复合项险象简化精确定位

本文根据逻辑余式的基本原理，在二变量基本项与复合项组合险象的基础上，导出了三变量基本项与复合项。采用K=1状态变化过程中赋值不同的中间逻辑状态，得到了三变量复合项功能冒险之简化计算法则。这种计算方法简单而快建，使工作量大大降低．为四变量逻辑函数以及多变量函数组合险象的最终解决提供了一条效途径。     

功能险象的简化快速算法研究

文中利用参与逻辑函数和逻辑函数余式的理论,得到了一系列重要的规律,使用导出的等效二变量逻辑余式状态变化过程可对功能冒险精确定位,避免了繁琐沉重的计算,为数字电路和计算机设计奠定了基础。     

完全状态差表生成法则

根据完全封闭升序n端输出时序机的各种定义,建立了位状态差、序状态差、表状态差运算规律,构成了完全状态差表及自状态差表,导出了完全状态差表的一系列重要性质。完全状态差表在海量数据块检测、模式识别、自然语言理解等方面有广泛应用。自状态差表可成功直观简明精确定位时序机隐式软故障。     

无险象组合电路设计探讨

本文导出了参与逻辑代数，给出了运算符△＋·－ｒ及参与逻辑函数的定义，文中详尽地讨论了一般ｈ的确定，成功地设计出了无险象组合电路，实验结果与理论分析符合得特别好。