【摘 要】
：
1.引言 在多值逻辑结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分.它分别包括完全、部分多值逻辑Sheffer函数的结构与判定,其判定问题与函数系完备性之
【基金项目】
：
国家自然科学基金资助项目(60082001).
论文部分内容阅读
1.引言 在多值逻辑结构理论中,Sheffer函数的判定与构造是其中的一个重要的组成部分.它分别包括完全、部分多值逻辑Sheffer函数的结构与判定,其判定问题与函数系完备性之判定密切相关,并可归结为定出完全与部分多值逻辑中极大封闭集的最小覆盖.对于完全多值逻辑函数集中的Sheffer函数,其判定与构造问题已经完全解决.对于部分多值逻辑函数集中的Sheffer函数,文[2,3]对于k一3,4定出了P*k的极大封闭集的最小覆盖;在文[4～6]中,证明了极大封闭集(即准完备集)保E函数集TE、L型函数集TG
其他文献
1.引言 近年来生物特征在安全领域的应用越来越受到重视,人脸识别即为其中一个重要分支.迄今为止,人们已经提出了多种人脸识别的算法[1,2],大多数算法是针对二维图像设计
多通道用户界面是当前用户界面中研究的热点,人们提出了各种各样的方法.在多通道界面系统中,一个重要的问题是通道整合,本文介绍了人们提出的各种通道整合的方法,对这些方法
引言网络对等计算模式P2P(Peer-to-Peer)[1,4,5,18]是当今的研究热点之一.与较早的C/S(Client/Server)计算模式相比,该模式没有明显的Client端与Server端的区别,可以认为它的
1引言随着Internet的飞速发展,我们已经进入了一个世界范围的网络计算时代.由于Internet固有的开放性、动态性、分布性、异构性使得Internet软件变得越来越复杂,用传统的面向
1.引言 为获得较好的视觉效果或适应某些特殊场合的需要,常要对图像进行缩放处理.图像的缩放可归结为对图像进行几何运算,它分两步进行:首先对图像进行空间变换;其次对图
We analyze the some random number generators used in information security currently, apply the decomposition and reconstruction of wavelet analysis to random nu
1引言随着Internet的飞速发展,网络信息量爆炸式的增长,信息的更新速率也成倍加快.再加上WWW本身的分布性和动态性,使得发现特定的信息变得越来越困难.传统的WWW信息发现方法
<正> 1.引言随着Internet的迅速发展,人们对图像编码的要求越来越高,不仅要求编码技术具有较好的压缩效果,而且要求它能适应于图像网上传输的需求。为此人们提出了图像可分级
1引言 立体视觉是获取物体三维形状信息的重要方法之一,已经在工业测量、物体建模、视觉导航和物体识别等领域得到了广泛的应用.目前的立体视觉系统通常由多个摄像机、图