【摘 要】
:
多值逻辑是一种逻辑取值数大于2的非经典逻辑系统。其研究内容主要包括多值逻辑理论、电路与系统和应用等三个方面。多值逻辑函数结构理论是多值逻辑理论的研究内容之一,它主
论文部分内容阅读
多值逻辑是一种逻辑取值数大于2的非经典逻辑系统。其研究内容主要包括多值逻辑理论、电路与系统和应用等三个方面。多值逻辑函数结构理论是多值逻辑理论的研究内容之一,它主要包括多值逻辑函数的完备性理论、函数表示理论以及单向陷门函数,其中一个基本且重要的问题是多值逻辑函数集的完备性判定,在多值逻辑网络以及自动机理论中,这也是一个必须解决的问题。此问题的解决与多值逻辑函数集中准完备集(又称极大封闭集)的确定密切相关。多值逻辑中Sheffer函数的判定与构造是多值逻辑完备性理论中的又一个重要问题,该问题归结为找出全部准完备集的最小覆盖。对于完全多值逻辑中Sheffer函数的判定问题,已于20世纪70年代完全解决;对于部分多值逻辑中Sheffer函数的判定问题,由于准完备集的最小覆盖问题还没有完全解决而尚未彻底解决。本文较深入地研究了部分四值逻辑中Sheffer函数的判定和构造问题。根据部分四值逻辑中准完备集的最小覆盖,分别给出了判定和构造部分四值逻辑中Sheffer函数的算法。该算法可判定任意一个部分四值逻辑函数是否为Sheffer函数,此外,还能构造出所有部分四值逻辑Sheffer函数。为解决部分K(>4)值逻辑中Sheffer函数的判定和构造问题提供了有益的经验。
其他文献
互联网信息资源的快速膨胀推动了搜索引擎技术的蓬勃发展,作为一种网上信息检索工具,搜索引擎能够帮助用户从杂乱的信息中抽出一条清晰地检索路径,快速准确的定位到所需信息
随着软件技术的发展,Web应用已经变得越来越庞大和复杂,Web页面也以指数级增长,而开发周期却越来越短、维护更新也更为频繁,这就导致目前实际开发中Web页面常用的单元测试方
本文主要总结了如何用公式表示达尔文进化动力学的相关工作。尽管人们一直认为在生物学中存在通用的数学定律,但是反对这个观点的意见大量存在于学术界。基于近年来在数学和
近年来,研究者越来越重视通过应用数据挖掘技术在海量数据中发现知识和规则。在数据挖掘过程中,数据可视化技术是保证挖掘结果便于用户理解数据和进行交互的重要途经,因此数
基于Web的信息系统通过Internet来为用户或其它系统提供信息服务,随着Web技术的不断发展,这类系统越来越普遍。学习和研究Web信息系统的开发方法,在当前具有重要的现实意义,
在信息技术领域,云计算作为目前最热门的话题之一为现代高速计算提供了新思路,即采用了一种新型的基于因特网的计算模型实现了高速计算。但目前云计算中的安全问题日益突出,
社会容迟网是具有一定社会关系的人所形成的具有社会性的容迟网络,所以研究社会容迟网的路由方法需要充分考虑到网络中节点的社会性和容迟网络的特性。节点的社会性主要体现
近年来,由于访问控制系统的发展和应用环境要求的提高,现有的访问控制模型已经不能满足访问控制的需要,特别是对于有动态应用要求的系统,传统的访问控制模型实现起来比较复杂
随着多媒体技术和计算机网络技术的发展,人们接触到的视频数据以前所未有的速度增长。然而,现有的视频信息处理技术大多数是非智能的操作,远远不能满足海量且内容丰富的视频信息
随着复杂网络的小世界效应及无标度性的发现,复杂网络的容错抗毁性研究成为热点。相关研究表明,复杂网络对随机攻击具有很强的鲁棒性,而对有目的攻击却极其脆弱。对网络中的节点