轴式卡诺图

本文在卡诺图的基础上提出了一种轴式卡诺图和一种逻辑相邻表.通过查表的方法可使多变量逻辑函数表达式的化简变得比较容易.同时本文还提供了某些公式.这些公式为制做逻辑相邻表和用计算机辅助化简逻辑表达式提供了数学模型.     

用变量矩阵引出卡诺图化简逻辑函数

逻辑函数表达式是描述数字电路输出输入关系的数学模型,逻辑函数的化简是分析和设计数字电路的重要步骤之一。目前,用卡诺图化筒逻辑函数仍是最常用的方法。作者用变量取值组合所构成的矩阵引出卡诺图;方法是将全部变量分成两组,各纽按只有一个变量取值不同的顺序排成一行和一列,得到的矩阵就是卡诺图。与现行的用最小项概念引出卡诺图的方法相比,理论性强,方法简便,特别是在多变量卡诺图的画法上,具有更明显的优越性。本文是工程数学应用于数字电路的一个突破。     

化简逻辑函数的一种新方法——代码化简法

文中提出了一种化简逻辑函数的新方法——代码化简法。这种方法的要点是,将与或逻辑式中各乘积项分别编成人们熟知的八个十进数字代码,这些代码可以按照一些简单的规律进行运算,运算的结果即是逻辑函数的最简式。这种方法既具有卡诺图化简法简单直观的优点,又具有表达式化简法不太受变量数目限制的优点。     

轴式卡诺图的应用

本文是在轴式卡诺图的基础上,应用数学模型,借助计算机对多变量逻辑函数进行化简,并对同一实例应用不同方法进行化简并且通过比较,显示出不同方法的各自特色.同时也证实了,根据轴式卡诺图的特点所提供的数学模型是正确的,为用计算机辅助化简多变量逻辑函数提供了一种新的方法.     

逻辑集成电路的化简

在数字逻辑集成电路中，常用公式法或卡诺图对逻辑函数进行化简，但在变量较多时，就很不方便且易出错。本文采用一种表格法，既可以解决变量较多时进行的化简，更便于计算机处理逻辑函数的化简。     

数字技术中图形原理的研究与应用

用卡诺图化简、分析逻辑函数具有简洁、直观等优点,但在多变量的数字技术研究中因图形的复杂性难以使用卡诺图分析方法.基于此,本文提出了数字逻辑图形原理,该原理仅依据数字逻辑函数的最简与或式的因子特征就可得出相对应的虚拟卡诺图特性,并给出其虚拟卡诺图的各卡诺圈彼此相隔、相交及相切的判断原理.本文还进一部研究了电路产生数字险象的虚拟卡诺图分析原理和解决方法.数字逻辑图形原理避免了多数字变量的卡诺图图形实际建立的复杂性,给多数字变量的卡诺图理论分析及应用提供了新的研究方法.     

逻辑集成电路的化简

在数字逻辑集成电路中,常用公式法或卡诺图对逻辑函数进行化简,但在变量较多时,就很不方便且易出错。本文采用一种表格法,既可以解决变量较多时进行的化简,更便于计算机处理逻辑函数的化简。     

利用加权图化简多输出函数

利用卡诺图化简多输出函数,是早已熟悉的方法,但随着输出函数个数的增加,其化简过程越来越复杂。一般来说,对于具有N个输出的多输出函数,为寻找多个函数间的公共与项,应画出C_n~1 C_n~2 … C_n~n=2~n-1个函数卡诺图。该式表明,随着输出函数个数的增加,卡诺图的个数按2~n的指数规律增加,这不但增加了画图工作量,而且使化简过程大大复杂化。     

逻辑表达式的位轴对称化简法

本文综合应用简明化简法和图形法,提出了位轴对称化简法。此法基于“重量差1数差权”的概念,把卡诺图和奎恩—麦克劳斯基的列表法统一起来,适于多变量逻辑表达式的化简,且容易写出其简化表达式。     

降维卡诺图

通过实例介绍了用降维卡诺力表示和化简逻辑函数的方法，由于卡诺图的规模大为减小，从而有效地扩展了卡诺图的实用范围。     

多输出组合逻辑函数共卡诺图化简法的研究

针对多输出逻辑函数,建立了一种规范化的共卡诺图化简沦。该化简法要求用一张卡诺图表示多输出逻辑函数,使得它们的共享部分在几何上相互重叠,为辨识共类共享最小项和合并提供了方便。以实例说明了共卡诺图化简法的应用,展示了该方法化简多输出逻辑函数简洁明快的特色。     

一种化简逻辑函数的新方法

介绍了一种化简逻辑函数的新方法。该方法是用寻找可消变量最小项求出本原蕴含项;用分析最小项的包含情况求出本质蕴含项;对大于四变量的函数采用分解变量的方法化简。该方法使多变量函数化简准确、迅速。文中实例的化简数据由自编软件给出。     

一种新的模糊逻辑函数表示及化简方法

提出了一种新的模糊逻辑函数表示及化简方法——模糊Ｋ图法．首先给出了模糊逻辑函数的最小化析取范式，接着提出了模糊逻辑函数的Ｋ图（ＦＫ图）表示方法、模糊一致定理、ＦＫ图的蕴含图及覆盖分数．最后给出了模糊逻辑函数的ＦＫ图化简算法．与传统的解析法相比，该方法不仅直观、简便，还易于计算机实现，具有一定的实用价值．     

多变量10进代码项的分部化简法

本文在《1—0》表法和《查表》法的基础上,进一步提出了多变量代码项的分布化简法。根据这一方法,可以利用八变量的各维化简表解决多于8个变量的逻辑表达式的化简问题。     

化简逻辑函数软件设计

介绍了一种化简逻辑函数的软件,其化简原理基于一种化简逻辑函数的新方法。由于化简方法中使用的真值表、蕴含表等都是一些二维的表格,因此采用数据库技术编程。文中包括软件的总体设计构想和三个特殊模块的设计思路。由于与一般的管理和控制软件不同,该软件设计方法独特,使用方便,化简迅速,结果准确。     

时序电路设计中解决“挂起”问题的方法

给出设计过程中判断和解决“挂起”现象的完整方法。对“挂起”现象的判断是在采取一种化简方案之后进行的,如果有“挂起”,则可直接分析状态转换特点,得出化简方案的改变方向,较快地解决“挂起”问题。     

基于GX Works2软件的SFC编程与仿真应用

文中针对PLC的SFC编程过程,介绍了一种全新的基于GX Works2软件集编程与仿真调试于一体的设计工具。以送料小车控制为例,用顺序功能图的方法编程,依据编程及仿真运行结果可以看出,该方法具有简单、直观、逻辑性强等优点,能够有效提高编程效率。     

10进代码项化简的查表法

本文提出了一种化简10进代码项的新方法,综合使用《1—0》表法和查表法,可以实现各类与—或逻辑表达式的化简。     

基于阈值逻辑门的任意布尔函数综合

阈值逻辑门具有很强的逻辑功能及独特的优点,用阈值逻辑门实现数字逻辑函数也一直受到关注.该文在研究阈值逻辑门性质的基础上,提出了一种基于阈值逻辑门的任意布尔函数综合的新算法.该算法引入了神经网络的学习法则和化简规则,不但具有简单规范的特点,同时降低了实现数字逻辑函数的复杂性.体现了基于阈值逻辑门综合布尔函数的有效性和优越性.     

一类复杂系统分散输出反馈鲁棒镇定

利用模糊逻辑系统的万能逼近性质，分析和研究了一类非线必不确定复杂系统的输出反馈鲁棒镇定问题，给出了这类系统的分散自适应输出反馈鲁棒控制器和模糊逻辑系统参数估计的自适应律，并在较弱的假设条件下，证明了这种控制器使被控系统的状态及参数估计误差一致终极有界。仿真实例说明了中提出的方法是有效的。