检索结果-维普期刊中文期刊服务平台

对称逻辑公式在经典逻辑度量空间中的分布被引量：19: 1; 作者胡明娣王国俊《电子学报》 EI CAS CSCD 北大核心 2011年第2期419-423,共5页; 将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的... 展开更多; 关键词对称逻辑公式真度稠密经典逻辑度量空间无处稠密; 在线阅读下载PDF 职称材料

经典逻辑度量空间中的边角关系被引量：2: 2; 作者胡明娣楼志刚《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第2期205-209,共5页; 目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先证明了在经典逻辑度量空间([F(S)],ρ)中存在等边多边形,直角三角形等特殊图形。其次证明了不存在边长大... 展开更多; 关键词经典逻辑度量空间等边三角形 LINDENBAUM代数等距变换内角; 在线阅读下载PDF 职称材料

n元经典逻辑度量空间中的平移变换被引量：2: 3; 作者马巧云《计算机工程与应用》 CSCD 2013年第6期59-61,117,共4页; 利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换。得到了平移变换的一些简单性质,证明了平移变换保持非运算,但不保持交、并、蕴涵运算;得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的... 展开更多; 关键词 n元经典逻辑度量空间平移变换次范整线性空间; 在线阅读下载PDF 职称材料

对称逻辑度量次范整子空间及其性质: 4; 作者楼志刚刘宏昭胡明娣《计算机工程与应用》 CSCD 2013年第5期40-43,共4页; 在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了... 展开更多; 关键词对称布尔函数对称逻辑公式次范整线性空间真度对称逻辑子空间经典逻辑度量空间; 在线阅读下载PDF 职称材料

题名对称逻辑公式在经典逻辑度量空间中的分布被引量：19: 1; 作者胡明娣王国俊; 机构陕西师范大学数学研究所上海市高可信计算重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2011年第2期419-423,共5页; 基金国家自然科学基金(No.10771129) 陕西师范大学研究生培养创新基金(No.2009CXB006); 文摘将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在[0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠密.; 关键词对称逻辑公式真度稠密经典逻辑度量空间无处稠密; Keywords symmetric logic formula truth degree dense classical logic metric space nowhere dense; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名经典逻辑度量空间中的边角关系被引量：2: 2; 作者胡明娣楼志刚; 机构陕西师范大学数学研究所西安理工大学机械与精密仪器工程学院; 出处《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第2期205-209,共5页; 基金国家自然科学基金资助项目(10771129) 陕西师范大学研究生培养创新基金资助项目(2009CXB006); 文摘目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先证明了在经典逻辑度量空间([F(S)],ρ)中存在等边多边形,直角三角形等特殊图形。其次证明了不存在边长大于或等于2/3的等边三角形,但存在边长可任意接近2/3的等边三角形。同时证明了Lindenbaum代数上的反射变换φ*和平移变换ηG保持等边三角形、直角三角形的边角关系不变。最后证明了在经典逻辑度量空间中三逻辑公式构成的三角形中,内角的余弦在[0,1]中稠密,即,它们的内角在[0,π2]上稠密分布。结论等边三角形的边长可任意接近2/3,但是逻辑度量空间中不存在边长大于或等于2/3的等边三角形。并且,Lindenbaum代数上的反射变换和平移变换保持等边三角形、直角三角形的边角关系不变。以上结论为进一步讨论和找寻经典逻辑度量空间中的基本结构奠定了基础。; 关键词经典逻辑度量空间等边三角形 LINDENBAUM代数等距变换内角; Keywords classical logic metric space equilateral triangle lndenbaum algebra isometric transform inside angle; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名n元经典逻辑度量空间中的平移变换被引量：2: 3; 作者马巧云; 机构西安文理学院数学与计算机工程学院; 出处《计算机工程与应用》 CSCD 2013年第6期59-61,117,共4页; 基金西安市科技计划项目(No.CXY1134WL10); 文摘利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换。得到了平移变换的一些简单性质,证明了平移变换保持非运算,但不保持交、并、蕴涵运算;得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的结论。证明了平移变换之集构成一个群;在经典逻辑度量空间中以公式类中公式的真度为范数,进一步证明了(Fn(S)ρ)关于该范数可以构成次范整线性空间。; 关键词 n元经典逻辑度量空间平移变换次范整线性空间; Keywords n-ary classical logic metric space transformation translation sub-normed Z-linear space; 分类号 O141 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名对称逻辑度量次范整子空间及其性质: 4; 作者楼志刚刘宏昭胡明娣; 机构西安理工大学机械与精密仪器工程学院西安邮电大学通信与信息工程学院; 出处《计算机工程与应用》 CSCD 2013年第5期40-43,共4页; 基金陕西省基金项目(No.102-00X903); 文摘在经典逻辑度量空间中定义了加法和数乘运算,利用公式的距离引入了经典逻辑度量空间中的范数的概念,从而证明了经典逻辑度量空间作成线性次范整空间。引入了次范整线性子空间的概念。证明了n元逻辑公式之集中的对称逻辑公式子集构成了次范整线性子空间,并讨论了该子空间的简单性质。; 关键词对称布尔函数对称逻辑公式次范整线性空间真度对称逻辑子空间经典逻辑度量空间; Keywords symmetric Boolean function symmetric logic formula Z（2）-normable linear logic space norm symmetric logic Z（2）- normable linear sub-space classical logic metric space; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	对称逻辑公式在经典逻辑度量空间中的分布	胡明娣王国俊	《电子学报》 EI CAS CSCD 北大核心	2011	19	在线阅读下载PDF 职称材料
2	经典逻辑度量空间中的边角关系	胡明娣楼志刚	《西北大学学报（自然科学版）》 CAS CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
3	n元经典逻辑度量空间中的平移变换	马巧云	《计算机工程与应用》 CSCD	2013	2	在线阅读下载PDF 职称材料
4	对称逻辑度量次范整子空间及其性质	楼志刚刘宏昭胡明娣	《计算机工程与应用》 CSCD	2013	0	在线阅读下载PDF 职称材料