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

基于幂零泛与运算模型的命题模糊逻辑被引量：3: 1; 作者罗敏霞何华灿《计算机科学》 CSCD 北大核心 2004年第8期97-99,共3页; 本文讨论了泛与运算模型 T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型 T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型 T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型 I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([... 展开更多; 关键词泛与运算模型泛蕴涵运算模型幂零三角范数剩余伴随对数理逻辑; 在线阅读下载PDF 职称材料

基于零级泛与运算的谓词形式系统及其可靠性被引量：2: 2; 作者马盈仓何华灿《计算机应用研究》 CSCD 北大核心 2011年第1期84-86,101,共4页; 对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式,保... 展开更多; 关键词泛逻辑谓词演算形式系统泛与运算; 在线阅读下载PDF 职称材料

基于零级泛与运算的谓词形式系统及其完备性被引量：1: 3; 作者马盈仓何华灿《小型微型计算机系统》 CSCD 北大核心 2011年第10期2105-2108,共4页; 泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词... 展开更多; 关键词泛逻辑谓词演算形式系统泛与运算; 在线阅读下载PDF 职称材料

基于零级泛与运算的泛逻辑中广义重言式理论: 4; 作者马盈仓何华灿薛占熬《计算机工程与应用》 CSCD 北大核心 2007年第3期16-18,21,共4页; 对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当c∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0+-重言式和重言式;当h=0时,关于Ih=0而言,F(S)中存... 展开更多; 关键词泛逻辑广义重言式零级泛与运算; 在线阅读下载PDF 职称材料

泛逻辑泛运算模型之间的关系被引量：2: 5; 作者罗敏霞何华灿马盈仓《计算机应用研究》 CSCD 北大核心 2006年第6期26-27,44,共3页; 研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x,y,h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0,0.75),零级泛或运算S(x,y,h)=(m in(xm+ym,1))1/m,N(x)=(1-xm)1/m... 展开更多; 关键词泛与运算模型泛或运算模型模糊非 DE Morgan三元组; 在线阅读下载PDF 职称材料

泛逻辑的一级泛运算模型的代数性质被引量：2: 6; 作者罗敏霞何华灿《计算机工程与应用》 CSCD 北大核心 2004年第30期4-7,28,共5页; 论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h... 展开更多; 关键词泛与运算模型泛或运算模型伴随对加性生成元乘性生成元; 在线阅读下载PDF 职称材料

基于一类严格三角范数的命题逻辑: 7; 作者罗敏霞何华灿《计算机科学》 CSCD 北大核心 2008年第4期129-131,共3页; 剩余模糊逻辑演算与连续三角范数是紧密相关的，三角范数是合取联结词的真值函数，三角范数的剩余是蕴涵联结词的真值函数。在这些逻辑中，非运算都是由蕴涵和真值常量石定义的，即→P：P→0^-。在本文中，我们引入一种具有对合性质的... 展开更多; 关键词泛与运算模型泛蕴涵运算模型严格三角范数基本严格模糊逻辑SBL; 在线阅读下载PDF 职称材料

谓词形式系统UL_(hε[0.75,1])^-及其完备性: 8; 作者马盈仓何华灿《计算机工程与应用》 CSCD 北大核心 2010年第34期17-20,共4页; 主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh... 展开更多; 关键词泛逻辑谓词演算形式系统泛与运算; 在线阅读下载PDF 职称材料

谓词形式系统UL_h^-∈[0.75,1]及其可靠性: 9; 作者马盈仓何华灿《计算机科学》 CSCD 北大核心 2011年第5期178-180,223,共4页; 对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。; 关键词泛逻辑谓词演算形式系统泛与运算; 在线阅读下载PDF 职称材料

题名基于幂零泛与运算模型的命题模糊逻辑被引量：3: 1; 作者罗敏霞何华灿; 机构西北工业大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2004年第8期97-99,共3页; 基金国家自然科学基金(60273087) 北京市自然科学基金(4032009)资助; 文摘本文讨论了泛与运算模型 T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型 T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型 T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型 I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([0,1],∨,∧,*,→,0,1)作成一个 MV-代数。给出了基于幂零泛与运算模型 T(x,y,h)(h∈(0,0.75))的模糊命题演算系统 PC(T),证明了此命题演算系统与 Lukasiewicz 逻辑命题演算系统是等价的。; 关键词泛与运算模型泛蕴涵运算模型幂零三角范数剩余伴随对数理逻辑; Keywords The model of universal conjunction The model of universal implication Nilpotent triangular norm Residuum Adjoint pair; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] O14 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于零级泛与运算的谓词形式系统及其可靠性被引量：2: 2; 作者马盈仓何华灿; 机构西北工业大学电子信息学院西安工程大学理学院西北工业大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2011年第1期84-86,101,共4页; 基金国家自然科学基金资助项目(60273087 60575034) +1 种基金西北工业大学基础研究基金资助项目(W018101); 文摘对基于零级泛与运算的一阶谓词演算形式系统进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],证明了其可靠性定理和演绎定理。从而得到所给形式系统中的定理均为重言式,保证了推理的有效性。; 关键词泛逻辑谓词演算形式系统泛与运算; Keywords universal logic predicate calculus formal system universal AND operator; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于零级泛与运算的谓词形式系统及其完备性被引量：1: 3; 作者马盈仓何华灿; 机构西北工业大学电子信息学院西安工程大学理学院西北工业大学计算机学院; 出处《小型微型计算机系统》 CSCD 北大核心 2011年第10期2105-2108,共4页; 基金国家自然科学基金项目(60273087,60575034)资助陕西省教育厅专项科研计划项目(2010JK567)资助西北工业大学基础研究基金项目(W018101)资助; 文摘泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统ULh∈(0,1],并证明其完备性定理.从而得到系统ULh∈(0,1]的语义和语构是和谐的.; 关键词泛逻辑谓词演算形式系统泛与运算; Keywords universal logic predicate calculus formal system universal and operator; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于零级泛与运算的泛逻辑中广义重言式理论: 4; 作者马盈仓何华灿薛占熬; 机构西安工程大学理学院西北工业大学计算机学院河南师范大学计算机与信息技术学院; 出处《计算机工程与应用》 CSCD 北大核心 2007年第3期16-18,21,共4页; 基金陕西省教育厅专项科研计划项目(06JK286) 西安工程大学科研基金河南省自然科学基金资助项目(0611053900)。; 文摘对泛逻辑的广义重言式理论进行了研究,给出了基于零级泛与运算的广义重言式的一系列性质。主要结果有:当c∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即可达0-重言式、0+-重言式和重言式;当h=0时,关于Ih=0而言,F(S)中存在0、1可达重言式,当α∈(0,1),不存在α-重言式、α+-重言式和可达α-重言式;用h=0.5时的广义重言式对h∈(0,0.75)时的广义重言式进行了刻画。; 关键词泛逻辑广义重言式零级泛与运算; Keywords universal logic ：generalized tautologies 0-level universal AND operators; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程] O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名泛逻辑泛运算模型之间的关系被引量：2: 5; 作者罗敏霞何华灿马盈仓; 机构中国计量学院理学院数学与信息科学系西北工业大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2006年第6期26-27,44,共3页; 基金国家自然科学基金资助项目(60273087) 北京市自然科学基金资助项目(4032009); 文摘研究泛逻辑的泛与运算模型、泛或运算模型与模糊非之间的关系。证明了零级泛与运算模型T(x,y,h)、零级泛或运算模型S(x,y,h)与强非N(x)=1-x形成De Morgan三元组,当h∈(0,0.75),零级泛或运算S(x,y,h)=(m in(xm+ym,1))1/m,N(x)=(1-xm)1/m时,T,S,N形成一个强DeMorgan三元组。进一步证明了一级泛与运算模型T(x,y,h,k)、一级泛或运算模型S(x,y,h,k)与N(x)=(1-xn)1/n满足De Morgan定律;特别当h∈(0,0.75),一级泛或运算模型S(x,y,h,k)=(m in(xnm+ynm,1))1/nm,N(x)=(1-xnm)1/nm时,T,S,N形成一个强DeMorgan三元组。; 关键词泛与运算模型泛或运算模型模糊非 DE Morgan三元组; Keywords Universal Conjunction Model Universal Disjunction Model Fuzzy Negation De Morgan Triple; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名泛逻辑的一级泛运算模型的代数性质被引量：2: 6; 作者罗敏霞何华灿; 机构西北工业大学计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2004年第30期4-7,28,共5页; 基金国家自然科学基金(编号:60273087) 北京市自然科学基金(编号:4032009)资助; 文摘论文讨论泛逻辑的一级泛运算模型的基本代数性质。证明了T(x,y,h,k)(h∈(0,0.75),k∈(0,1))是幂零的阿基米德型三角范数,T(x,y,h,k)(h∈(0.75,1),k∈(0,1))是严格的阿基米德型三角范数;泛与运算模型与泛蕴涵运算模型形成一个伴随对。当h∈(0,0.75),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个MV-代数;当h∈(0.75,1),k∈(0,1)时,有界格(眼0,1演,∨,∧,觹,→,0,1)做成一个乘积代数。进一步,给出了一级泛与运算模型与泛或运算模型的加性生成元与乘性生成元。; 关键词泛与运算模型泛或运算模型伴随对加性生成元乘性生成元; Keywords model of universal conjunction,model of universal disjunction,adjoint pair,ddditive generator,multiplicative generator; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名基于一类严格三角范数的命题逻辑: 7; 作者罗敏霞何华灿; 机构中国计量学院理学院西北工业大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2008年第4期129-131,共3页; 基金国家自然科学基金(60273087) 中国计量学院科研启动基金资助; 文摘剩余模糊逻辑演算与连续三角范数是紧密相关的，三角范数是合取联结词的真值函数，三角范数的剩余是蕴涵联结词的真值函数。在这些逻辑中，非运算都是由蕴涵和真值常量石定义的，即→P：P→0^-。在本文中，我们引入一种具有对合性质的强非运算联结词“～”和投影联结词“△”，证明基于严格泛与运算模型T（x，y，h）（h∈（0．75，1））的命题演算逻辑PC（T）系统是基本严格模糊逻辑SBL；PC（T）～是基本严格模糊逻辑SBL的扩张SBL～。; 关键词泛与运算模型泛蕴涵运算模型严格三角范数基本严格模糊逻辑SBL; Keywords Universal conjunction model, Universal implication model, Strict t-norm,Basic strict fuzzy logic SBL; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名谓词形式系统UL_(hε[0.75,1])^-及其完备性: 8; 作者马盈仓何华灿; 机构西北工业大学电子信息学院西安工程大学理学院西北工业大学计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2010年第34期17-20,共4页; 基金国家自然科学基金(No.60273087 No.60575034) +1 种基金西北工业大学基础研究基金(No.W018101)~~; 文摘主要解决基于一级泛与运算的一阶谓词演算形式系统"ULh-?[0.751]的完备性。通过引入全称量词和存在量词,建立与命题形式系统ULh-?[0.751]相对应的一阶谓词形式系统"ULh-?[0.751],证明其完备性定理。从而说明形式系统"ULh-?[0.751]的语义和语构是和谐的。; 关键词泛逻辑谓词演算形式系统泛与运算; Keywords universal logic predicate calculus formal system universal AND operator; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] B815 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

题名谓词形式系统UL_h^-∈[0.75,1]及其可靠性: 9; 作者马盈仓何华灿; 机构西北工业大学电子信息学院西安工程大学理学院西北工业大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2011年第5期178-180,223,共4页; 基金国家自然科学基金(60273087 60575034) +1 种基金西北工业大学基础研究基金(W018101)资助; 文摘对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。; 关键词泛逻辑谓词演算形式系统泛与运算; Keywords Universal logic Predicate calculus formal system Universal and operator; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] B815 [哲学宗教—逻辑学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于幂零泛与运算模型的命题模糊逻辑	罗敏霞何华灿	《计算机科学》 CSCD 北大核心	2004	3	在线阅读下载PDF 职称材料
2	基于零级泛与运算的谓词形式系统及其可靠性	马盈仓何华灿	《计算机应用研究》 CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
3	基于零级泛与运算的谓词形式系统及其完备性	马盈仓何华灿	《小型微型计算机系统》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
4	基于零级泛与运算的泛逻辑中广义重言式理论	马盈仓何华灿薛占熬	《计算机工程与应用》 CSCD 北大核心	2007	0	在线阅读下载PDF 职称材料
5	泛逻辑泛运算模型之间的关系	罗敏霞何华灿马盈仓	《计算机应用研究》 CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
6	泛逻辑的一级泛运算模型的代数性质	罗敏霞何华灿	《计算机工程与应用》 CSCD 北大核心	2004	2	在线阅读下载PDF 职称材料
7	基于一类严格三角范数的命题逻辑	罗敏霞何华灿	《计算机科学》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料
8	谓词形式系统UL_(hε[0.75,1])^-及其完备性	马盈仓何华灿	《计算机工程与应用》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
9	谓词形式系统UL_h^-∈[0.75,1]及其可靠性	马盈仓何华灿	《计算机科学》 CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料