何华灿
- 作品数：242 被引量：997H指数：18
- 供职机构：西北工业大学计算机学院更多>>
- 发文基金：国家自然科学基金北京市自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学电子电信哲学宗教更多>>
- 谓词形式系统UL_h^-∈[0.75,1]及其可靠性
- 2011年
- 对基于一级泛与运算的一阶谓词演算形式系统ULh-∈[0.75,1]进行公理化。通过引入全称量词和存在量词,建立与命题形式系统ULh-∈[0.75,1]相对应的一阶谓词形式系统ULh-∈[0.75,1],并证明该系统的可靠性定理及演绎定理。
- 马盈仓何华灿
- 关键词：泛逻辑
- 粗集中上下近似运算的逻辑性质被引量：2
- 2000年
- 1 引论近年来,粗集理论的实际应用与理论探讨已成为计算机科学中的一个热点问题。1995年Pawlak曾在文[6]中指出,粗集的逻辑性质研究将是今后粗集理论的一个重要同题。本文正是通过深入研究拓扑布尔代数与粗集的关系,给出了关于有限拓扑布尔代数的表示定理,从逻辑上全面刻画了粗集中上下近似运算这一核心概念。
- 祝峰何华灿
- 关键词：粗集逻辑性质布尔代数
- 泛逻辑控制模型研究被引量：2
- 2007年
- 提出了一种基于泛逻辑学中零级泛组合模型的泛逻辑控制器,并根据输入变量数目的不同,设计了一维到四维泛逻辑控制模型结构。由于考虑到输入量之间的广义相关性,泛逻辑控制模型具有较强的通用性和适应能力,针对不同被控对象无须单独设计,是一种具有柔性潜质的智能控制模型。对典型线性和非线性系统的控制实验,证明了模型的有效性和优越性。
- 刘丽何华灿贾澎涛
- 基于幂零泛与运算模型的命题模糊逻辑被引量：4
- 2004年
- 本文讨论了泛与运算模型 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 逻辑命题演算系统是等价的。
- 罗敏霞何华灿
- 关键词：伴随对数理逻辑
- 基于泛逻辑学的模糊推理规则被引量：3
- 2004年
- 本文首次提出了基于泛逻辑学的模糊推理,给出一般 FMP 推理、模糊条件语句推理以及多段模糊推理的泛逻辑学推理规则。
- 马盈仓何华灿
- 关键词：泛逻辑学模糊推理规则
- 基于剩余蕴涵的模糊逻辑及其应用研究
- 张小红何华灿徐扬王永全刘用麟
- 该成果研究基于剩余蕴涵的模糊逻辑系统，主要侧重于逻辑的形式化系统方面。在国内外已有研究成果的基础上，将模糊逻辑、Rough逻辑、泛逻辑结合起来，基于含参剩余蕴涵和广义相关系数给出相关模糊逻辑形式演算系统，并证明其可靠性和...
- 关键词：
- 关键词：模糊逻辑可靠性
- 粗集中粗元的结构及其拓广被引量：1
- 2000年
- 1 引言在决策过程中,如何处理不确定性,已吸引了不少学者的注意,对此,人们提出了各种各样关于不确定性信息的表示模型,及不确定性推理方法,如Shortliffe和Buchanan的不确定因子法,Duda的概率逻辑,Dempster和shafer提出的证据理论方法,Zadeh的模糊集理论,Dubois和Prade提出的可能度推理方法等。近年来,波兰人Pawlak建立的粗集理论在学术界影响很大。
- 祝峰何华灿周延泉胡麒王辉
- 关键词：粗集知识发现数据挖掘数据库
- 基于Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的反向三Ⅰ算法被引量：3
- 2012年
- Schweizer-Sklar三角范数簇具有柔化性,使得由其构造的逻辑系统在模糊推理中具有良好的属性.将Schweizer-Sklar三角范数簇与模糊推理反向三Ⅰ算法结合起来,给出基于Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的反向三Ⅰ算法和α-反向三I算法,并给出对应三Ⅰ解的表达式.结合Schweizer-Sklar三角范数簇诱导的剩余蕴涵簇的特点,讨论当参数取特殊值时对应的特殊蕴涵算子→D,→L,→G,→P的反向三Ⅰ算法及对应三Ⅰ解的表达式.提供一种柔化性的模糊推理反向三Ⅰ算法.
- 罗敏霞桑睨何华灿
- 关键词：模糊推理
- 人工智能基础理论研究的重大进展——评钟义信的专著《高等人工智能原理》被引量：7
- 2015年
- 2014年3月科学出版社出版了北京邮电大学教授钟义信的最新专著《高等人工智能原理》，该书有5篇10章共538千字。第1篇探讨智能科学中的科学观（第1章）和方法论（第2章），第2篇阐述全信息理论（第3章）和知识生态理论（第4章），第3篇论述智能科学的研究模型和信息转换原理（第5～6章），第4篇分析高等人工智能理论与现行人工智能理论的关系（第7～9章），第5篇讨论高等人工智能原理的典型应用（第10章）。
- 何华灿
- 关键词：人工智能理论
- 基于拟合的地震图波形自动提取方法
- 2004年
- 首先研究了地震图的预处理技术,并提出一种改进的弧形校正方法和滑动窗口波形分割 方法。在此基础上,提出了一种基于三角多项式的分段拟合算法,并针对函数阶数的确定进行了分 析。实验表明,该方法具有抗噪能力强,获得波形光顺,刻划波形起伏准确的优点。
- 胡麒何华灿廖熠郑学峰
- 关键词：图像处理
