【摘 要】
:
多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中函数系完备性之判定问题是一个基本而重要的问题,此问题的解决依赖于定出多值逻辑函数集中的所有准
论文部分内容阅读
多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中函数系完备性之判定问题是一个基本而重要的问题,此问题的解决依赖于定出多值逻辑函数集中的所有准完备集。Sheffer函数的判定和构造是多值逻辑完备性理论中的另一个重要问题,此问题的解决依赖于定出多值逻辑函数集中的所有准完备集,并可归结为定出所有准完备集的最小覆盖。完全多值逻辑函数中Sheffer函数的判定已由Schofield和Kudrjavcev等完全解决。但部分多值逻辑函数中Sheffer函数的判定尚未彻底解决。本文主要讨论了部分四值逻辑中准完备集之最小覆盖的判定问题。重点研究了保完满对称关系函数集,利用准完备集之间相似关系的概念证明了46个完满对称关系函数集必属于P4 *的准完备集之最小覆盖。论文共分四章。第一章是引言。在引言中,介绍了研究多值逻辑的历史,和多值逻辑的研究方面,还概括了现阶段的研究成果。在第二章中,概述了多值逻辑函数结构理论。首先介绍了完全多值逻辑函数结构理论中的基本概念,然后部分k值逻辑函数集中的准完备集。在第三章中,介绍了部分多值逻辑中准完备集的最小覆盖。首先介绍了最小覆盖的概念及其与Sheffer函数的判定问题之间的关系。然后介绍了准完备集之间相似关系的概念,总结了对部分K值逻辑函数集Pk*中准完备集之最小覆盖的研究现状和主要成果。在第四章中,对部分四值逻辑中保完满对称关系函数集( FS ,m)进行了研究,对部分四值逻辑中完满对称函数集的78个准完备集先按照相似关系进行了分类,剔除了不属于最小覆盖的32个准完备集,构造了10个函数,证明了46个准完备集必属于最小覆盖。
其他文献
近年来,可靠性正在成为体系结构研究领域越来越重要的研究点。现在已经有很多可靠性模型可以用来在体系结构层次上预测软件的可靠性,但是绝大部分工作都没有给出软件体系结构的
随着网络的发展和人们对通讯业务需求的不断增长,传真、文本、图像和语音视频等各种各样的新业务层出不穷,尤其是VOIP(Voice Over IP)业务的发展非常迅速。这些业务突出的特点
拼音输入法不仅具有易学易会的特点,而且拥有相当多的用户。目前市场上的拼音输入法一般是以词为单位进行输入的,具有拼音串可编辑和汉字串可编辑、混合输入、模糊输入、机器
随着互联网技术的迅速发展,许多工作被移植到互联网上,极大提高了工作效率,促进了生产和科研的进步。网上协同工作的目的就是利用互联网的优势条件,促进组织为了共同的目的进行高
随着人们对时态数据挖掘的深入,周期挖掘作为时态数据库中用于理解时态数据、预测未来趋势的一个非常有意义的特征,也越来越受到国内外学者的关注。因此,周期挖掘日益成为时
如今随着E-learning技术的应用和发展,个性化学习环境(PersonalLearning Environment)已经越来越多地引起了人们的重视。不同于以呈现固定教学内容模式为主的传统教学管理系统(Le
Web数据挖掘就是利用数据挖掘技术从网络文档和服务中发现和提取信息。面向Web的数据挖掘是一项复杂的技术,由于XML能够使不同来源的结构化的数据很容易地结合在一起,因而使搜
公共构件是一种可复用构件。它不仅为整个软件系统提供公共服务,还可以复用于其它软件系统,避免了系统开发时重复开发同一类模块的问题,提高了软件开发的效率和软件的质量。
随着全球宽带产业链的形成发展以及DSL技术的不断扩大,IPTV的春天已经来到,并进入一个飞速增长阶段。作为IPTV业务承载的终端,网络机顶盒越来越受到各网络产品开发商的重视。
研发我国自主的高性能处理器芯片在经济和国家安全方面具有重要意义,龙芯系列处理器的成功研制填补了我国自主高性能通用处理器的空白。龙芯的一个重要应用方向是企业服务器,在