-
题名泛逻辑泛运算模型之间的关系
被引量：2
- 1
-
-
作者
罗敏霞
何华灿
马盈仓
-
机构
中国计量学院理学院数学与信息科学系
西北工业大学计算机学院
-
出处
《计算机应用研究》
CSCD
北大核心
2006年第6期26-27,44,共3页
-
基金
国家自然科学基金资助项目(60273087)
北京市自然科学基金资助项目(4032009)
-
文摘
研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x,y,h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0,0.75),零级泛或运算S(x,y,h)=(m in(xm+ym,1))1/m,N(x)=(1-xm)1/m时,T,S,N形成一个强DeMorgan三元组。进一步证明了一级泛与运算模型T(x,y,h,k)、一级泛或运算模型S(x,y,h,k)与N(x)=(1-xn)1/n满足De Morgan定律;特别当h∈(0,0.75),一级泛或运算模型S(x,y,h,k)=(m in(xnm+ynm,1))1/nm,N(x)=(1-xnm)1/nm时,T,S,N形成一个强DeMorgan三元组。
-
关键词
泛与运算模型
泛或运算模型
模糊非
DE
Morgan三元组
-
Keywords
Universal Conjunction Model
Universal Disjunction Model
Fuzzy Negation
De Morgan Triple
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
O141.1
[理学—基础数学]
-
-
题名泛逻辑的一级泛运算模型的代数性质
被引量：2
- 2
-
-
作者
罗敏霞
何华灿
-
机构
西北工业大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第30期4-7,28,共5页
-
基金
国家自然科学基金(编号:60273087)
北京市自然科学基金(编号:4032009)资助
-
文摘
论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h∈(0,0.75),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个MV-代数;当h∈(0.75,1),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个乘积代数。进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。
-
关键词
泛与运算模型
泛或运算模型
伴随对
加性生成元
乘性生成元
-
Keywords
model of universal conjunction,model of universal disjunction,adjoint pair,ddditive generator,multiplicative generator
-
分类号
O141.1
[理学—基础数学]
-
