用蕴涵关系化简多输出逻辑函数

本文提出利用多输出逻辑函数之间的蕴涵关系,化简多输出逻辑函数的方法。这一方法能使多输出逻辑函数的总最小项数目减少,公有的本原蕴涵项的数目增多。这一化简法,较适合于中、大规范集成逻辑组件的综合。文中,通过具体例子将该法同常规化简法作了比较。最后,指出了这一化简法的局限性和有待进一步研究的问题。     

用Karnaugh图化简多输出逻辑函数

提出了用Karnaugh图化简多输出逻辑函数的方法,并给予了该方法正确性和最简性的证明。     

多输出开关函数的比简

本文提出一种化简多输出开关函数的新方法,该方法的主要特点是直接对本质蕴含项进行确定。文中介绍了方法的主要依据,给出了方法的步骤,最后用例子进行说明。     

蕴涵项扩展技术在多输出逻辑函数中的应用

文章给出一个适用于大变量多输出逻辑函数蕴涵项扩展的算法。多输出函数在它的矩阵表示中分为输入、输出两个部分，但是在扩展过程中，这两个部分处理的方式极为相似，从而使计算机程序简化，并节省了机器的时间、空间资源。     

互斥多变量逻辑函数的化简方法

基于变量互斥的约束关系,以二进制编码器为例讨论了互斥多变量逻辑函数最小化及简化电路结构的公式化简问题.目的是探索特殊逻辑函数的化简方法.结论是所述方法化简过程简单、方便快捷,能提高数字逻辑电路的设计效率.     

用解逻辑方程的方法化简互斥多变量逻辑函数

论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法。     

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，函数式是否化简到了最简也没有判别方法．文中提出的“准多余项化简法”解决了这些难题，给出了化简的具体步骤和最简式的判别方法．对于６个以上的变量逻辑函数的化简，此法显著优于卡诺图法．     

多输出逻辑函数简化方法的探讨

本文提出一种用相关乘积卡诺图对多输出逻辑函数进行简化的新方法,即用一张相关乘积卡诺图便可求出所有的公有质蕴涵项,在单个函数的卡诺图上可求出最佳简化结果.文中论述了它的原理和使用方法,给出了简化步骤和优化准则,介绍了这种方法在设计中规模集成电路中的应用.     

蕴涵项扩展技术在多输出逻辑函数中的应用

文章给出一个适用于大变量多输出逻辑函数蕴涵项扩展的算法。多输出函数在它的矩阵表示中分为输入、输出两个部分,但是在扩展过程中,这两个部分处理的方式极为相似,从而使计算机程序简化,并节省了机器的时间、空间资源。     

多输出逻辑函数的一种图解化简法

本文提出一种以输出函数符作记图符的多输出逻辑函数化简法。用该法在多函数卡诺图的图解中能清晰地圈合出函数的部分公共蕴涵项,从而可获得最低价格的多输出逻辑电路的设计。     

适于编程的逻辑函数的化简方法

本文阐述了一种便于使用的逻辑函数化简方法,该方法适用于计算机编程处理。文中还给出了一个简单的实例。     

Kernel model-based diagnosis

The methods for computing the kemel consistency-based diagnoses and the kernel abductive diagnoses are only suited for the situation where part of the fault behavioral modes of the components are known. The characterization of the kernel model-based diagnosis based on the general causal theory is proposed, which can break through the limitation of the above methods when all behavioral modes of each component are known. Using this method, when observation subsets deduced logically are respectively assigned to the empty or the whole observation set, the kernel consistency-based diagnoses and the kernel abductive diagnoses can deal with all situations. The direct relationship between this diagnostic procedure and the prime implicants/implicates is proved, thus linking theoretical result with implementation.     

含缺省约束的基于模型诊断方法

目前已有的诊断系统一般都默认有完备而可靠的模型，但在实际中常无法实现．因此，在目前已知的对待诊断设备的可靠描述之外．提出了可加入假设性的信息作为对无法完备模型的补充．并且这些假设采用了从规范缺省理论中的规则转化而成的公式的形式．进一步给出了在加入这些假设后的情况下，含缺省约束的基于模型的诊断、中心诊断、蕴含、蕴含式及本原蕴含等概念，证明了含缺省约束的基于模型的中心诊断与缺省本原蕴含的直接关系．并指出这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断的刻画的一般化情形．从而将理论与实现联系了起来。     

广义因果理论上基于模型诊断过程的形式化

对广义因果理论上基于模型诊断的一般过程进行形式化 ,对它与本原蕴涵 /蕴涵式的直接关系进行论证 ,从而将理论结果与实现联系起来 .表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断 ,还能够计算已知每个部件的各种故障行为方式下基于模型的诊断 ;指出对广义因果理论上基于一致性的中心诊断过程、中心溯因诊断过程的形式化只是文中给出形式化的特例     

多态关联系统模型检验方法

多态关联系统可靠性分析是可靠性理论一个前沿研究课题。其可靠性逻辑模型满足一定的关联约束条件,这样的系统有许多优良的性质,从而便于多态关联系统可靠性分析,因此只有在所建模型满足这些关联的条件之下,多态关联系统可靠性分析才得以顺利进行,针对这种情况,本文研究了对多态关联系统可靠性逻辑模型单调性和关联性进行检验的方法。     

不确定因果理论的基于模型诊断

给出当待诊断系统的模型为不确定因果理论时 ,基于模型诊断和模型中心诊断等概念 ,论证基于模型中心诊断与 U -S本原蕴涵 /蕴涵式的直接关系 ,并且根据知识不确定程度对候选诊断进行排序 .指出对经典因果理论基于一致性中心诊断和中心溯因诊断的刻划仅仅是文中刻划的对应诊断的两个特殊情形     

布尔函数的单调分解

利用化简布尔函数的常用方法，讨论布尔函数的单调分解，得到了判别布尔函数单调分解的几个简明判别准则。     

极小蕴涵和析取范式表示

析取范式的极小表示是命题逻辑和计算机科学理论中的一个重要问题．本文研究了在若干极小标准下的蕴涵和析取范式表示的一些性质,并阐述了极小蕴涵和极小析取范式表示在模型检测中的应用．     

模糊控制关系与模糊蕴涵算法

首先对社会科学中的控制关系进行了探讨，并给出了社会关系中控制关系的描述法，然后讨论关于扎德的模糊蕴涵算法控制关系的性质及其逻辑运算，为研究社会关系中的控制关系提供了一种数学方法。