完备剩余格

作品数：15被引量：15H指数：2
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：潘海玉方进明吴洪博陈仪香张敏更多>>
相关机构：中国海洋大学华东师范大学陕西师范大学安徽工程大学更多>>
相关期刊：《数学的实践与认识》《吉林大学学报（理学版）》《四川师范大学学报（自然科学版）》《山东大学学报（理学版）》更多>>
相关基金：国家自然科学基金河南省教育厅自然科学基金河南省基础与前沿技术研究计划项目上海市教育委员会重点学科基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
L-序完备格之间的L-逼近态射
《模糊系统与数学》2023年第3期12-18,共7页袁脆 郭兰坤 
国家自然科学基金面上项目(12171149,61976089);湖南省自然科学基金优秀青年基金项目(2019JJ30016);湖南省教育厅科学研究项目重点项目(20A301)
本文提出L-序完备格之间的L-逼近态射和L_(≤)-Galois联络的概念。首先,研究了L_(≤)-Galois联络和L-逼近态射之间的一一对应关系。然后,研究了L-序完备格和L-逼近态射构成的范畴的基本性质。最后,研究了完备剩余格之间的同态映射所诱导...
关键词：完备剩余格 L-序完备格 L-逼近态射 
基于极性框架的粗糙模糊形式概念分析
《模糊系统与数学》2022年第4期131-142,共12页燕健 王拥军 王宝山 周恒 
国家自然基金资助项目(11871083)。
借助于范畴论中的伴随概念,本文提出用极性模糊伴随三元组生成模糊形式概念分析的基本框架。继而借用L-粗糙算子,构建粗糙模糊形式概念分析理论。这一新框架与已有的多伴随框架不同:对象集与属性集的模糊子集被建立在同一个真值结构之上...
关键词：极性模糊伴随三元组 模糊形式概念分析 L-粗糙算子 完备剩余格 
否定非对合剩余格的BF-理想集上诱导的剩余格结构
《数学的实践与认识》2020年第18期189-196,共8页刘春辉 
内蒙古自治区高等学校科学研究项目(NJZY18206)。
对否定非对合剩余格的BF-理想问题作进一步深入研究.在一个否定非对合剩余格L的全体BF-理想之集BFI(L)上构造了伴随运算■和■使之成为一个完备剩余格.
关键词：模糊逻辑 否定非对合剩余格 BF-理想 完备剩余格 
R_0-代数中的广义相对零化子
《吉林大学学报（理学版）》2019年第3期465-472,共8页张枥方 吴洪博 
国家自然科学基金(批准号:61572016)
首先,利用滤子的扩张方法在R_0-代数中引入相对零化子的概念,并结合滤子的概念提出广义相对零化子的概念,证明R_0-代数中广义相对零化子仍是滤子;其次,利用广义相对零化子刻画素滤子,并讨论相对零化子与广义相对零化子的关系;最后,基于R...
关键词：R0-代数 相对零化子 广义相对零化子 并无穷分配律 完备剩余格 
L-模糊化收敛空间范畴的monoidal闭性
《模糊系统与数学》2018年第6期1-6,共6页方进明 张琳 
国家自然科学基金资助项目(11471297);山东省自然科学基金资助项目(ZR2017MA017)
本文格值环境是完备剩余格L,当L是完备剩余格时,L-模糊化收敛空间范畴关于其上的张量积运算是monoidal闭的,从而具有所期望的函数空间。特别地,如果L是完备的Heyting代数,L-模糊化收敛空间范畴就是笛卡儿闭的。
关键词：完备剩余格 L-模糊化收敛空间 monoidal闭性 经典子集的L-滤子 
L-集合套的蕴涵运算及应用
《模糊系统与数学》2017年第2期70-74,共5页张庆玲 方进明 
国家自然科学基金资助项目(11471297)
本文在完备剩余格L的格值环境下,我们探究并给出了具有独立计算意义的L集合套蕴涵运算的表达式,从而添补了关于L-集合套无内在蕴涵运算的空白。为了表明得到的L-集合套蕴涵运算表达式的合理性和理论价值,文中进一步给出了两方面的应用...
关键词：完备剩余格 L-集合套 L-集合套的蕴涵运算 L-集合套的补运算 表现定理 
量化转换系统的格值语言包含关系
《模糊系统与数学》2016年第5期50-59,共10页汪国武 沈应兄 潘海玉 
国家自然科学基金(11301321;11401361;61672023;61673352);中国博士后科学基金资助项目(2014M552408);安徽省自然科学基金(2013SQRL034ZD;TSKJ2016B02)
近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度...
关键词：标号转换系统 形式化验证 Hennessy-Milner逻辑 模糊自动机 完备剩余格 
概念粒计算系统外延的判别定理被引量：1
《模糊系统与数学》2012年第6期146-152,共7页于丽媛 李鸿儒 
概念粒计算系统是基于两个完备格之间的外延内涵算子和内涵外延算子构成的模型系统,它包括经典概念格,L模糊概念格及变精度概念格等。本文以三种概念粒计算系统为模型研究了概念外延的特征及其相互关系,给出了外延为经典集、内涵为模糊...
关键词：模糊形式背景 完备剩余格 概念格 概念粒计算系统 
基于完备剩余格的双标号转换系统被引量：4
《模糊系统与数学》2012年第5期21-29,共9页潘海玉 张敏 陈仪香 
国家自然科学基金资助项目(61021004);国家自然科学基金(青年基金)资助项目(61202105);973项目(2011CB302802);上海市重点学科建设项目(B412)
为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下,将传统的互模拟关系推广到格值情形,来度量系统...
关键词：双标号转换系统 互模拟 Hennessy-Milner逻辑 完备剩余格 
完备剩余幂集格的经典同构对象
《中国海洋大学学报（自然科学版）》2011年第1期193-196,共4页方进明 韩慧 
本文在格L是完备剩余格的条件下,引入关于L-集合套的张量积和蕴涵运算,证明了L-集合套关于这2种运算构成完备剩余格。本文还进一步证明该完备剩余格恰好与完备剩余幂集格是同构的,从而建立起完备剩余格环境下的L-集表现定理。
关键词：完备剩余格 L-集 L-集合套 表现定理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部