MORGAN代数

作品数：18被引量：32H指数：2
导出分析报告
相关领域：理学更多>>
相关作者：罗从文张小红魏萍赵秀兰李生刚更多>>
相关机构：宁波大学黄河科技学院武汉大学陕西师范大学更多>>
相关期刊：《黄河科技学院学报》《山东大学学报（理学版）》《纯粹数学与应用数学》《内蒙古大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金浙江省自然科学基金宁波市青年（博士）科学基金河南省教育厅科学技术研究重点项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
双重半伪补de Morgan-代数滤子同余关系的注记
《黄河科技学院学报》2020年第11期96-100,共5页赵秀兰 史永杰 
国家自然科学基金项目(11701355)。
双重半伪补de Morgan代数是将双重半伪补代数类与de Morgan代数类相结合而形成的一个新的代数类,是一个有界分配格上赋予三个一元运算:双重半伪补运算与de Morgan运算。对双重半伪补de Morgan代数的滤子同余关系作进一步的研究:首先,基...
关键词：半伪补代数 双重半伪补代数 双重半伪补de Morgan代数 滤子 同余关系 
半伪补de Morgan代数的素理想及同余性质
《黄河科技学院学报》2020年第5期96-100,共5页赵秀兰 史永杰 
素理想是研究序代数同余关系的一个重要工具。在半伪补de Morgan代数上引入两类素理想,以半伪补de Morgan代数本身的运算属性为基础获得了半伪补de Morgan代数上素理想的运算特征。利用素理想构造出了半伪补de Morgan代数上的一类同余...
关键词：OCKHAM代数 半伪补de Morgan代数 素理想 同余关系 次直不可约 
不确定型多值Kripke结构的模型检测被引量：1
《模糊系统与数学》2016年第5期60-70,共11页郦丽 沈应兄 潘海玉 
国家自然科学基金(11301321;11401361);中国博士后科学基金资助项目(2014M552408)
多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结...
关键词：多值模型检验 计算树逻辑 模糊自动机 DE MORGAN代数 
双重半伪补de Morgan代数的滤子同余关系被引量：9
《模糊系统与数学》2015年第4期19-26,共8页赵秀兰 马红娟 初元红 方捷 
河南省教育厅科学技术研究重点项目(12B110017)
首先,在双重半伪补de Morgan代数上引入余核滤子,正则滤子和p-滤子的概念,证明了p-滤子成为余核滤子的充要条件是该p-滤子是正则的。其次,给出了余核p-滤子生成的同余关系的表达式。最后,证明了具有余核滤子的最小同余关系具有同余一致...
关键词：双重半伪补代数 DE MORGAN代数 滤子 同余一致 同余凝聚 
正则剩余格的模糊超⊙-理想
《山东大学学报（理学版）》2014年第12期87-94,共8页刘春辉 
国家自然科学基金资助项目(10371106)
引入正则剩余格的模糊超⊙-理想概念并考察其性质,获得了模糊超⊙-理想的几个等价刻画。在正则剩余格L的全体模糊超⊙-理想集F U(L)上定义了格运算∨,∧和逆序对合对应■,证明了当L满足条件(P)时,(F U(L),∨,∧,■,0L,1L)构成一个De Mor...
关键词：模糊逻辑 (正则)剩余格 模糊⊙-理想 模糊超⊙-理想 DE MORGAN代数 
完备De Morgan代数上弱余拓扑的确定被引量：1
《纺织高校基础科学学报》2010年第2期144-150,共7页张雄伟 赵虎 李生刚 
国家自然科学基金资助项目(10871121)
证明了对每个给定的完备De Morgan代数L,可以在WI(L)(即L上弱内部算子的全体)、WE(L)(即L上弱外部算子的全体)上定义适当的序关系,使它们成为与(WCT(L),)(即L上弱余拓扑的全体)同构的完备格;当L满足一定附加条件时,可以在WR(L)(即L上弱...
关键词：完备De MORGAN代数 弱余拓扑 弱内部算子 弱外部算子 弱远域算子 弱边界算子 弱N-导算子确定 
强Ockham代数与剩余格被引量：2
《纯粹数学与应用数学》2010年第1期123-130,145,共9页张隆传 张小红 
国家自然科学基金(60775038);宁波市自然科学基金(2009A610078);宁波大学王宽诚幸福基金
首先讨论了Ockham代数与剩余格的关系,引入了强Ockham代数的概念,并讨论了它的基本性质.然后,将著名的R_0蕴涵和R_0算子推广到Ockham代数上,证明了添加广义R_0蕴涵和广义R_0算子后的Ockham代数L成为剩余格的充要条件是L为强Ockham代数....
关键词：模糊逻辑 强De MORGAN代数 OCKHAM代数 剩余格 强Ockham代数 
G-De Morgan代数的G-同态与G-同余被引量：1
《纯粹数学与应用数学》2009年第4期743-748,共6页罗从文 陈继华 
湖北省教育厅自然科学研究重点项目(2004D006)
将De Morgan代数的自同构群对De Morgan代数的作用,推广成抽象群对De Morgan代数的作用,引入了G-De Morgan代数的概念,讨论了G-De Morgan代数的G-同态、G-同余等性质,并研究了G-De Morgan代数的直积分解和次直不可约性.
关键词：G-De MORGAN代数 G-同态 G-同余 
DR_0代数：由De Morgan代数导出的正则剩余格被引量：11
《数学进展》2008年第4期499-511,共13页张小红 魏萍 
浙江省自然科学基金(No.Y605389);宁波市青年基金(No.2005A620032).
首先讨论了De Morgan代数与剩余格的关系,并引入强De Morgan代数的概念,讨论了它的基本性质.随后,将著名的R_0蕴涵拓广到De Morgan代数上,称为广义R_0蕴涵;证明了添加广义R_0蕴涵和相应(?)算子后的De Morgan代数L成为剩余格的充要条件是...
关键词：模糊逻辑 DE MORGAN代数 正则剩余格 DR0代数 强De MORGAN代数 
低阶De Morgan代数和强De Morgan代数被引量：2
《宁波大学学报（理工版）》2008年第2期229-235,共7页魏萍 张小红 
国家自然科学基金(60775038);浙江省自然科学基金(Y605389)
首先给出了De Morgan代数的阶与中点个数的关系,证明了五元非全序的De Morgan代数不存在,以及在同构的意义下七元非全序的De Morgan代数有且只有1个.同时,借助数学软件得到了全体阶数不超过8的De Morgan代数及强De Morgan代数.
关键词：DE MORGAN代数 强De MORGAN代数 中点 阶 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部