论文部分内容阅读
本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.
部分多值逻辑中保正规关系的准完备集之性质研究
【摘 要】
：
本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.
【机 构】
：
湘潭大学信息工程学院,湖南 湘潭 411105
【出 处】
：
2011年全国理论计算机科学学术年会
【发表日期】
：
2011年期
其他文献
作为一名长期工作在初中教学一线的物理教师,我尝试了对课程资源做一些开发与利用,在这种课程资源的整合与拓展中,教师需要对教材进行多维度的解读与挖掘,在对有关教材的解读
Characterization and Piezoelectric Properties ofReactively Sputtered Highly C-axis (Sc,Al)NThin Film
Diamond has the highest surface acoustic wave (SAW) velocity among all materials.It can also provide high breakdown voltage,radiation hardness and high thermal
会议
首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与
随着计算机技术、互联网技术、信息技术的日渐完善,网络办公也逐渐向自动化方向发展,自动化的办公不仅为企业、事业单位的各种日常办公活动提供了重要的辅助,同时能够使办公
计算机技术在各个领域中被广泛使用,而数字图像的处理技术是以计算机技术为基础实现的,因此,数字图像的处理技术未来的发展空间非常大.对于一些刚刚接触数字图像处理技术的用
随着计算机的普及应用,计算机程序的正确性证明变得越来越重要.演绎验证是一种重要的程序正确性证明方法.它用逻辑公式描述程序性质,用一组公理和规则进行推导,从而能够证明
一、背景rn随着大数据时代的到来.无人可以逃离这一变革.这个的时代是一个互联网时代,是一个智能化时代,是一个大数据时代.当前,全球互联网大变革,大数据日益加深,世界范围内
期刊
本文主要是对SPOC的概念以及基本的推广流程进行简单的描述,同时结合本校实际,以《计算机应用基础》为例,利用泛雅超星学习平台,在学院两百余人中进行了推广应用,系统的阐述
期刊
基于双DCT变换域,本文提出了一种面向空气信道传播音频信息隐写算法.该算法通过选取第一次次DCT变换域中的低频系数,对其进行第二次DCT变换,获得双DCT变换域系数.
疫情防控常态化背景下,传统的课堂教学模式已经不能满足教学需求.以大学计算机基础教学为切入点,灵活运用超新学习通、MOOC慕课、腾讯会议等多款互联网软件,为实现教学场景多