逻辑函数的“复合门”实现

在《数字逻辑》课程中，用“与”、“或”、“非”三种基本运算可以描述命题逻辑中任何复杂的问题。换句话说：不管逻辑电路多么复杂总可以看成是由“与”“或”、“非’等简单门电路组成的。但是，逻辑函数实现时不是用“与”、“或”、“非’门作基本的逻辑单元，而是大量使用“与非”。“或非”、“与或非’门，它们是数字逻辑集成电路系列（74LS00，74LS02，74LS10，74LS20…）的复合门电路。这是因为：“与非”、“或非”“与或非”门中的任何一种，都可以实现“与”、“或”、“非”三种基本操作：一、用“与非’们实现“与”、“…     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

码率为2／3的大数逻辑可译二进制突发错误纠错码

采用构造码率为１／２的大数逻辑可译二进制突发错误纠错码的方法，提出了构造码率为２／３的（３ｍ，２ｍ）大数逻辑可译二进制发错误纠错码，该码能够纠正所有长度小于等于ｂ（ｂ＝［３（ｍ－１＋ｈ）／（１２＋ｈ）］，其中ｈ＋［（ｍ－１）１２／１２］）的闭环突发错，模式 由此得出构造此类码的一般方法。     

符号多值PLA‘s及其应用

提出了三种新的符号多值ＰＬＡ（ＳＭＰＬＡ）结构：第一类型ＳＭＰＬＡ由符号译码器、ＭＩＮ阵列和ＭＡＸ阵列组成；第二类型ＳＭＰＬＡ由符号译码器、ＡＮＤ阵列、ＯＲ阵列和输出编码器组成；第三类型ＳＭＰＬＡ由两级第二类型ＳＭＰＬＡ和延时部件组成。在此基础上，讨论了专用数字流水处理器部件－ＡＤＤ的原理及其实现。     

陶氏颚口线虫生活史的研究

本文报告陶氏??线虫发?史,对发育各期均作??考察和描述。经实验证实,在?门??,充?本虫第一中间宿主的剑水蚤有6种,短角??水蚤Apocyclops royi和台湾温剑水蚤Thermocyclops faihokuensis ??发现的第一中?宿主,??报告将含有早第??幼虫的剑水蚤感染虎纹?Rana tigrina rugulosa获得成功,在26～28℃条件下,?虫卵到第三期幼虫侵入猪体内发育至成虫成熟?卵约?125～130天。     

多路选择器二级逻辑网络设计

首先组合函数的分解方法，然后给出利用多路选择器通用逻辑模块实现组合函数时，获得最小化或接近最小的二级逻辑网络的一种设计方法，该方法容易实现组合函数的计算机自动综合。     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

分划逻辑的三个特征数

分划逻辑是新近出现的一类扩充逻辑.它们既具有较强的表达能力,又具有较好的模型论性质.尽管分划量词的引入背景是数学的,但在计算机科学中有一系列的应用.本文在广义模型论的框架之下,进一步研究分划逻辑的若干基本属性,特别是良序数、Hanf数及L(?)wen-heim数这三个特征数.     

基于多β晶体管的高速逻辑门

1 多β晶体管与线性与或门在开发高速硅集成电路的努力中,人们把注意力放在双极型集成电路上.双极型晶体管不仅由于其结电容较小而适合于高速工作,而且pn结的单向导通特性赋予它的发射结具有很强的逻辑功能.例如,TTL电路中的多射极输入管可方便地用于输入信号之相“与”,而ECL电路中的射极输出则可简单地用线接方式实现多个输出信号的相“或”.属于ECL电路变型的EFL电路则是充分利用发射极逻辑功能的典型,它的结构如图1(a)所示.图中输入管T_i的     

带权PLA折叠问题及其启发式算法

本文将可编程逻辑阵列（ＰＬＡ）的折叠问题推广到行列折叠点间带权的一般情况，对这个ＮＰ－完全问题给出三个启发式算法，其中两个为贪心类算法，另一个是利用独立集的启发式算法，分析了各个算法的复杂性。