MTL代数的特征定理

对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质.     

面向对象的模糊知识表达及推理

首先介绍了加权模糊逻辑及其在推理中的应用，讨论了面向对象的程序设计技术及面向对象的知识表达，提出了一种集框架、规则、过程于一体的面向对象的知识表达方法，介绍了呆推理机、方法推理机、规则推理机及元推理机的作用，并着重讨论了规则推理机的工作原理。     

VHDL逻辑综合及FPGA实现

运用ＶＨＤＬ语言描述了一个１２×１２位的高速补码阵列乘法器。重点是运用ＶＨＤＬ逻辑综合优化该乘法器，并进行了乘法器的ＸｉｌｉｎｘＦＰＧＡ实现、功能仿真和时序仿真。经选用ＸＣ４００５ＰＣ－８４－４芯片进行验证，证明了其正确性     

基于逻辑查阅表和多路开关库的现场可编程门逻辑的延时优化

早先对ＦＰＧＡ的延迟优化工作主要集中在减少关键路径中各元胞块的级数，但缺少用以控制元胞块增另的有效方法。在ＦＰＧＡ的情况下，所使用的元胞块数量也会在很大程度上影响布线后的最终延迟，因为大多数延迟是由存在的可编程互连所引起的布线延迟。中讨论了两类ＦＰＧＡ即基于查阅表的ＦＰＧＡ和基于多路开关复用器的ＦＰＧＡ的延迟优化，提出了可用于逻辑优化阶段的一种新的延迟优化方法，可以解决元胞块级数的减少与元胞块数     

可编程阵列逻辑器件在通信系统中的应用

近年来，可编程逻辑器件已广泛应用于计算机系统，数据处理，接口技术和工业控制等领域中。本文阐述了可编程阵列逻辑拓差分和多相键控发送端中的应用，结果表明，与中小规模集成电路设计方法相比，采用可编程阵列逻辑器件的设计方法不仅体积小，功耗低，可靠性高，而且安装，调试过程更为简便。     

字节全加器及其在无线电测控系统中的应用

对全加器概念进行了推广，并在此基础上给出了使用字节全加器网络的无线电抗干扰算法。通过在实际的无线电测控系统中的应用，结果表明该算法具有良好的无线电抗干扰效果。     

模糊逻辑函数中短语的可消性

设Ｆ＝ａＰ＋ａ＿１Ｐ＿１＋……＋ａ＿ｍＰ＿ｍ是非冗余析取范式，本文获得了当ａ＞０．５时，ａＰ可消当且仅当ａＰ是冗余项，当ａ≤０．５时，给出了ａＰ可消的一个判别准则，然后归纳出短语可消性的判定法则。     

集合与简易逻辑

1）重点：集合及子集、交集、并集、补集、空集、相等集合等概念的理解，元素与集合、集合与集合之间的关系及集合的运算的理解与应用；绝对值不等式、一元二次不等式的解法，二次不等式、二次方程和二次函数之间的联系与应用；逻辑联结词“且、或、非”及简单命题、复合命题等概念的理解，命题真假的判断与应用，四种命题及其关系；充分条件、必要条件、充要条件的概念及两命题间充要关系的判断与证明．