搜索到68篇“ 完备剩余格“的相关文章
- 基于完备剩余格的双标号转换系统
- 为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要，根据经典的双标号转换系统，提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下，将传统的互模拟关系推广到格值情形，来度量系统...
- 潘海玉张敏陈仪香
- 关键词：互模拟完备剩余格
- 文献传递
- 基于完备剩余格的双标号转换系统被引量：4
- 2012年
- 为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下,将传统的互模拟关系推广到格值情形,来度量系统之间的接近程度。通过引入格值Hennessy-Milner逻辑的概念,给出格值互模拟关系的逻辑刻画。
- 潘海玉张敏陈仪香
- 关键词：互模拟完备剩余格
- 完备剩余格上的蕴涵闭包算子被引量：3
- 2010年
- 利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。
- 于海詹婉荣
- 关键词：剩余格完备剩余格闭包算子
- 完备剩余格上的蕴涵闭包系统
- 2010年
- 在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系。给出了蕴涵闭包系统的一些性质及其表示定理。进一步研究了蕴涵闭包算子和蕴涵闭包系统的关系。
- 于海詹婉荣
- 关键词：完备剩余格闭包系统
- L-序完备格之间的L-逼近态射
- 2023年
- 本文提出L-序完备格之间的L-逼近态射和L_(≤)-Galois联络的概念。首先,研究了L_(≤)-Galois联络和L-逼近态射之间的一一对应关系。然后,研究了L-序完备格和L-逼近态射构成的范畴的基本性质。最后,研究了完备剩余格之间的同态映射所诱导的L-序完备格范畴之间的函子的性质。
- 袁脆郭兰坤
- 关键词：完备剩余格
- 基于极性框架的粗糙模糊形式概念分析
- 2022年
- 借助于范畴论中的伴随概念,本文提出用极性模糊伴随三元组生成模糊形式概念分析的基本框架。继而借用L-粗糙算子,构建粗糙模糊形式概念分析理论。这一新框架与已有的多伴随框架不同:对象集与属性集的模糊子集被建立在同一个真值结构之上;从两个模糊子集之间伴随三元组诱导的模糊伽罗华连接,变为三个模糊子集之间极性诱导的模糊伴随三元组。从而将多伴随框架中真值结构与模糊子集之间过于复杂的设定与伴随关系简化。基于以上结果,本文构造了一个病毒传播-医疗资源储备策略实例,用以论证极性模糊伴随三元组框架的优势以及应用前景。
- 燕健王拥军王宝山周恒
- 关键词：完备剩余格
- 否定非对合剩余格的BF-理想集上诱导的剩余格结构
- 2020年
- 对否定非对合剩余格的BF-理想问题作进一步深入研究.在一个否定非对合剩余格L的全体BF-理想之集BFI(L)上构造了伴随运算■和■使之成为一个完备剩余格.
- 刘春辉
- 关键词：模糊逻辑完备剩余格
- R_0-代数中的广义相对零化子
- 2019年
- 首先,利用滤子的扩张方法在R_0-代数中引入相对零化子的概念,并结合滤子的概念提出广义相对零化子的概念,证明R_0-代数中广义相对零化子仍是滤子;其次,利用广义相对零化子刻画素滤子,并讨论相对零化子与广义相对零化子的关系;最后,基于R_0-代数中的两个给定元,给出一个以广义相对零化子为对象的满足并无穷分配律的完备剩余格结构.
- 张枥方吴洪博
- 关键词：R0-代数完备剩余格
- L-模糊化收敛空间范畴的monoidal闭性
- 2018年
- 本文格值环境是完备剩余格L,当L是完备剩余格时,L-模糊化收敛空间范畴关于其上的张量积运算是monoidal闭的,从而具有所期望的函数空间。特别地,如果L是完备的Heyting代数,L-模糊化收敛空间范畴就是笛卡儿闭的。
- 方进明张琳
- 关键词：完备剩余格
- 广义邻域系在粗糙集理论中的应用研究
- 粗糙集理论是一种处理不确定性信息与知识的数学工具, 其理论与应用的数学基础是一对近似算子. 通常来说,有两种方式来研究这对近似算子: 构造方式和公理化方式. 在构造方式中, 通常把论域上的二元关系、覆盖和(广义)邻域系视...
- 赵方方
- 关键词：粗糙集理论近似算子完备剩余格
相关作者
- 潘海玉
- 作品数：15被引量：28H指数：4
- 供职机构：华东师范大学
- 研究主题：模糊推理 KRIPKE结构 模糊逻辑 计算树逻辑 三I算法
- 方进明
- 作品数：43被引量：43H指数：4
- 供职机构：中国海洋大学数学科学学院
- 研究主题：I 拓扑 拓扑分子格 FUZZY FUZZY拓扑空间
- 张敏
- 作品数：94被引量：136H指数：5
- 供职机构：华东师范大学
- 研究主题：钛酸 研磨机 互模拟 形式化描述 形式化验证
- 詹婉荣
- 作品数：29被引量：34H指数：3
- 供职机构：洛阳师范学院数学科学学院
- 研究主题：粗糙集 拓扑性质 分裂可行问题 拓扑 模糊滤子
- 于海
- 作品数：30被引量：35H指数：3
- 供职机构：洛阳师范学院数学科学学院
- 研究主题：粗糙集 拓扑性质 分裂可行问题 拓扑 模糊滤子
