共查询到20条相似文献,搜索用时 31 毫秒
1.
不确定推理的一个注记 总被引:1,自引:0,他引:1
不确定推理是知识工程中的重要内容,基于模糊命题的真值推理具有广泛的应用,对模糊命题的真值推理进行研究,给出文[1]定义的不确定推理真值传播方法的严格叙述,并给出文[1]中两个定理的简单证明. 相似文献
2.
3.
4.
本文推广文[2]、[3]的结论,给出了正则环为除环的几个条件,又给出了几类特殊的正则环的结构定理,由此 可得到[4]、[5]中的结果。 相似文献
5.
Du Benfang 《大连大学学报》1995,(4)
在文 [1]中引进了DQ_rC-环的定义。给出了DQ_rC-环的KOthe根以及右Noether DQ_rC-环的一些刻划。本文主要给出半质的主右理想具有极小条件的DQ_rC-环必为单Artin环的直和。 相似文献
6.
对抽象代数中如下两个结论:(1)存在自由Abel群;(2)高斯整数环是欧氏环。在文献[1]、[2]、[3]中都给出了传统理论意义上的证明。此文分别给出一种不同于已有文献的证明方法。 相似文献
7.
文[1]定义了抽象Fermat环,并研究了它的一些性质·证明所有Fermat环一定是有限个有限域的直和,进而给出所有Fermat环的结构· 相似文献
8.
关于Tfg—遗传环、Tfg—正则环 总被引:1,自引:0,他引:1
方刚 《广东民族学院学报》1992,(4):38-46,81
本文借助于左酉模范畴R1M中的遗传扭论(T,F)相对应的Gabriel拓扑G,定义并讨论了较平坦模,T-内射模[1、2]、f-内射模[3]、p-内射模[13]更为一般的Tfg-平坦模和Tfg-内射模,然后利用这两类模刻划了Tfg-遗传环和Tfg-正则环,见定理8、9、10和11,从而推广了遗传环和正则环t1-半单环[6]。 相似文献
9.
10.
11.
本文[1]中我们引进了DQrC一环的定义并给了Kothe根以及Noether DQrC一环的理想准质分解为一些刻划,本文将给出交换环中著名Krull交定理在DQrC一环巾的推广。 相似文献
12.
茹永梅 《浙江工贸职业技术学院学报》2008,8(1):66-70
利用由均匀概率空间的无穷乘积所定义的及中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统及中公式间的三种相似度的性质.最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质. 相似文献
13.
14.
茹永梅 《浙江工贸职业技术学院学报》2008,8(1):66-71
利用由均匀概率空间的无穷乘积所定义的Gn和∏n中公式的真度概念,给出了公式间相似度的一种新定义,讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统Gn和∏n中公式间的三种相似度的性质。最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质。 相似文献
15.
<正>1引言众所周知,在平面三角学中,任意角三角函数的常见定义有两种,即单位圆定义和终边定义法,现行不同版本教科书的选择互有不同,教师在两种定义的选择上还存在疑惑.两种定义本质上是一致的[1-2],人们的争论源于认知习惯与解题需求上的差异[3].章建跃总结了单位圆定义的几个优点: 相似文献
16.
本给出了图G的交点的定义以及交点的性质;减弱了[1]中推论的条件,得到Euler定理的一种等价定理。 相似文献
17.
吕国亮 《渭南师范学院学报》1995,(Z3)
设A非负不可分,α>ρ(A),本文讨论了(αE—A)~(-1)[0]的充要条件,把一般性结论中(αE—A)(-1)≥[0]中的“=”去掉,变为α>ρ(A)是(αE—A)(-1)>[0]的充要条件,最后给出了便于利用的非负矩阵列和判断o>ρ(A)的充分条件。 相似文献
18.
19.
证明了Gauss整数环Z[i]中非零元素在映射φ的作用下的最小值的原像α0~1,由此给出了求Z[i]中元素最大公因子的两种方法:辗转相除法和矩阵的广义初等变换法. 相似文献
20.