检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

完备剩余格上的蕴涵闭包算子

计算机工程与应用 2010年第28期46卷 49-50,84页

作者：于海詹婉荣洛阳师范学院数学科学学院河南洛阳471022

利用蕴涵运算,在完备剩余格上定义了蕴涵闭包算子,给出了它的若干等价刻画及其表示定理。

关键词：剩余格完备剩余格闭包算子蕴涵闭包算子

在线全文

学校读者我要写书评

暂无评论

完备剩余格中的上近似与下近似模糊推理方法

四川师范大学学报（自然科学版） 2009年第1期32卷 43-46页

作者：刘鹏惠陈子春秦克云西华大学数学与计算机学院四川成都610039 西南交通大学理学院四川成都610013

借助于全蕴涵三I算法的思想,在完备剩余格上探讨了FMP问题的输出的上近似模糊推理与下近似模糊推理,并得到上近似推理与下近似推理算法均具有还原性.

关键词：模糊推理全蕴涵三I算法完备剩余格上近似推理下近似推理还原性

在线全文

学校读者我要写书评

暂无评论

完备剩余格上的蕴涵闭包系统

计算机工程与应用 2010年第31期46卷 43-44页

作者：于海詹婉荣洛阳师范学院数学科学学院河南洛阳471022

在完备剩余格上引入了蕴涵闭包系统的概念,讨论了蕴涵闭包系统与闭包系统之间的关系。给出了蕴涵闭包系统的一些性质及其表示定理。进一步研究了蕴涵闭包算子和蕴涵闭包系统的关系。

关键词：完备剩余格闭包系统蕴涵闭包算子蕴涵闭包系统

在线全文

学校读者我要写书评

暂无评论

基于完备剩余格的双标号转换系统

模糊系统与数学 2012年第5期26卷 21-29页

作者：潘海玉张敏陈仪香安徽工程大学计算机与信息学院安徽芜湖241000 华东师范大学上海市高可信计算重点实验室上海200062

为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下,将传统的互模拟关系推广到格值情形,来度量系统... 详细信息

为了对不相容或不完备信息的系统进行形式化描述和满足对系统进行量化验证的需要,根据经典的双标号转换系统,提出基于完备剩余格的双标号转换系统作为此类系统的一般模型。在该模型框架下,将传统的互模拟关系推广到格值情形,来度量系统之间的接近程度。通过引入格值Hennessy-Milner逻辑的概念,给出格值互模拟关系的逻辑刻画。

关键词：双标号转换系统互模拟 Hennessy-Milner逻辑完备剩余格

在线全文

学校读者我要写书评

暂无评论

基于极性框架的粗糙模糊形式概念分析

模糊系统与数学 2022年第4期36卷 131-142页

作者：燕健王拥军王宝山周恒北京航空航天大学数学科学学院北京100191

借助于范畴论中的伴随概念,本文提出用极性模糊伴随三元组生成模糊形式概念分析的基本框架。继而借用L-粗糙算子,构建粗糙模糊形式概念分析理论。这一新框架与已有的多伴随框架不同:对象集与属性集的模糊子集被建立在同一个真值结构之上... 详细信息

借助于范畴论中的伴随概念,本文提出用极性模糊伴随三元组生成模糊形式概念分析的基本框架。继而借用L-粗糙算子,构建粗糙模糊形式概念分析理论。这一新框架与已有的多伴随框架不同:对象集与属性集的模糊子集被建立在同一个真值结构之上;从两个模糊子集之间伴随三元组诱导的模糊伽罗华连接,变为三个模糊子集之间极性诱导的模糊伴随三元组。从而将多伴随框架中真值结构与模糊子集之间过于复杂的设定与伴随关系简化。基于以上结果,本文构造了一个病毒传播-医疗资源储备策略实例,用以论证极性模糊伴随三元组框架的优势以及应用前景。

关键词：极性模糊伴随三元组模糊形式概念分析 L-粗糙算子完备剩余格

在线全文

学校读者我要写书评

暂无评论

L-序完备格之间的L-逼近态射

模糊系统与数学 2023年第3期37卷 12-18页

作者：袁脆郭兰坤湖南师范大学数学与统计学院湖南长沙410012 计算与随机数学教育部重点实验室(湖南师范大学) 湖南长沙410012

本文提出L-序完备格之间的L-逼近态射和L_(≤)-Galois联络的概念。首先,研究了L_(≤)-Galois联络和L-逼近态射之间的一一对应关系。然后,研究了L-序完备格和L-逼近态射构成的范畴的基本性质。最后,研究了完备剩余格之间的同态映射所诱导... 详细信息

本文提出L-序完备格之间的L-逼近态射和L_(≤)-Galois联络的概念。首先,研究了L_(≤)-Galois联络和L-逼近态射之间的一一对应关系。然后,研究了L-序完备格和L-逼近态射构成的范畴的基本性质。最后,研究了完备剩余格之间的同态映射所诱导的L-序完备格范畴之间的函子的性质。

关键词：完备剩余格 L-序完备格 L-逼近态射

在线全文

学校读者我要写书评

暂无评论

概念粒计算系统外延的判别定理

模糊系统与数学 2012年第6期26卷 146-152页

作者：于丽媛李鸿儒烟台大学数学与信息科学学院山东烟台264005 西安交通大学信息与系统科学研究所陕西西安710049

概念粒计算系统是基于两个完备格之间的外延内涵算子和内涵外延算子构成的模型系统,它包括经典概念格,L模糊概念格及变精度概念格等。本文以三种概念粒计算系统为模型研究了概念外延的特征及其相互关系,给出了外延为经典集、内涵为模糊... 详细信息

概念粒计算系统是基于两个完备格之间的外延内涵算子和内涵外延算子构成的模型系统,它包括经典概念格,L模糊概念格及变精度概念格等。本文以三种概念粒计算系统为模型研究了概念外延的特征及其相互关系,给出了外延为经典集、内涵为模糊集和外延为模糊集、内涵为经典集这两种概念粒计算系统的概念外延判别定理,并且讨论了几种模型概念之间的关系与性质。

关键词：模糊形式背景完备剩余格概念格概念粒计算系统

在线全文

学校读者我要写书评

暂无评论

量化转换系统的格值语言包含关系

模糊系统与数学 2016年第5期30卷 50-59页

作者：汪国武沈应兄潘海玉安徽工程大学计算机与信息学院安徽芜湖241000 安徽工程大学计算机应用技术重点实验室安徽芜湖241000 泰州学院计算机科学与技术学院江苏泰州225300 陕西师范大学计算机科学学院陕西西安710062

近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度... 详细信息

近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度量系统的一个状态所接受的语言能在多大程度上被另一个状态所接受的语言所包含,研究了这种关系的计算复杂性问题,并用格值版本的HennessyMilner逻辑的子逻辑提供了它的逻辑刻画。所有这些性质表明所提出的格值语言包含关系为并发和分布式系统的量化验证提供了重要的理论基础。

关键词：标号转换系统形式化验证 Hennessy-Milner逻辑模糊自动机完备剩余格

在线全文

学校读者我要写书评

暂无评论

完备剩余幂集格的经典同构对象

中国海洋大学学报（自然科学版） 2011年第1期41卷 193-196页

作者：方进明韩慧中国海洋大学数学科学学院山东青岛266100

本文在格L是完备剩余格的条件下,引入关于L-集合套的张量积和蕴涵运算,证明了L-集合套关于这2种运算构成完备剩余格。本文还进一步证明该完备剩余格恰好与完备剩余幂集格是同构的,从而建立起完备剩余格环境下的L-集表现定理。

关键词：完备剩余格 L-集 L-集合套表现定理