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

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

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

经典逻辑度量空间上的反射变换被引量：13: 3; 作者胡明娣王国俊《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第6期1-4,共4页; 探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不... 展开更多; 关键词经典逻辑 LInDEnBAUM代数逻辑度量空间反射变换自同构不动点 Gdeln值逻辑度量空间; 在线阅读下载PDF 职称材料

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

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

消解逻辑悖论建立元知识智能化体系被引量：1: 6; 作者郑智捷《计算机科学》 CSCD 北大核心 2022年第1期9-16,共8页; 高庆狮院士于2006年发表《新模糊集合论基础》专著,为消解模糊逻辑系列悖论进行逻辑理论基础探索;并于2009年在科学出版社发表《统一语言学基础》专著,为多语言计算前沿构造理论基础支撑。这两部专著在他的创新理论基础研究中为传世瑰... 展开更多; 关键词共轭逻辑共轭变换结构相空间经典计算系统图灵机量子图灵机元知识体系统一语言学; 在线阅读下载PDF 职称材料

题名n元经典逻辑度量空间中的平移变换被引量：2: 1; 作者马巧云; 机构西安文理学院数学与计算机工程学院; 出处《计算机工程与应用》 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 职称材料

题名对称逻辑公式在经典逻辑度量空间中的分布被引量：19: 2; 作者胡明娣王国俊; 机构陕西师范大学数学研究所上海市高可信计算重点实验室; 出处《电子学报》 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 职称材料

题名经典逻辑度量空间上的反射变换被引量：13: 3; 作者胡明娣王国俊; 机构陕西师范大学数学与信息科学学院安康学院数学系上海市高可信计算重点实验室; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第6期1-4,共4页; 基金国家自然科学基金资助项目(10771129) 陕西师范大学研究生培养创新基金资助项目(2009CXB006); 文摘探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不动点性态,得到了不动点的一般形式,即[A]∨φ*([A])或[A]∧φ*([A])(A∈F(S)).最后指出当n>2时,对于n值G del逻辑系统,相应的逻辑度量空间不具有上述性质.; 关键词经典逻辑 LInDEnBAUM代数逻辑度量空间反射变换自同构不动点 Gdeln值逻辑度量空间; Keywords classical logic Lindenbaum algebra logic metric space reflexive transformation automorphism fixed point n-valued Gdel type logic metric space; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名经典逻辑度量空间中的边角关系被引量：2: 4; 作者胡明娣楼志刚; 机构陕西师范大学数学研究所西安理工大学机械与精密仪器工程学院; 出处《西北大学学报（自然科学版）》 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 职称材料

题名对称逻辑度量次范整子空间及其性质: 5; 作者楼志刚刘宏昭胡明娣; 机构西安理工大学机械与精密仪器工程学院西安邮电大学通信与信息工程学院; 出处《计算机工程与应用》 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: 6; 作者郑智捷; 机构云南大学软件学院; 出处《计算机科学》 CSCD 北大核心 2022年第1期9-16,共8页; 基金国家自然科学基金(62041213)。; 文摘高庆狮院士于2006年发表《新模糊集合论基础》专著,为消解模糊逻辑系列悖论进行逻辑理论基础探索;并于2009年在科学出版社发表《统一语言学基础》专著,为多语言计算前沿构造理论基础支撑。这两部专著在他的创新理论基础研究中为传世瑰宝。在悼念高庆狮院士逝世10周年之际,文中利用最新向量逻辑——变值体系,来展现在高老师的研究方向中元知识系统体系架构建模的最新进展。从向量逻辑出发,综合共轭结构、元知识模型以及各类新型处理机制,在现代逻辑和数学中判定一个复杂系统是否包含经典逻辑悖论,对保证该类系统能否存活起到核心判别作用。从分类和判别解析的角度,悖论可以分为两类模式:逻辑悖论和语义悖论。利用共轭环构造4条色带,系统化地消解莫比乌斯环展现的单面特性,展示一系列几何拓扑逻辑等学科内蕴的逻辑悖论,通过共轭环结构,形成完备的消解体系。相关的结构包括易经、微分几何、微分几何拓扑、整体变分泛函优化等复杂动态系统。随着系统化地消解莫比乌斯拓扑几何逻辑悖论,针对复杂知识系统体系架构,描述适配的相关模块及其子模块的体系架构,从经典逻辑出发,系统地建立经典逻辑、有限自动机、图灵机、冯纽曼体系。利用消解莫比乌斯悖论的向量逻辑、共轭结构和变值体系,系统化地构造量子图灵机、多元复函数向量机、复杂智能化系统体系架构以及统一语言学分析系统等,为新型元知识体系构造新型复杂智能化系统开辟道路。; 关键词共轭逻辑共轭变换结构相空间经典计算系统图灵机量子图灵机元知识体系统一语言学; Keywords Conjugate logic Conjugate transformation structure Phase space Classical computing system Turing machine Quantum Turing machine Meta knowledge system Unified linguistics; 分类号 O144 [理学—基础数学] TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

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