【摘 要】
：
量子B代数是量子B逻辑所对应的逻辑代数,它为更广泛的子结构逻辑提供了一种统一的代数语义.量子B代数涵盖了大部分常见的逻辑代数,如偏序群、广义BL代数、广义MV代数和锥代数以及它们的非交换形式.量子B代数可以看作Quantale的蕴涵约简形式,对量子B代数的研究将会进一步丰富Quantale理论的研究内容.在众多学者的努力下,量子B代数理论的基本框架已初步形成,但仍有大量的工作需要去做.本论文主要研
论文部分内容阅读
量子B代数是量子B逻辑所对应的逻辑代数,它为更广泛的子结构逻辑提供了一种统一的代数语义.量子B代数涵盖了大部分常见的逻辑代数,如偏序群、广义BL代数、广义MV代数和锥代数以及它们的非交换形式.量子B代数可以看作Quantale的蕴涵约简形式,对量子B代数的研究将会进一步丰富Quantale理论的研究内容.在众多学者的努力下,量子B代数理论的基本框架已初步形成,但仍有大量的工作需要去做.本论文主要研究量子B代数的内部结构,对量子B代数的同余和滤子进行了一系列的研究.本文主要内容分为以下几个部分:第一章:预备知识.本章介绍了格论、Quantale理论和量子B代数中的相关概念和结论.第二章:量子B代数上的同余.首先,引入了量子B代数上正则同余和强正则同余的概念,讨论了它们的相关性质.其次,通过引入量子B代数上模ρ拟链的定义,给出了正则同余和强正则同余的等价刻画.最后,通过提出量子B代数X上同余积的概念,给出了量子B代数上同余集C（X）的并的具体形式,同时利用并运算给出了正则同余集RC（X）上并的具体形式.第三章:量子B代数上的滤子.首先,介绍了区间量子B代数上滤子的基本性质,给出了区间量子B代数中正规滤子与同余关系之间的相互转化.其次,引入了双侧量子B代数、蕴涵交换量子B代数和格量子B代数的概念,研究了它们的相关性质,证明了双侧量子B代数X上的全体滤子和空集是逻辑Quantale U（X）的Quantale商.最后,讨论了局部单位量子B代数上滤子的相关性质.
其他文献
自仿测度μM,D是由迭代函数系{Φd（x）=M-1（x+d）}d∈D唯一确定的,其中M ∈Mn（Z）是扩张矩阵（即M的特征值的模均大于1）,D（?）Zn是有限数字集.自仿测度μM,D的谱性和非谱性问题（即Hilbert空间L2（μM,D）中正交指数基的存在性问题）,一直是大家比较关心的,也是近年来研究的热点.本文在前人研究的基础上,重点对两元素数字集和平面中某类四元素数字集的自仿测度的谱性与非谱性
矩阵广义逆与矩阵偏序是讨论矩阵问题的主要工具,也是解决实际问题的重要数学工具之一,并为矩阵理论研究提供了丰富的资源,矩阵偏序是矩阵理论中的一小分支,但它联系着控制论,量子力学等,推动着其它学科的进一步发展,在整个矩阵理论中占有重要地位.平行和则是研究矩阵广义逆和矩阵偏序众多应用的前奏,对矩阵偏序理论的完善起着极其重要的作用.本文在各种矩阵广义逆和偏序的研究理论基础上,进一步探讨它们的性质,平行和的
紫花苜蓿（Medicago sativa L.）是蝶形花科苜蓿属的多年生草本植物,是世界上利用最早、种植范围最广的栽培牧草,因其营养价值高,被称为“牧草之王”。紫花苜蓿花朵色泽艳丽,富含天然植物色素花色苷,可作为食品着色剂。本研究以紫花苜蓿花朵为原料,采用超声波辅助乙醇提取法提取紫花苜蓿花朵中的花色苷,采用大孔树脂法进行纯化,通过高效液相色谱串联质谱对紫花苜蓿花色苷进行成分鉴定,探究紫花苜蓿花色苷
假单胞菌（Pseudomonas）是常见的食源性腐败微生物,主要存在于肉制品和饮用水中,是冷鲜猪肉的优势腐败菌之一,易造成食品污染,危害人体健康。寻求一种安全有效的方法控制假单胞菌的进化与传播迫在眉睫。百里香（Thymus monoglious Romm）是唇形科（Laiatae）百里香属（Thymus）草本植物,百里香全草含精油,其主要成分为百里香酚。百里香精油（Thyme essential
葱（Allium fistulosum L.）经高温油炸后所制得的葱香油因具有怡人葱香味和脂香味而备受消费者青睐,是我国传统菜肴烹调及传统食品产业化加工中必备的调味油脂。目前市售葱香油产品多以传统手工作坊制备为主,试图产业化转变过程中往往出现产品特征呈香属性不明显,风味品质不稳定等影响产品标准化加工的关键问题,如何科学明晰葱香油制备后的关键呈香物质和呈香属性趋变规律,是葱香油标准化制备亟待解决的关
目的运用细胞代谢组学和模式识别方法,得到高糖诱导胰岛β细胞损伤状态下的生物标志物,建立基于细胞代谢组学的降糖活性物质评价方法,并将该方法应用于生物活性物质的降糖活性评价。方法1.高糖诱导胰岛β细胞损伤生物标志物的发现。选用大鼠胰岛瘤（INS-1）细胞进行实验,通过MTT法筛选葡萄糖损伤浓度,建立高糖诱导的胰岛β细胞损伤模型,并用胰岛素分泌实验和活性氧（Reacive Oxygen Species,
羊肉在贮藏过程中所面临的品质劣变及冻融问题,均会降低肉品质,从而限制羊肉产业发展。猕猴桃疏果作为一种数量庞大且浪费的植物资源,其中含有大量酚类物质,将它作为天然抗氧化剂用于改善肉品质具有重要的经济和生态意义。本研究围绕陕西省特色羊肉——横山羊肉开展研究,选择羊背最长肌为研究对象,通过猕猴桃多酚对其浸泡喷淋处理,探究多酚对冷藏和冻融过程中羊肉品质的影响,进一步探索不同解冻方式下的肉解冻效果,并通过相
十八大以来,党中央对落实立德树人根本任务提出了明确要求,强调育人为本、德育为先。教育进入全面培养学生素质的新时代,“五育”并举落实到日常教育教学的实践中,不应是相互分离、相互割裂的,而应该注重各育之间的融合与渗透,共同促进学生的全面发展。数学作为基础教育中的重要一环,数学学科德育不可避免地成为学生德育体系的一个重要组成部分,越来越多的教育专家和一线教师开始关注德育和数学的关系。本文通过整理刊登在核
模糊集理论的提出为多属性决策应用提供了广阔的发展空间.直觉犹豫模糊集作为模糊集的新型拓展形式,综合了直觉模糊集和犹豫模糊集的优点,能够更加准确、灵活地处理不确定性信息.如何充分挖掘直觉犹豫模糊集的信息成为一个重要的研究方向,基于此考虑,本文对直觉犹豫模糊集上的信息测度和集成算子进行研究,主要工作如下:1.本文基于聚合函数将信息内容和信息清晰度差异相结合,提出了直觉犹豫模糊集的距离测度和相似测度的构
害虫对农业生产影响越来越严重,并造成巨大的经济损失.因此,如何有效治理害虫一直以来都是农业管理部门非常关心的问题.常见的害虫治理方法包括化学控制、生物控制、物理控制以及各种方法相结合的害虫综合控制策略（IPM）.其中,化学控制由于实施方便,见效快,一直是害虫控制策略中最常用的控制手段.然而,害虫对杀虫剂的抗药性是害虫治理中遇到的一个非常棘手和挑战性的问题.一方面,人们希望通过喷洒杀虫剂来达到控制害