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

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

摘要：本文根据参与逻辑函数和逻辑函数余式的理论，建立了最短变化过程、等长变化过程对、等价最短变化过程对，变化过程长度等一系列定义，得到了多输入变量逻辑函数Ｆ（ｘ１，ｘ２，…，ｘｎ）由初态经历不同最短变化过程转移到终态所通过的最短变化过程路径Ｌ、等价最短变化过程对、逻辑冒险、０型和１型功能冒险精确定位等一些重要规律．这些工作为无组合险象和无时序险象数字电路设计提供了最新手段，使得数字电路长期无法解决的险象问题能最终得以彻底消除．

摘要：本文使用混合逻辑代数这个新理论和新方法,定义了逻辑函数的结构,导出了基本逻辑函数,复合逻辑函数及一般逻辑函数的结构表达式,得到了逻辑函数必须遵从的一些特别重要的结构结论。并设计出了无逻辑冒险,无功能冒险的无险象组合电路,布尔逻辑函数理论分析及实验结果与新理论符合得特别好。无疑这种新理论和新方法使计算机电路及离散系统设计增加了新手段。

摘要：根据逻辑余式的原理，利用k=1状态变化过程对，在二变量组合险象的基础上，运用快速简化计算方法，精确定位四变量输入逻辑函数组合险象204163项，为多输入无组合险象数字电路的设计奠定了强有力的基础。

摘要：使用参与逻辑函数及逻辑函数余式理论 ,获得了一系列特别重要的规律 ,利用所导出的等效变化的逻辑余式的状态变化过程对功能冒险精确定位 ,避免了沉重、复杂的计算。这个开创性的工作使得长期数字险象问题获得解决 ,无疑地为数字电路及计算机设计建立了强有力的基础。

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

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

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

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