论文部分内容阅读
根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。
部分三值逻辑中准完备集的最小复盖
【摘 要】
：
根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。
【机 构】
：
湘潭大学计算机科学系
【出 处】
：
湘潭大学自然科学学报
【发表日期】
：
1991年2期
其他文献
本研究以JTAG技术为基础,对基于电子控制器的片上可调式性结构进行了设计.在研究的过程中,首先概述了JTAG技术的相关理论,然后基于JTAG协议规范和TAP控制器,设计了一种满足电
不锈钢制甲醛氧化反应器(废热锅炉)使用寿命短的主要原因是由于晶间腐蚀、点腐蚀和磨损腐蚀及其综合作用对管壁的腐蚀破坏所致。用经表面处理的碳钢代替不锈钢制造甲醛氧化反
本文介绍电网调度操作票专家系统ＥＳＤＰＯＮ。电网调度操作票的制定可看作一个规划问题。由于电网拓扑结构特别是电网操作本身呈现层次性，故推理机采用分层规划控制策略。相应地，知识库也
本文提出了一种基于图结构描述的二维图形几何约束模型的建立及存储方法。该方法利用图论的概念和原理,提出用无向图的结构描述一个几何约束系统,用约束图表示图形的约束信息,规则图则用来表达几何推理的过程,同时利用面向对象的技术建立一种扩展的图的邻接表的数据结构来存储约束模型。这种方法对约束的分类及表达清晰、直观,能够处理各种约束信息,效率及可靠性较高。
随着Internet和WWW的迅速发展,以Web为基础的教育系统越来越受到关注。但是,较之真实生活中的课堂教室,这种以自学成才方式学习的系统在以下几方面仍显不足:常常使学生感到呆板、沉重、目标性差,与人类教师不同;这些系统不可能了解每个学生的实际学习情况,不可能辨别学生学习中的问题,并为特殊学生提供相应帮助。我们项目的主要目的是建立一个学生智能程序文件学习系统,为每个使用Web教学系统学习的学生提
根据单兵电台网络综合业务的需求,设计了一种区域路由,并通过信噪比对区域路由进行了改进,满足综合业务对区域内路由的实时性和对区域外路由的准确性要求。并通过测试,验证了
本文介绍了一个基于Internet的信息检索多Agent系统DOLTRI－Agent内多个Agent间的通信框架及其安全机制。主要论述各个Agent间相互通信所采用的通信语言，通信协议以及信息交换和
“毛泽东与知识青年上山下乡”问答录（下）问／边彦军，张素华答／张化高涨与扭曲提问人：到“文革”时期，知青上山下乡又掀起一个高潮。怎么看待这一时期的知青上山下乡呢？张化：在“文化大
根据量子限域电子溢出理论及极化场引起的能带弯曲理论,我们采用不同工艺的EBL层结构,通过控制Al组分分布,在不影响P-GaN层空穴的注入的情况下,提升电子限制能力,提升芯片的
为探明重要毒力因子玫烟色棒束孢几丁质酶基因Ifupr1的表达调控机理,以Ifupr1基因组全长核苷酸序列为基础,采用基因组步移方法,获得Ifupr1的5′-上游区序列（总长为2402bp）。分