MORGAN代数

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=模糊系统与数学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
不确定型多值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代数 滤子 同余一致 同余凝聚 
强De Morgan代数上的广义R_0t-模被引量：1
《模糊系统与数学》2007年第5期33-38,共6页魏萍 张小红 
国家自然科学基金资助项目(60775038);浙江省自然科学基金资助项目(Y605389)
在De Morgan代数上引入广义R0算子,举例说明了一般De Morgan代数中的广义R0算子不能构成t-模。引入强De Morgan代数的概念,讨论它的基本性质,证明强De Morgan代数L上的广义R0算子构成t-模(称为广义R0t-模)。给出若干重要反例,并证明强De...
关键词：模糊逻辑 DE MORGAN代数 强De MORGAN代数 广义R0t-模 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部