期刊文献+
共找到174篇文章
< 1 2 9 >
每页显示 20 50 100
Quantale与互模拟的进程语义 被引量:18
1
作者 李永明 李志慧 《数学学报(中文版)》 SCIE CSCD 北大核心 1999年第2期313-320,共8页
以特定的观察为生成元构造了互模拟quantaleQ_B,而将进程作为此quantale上的模的组成成分,由此给出了互模拟的三个完备性准则,回答了AbrasmkyS与VickersS.提出的公开问题(1993),完备了他们利用quantale统一处理进程语义的方法.
关键词 quantale 互模拟 拓扑系统 进程语义 布尔代数
原文传递
Quantale中的理想 被引量:13
2
作者 王顺钦 赵彬 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第4期7-10,共4页
给出了Quantale中(左,右)理想的概念,讨论了Quantale中任意子集生成的(左,右)理想的具体结构,研究了Quantale中的理想与它的格意义下理想之间的关系.得到了当Q是可换Quantale时,Id(Q)中元是幂等的充要条件.
关键词 quantale 理想 充要条件 核映射 格结构
下载PDF
序半群的Quantale完备化 被引量:14
3
作者 韩胜伟 赵彬 《数学学报(中文版)》 SCIE CSCD 北大核心 2008年第6期1081-1088,共8页
首先定义了集合上的闭包算子,研究了闭包算子的若干性质;其次给出了序半群的Quantale完备化,证明了序半群的Quantale完备化在同构意义下完全由序半群上的拓扑闭包决定;最后给出了序半群Quantale完备化的一个应用.
关键词 闭包算子 序半群 quantale 同态
原文传递
Z-Quantale及其范畴性质 被引量:10
4
作者 汪开云 赵彬 《数学学报(中文版)》 SCIE CSCD 北大核心 2010年第5期997-1006,共10页
本文把集系统的概念应用到Quantale理论中,作为Quantale的一般化,引入了Z-quantale的概念,研究了Z-quantale及其范畴的若干性质.主要结果有:证明了Z-quantale范畴是序半群范畴的反射子范畴,凝聚Z-quantale范畴是Z-quantale范畴的余反射... 本文把集系统的概念应用到Quantale理论中,作为Quantale的一般化,引入了Z-quantale的概念,研究了Z-quantale及其范畴的若干性质.主要结果有:证明了Z-quantale范畴是序半群范畴的反射子范畴,凝聚Z-quantale范畴是Z-quantale范畴的余反射子范畴.讨论了Z-quantale范畴中的投射对象,证明了Z-quantale A是E-投射的当且仅当它是稳定Z-连续的. 展开更多
关键词 Z—quantale 稳定Z-连续序半群 凝聚Z—quantalc
原文传递
Quantale的若干新的性质 被引量:6
5
作者 刘智斌 赵彬 《模糊系统与数学》 CSCD 2004年第1期27-30,共4页
讨论Quantale的若干性质,给出Prequantale构成Quantale的两个充要条件,论证在严格双侧Quantale上逆序对合对应的惟一性并给出了Quantale是分配格的一个条件。
关键词 quantale Prequantale 分配格 完备格 结合律 惟一性
下载PDF
非交换BR_0-代数与其上的Quantale 被引量:8
6
作者 王伟华 吴洪博 《计算机工程与应用》 CSCD 北大核心 2008年第25期43-45,共3页
提出非交换BR0-代数的概念,然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R0-代数以及完备BR0-代数都是可换的Girard quantales的结论。
关键词 BR0-代数 非交换BR0-代数 quantale
下载PDF
Quantale中的素理想及弱素理想 被引量:6
7
作者 王顺钦 赵彬 《模糊系统与数学》 CSCD 北大核心 2005年第1期78-81,共4页
本文把Quantale中的序结构与代数运算&结合在一起给出了Quantale中素理想和弱素理想的概念。讨论了它们之间的关系,得到了Quantale中理想是(弱)素理想的充要条件。
关键词 quantale 理想 素理想 弱素理想
下载PDF
Quantale上的理想余核(英文) 被引量:7
8
作者 韩胜伟 赵彬 《模糊系统与数学》 CSCD 北大核心 2007年第5期53-58,共6页
讨论Quantale理想与Quantale上映射之间的关系,同时给出Quantale上一个映射是理想余核的等价条件。
关键词 quantale 理想 余核 理想余核
下载PDF
Quantale矩阵可逆性的刻画 被引量:6
9
作者 韩胜伟 赵彬 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第2期16-19,共4页
研究了Quantale矩阵及其行列式的相关性质,给出了Quantale矩阵的逆的定义,并对Quantale矩阵的逆进行了研究,证明了Quantale矩阵是可逆的当且仅当Quantale矩阵的每行每列是正交的,并且每行每列都是1的分解.
关键词 quantale quantale矩阵 行列式
下载PDF
Girard quantale的若干性质 被引量:6
10
作者 王顺钦 赵彬 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2007年第2期10-13,共4页
研究了Girard quantale的内部结构,讨论了新算子|→r(|→l)的一系列性质.找到了Girard quantale的等价刻画以及一个D-quantale是Girard quantale的充要条件,并探讨了Girard quantale中有效元的一些简单性质.
关键词 完全格 D-quantale Girard quantale 有效元
下载PDF
Quantale中的模糊滤子 被引量:6
11
作者 王顺钦 梁少辉 《模糊系统与数学》 CSCD 北大核心 2010年第1期60-65,共6页
在Quantale中引入模糊滤子的概念,研究了它的一系列性质,得到了若干等价刻画,讨论了Quantale中滤子和模糊滤子之间的相互确定关系,证明了Quantale态射既保模糊滤子又反射模糊滤子。给出了模糊滤子在Quantale态射下的像的具体结构。
关键词 完备格 quantale 线性逻辑 滤子 模糊滤子
下载PDF
Quantale矩阵的广义逆 被引量:5
12
作者 潘芳芳 《南阳师范学院学报》 CAS 2008年第3期15-16,共2页
给出了Quantale矩阵广义逆的定义,并对Quantale矩阵的广义逆进行了较为系统的研究,得到了Quantale矩阵的广义逆存在的若干条件.
关键词 quantale quantale矩阵 广义逆
下载PDF
Quantale代数及其代数理想 被引量:5
13
作者 王蕊 赵彬 《模糊系统与数学》 CSCD 北大核心 2010年第2期44-49,共6页
给出Quantale代数的概念,得到了单位Quantale是Quantale代数的充要条件,讨论了理想与代数理想的关系,找到了理想不是代数理想的具体例子以及理想是代数理想的充分条件。
关键词 quantale quantale代数 子模 代数理想
下载PDF
Quantale上的基 被引量:4
14
作者 韩胜伟 潘芳芳 《计算机工程与应用》 CSCD 北大核心 2010年第9期31-32,37,共3页
研究了子Quantale的性质及其具体结构,给出了Quantale上稠密子集和基的概念,讨论了稠密子集和基之间的关系以及稠密子集和基的性质。
关键词 完备格 quantale quantale 余核映射 稠密子集
下载PDF
子Z-Quantale及其性质
15
作者 王玲 赵彬 《山东大学学报(理学版)》 CAS CSCD 北大核心 2024年第6期76-83,共8页
首先引入子Z-Quantale的概念,研究子Z-Quantale的一些性质。特别地,构造单位Z-Quantale的所有含有单位元的子Z-Quantale集上的二元运算⊙,使得其成为Quantale。其次,定义并子Z-Quantale,证明有最大(小)元的Z-Quantale的并子Z-Quantale... 首先引入子Z-Quantale的概念,研究子Z-Quantale的一些性质。特别地,构造单位Z-Quantale的所有含有单位元的子Z-Quantale集上的二元运算⊙,使得其成为Quantale。其次,定义并子Z-Quantale,证明有最大(小)元的Z-Quantale的并子Z-Quantale一定有最大(小)元。最后,引入Z-Quantale上余核映射的概念,证明Z-Quantale上的并子Z-Quantale与其上的余核映射是一一对应的。 展开更多
关键词 Z-quantale 子Z-quantale 余核映射
原文传递
Q-值下集Quantale
16
作者 潘芳芳 覃锋 《江西师范大学学报(自然科学版)》 CAS 北大核心 2024年第1期17-20,共4页
该文主要研究Q-值下集Quantale,它可以看作是下集Quantale的一般形式.首先证明了序半群范畴与超凝聚式Quantale范畴是等价的;其次证明了Q-值下集Quantale F_(Q)(S)本质上就是下集Quantale D(S)和Quantale Q的张量积.
关键词 quantale 超凝聚式quantale Q-值下集quantale 张量积
下载PDF
模糊集Quantale与Quantale的嵌入 被引量:4
17
作者 马崛 周异辉 《模糊系统与数学》 CSCD 北大核心 2011年第4期102-107,共6页
给出模糊集Quantale的定义,在此基础上对Quantale与它对应的模糊集Quantale二者之间的关系进行比较,得到如果一个Quantale是可换的、单位的,则它的模糊集Quantale也是可换的、单位的结论。然后给出Quantale的一种嵌入方式。
关键词 quantale 模糊集quantale Quantame的嵌入
原文传递
模糊集范畴
18
作者 张德学 《四川师范大学学报(自然科学版)》 CAS 2024年第1期17-24,共8页
在模糊集的理论和应用研究中,一个基本问题是怎样把模糊集组织成一个范畴,相应的范畴具有什么样的性质?这一问题自Zadeh引入模糊集的概念之后,一直受到人们的关注.简要介绍2个具有代表性的解决方案,其一是由Goguen提出的Goguen范畴,其... 在模糊集的理论和应用研究中,一个基本问题是怎样把模糊集组织成一个范畴,相应的范畴具有什么样的性质?这一问题自Zadeh引入模糊集的概念之后,一直受到人们的关注.简要介绍2个具有代表性的解决方案,其一是由Goguen提出的Goguen范畴,其二是受topos理论影响发展起来的Q-集理论.这2种方案差异很大,Goguen范畴把模糊集的隶属函数看作一个集合到单点集的模糊关系,因而2个模糊集之间的态射就是2个集合之间满足一定条件的模糊关系;Q-集范畴则把隶属函数看作类型函数,因而2个模糊集之间的态射就是2个类型函数之间满足一定条件的模糊关系.这2种方案的共同特点在于充分利用逻辑值域的逻辑结构,这也是模糊集理论区别于其他数学分支的一个基本特征. 展开更多
关键词 模糊集 quantale Goguen范畴 强化范畴
下载PDF
Quantum Spaces 被引量:4
19
作者 Wei HE Mao Kang LUO 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2010年第7期1323-1330,共8页
In this paper, a more general concept of quantum space is given by modifying the original concept defined by Borceux and Bossche. We show that a quantum space is a topological analogue of a quantale defined by Mulvey,... In this paper, a more general concept of quantum space is given by modifying the original concept defined by Borceux and Bossche. We show that a quantum space is a topological analogue of a quantale defined by Mulvey, and also a non-commutative generalization of the Zariski spectrum of a commutative ring. But quantum spaces are not good enough to have much of the properties of topological spaces, such as product spaces and quotient spaces. 展开更多
关键词 quantale quantum space Zariski spectrum
原文传递
Q-代数中的粗糙理想
20
作者 梁少辉 魏博涛 +1 位作者 周婉婷 王美丽 《模糊系统与数学》 北大核心 2024年第2期62-68,共7页
首先,给出了Q-代数中粗糙集的概念,讨论了Q-代数中粗糙集的一系列重要性质,将粗糙集理论引入Q-代数中。其次,提出了Q-代数中的粗糙理想的定义,探讨了Q-代数中理想与粗糙理想的相互关系。最后,引入了Q-代数中弱同余的概念,得到了弱同余... 首先,给出了Q-代数中粗糙集的概念,讨论了Q-代数中粗糙集的一系列重要性质,将粗糙集理论引入Q-代数中。其次,提出了Q-代数中的粗糙理想的定义,探讨了Q-代数中理想与粗糙理想的相互关系。最后,引入了Q-代数中弱同余的概念,得到了弱同余的一些刻画,证明了Q-代数中的所有上粗糙理想之集是dcpo,Q-代数中所有下粗糙理想之集是代数格。 展开更多
关键词 quantale Q-代数 粗糙集 粗糙理想 代数格
原文传递
上一页 1 2 9 下一页 到第
使用帮助 返回顶部