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

逻辑系统NMG的满足性和紧致性被引量：7: 1; 作者周红军王国俊《软件学报》 EI CSCD 北大核心 2009年第3期515-523,共9页; 紧致性是模糊逻辑的一个重要性质.现已经证明■ukasiewicz命题逻辑、Gdel命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性,进而证明了NMG也是紧的.; 关键词模糊逻辑逻辑系统NMG 极大相容理论满足性紧致性 Cantor空间; 在线阅读下载PDF 职称材料

模糊模态逻辑中的永真式与准永真式被引量：8: 2; 作者胡明娣王国俊《电子学报》 EI CAS CSCD 北大核心 2009年第11期2484-2488,共5页; 研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合... 展开更多; 关键词模糊模态逻辑基本模态逻辑永真式有效公式准永真式模态逻辑系统M￡*; 在线阅读下载PDF 职称材料

计量逻辑学(Ⅰ) 被引量：200: 3; 作者王国俊《工程数学学报》 CSCD 北大核心 2006年第2期191-215,共25页; 在多值命题逻辑系统中提出了公式的真度概念。基于此,提出了公式间的相似度与伪度量,研究了所得的逻辑度量空间的基本性质,提出并研究了逻辑理论的发散度与相容度概念,给出了三种近似推理的模式,初步建立了计量逻辑学理论。; 关键词真度相似度伪度量发散度相容度计量逻辑; 在线阅读下载PDF 职称材料

数论在密码学中的应用被引量：3: 4; 作者王国俊《工程数学学报》 CSCD 北大核心 2002年第1期14-20,共7页; 以背包原理。; 关键词背包原理 RSA系统秘密分享; 在线阅读下载PDF 职称材料

广义Kloosterman和的六次均值被引量：2: 5; 作者王晓瑛《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期519-521,共3页; 目的研究广义K loosterman和的四、六次均值的计算问题。方法利用初等方法。结果给出广义K loosterman和的四、六次均值的计算公式。结论促进广义K loosterman和的研究。; 关键词广义Kloosterman和均值计算公式; 在线阅读下载PDF 职称材料

两个新的数论函数的均值: 6; 作者王晓瑛《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第6期677-679,共3页; 目的研究两个新的数论函数的性质。方法利用解析方法。结果给出两个新的数论函数均值的渐近公式。结论促进了这两个新的数论函数的研究。; 关键词数论函数均值渐近公式; 在线阅读下载PDF 职称材料

题名逻辑系统NMG的满足性和紧致性被引量：7: 1; 作者周红军王国俊; 机构陕西师范大学数学与信息科学学院西安交通大学基础科学研究中心; 出处《软件学报》 EI CSCD 北大核心 2009年第3期515-523,共9页; 基金国家自然科学基金陕西师范大学优秀博士学位论文基金~~; 文摘紧致性是模糊逻辑的一个重要性质.现已经证明■ukasiewicz命题逻辑、Gdel命题逻辑、乘积命题逻辑和形式系统L*都是紧的.通过刻画逻辑系统NMG中的极大相容理论和证明NMG的满足性,进而证明了NMG也是紧的.; 关键词模糊逻辑逻辑系统NMG 极大相容理论满足性紧致性 Cantor空间; Keywords fuzzy logic logic system NMG maximally consistent theory satisifiability compactness Cantor space; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名模糊模态逻辑中的永真式与准永真式被引量：8: 2; 作者胡明娣王国俊; 机构陕西师范大学数学研究所安康学院数学系西安交通大学基础科学研究中心; 出处《电子学报》 EI CAS CSCD 北大核心 2009年第11期2484-2488,共5页; 基金国家自然科学基金(No.10771129) 陕西师范大学研究生培养创新基金(No.2009CXB006); 文摘研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系.证明了永真式一定是逻辑有效公式,但反之不真;在模糊模态逻辑中,针对一类重要的二元关系、即连续型二元关系引入了准永真式的概念,研究了准永真式的基本性质,并结合￡*系统构造出了一类永真式和准永真式.; 关键词模糊模态逻辑基本模态逻辑永真式有效公式准永真式模态逻辑系统M￡*; Keywords fuzzy modal logic basic modal logic tautology valid formula quasi-tautology modal logic system M￡^＊; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名计量逻辑学(Ⅰ) 被引量：200: 3; 作者王国俊; 机构陕西师范大学数学研究所西安交通大学基础科学研究中心; 出处《工程数学学报》 CSCD 北大核心 2006年第2期191-215,共25页; 基金国家自然科学基金(10331010).; 文摘在多值命题逻辑系统中提出了公式的真度概念。基于此,提出了公式间的相似度与伪度量,研究了所得的逻辑度量空间的基本性质,提出并研究了逻辑理论的发散度与相容度概念,给出了三种近似推理的模式,初步建立了计量逻辑学理论。; 关键词真度相似度伪度量发散度相容度计量逻辑; Keywords truth degree similarity degree pseudo-metric divergency degree consistency degree quantitative logic; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名数论在密码学中的应用被引量：3: 4; 作者王国俊; 机构西安交通大学基础科学研究中心; 出处《工程数学学报》 CSCD 北大核心 2002年第1期14-20,共7页; 基金国家自然科学基金重点项目 198310 4 0; 文摘以背包原理。; 关键词背包原理 RSA系统秘密分享; Keywords The principle of knapsack RSA Share in a secret; 分类号 TN918.1 [电子电信—通信与信息系统] O156 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名广义Kloosterman和的六次均值被引量：2: 5; 作者王晓瑛; 机构西安交通大学基础科学研究中心; 出处《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期519-521,共3页; 基金陕西省自然科学基金资助项目(2002A11); 文摘目的研究广义K loosterman和的四、六次均值的计算问题。方法利用初等方法。结果给出广义K loosterman和的四、六次均值的计算公式。结论促进广义K loosterman和的研究。; 关键词广义Kloosterman和均值计算公式; Keywords the general Kloosterman sum power mean calculating formulae; 分类号 O156.4 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名两个新的数论函数的均值: 6; 作者王晓瑛; 机构西安交通大学基础科学研究中心; 出处《西北大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第6期677-679,共3页; 基金国家自然科学基金资助项目(10271093) 陕西省自然科学基金资助项目(2002A11); 文摘目的研究两个新的数论函数的性质。方法利用解析方法。结果给出两个新的数论函数均值的渐近公式。结论促进了这两个新的数论函数的研究。; 关键词数论函数均值渐近公式; Keywords aithmetical function mean value asymptotic formula; 分类号 O156.4 [理学—基础数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	逻辑系统NMG的满足性和紧致性	周红军王国俊	《软件学报》 EI CSCD 北大核心	2009	7	在线阅读下载PDF 职称材料
2	模糊模态逻辑中的永真式与准永真式	胡明娣王国俊	《电子学报》 EI CAS CSCD 北大核心	2009	8	在线阅读下载PDF 职称材料
3	计量逻辑学(Ⅰ)	王国俊	《工程数学学报》 CSCD 北大核心	2006	200	在线阅读下载PDF 职称材料
4	数论在密码学中的应用	王国俊	《工程数学学报》 CSCD 北大核心	2002	3	在线阅读下载PDF 职称材料
5	广义Kloosterman和的六次均值	王晓瑛	《西北大学学报（自然科学版）》 CAS CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
6	两个新的数论函数的均值	王晓瑛	《西北大学学报（自然科学版）》 CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料