关于部分K值逻辑Sheffer函数(Ⅳ)

根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在P*k的极大封闭集之最小覆盖中必不出现.     

一次可编程电路

在读状态下,为了与Philips公司的82S131电路完全兼容,设计了一种可编程电路。选用华虹HMOTPFA OTP MACRO,采用多值逻辑、端口复用等设计技术实现了用户提出的技术要求。芯片在0.35μm CMOS工艺下设计并流片,流片一次成功。测试表明,在编程电压12V、电源电压7V条件下,该编程器测试芯片的编程功能和读出功能正常。     

P*4中保二元正则可离关系非最小覆盖的剔除

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。     

部分K值逻辑中单纯可离函数集结构研究

根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。     

哲学家如何理解人工智能—塞尔的“中文房间争论”及其意义

本文首先介绍当代著名语言哲学家John R.塞尔的“中文房间”模型，认为它是对包括图灵标准在内的已有人工标准的挑战。本文继而对“中文房间”模型的逻辑基础问题进行讨论，指出基于二值逻辑的二进制计算机系统只能是非智能型的，智能计算机系统需要使用除经典二值逻辑以外的更多的逻辑系统和方法。作者给出了多值逻辑理论计算机的一些例子。本文最后指出，塞尔的“中文房间”模型应该成为人工智能的一个新标准。塞尔标准的意义在于：它说明机器智能是有限度的，机器智能永远不可能超过人类智能。因此，它为人工智能提供了一个动态的、恒久适用的标准。     

三值环形控制器的有效综合

一、引言 缺乏合适的多值触发器是多值逻辑实用化的主要障碍之一。近年来,为克服这一障碍所作的努力取得了进展,提出了与二值触发器对应的各种新型三值触发器,从而构成了完整的三值触发器系列,为三值时序电路的研究奠定了基础,促进了三值时序电路的研究。文献[1]提出了基于Post代数的三值主从JKL型触发器,它的次态方程为     

正则余剩余格的特征及其应用

余剩余格理论是研究逻辑代数系统的重要工具,而余剩余格的代数结构本身就具有普遍性和代表性.文中对余剩余格的定义和性质进行研究,给出了余剩余格的特征定理,并且引入正则余剩余格的概念,进而讨论了正则余剩余格的特征定理,同时证明了正则余剩余格与正则剩余格的一致性.最后,基于正则余剩余格的特征定理给出了几类逻辑代数系统的等价刻画.