DBR0-代数性质及相关研究

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:tofomy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
众所周知,随着电子技术的发展以及人工智能的出现,对模糊逻辑和逻辑代数的研究已经成为当前学者讨论的热门,并且取得了一系列科研成果.逻辑代数作为模糊命题逻辑系统的语义理论已形成了一个重要的代数分支和研究方向.王国俊教授建立了R0-代数作为命题演算系统L*-的语义理论.吴洪博教授通过对R0-代数一系列的研究,提出了基础R0-代数和基础L*-系统理论,随后又提出了基础R0-代数的一种无序表示形式—WBR0-代数.本文通过对WBR0-代数及BR0-代数无序表示形式的再研究,并利用逻辑代数中交,并运算对偶的特点以及对偶范畴的思想,从经典代数的角度出发于一般集合上建立了一种对称形式的BR0-代数—DBR0-代数.本文的结构和详细内容安排如下:第1章预备知识,本章给出了文章中将要用到的格,正则剩余格,R0-代数BR0-代数以及WBR0-代数等基本概念.第2章本章提出DBR0-代数定义,并且讨论了其性质,证明了DBR0-代数与BR0-代数的等价性.第3章本章首先给出了WDBR0-代数定义并且讨论了其独立性,进而将WDBR0-代数定义进行了简化,其次讨论了WDBR0-代数的性质,并且从代数的角度证明了WDBR0-代数是有界格.第4章本章讨论了WDBR0-代数与BR0-代数的区别,并且提出了WDBR0-代数的一种弱化形式—LBR0-代数,又证明了LBR0-代数与正则FI-代数代数是等价的.
其他文献
为实现国产高分卫星影像在京津冀区域省、市、县、乡多级行政结构的农业、林业和环境保护等领域的快速应用,设计开发了基于WebGIS的高分卫星遥感数据京津冀一体化服务平台;平
<正> 目前国内许多工厂采用酸水解法由猪毛中提取胱氨酸和精氨酸,但收得率不高,提取过氨基酸的废液中仍含有不少各种氨基酸,将这些含有氨基酸的废液丢掉是一个浪费。我们将废
目的:观察消脂清肝方治疗非酒精性脂肪肝(non-alcoholic fatty liver,NAFLD)痰湿内阻证的临床疗效。方法:将248例NAFLD患者按随机数字表法分为对照组和观察组,每组124例。对照组
为快速检测冷鲜肉中的沙门氏菌,筛选出1株产抗6种沙门氏菌单克隆抗体的细胞株,运用产生的抗体建立酶联免疫吸附检测方法(enzyme linked immunosorbent assay,ELISA)。实验采用6
证实原则是逻辑实证主义的基础性原则,居于核心地位,因为它是划分形式真理和事实真理的基础,是逻辑实证主义一切理论主张的基础。同时证实原则也是人们揭露和批判逻辑实证主
邓小平国际战略思想 ,是邓小平理论的重要组成部分 ,是新时期中国外交工作的指南。本文从六个方面论述了邓小平国际战略思想与改革开放以来中国对外政策的调整
孙中山是近代杰出的革命家,对中国近代林业的发展起到巨大的推动作用。他结合中国实际,借鉴欧美经验,撰写《建国大纲》、《实业计划》、《三民主义》等文稿,较为详细的勾画了
<正>杨宪益思索片刻,拿起自己的"红宝书",把第一页林彪写的前言撕掉了北京的后海这个季节游人如织。人称"胡同串子"的人力黄包车迎来了他们的丰收年,他们在错综复杂的小巷来
固结磨粒金刚石双绞合线锯丝可解决大尺寸晶体材料切割排屑困难、加工液流入不畅等问题。通过对树脂结合剂固结磨粒金刚石线锯丝的双绞合绞制变形分析发现,采用退扭绞合工艺