部分四值逻辑中保二元正则可离关系非最小覆盖的剔除

来源 :计算技术与自动化 | 被引量 : 0次 | 上传用户：susanna2005

【摘要】

：

摘要：为确定部分四值逻辑的最小覆盖，根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。　　关键词：多值逻辑；完备性；正则可离关系；最小覆盖　　中图分类号：TP301文献标识码：A　　　　1 引言多值逻辑是指一切逻辑值的取值数大于2的逻辑，它是

【作者】

：

龚志伟刘任任

【出处】

：

计算技术与自动化

【发表日期】

：

2011年3期

【关键词】

：

多值逻辑完备性正则可离关系最小覆盖 multi-valued logic completeness regularly separable relat

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

带拒绝箱覆盖问题的局内算法

摘要:作为对装箱覆盖问题的推广,提出带拒绝的装箱覆盖问题设有许多等长的一维箱子,给定一个物品集,每个物品有两个参数:长度和费用物品可以放入箱子也可被拒绝放入箱子,每个物品只准放入一只箱子中,每只箱子中的物品容量总和至少为箱子容量,一旦箱子中的物品长度达到要求则需启用新箱如果物品被放入箱中,则产生费用该问题是一个新的组合优化问题,在内部互联网信息管理等问题中有着广泛的应用背景给出一个求解该问题的局

期刊

箱覆盖问题近似算法最坏情况渐近性能比因特网通信信息管理bin covering problem approximation algorithm a

基于FPGA的中频数字接收机设计与实现

介绍一种基于FPGA的中频数字接收机的设计与实现，给出系统实现的总体方案，并阐述各部分硬件电路的设计。重点对FPGA内部各主要功能模块做详细阐述，对各个模块的设计方法以及实现

期刊

数字接收机FPGA低通滤波CORDIC算法digital receiver Field- programmable gate array low p

不求为我所有，但求为我所用——论图书营销的整合意识

现实出版活动中，往往有一种现象存在：硬性要素基本相同的出版单位，出书的规模和效益却大相迥异。有的出版单位每年出版一两百种图书，大多数都是有一定策划含量的双效书；有的出版单

期刊

图书营销整合意识出版单位出版活动合作出版吸引读者营销能力作者

互联网时代高校思想政治理论课混合式教学改革研究

现代信息技术和互联网技术发展迅速,为高校思想政治理论课的教学提供了新的教学路径和教学模式。新时代高校思想政治理论课“混合式”教学模式坚持“以学生为中心”的教学理

期刊

互联网信息技术思想政治理论“混合式”教学改革

基于Hadoop的业务过程模型管理方法研究

摘要：目前现有业务过程模型研究的共同特点便是基于单机环境来构建业务过程库，并基于传统关系数据库来管理业务过程模型，完成相关的检索、存储等操作。为提高大规模业务过程模型检索与存储的效率，本文提出一种新的业务过程模型管理方法。该方法采用基于Hadoop大数据处理平台对业务过程模型进行管理，并采用Map/Reduce编程框架和HDFS文件系统分别对业务过程模型进行检索和存储，提高了业务过程模型存储效率，

期刊

业务过程模型管理HADOOP检索存储效率business process model management Hadoop retrieval

动态矩阵控制在MSP430温控系统中的实现

把近年来工业中广泛应用的动态矩阵控制方法应用于电加热炉为对象的单片机温度控制系统中,该温度控制系统采用MSP430作为CPU,使用DMC作为控制策略完成温度控制,其控制效果与

期刊

动态矩阵控制温度电加热炉

部分四值逻辑中保二元正则可离关系非最小覆盖的剔除

其他学术论文