4个加数的并行加法器及扩展接口的研究

算术逻辑运算单元(ALU)决定着中央处理器(CPU)的性能,而加法器又决定着ALU的性能.为了提高CPU的性能,文章提出了一种4个加数的并行加法器及其接口扩展的研究方案,论述了所提新型加法器的工作原理和过程,同时描述了接口扩充思想;最后,采用MAX+PLUSⅡ对设计电路进行了模拟验证,实验结果说明了所提加法器的设计合理性.     

关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）

根据部分Ｋ值逻辑的完备性理论，证明了满足一定条件的完满对称函数集是Ｐｋ＊中准完备集之最小覆盖的必要组成部分．     

逻辑在基础数学课程中的教育价值

在新的课程改革的背景中,高中阶段开设数理逻辑课程.本文分别从数理逻辑的应用价值、思维价值以及文化价值等不同侧面论证了在高中阶段开设数理逻辑课程的必要性.     

最优状态编码研究

探讨了状态机电路最优状态编码的问题。研究了状态编码的成本及寄存器最优、组合逻辑最优之间的关系，介绍了3种常用的编码方法。通过实验分析差异。     

用PLD实现桶形移位器的功能

PLD器件具有灵活方便、设计周期短、保密性强等特点、可反映编程。     

格蕴涵代数与Lukasiewicz逻辑系统

讨论格蕴涵代数与Lukasiewicz逻辑系统的关系，证明了：若(L(n),≤)是一个n元链,θ，I分别为最小、最大元，则以≤为导出关系的格蕴涵代数(L(n），∨，∧，→，′，θ，I)恰有一个，并且与n值Lukasiewicz逻辑系统同构．     

Carnap on unified science

Unified science is a recurring theme in Carnap's work from the time of the Aufbau until the end of the 1930's. The theme is not constant, but knows several variations. I shall extract three quite precise formulations of the thesis of unified science from Carnap's work during this period: from the Aufbau, from Carnap's so-called syntactic period, and from Testability and Meaning and related papers. My main objective is to explain these formulations and to discuss their relation, both to each other and to other aspects of Carnap's work.     

基于逻辑函数的电路可测性设计及多故障测试

逻辑函数可以根据需要被表示成多种不同的形式,其中的ESOP形式所需积项较少且具有一般性.针对数字电路的多故障,基于逻辑函数的ESOP形式,采用与门阵列和异或门树来进行电路的可测性设计,提出了在这种电路结构下的多故障测试方法,给出了检测电路中多故障的通用测试集.该测试集可从电路结构图直观求得,无需进行复杂处理,从而使测试生成变得简单快捷.     

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念