互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

逻辑分析卡的硬件设计

逻辑分析仪是数字域检测的基本仪器，它在数字电路中的作用相当于时域测量中的示波器，在微机上开发逻辑分析仪系统，可充分利用微机的硬、软件资源，有较高的性能价格化，使用方便，功能易于扩充。文中对逻辑分析仪作了简单介绍，探讨ＢＨ－Ｌ３２逻辑分析卡硬件设计的基本原理，介绍了实际调试该逻辑分析卡过程中的一些问题。     

法律逻辑简论

法律逻辑是一门学科,有其独立的研究对象,是一门主要研究法律思维形式及其逻辑方法的科学,法律逻辑可归属于应用逻辑之列。法律逻辑的研究包括两个层次：逻辑在法律中的应用与系统化的法律逻辑。     

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

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

构造性逻辑否定排中律吗

构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统，但是把构造性逻辑和排中律对照起来看，事实并非如此。在构造性逻辑中，否定符所代表的意义已经不同于其在经典逻辑中的意义，当我们把经典逻辑中排中律的形式放到构造性逻辑中，该形式已经不能表现排中律的实质。所以，构造性逻辑只是在形式上而非实质上否定了排中律。     

数据选择器逻辑功能的通用性

数据选择器是一种能从多个输入数据中有选择地将一个输入数据送到输出端的组合逻辑电路。本分析了数据选择器可实现一般与或逻辑函数；根据逻辑反函数的一种特殊表示形式，指出数据选择器可直接实现与或非逻辑函数；并分析了引入反馈后可将数据选择器构成具有选择功能的时序网络。     

如何对待传统逻辑与现代逻辑——兼谈逻辑学教学体系的构建

传统逻辑并非完全过时，“取代论”者之所以主张用数理逻辑代替传统逻辑，是由于他们将“传统”与“落后”相等同，“现代”与“先进”相混淆，从而将传统逻辑看作是“落后的”、“过时的”逻辑，现代逻辑被视为“先进的逻辑”。尽管传统逻辑与现代逻辑在其研究的对象、内容、方法以及适用范围等方面有许多不同，但它们之间并非是完全对立的两极。传统逻辑与现代逻辑的某些内容是可以相容的。传统逻辑现代化的前提是保留传统逻辑，而不是取代传统逻辑。构建逻辑学教学体系要正确处理好传统与现代之间的关系，要相互吸收、借鉴、兼容，反对机械拼凑和生搬硬套，反对一刀切。要根据学科自身发展的规律和教学改革的需要，构建适合不同专业、不同知识背景、不同教学及授课方式的教学体系。     

非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

一种改进的四值逻辑函数的图形化简法

针对用图形化简多变量的多值逻辑函数时遇到的困难，提出了三维Ｋ图的概念，利用三维Ｋ图，并采用适当的排列方式和规则，可对三、四变量的四值逻辑函数进行简便，直观的化简。     

门和功能级混合的逻辑模拟系统GFLS1

ＧＦＬＳ１是门和功能级混合的逻辑模拟系统，它允许门或功能块作为被模拟电路的基本单元。ＧＦＬＳ１的主要特点是：提供了一个便于使用的描述语言；使用表驱动和选择追踪算法；既可对已有的逻辑电路作正确性检查，负载检查和各种条件检查，也可支持自上而下的逻辑设计。     

高性能低功耗逻辑电路—MOS电流模逻辑

本文介绍了一种高速低功耗逻辑电路:MOS电流模逻辑电路(MCML),该电路以其独特的差分结构及恒流源偏置方式,在高频电路及数模混合电路中表现出了低电压低功耗及高抗噪的特性,可作为高频应用中新一代高性能低功耗集成电路芯片。     

解决逻辑电路自启动问题的新方法

逻辑电路自启动问题的典型解决方法，应用广泛，逻辑性强；但它也有不足之外．在掌握典型方法的基础上，把新的解决方法：加电预置电路和检测复位电路作为典型解决方法的补充，可以起到取长补短的作用．     

对变量受约束的逻辑关系函数的分析

逻辑函数在逻辑电路的结构设计与电路功能：分析过程中，具十分重要的作用和价值．然而，变量不受约束的逻辑函数求找方法在逻辑变量受到约束时存在不适应性，据此，就变量受约束时的逻辑关系函数求找方法作出了探求．     

数字电路中逻辑分析仪实验系统的设计

介绍了数字电路课程中逻辑分析仪实验系统的开发与设计,讨论了外置式逻辑分析仪的硬件设计和软件设计思路,其中数据采集模块和触发控制电路是设计的重点。学生通过设置逻辑分析仪的时钟、采样方式、存储深度、测试通道和触发方式等参数,就可以捕获需要测试的数字信号。被测信号以图形的形式显示,便于分析。该实验系统采集精度高,操作方便,形象直观。     

时序逻辑电路中的竞争冒险

分析了异步时序逻辑电路和同步时序逻辑电路中的竞争冒险现象,给出了消除竞争冒险的方法和途径．     

模糊逻辑在智能电路板故障诊断中的应用

模糊性是人类思维和客观事物普遍具有的属性之一,为了克服传统二元逻辑的局限性,模糊逻辑应运而生.本文简要讨论了模糊逻辑、模糊推理在智能电路板故障诊断中的应用.     

电器电路故障问题的解决方法

用软件来解决故障问题,其目的是缩短系统的开发的时间和降低开发的成本,实现系统的可移植性和可操作性,提高学习和工作的效率.介绍了关键技术逻辑方程和事件方程的研究和处理,用此方法来解决电器电路的故障问题.     

量子电路可逆逻辑综合的研究及进展

分析了量子电路可逆逻辑综合的意义、研究现状和研究进展,给出了相关的研究方法和目前量子可逆逻辑综合研究中存在的主要问题,提出了量子可逆逻辑综合中的最小量子代价、最小化垃圾信息位、最小化门的数量和可逆逻辑综合的规模等关键技术问题的解决思路.     

基于复杂可编程逻辑器件的数字频率计设计

选用在系统可编程大规模集成ispLS11032-70PLCC84芯片作硬件电路，以Lattice Expert7.1作EDA设计工具，设计一种新型数字频率计，该频率计采用ABEL－HDL对其中的各部分元器件进行编程，实现了闸门控制电路、计数电路、多路选择电路、位选电路、段选电路等。频率计的测频范围：1Hz-70MHz。该设计方案通过了软件仿真、硬件调试和软硬件综合测试。