逻辑函数的三维K图化简

根据Ｋ图化简逻辑函数的方法给出三维Ｋ图及化简二值、三值逻辑函数的方法，使逻辑函数相邻项的邻接关系得以增强，变量数得以增加。     

对四值逻辑图形化简法的研究

在文献［１,２］的基础上,讨论了四值逻辑的代数化简方法．根据二值逻辑卡诺图的构成特点,提出四值逻辑函数的Ｋ图及图形化简方法,详细地探讨了Ｋ图的构成特点,并指出了尚待研究和探讨的问题．     

不含K3的极大循环图和K（c）函数

本文介绍了不含Ｋ３的极大循环图和Ｋ（Ｃ）函数的概念，讨论了一类与有限整数区间上的Ｓｕｍ－ｆｒｅｅ基相关的不含Ｋ３的极大循环圈（简称ＭＴＣ图），研究了Ｋ（ｃ）函数的某些重要结果，在此基础上获得了某些较好的Ｒａｍｓｅｙ数Ｒ（３，ｈ），ｈ≥６１，的下界．     

卡诺图在逻辑函数化简与运算中的应用

卡诺图是逻辑函数的一种表示方式，对于逻辑变量个数不多于5个的逻辑函数的化简和运算，采用卡诺图法具有直观简便的优点，故得到广泛的应用。本文介绍一种卡诺图的快速填充方法，以及卡诺图在函数化简和运算中的应用。     

逻辑函数的卡诺图化简方法

通过对四变量卡诺图同卡诺图的对称性质,总结出多变量逻辑函数卡诺的地称规律,并给出多变量卡诺图的作图和化简方法。     

基于函数依赖图的设计关系数据库模式的综合算法

本文详细讨论了函数依赖图的原理及基于函数依赖图求解ＥＫＮＦ（基本关键字范式）的数据库模式的综合算法。它对于给定的一关系数据库的一组函数依赖产生相应的ＦＤ图；基于此ＦＤ图，删除该ＦＤ图中的冗余复合节点、多余复合节点和冗余完全弧；从而得到一个ＬＲ最小ＦＤ图覆盖；并由此得出一个属于ＥＫＮＦ的较好的关系数据库模式。本文所述综合算法的时间复杂度为多项式的，因而在实践中有重要的实用价值。     

用降维图化简多变量逻辑函数的新方法

本文提出了一种在原降维图基础上作子降维图化简多变量逻辑函数的新方法，它使得逻辑函数的图形法化简更趋完善。     

逻辑函数卡诺图化简应注意的问题

本文指出逻辑函数卡诺图化简中应注意的几个问题，通过实例讨论了卡诺图化简逻辑函数的基本规律。     

对布尔代数中卡诺图的研究

由于卡诺图具有几何相邻与逻辑相邻之间的良好对应关系 ,故在布尔代数中得到广泛应用 ,文章分析了传统卡诺图在简化多变量 ( n >5 )函数时 ,其对应关系所面临的困难 ,提出三维卡诺图及卡诺图阵列的概念。采用适当的排列方式可将图中几何相邻与逻辑相邻的对应项增加到 6个以上 ,为了使其具有实用性 ,又引入一定的画图规则 ,对三维卡诺图加以改进 ,并举例说明它们的使用方法。结果表明 ,采用该方法对六变量至八变量的逻辑函数进行综合化简时 ,仍具有简便直观、可靠性高及易操作等优点 ,且有较好的实用价值。     

利用卡诺图快速化简逻辑函数的方法

该文分析了利用卡诺图法化简逻辑函数的基本原理，并根据自己的教学实践，提出了快速画出逻辑函数的卡诺图及由卡诺图快速化简逻辑函数的方法。     

正交四值函数

利用多值逻辑和正交函数理论，提出一种新的正交函数－正交四值函数，并作了严格的定义及前８个正交四值函数的图形，指出这种函数可以展开成四值函数级数，且按最小均 方逼近误差理论，得到了当它展开成级数时的系数Ｃｊ。     

多元逻辑函数的基础等价变值表示

传统的逻辑函数表示以AND-OR和OR-AND这2种逻辑函数标准范式为代表.基于变值逻辑体系,描述了一类基础等价变值表示,将经典的多元逻辑表达式转化成为变值等价表示形式.选择二元0-1函数集合列表,按真值和变值表示作为典型示例,并给出了2个函数表示结果.     

用MSI数据选择器实现逻辑函数的方法讨论

目的讨论用中规模器件实现组合逻辑函数时,函数变量数小于数据选择器的地址变量数的情况。方法详细阐述了数据选择器的原理及应用,从逻辑函数表达式、真值表和卡诺图3方面进行分析。结果得出用MSI数据选择器设计组合逻辑函数能够实现任意组合逻辑函数,并通过实例验证了其有效性。结论用MSI数据选择器可实现任意组合逻辑函数。     

一种新型的D／A转换器

多值逻辑是计算机科学的一个新分支．本文首次将多值逻辑的概念应用于Ｄ／Ａ转换器，提出了通用多值Ｔ型电阻解码网络电路形式与计算方法。并由此设计出一种新型的多值Ｄ／Ａ转换器。分析和实验证明：多值Ｄ／Ａ转换器在灵敏度、转换精度方面优于二值ＴＴＬＤ／Ａ转换器。     

ON EQUIVALENCE BETWEEN THE SEQUENTIAL CIRCUITS IN SERIES AND IN PARALLEL

Propose the sequential circuits with the ternary D-ffs in series~1. Discuss the equivalence between the sequential circuits with the p-valued flip—flops in series and in parallel as a part of studying the multiple valued logic circuits.     

扰动模糊逻辑及其"与","或"算子

提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊“与”“或”算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

基于谓词逻辑和约束网络结构的遗传编程方法

提出了一种新的谓词型遗传编程方法,该方法包括:待求解问题论域的函数空间约束、遗传算子的谓词逻辑表达、谓词结构推理下数值参数空间的混沌式遍历及发生机制以及非线性方式下自适应进化和非监督学习的综合。整个过程是在约束网络的基础上,以谓词逻辑表达机制为核心实现的函数结点集合约束下的数值型进化计算过程。该方法可被认为是对现有遗传编程技术的改进,克服了LISP型及其C仿真型遗传编程算法在各种表示手段方面的缺陷,提高了计算效率,在系统辨识中的应用实验表明了是有效和实用的。     

均匀逻辑公式的基本性质及其真度的分布

基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。     

基于经验数据的T-S模糊控制器设计与优化

提出了一种基于经验数据而非语言的T-S模糊控制器设计和优化方法.此方法分为三个阶段,第一阶段依据输入变量的范围来确定输入变量的高斯型隶属度函数;第二阶段在不改变输入变量隶属度函数的前提下,对经验数据施加递推最小二乘法以确定T-S模糊控制器的后件系数;第三阶段,使用梯度下降方法同时优化控制规则的前件参数和后件参数.倒立摆的仿真试验结果验证了该方法的有效性.