【摘 要】
：
一个拟伪补MS-代数,是指一个具有型的代数(L;∧,∨,°,*,0,1).其中,(L;°)是一个MS-代数,(L;*)是一个拟伪补代数,而且L上的两个一元运算x(?)x°和x(?)x*可交换,即x°*=x*°.
论文部分内容阅读
一个拟伪补MS-代数,是指一个具有<2,2,1,1,0,0>型的代数(L;∧,∨,°,*,0,1).其中,(L;°)是一个MS-代数,(L;*)是一个拟伪补代数,而且L上的两个一元运算x(?)x°和x(?)x*可交换,即x°*=x*°.设L是一个拟伪补MS-代数,且I是L上的一个理想.如果对任意的x∈L,有x∈I(?)x°*∈I,则称I是L上的一个(O,*)-理想.在本硕士论文中,我们主要研究了拟伪补MS-代数L上的(O,*)-理想的布尔同余核关系.特别地,我们证明了:(1)在拟伪补MS-代数L中,使得商代数(L/θ;*)是一个布尔代数的(O,*)-理想I刚好是L上的同余核θ.(2)由所有(O,*)-理想组成的集合是L上的一个子格,且同构于L的同余格Con L的区间[G,t],其中G表示为L上的Glivenko同余,t表示为L上的泛关系.
其他文献
纤维堆囊菌(Sorangium cellulosum)可以在只含有结晶纤维素滤纸的无机盐培养基中生长,或者以木聚糖为唯一碳源培养基中生长。S.cellulosum So0157-2是本实验室分离得到的产埃
独立子空间分析(IndependentSubspaceAnalysis,ISA)具有非常有效的非线性特征提取能力,在人脸识别,图像分割,图像理解和图像聚类等方面得到广泛的应用。在这些实际应用中,关
我们通过在节点间建立成对纠缠态,构造了一个量子无标度网络模型。对量子无标度网络模型分别进行两类量子操作:通过局域化纠缠交换的方式对网络中的节点进行随机攻击,以及等
高科技企业创新生态系统是以客户需求为导向，以“协作R&D、知识产权许可、技术标准合作”为核心的技术标准化战略为纽带，由高科技企业在全球范围内形成的基于构件/模块的知识异
人体行为识别是目前从海量的视频数据中获取、处理与分析信息的一个重要的手段。由于复杂环境容易导致背景冗余轨迹的误提取,能否从全信息记录的稠密轨迹中准确提取描述前景
拟v-函数作为经典模形式的一类推广,自Ramanujan于1920年提出其概念以来,受到了广泛的关注与研究,并在现代数学中扮演越来越重要的角色。本论文是S.Zwegers关于拟v-函数理论
爆发式同步现象指的是复杂网络上的振子,随着耦合强度的增加,从混乱状态开始,经历一个不连续的、伴随着磁滞区的一级相变,变化到同步状态的过程。自2011年西班牙小组发表了 K
针对传统关联分类算法中,庞大数据量增长下的规则更新不易、规则冗余需要优化提取等问题,本文提出基于贝叶斯分布动态更新规则与遗传算法选优规则的改进关联分类算法。主要研
在本文中,主要讨论图的拉普拉斯矩阵特征值的两个相关指标:基尔霍夫指标(Kf)和拟拉普拉斯能量不变量(LEL).由于基尔霍夫指标与拟拉普拉斯能量在数学方面难以计算,所以我们一
由于在工业方面的重要应用,关于薄壳中波传播问题的研究已有很长的历史。随着科学技术的飞速发展,各科学研究领域的相互渗透,多种新型材料的出现,人们对这一类问题的研究也越