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

对称逻辑公式在L3^＊逻辑度量空间中的分布被引量：10: 1; 作者王庆平王国俊《计算机学报》 EI CSCD 北大核心 2011年第1期105-114,共10页; 在三值逻辑系统L3*中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L3*和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑... 展开更多; 关键词对称三值R0函数对称逻辑公式准对称逻辑公式同类向量稠密; 在线阅读下载PDF 职称材料

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

L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法被引量：2: 3; 作者王庆平《计算机学报》 EI CSCD 北大核心 2013年第4期851-861,共11页; 将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3*中由公式导出的三值R0函数的展开式,给出了L3*中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基... 展开更多; 关键词 Shannon展开式三值R0函数对称逻辑公式范式表示计数问题; 在线阅读下载PDF 职称材料

对称逻辑公式在L4＊逻辑度量空间中的分布: 4; 作者惠小静赵玛瑙高姣《计算机科学》 CSCD 北大核心 2015年第11期130-133,148,共5页; 在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。; 关键词四值逻辑系统L4＊对称逻辑公式计数问题; 在线阅读下载PDF 职称材料

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

题名对称逻辑公式在L3^＊逻辑度量空间中的分布被引量：10: 1; 作者王庆平王国俊; 机构陕西师范大学数学与信息科学学院聊城大学数学科学学院; 出处《计算机学报》 EI CSCD 北大核心 2011年第1期105-114,共10页; 基金国家自然科学基金(10771129)资助; 文摘在三值逻辑系统L3*中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L3*和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零,且全体对称逻辑公式的真度之集却在[0,1]中稠密.然而全体对称逻辑公式之集是逻辑度量空间中的无处稠密集.; 关键词对称三值R0函数对称逻辑公式准对称逻辑公式同类向量稠密; Keywords symmetric three-valued R0 function symmetric logic formulas pseudo-symmetric logic formulas vectors of the same kind dense; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载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 职称材料

题名L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法被引量：2: 3; 作者王庆平; 机构江西财经大学统计学院陕西师范大学数学与信息科学学院; 出处《计算机学报》 EI CSCD 北大核心 2013年第4期851-861,共11页; 基金国家自然科学基金(11171200 61005046 +1 种基金 61103133) 教育部高等学校博士学科点专项科研资金(20100202120012)资助~~; 文摘将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3*中由公式导出的三值R0函数的展开式,给出了L3*中逻辑公式的准析取范式和准合取范式表示.研究了n元三值R0函数以及n元逻辑公式逻辑等价类的计数问题.在此基础上,给出了L3*中对称逻辑公式的构造方法.; 关键词 Shannon展开式三值R0函数对称逻辑公式范式表示计数问题; Keywords Shannon expansion three-valued R0 function symmetrical logic formulae normalform counting problem; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名对称逻辑公式在L4＊逻辑度量空间中的分布: 4; 作者惠小静赵玛瑙高姣; 机构延安大学数学与计算机科学学院; 出处《计算机科学》 CSCD 北大核心 2015年第11期130-133,148,共5页; 基金国家自然科学基金(11471007) 陕西省自然科学基金(2014JM1020) +2 种基金延安大学研究生创新基金陕西省大学生创新训练计划项目(1064)资助; 文摘在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。; 关键词四值逻辑系统L4＊对称逻辑公式计数问题; Keywords Four-valued logic system L4＊ , Symmetric logic formulas, Counting problem; 分类号 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	对称逻辑公式在L3^＊逻辑度量空间中的分布	王庆平王国俊	《计算机学报》 EI CSCD 北大核心	2011	10	在线阅读下载PDF 职称材料
2	对称逻辑公式在经典逻辑度量空间中的分布	胡明娣王国俊	《电子学报》 EI CAS CSCD 北大核心	2011	19	在线阅读下载PDF 职称材料
3	L3^＊中逻辑公式的范式表示及对称逻辑公式的构造方法	王庆平	《计算机学报》 EI CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料
4	对称逻辑公式在L4＊逻辑度量空间中的分布	惠小静赵玛瑙高姣	《计算机科学》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
5	对称逻辑度量次范整子空间及其性质	楼志刚刘宏昭胡明娣	《计算机工程与应用》 CSCD	2013	0	在线阅读下载PDF 职称材料