非可换模糊逻辑系统PL~*及其完备性 被引量：8

1

作者 张小红 《数学学报（中文版）》 SCIE CSCD 北大核心 2007年第2期421-442,共22页

首先建立了非可换R0 t-模，以此为语义背景将模糊逻辑形式系统L^＊拓广到非可磬情形，提出了新的模糊逻辑形式系统PL^＊，证明了系统PL^＊的可靠性定理．其次，引入PL^＊-代数及其滤子概念，得到PL^＊-代数的正规素滤子定理，借此证明了... 首先建立了非可换R0 t-模，以此为语义背景将模糊逻辑形式系统L^＊拓广到非可磬情形，提出了新的模糊逻辑形式系统PL^＊，证明了系统PL^＊的可靠性定理．其次，引入PL^＊-代数及其滤子概念，得到PL^＊-代数的正规素滤子定理，借此证明了PL^＊系统的完备性．最后说明了PR0 t-模及PL^＊系统可能的应用方向． 展开更多

关键词 伪T-模 非可换模糊逻辑 正规素滤子定理

原文传递

完备Brouwerian格上t-模及其广义逆算子的性质 被引量：8

2

作者 熊清泉 张晓玲 《四川师范大学学报（自然科学版）》 CAS CSCD 2004年第1期39-42,共4页

讨论t 模T及其逆算子αT的性质,在 T合成、 αT合成关系矩阵的性质方面做了深入的讨论,得出了许多重要关系式,并对伪t 模及其逆算子作了进一步的分析,最后举例说明t 模和伪t 模的不同之处.

关键词 T-模 逆算子 伪T-模 性质

下载PDF 职称材料

L-关系方程T(a,x)=b,I(a,x)=b的解集 被引量：3

3

作者 王住登 戴风明 《扬州大学学报（自然科学版）》 CAS CSCD 2003年第3期8-10,共3页

讨论方程T(a,x)=b,I(a,x)=b的解集,其中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,且I=I(T).

关键词 非经典逻辑 伪t一模 蕴涵算子 L-关系方程

下载PDF 职称材料

完备Brouwer格上伪t-模与蕴涵算子的注记(I)(英文) 被引量：2

4

作者 王住登 《模糊系统与数学》 CSCD 北大核心 2006年第1期107-111,共5页

进一步研究完备Brouwer格上伪t-模和蕴涵算子,讨论完备Brouwer格上伪t-模和蕴涵算子的直积分解。

关键词 非经典逻辑 T-模 伪T-模 蕴涵 直积分解

下载PDF 职称材料

完备格上的拟-t-模及蕴涵算子的直积和直积分解 被引量：1

5

作者 翟余华 廖大见 《淮阴师范学院学报（自然科学版）》 CAS 2006年第4期274-277,299,共5页

进一步讨论完备格上的拟t-模与剩余蕴涵算子,研究了它们的直积与直积分解,最终得到了直积分解的充要条件,解决了一个关于模与蕴涵算子的直积分解问题.

关键词 非经典逻辑 T-模 伪T-模 拟t-模 蕴涵 直积 直积分解

下载PDF 职称材料

完备格上的伪t-模与剩余蕴涵的直积和直积分解 被引量：2

6

作者 廖大见 《淮海工学院学报（自然科学版）》 CAS 2004年第2期3-6,共4页

讨论了完备格上的伪 t-模与剩余蕴涵算子以及它们的直积与直积分解 ,给出了积格上伪 t-模或蕴涵的偏单调性的定义以及正则伪 t-模和正则蕴涵的定义 ,最终得到了积格上伪 t-模或蕴涵可以直积分解的充分条件以及积格上正则伪 t-模或正则... 讨论了完备格上的伪 t-模与剩余蕴涵算子以及它们的直积与直积分解 ,给出了积格上伪 t-模或蕴涵的偏单调性的定义以及正则伪 t-模和正则蕴涵的定义 ,最终得到了积格上伪 t-模或蕴涵可以直积分解的充分条件以及积格上正则伪 t-模或正则蕴涵可以分解的充要条件 ,完全解决了 DeBaets提出的直积分解条件问题 . 展开更多

关键词 伪T-模 蕴涵 直积 直积分解

下载PDF 职称材料

伪t-模与L-关系方程 被引量：1

7

作者 廖大见 《淮海工学院学报（自然科学版）》 CAS 2003年第3期5-8,共4页

介绍了完备Brouwer格上的伪t-模与蕴涵算子的概念和一些重要结论。利用方程T(a,x)=b与方程I(a,x)=b解的相关结论讨论了sup-T类L-关系方程A(R)(y)=B(y)与inf-I类L-关系方程A<(R)(y)=B(y)解的结构,并在一定条件下分别得到了它们的解集... 介绍了完备Brouwer格上的伪t-模与蕴涵算子的概念和一些重要结论。利用方程T(a,x)=b与方程I(a,x)=b解的相关结论讨论了sup-T类L-关系方程A(R)(y)=B(y)与inf-I类L-关系方程A<(R)(y)=B(y)解的结构,并在一定条件下分别得到了它们的解集。文中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,I=I(T),a,b,x∈L,A∈L^X和B∈L^Y是两个已知L-子集,R∈L^(X×Y)是未知L-关系。 展开更多

关键词 伪T-模 L-关系方程 完备BROUWER格 蕴涵算子

下载PDF 职称材料

广义单侧剩余广群(英文) 被引量：1

8

作者 韩成哲 李洪兴 王加银 《模糊系统与数学》 CSCD 北大核心 2008年第2期1-9,共9页

对吴氏左(右)剩余广群,给出一种新而且简化的定义,并详细地讨论其基本性质。用其主要结论得到完备格上的所有无穷∨-分配强伪t-模与所有无穷∧-分配强蕴涵算子之间的关系。

关键词 左(右)剩余广群 非经典逻辑 伪T-模 蕴涵算子

下载PDF 职称材料

伪t-模与蕴涵算子:L-关系方程(英文)

9

作者 王住登 于延栋 《苏州科技学院学报（自然科学版）》 CAS 2005年第2期19-23,共5页

文章研究Sup-T型L-关系方程和Inf-αT型L-关系方程解的结构,其中L是完备Brouwer格,T是L上无穷并分配伪t-模,αT是L上由T诱导的无穷交分配蕴涵。

关键词 非经典逻辑 T-模 伪T-模 蕴涵 L-关系方程

下载PDF 职称材料

完备格Brouwer上伪t-模与蕴涵算子的注记(II)(英文)

10

作者 王住登 《模糊系统与数学》 CSCD 北大核心 2006年第2期61-65,共5页

进一步研究完备Brouwer格上伪t-模与蕴涵算子,给出同二元算子生成的伪t-模与蕴涵算子的计算公式。

关键词 非经典逻辑 T-模 伪T-模 蕴涵

下载PDF 职称材料

关于《完备Brouwer格上伪t-模与蕴涵算子》的注记(英文)

11

作者 韩成哲 李洪兴 《模糊系统与数学》 CSCD 北大核心 2006年第1期103-106,共4页

举例说明关于伪t-模与蕴涵算子的文献[FSS 132(2002)113]中定理4.1是错误的,此定理还被接连用到[FSS 139(2003)673]及其它文献。本文进而给出此基础性定理成立的一个必要条件。注意,该必要条件是不能由无穷∨-分配伪t-模与无穷∧-分配... 举例说明关于伪t-模与蕴涵算子的文献[FSS 132(2002)113]中定理4.1是错误的,此定理还被接连用到[FSS 139(2003)673]及其它文献。本文进而给出此基础性定理成立的一个必要条件。注意,该必要条件是不能由无穷∨-分配伪t-模与无穷∧-分配蕴涵算子的定义引出的。 展开更多

关键词 非经典逻辑 伪T-模 蕴涵算子

下载PDF 职称材料

半群上伪T模L-Fuzzy半群 被引量：2

12

作者 王平 《四川师范大学学报（自然科学版）》 CAS CSCD 2003年第5期482-485,共4页

在已有T模L Fuzzy半群概念的基础上,把T模减弱为伪T模,给出半群上伪T模L Fuzzy半群(左理想、右理想、双边理想、双理想)的定义,讨论了伪T模L Fuzzy半群(左理想、右理想、双边理想、双理想)的性质,给出了它们的等价刻画.

关键词 半群 伪T模L-Fuzzy半群 伪T模L-Fuzzy左理想 伪T模L-Fuzzy右理想

下载PDF 职称材料

模糊推理算法的一种新模型 被引量：1

13

作者 桑睨 罗敏霞 《中国计量学院学报》 2012年第1期85-89,共5页

根据全蕴涵三I模糊推理算法的思想,讨论基于左连续伪三角范数x1y=0,0≤x≤a,0≤y≤b min(x,y),x>a或y>b诱导的剩余蕴涵的三I算法,分别给出基于这个左连续伪三角范数诱导的第一蕴涵算子与第二蕴涵算子的FMP-算法与FMT-算法,并给... 根据全蕴涵三I模糊推理算法的思想,讨论基于左连续伪三角范数x1y=0,0≤x≤a,0≤y≤b min(x,y),x>a或y>b诱导的剩余蕴涵的三I算法,分别给出基于这个左连续伪三角范数诱导的第一蕴涵算子与第二蕴涵算子的FMP-算法与FMT-算法,并给出FMP-解与FMT-解的具体表达式.将模糊推理算法与左连续伪三角范数结合起来,为解决实际应用问题提供模糊推理算法的一种新的模型. 展开更多

关键词 模糊推理 三I算法 左连续伪三角范数 剩余蕴涵

下载PDF 职称材料

基于左连续伪T-模的非可换模糊逻辑系统PUL＊ 被引量：7

14

作者 张小红 《数学进展》 CSCD 北大核心 2007年第3期295-308,共14页

对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL＊,证明了它的可靠性定理.同时,以PUL＊系统的Lindenbaum代数结构为背景引入PUL＊.代数概念,建立了相应的滤子理论,得到PUL＊-代数... 对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL＊,证明了它的可靠性定理.同时,以PUL＊系统的Lindenbaum代数结构为背景引入PUL＊.代数概念,建立了相应的滤子理论,得到PUL＊-代数的正规素滤子定理,借此证明了PUL＊系统的完备性. 展开更多

关键词 伪T-模 非可换模糊逻辑系统PUL＊ 正规素滤子定理 完备性

下载PDF 职称材料

伪t-模与蕴涵的直积分解(英文) 被引量：5

15

作者 王住登 于延栋 《中国科学技术大学学报》 CAS CSCD 北大核心 2001年第6期657-662,共6页

本文研究伪t 模与蕴涵的直积分解 ,解决Baets和Mesiar提出的一个未解决的问题 ,并证明 ([0 ,1 ]2 , )上连续t 模都可以表示成 ([0 ,1 ], )上两个连续t

关键词 非经典逻辑 伪T-模 蕴涵 真积分解

下载PDF 职称材料

伪t-模与L关系方程的解集 被引量：3

16

作者 廖大见 赵敏 《中国科学技术大学学报》 CAS CSCD 北大核心 2004年第2期140-144,共5页

研究了sup T类与inf I类方程的解结构 ,并在特定条件下分别给出了它们的解集 ,其中L为完备Brouwer格 .T为无穷∨ 分配伪t 模 ,I是无穷∧ 分配蕴涵算子 ,I =I(T) .

关键词 非经典逻辑 T-模 伪T-模 L-关系方程 解集 完备BROUWER格 蕴涵算子

下载PDF 职称材料

伪范数下分形集的测度和维数

17

作者 杨华 《武汉工业学院学报》 CAS 2010年第1期105-108,共4页

利用了一种不同的途径来处理伪度量空间中自仿射集合的维数和测度,给出了不用先计算伪Hausdorff维数s而保证s维伪Hausdorff测度是正的或有限的集合E上的近似相似的几何条件,还给出了保证上和下伪Minkowski维数等于伪Hausdorff维数成立... 利用了一种不同的途径来处理伪度量空间中自仿射集合的维数和测度,给出了不用先计算伪Hausdorff维数s而保证s维伪Hausdorff测度是正的或有限的集合E上的近似相似的几何条件,还给出了保证上和下伪Minkowski维数等于伪Hausdorff维数成立的类似条件,避开了直接的计算. 展开更多

关键词 伪Minkowski 伪Hausdorff 伪范数

下载PDF 职称材料

一类自仿射函数迭代系统的开集条件

18

作者 张润莲 《华中师范大学学报（自然科学版）》 CAS CSCD 北大核心 2012年第6期656-660,共5页

构造了一类自仿射函数迭代系统(IFS){fi}iN=1,首先讨论了该IFS的自仿集是存在的,然后利用伪度量ω(x)及构造的指标集Γ(J),证明了如果该IFS满足开集条件,则强开集条件也成立.

关键词 自仿集 伪度量 开集条件 强开集条件

下载PDF 职称材料

解读“规范出发型”诉讼理念——以具体个案为基点 被引量：2

19

作者 李龙 闫宾 《西南政法大学学报》 2005年第4期42-49,共8页

“规范出发型”和“事实出发型”是分别作为代表罗马法系和日尔曼法系诉讼理念的关键词;在中国这一有着悠久成文法传统的国度,裁判案件应在“规范出发型”理念下指导下进行。一般来说,实体法保护的权利仅限于自身框架之内,避免以虚构权... “规范出发型”和“事实出发型”是分别作为代表罗马法系和日尔曼法系诉讼理念的关键词;在中国这一有着悠久成文法传统的国度,裁判案件应在“规范出发型”理念下指导下进行。一般来说,实体法保护的权利仅限于自身框架之内,避免以虚构权利的方式达到保护利益的目的,特别是在该利益可以通过实体法上本来就具有的权利予以保护之时。在适用上,外部的基准应是民事实体法,而不应是宪法;内部的基准应是以规则为主体,只在个别情况下适用原则予以矫正或弥补。 展开更多

关键词 规范出发型 事实出发型 伪规范出发型 宪法 民事实体法

下载PDF 职称材料

基于Lp伪范数和高阶OGS全变分的椒盐噪声去除 被引量：2

20

作者 程祝媛 倪婉贞 陈颖频 《图学学报》 CSCD 北大核心 2021年第1期23-31,共9页

全变分(TV)模型广泛应用于椒盐噪声的去除。然而,TV模型中存在着严重的阶梯效应。近年来,由于低阶交叠组稀疏(LOGS)全变分能够很好地抑制阶梯效应,受到了越来越多的关注,但仍有改进空间。实际上,其只考虑一阶图像梯度的先验信息,而忽略... 全变分(TV)模型广泛应用于椒盐噪声的去除。然而,TV模型中存在着严重的阶梯效应。近年来,由于低阶交叠组稀疏(LOGS)全变分能够很好地抑制阶梯效应,受到了越来越多的关注,但仍有改进空间。实际上,其只考虑一阶图像梯度的先验信息,而忽略了高阶图像梯度的先验信息。为了进一步提高恢复图像的质量,提出了一种结合Lp伪范数的高阶OGS全变分,在利用高阶梯度的OGS约束更好地描述图像梯度稀疏先验的同时,还利用Lp伪范数的强稀疏诱导能力更好地描述椒盐噪声的稀疏性。该模型采用交替方向乘子法求解,并将模型分解为若干个子问题求解。最后,通过实验验证了该模型的正确性,并结合峰值信噪比、结构相似性度和梯度幅值相似性偏差对模型的恢复性能进行了评价。实验结果表明,该方法相比一些先进的去噪模型具有很强的竞争力。 展开更多

关键词 图像去噪 交叠组稀疏 Lp伪范数 高阶梯度 正则项

下载PDF 职称材料