-

检索结果分析

结果分析中...
检索条件:"作者=何华灿 "
条 记 录,以下是1-10
视图:
排序:
显示条数:
谓词形式系统UL_h^-∈[0.75,1]及其可靠性
《计算机科学》2011年第5期178-180,223,共4页马盈仓  
国家自然科学基金(60273087;60575034);陕西省教育厅专项科研计划项目(2010JK567);西北工业大学基础研究基金(W018101)资助
对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。
关键词:泛逻辑 谓词演算形式系统 泛与运算 
粗集中上下近似运算的逻辑性质被引量:1
《计算机科学》2000年第11期79-81,78,共4页祝峰  
国家教委博士点基金;陕西省自然科学基金
1 引论近年来,粗集理论的实际应用与理论探讨已成为计算机科学中的一个热点问题。1995年Pawlak曾在文[6]中指出,粗集的逻辑性质研究将是今后粗集理论的一个重要同题。本文正是通过深入研究拓扑布尔代数与粗集的关系,给出了关于有限拓扑...
关键词:粗集 上下近似运算 逻辑性质 布尔代数 
泛逻辑控制模型研究被引量:3
《计算机工程》2007年第19期7-9,共3页刘丽  贾澎涛 
国家自然科学基金资助项目(60273087)
提出了一种基于泛逻辑学中零级泛组合模型的泛逻辑控制器,并根据输入变量数目的不同,设计了一维到四维泛逻辑控制模型结构。由于考虑到输入量之间的广义相关性,泛逻辑控制模型具有较强的通用性和适应能力,针对不同被控对象无须单独设计...
关键词:广义相关性 泛组合模型 泛逻辑控制模型 
基于幂零泛与运算模型的命题模糊逻辑被引量:3
《计算机科学》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))是一个伴随对;进一步证明了([...
关键词:泛与运算模型 泛蕴涵运算模型 幂零三角范数 剩余 伴随对 数理逻辑 
基于泛逻辑学的模糊推理规则被引量:2
《计算机科学》2004年第8期100-102,共3页马盈仓  
国家自然科学基金(批准号:60273087).
本文首次提出了基于泛逻辑学的模糊推理,给出一般 FMP 推理、模糊条件语句推理以及多段模糊推理的泛逻辑学推理规则。
关键词:泛逻辑学 模糊推理规则 FMP推理 广义相关性 
粗集中粗元的结构及其拓广被引量:1
《计算机科学》2000年第6期38-39,34,共3页祝峰  周延泉 胡麒 王辉 
国家教委博士点基金(98069923);陕西省自然科学基金(98X15)
1 引言在决策过程中,如处理不确定性,已吸引了不少学者的注意,对此,人们提出了各种各样关于不确定性信息的表示模型,及不确定性推理方法,如Shortliffe和Buchanan的不确定因子法,Duda的概率逻辑,Dempster和shafer提出的证据理论方法,Za...
关键词:粗集 粗元 知识发现 数据挖掘 数据库 
基于Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的反向三Ⅰ算法被引量:3
《智能系统学报》2012年第6期494-500,共7页罗敏霞 桑睨  
国家自然科学基金资助项目(61273018);浙江省自然科学基金资助项目(Y1110651)
Schweizer-Sklar三角范数簇具有柔化性,使得由其构造的逻辑系统在模糊推理中具有良好的属性.将Schweizer-Sklar三角范数簇与模糊推理反向三Ⅰ算法结合起来,给出基于Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的反向三Ⅰ算法和α-反向三...
关键词:模糊推理 反向三Ⅰ算法 Schweizer-Sklar三角范数簇 FMP问题 FMT问题 
模糊推理中零级泛蕴涵的信息度约束研究被引量:3
《计算机科学》2005年第1期162-164,F004,共4页付利  
国家自然科学基金(60273087);国家863项目(2002AA412020);北京市自然科学基金(4032009);西北工业大学研究生创业种子基金(Z20030065)
基于线性特征测度的定义,本文详细地讨论了模糊推理中零级泛蕴涵满足信息有界性原则的条件,并得出结论:当命题间是相克相关,即其广义相关系数h∈[0,0.5]时,零级泛蕴涵满足信息有界性原则。这一结论对于在实际控制应用中,如给定命题间...
关键词:模糊推理 零级泛蕴涵 信息度约束 模糊控制 特征测度 
基于属性相关性的属性约简新方法被引量:18
《计算机工程与应用》2005年第28期55-57,共3页张静 王建民  
文章给出了一个基于粗糙集理论的属性相关性的新定义,并在此基础上给出了基于属性相关性的属性约简新方法。本算法不但能过滤掉属性集合中的无关属性,而且能有效地找到属性集合中的冗余属性,从而得到满意的属性约简。对UCI机器学习数据...
关键词:粗糙集 属性约简 冗余属性 属性相关性 
[0,∞]区间N范数的定义及生成定理被引量:1
《计算机科学》2010年第5期190-193,270,共5页范艳峰  
国家自然科学基金项目(No.60273087)"经验知识推理理论研究";北京市自然科学基金项目(No.4032009)"不精确推理理论研究";西北工业大学基础研究基金(No.W018101)资助
柔性逻辑学的研究目标是探索逻辑的一般规律,它指出命题真值误差用连续变化的广义自相关系数k∈[0,1]来刻画。在柔性逻辑的不确定推理中,N范数是一级运算的数理模型。由于在现实生活中,很多逻辑推理控制必须在其自身的定义域内完成,因...
关键词:柔性逻辑 范数 生成元 广义自相关系数 生成元完整簇 
检索报告 对象比较 聚类工具 使用帮助 返回顶部