国家自然科学基金(60273087)

作品数：78被引量：262H指数：9
导出分析报告
相关作者：何华灿罗敏霞陈志成毛明毅王万森更多>>
相关机构：西北工业大学首都师范大学清华大学运城学院更多>>
相关期刊：《计算机研究与发展》《计算机工程》《计算机应用》《计算机技术与发展》更多>>
相关主题：泛逻辑泛逻辑学人工智能蕴涵模糊推理更多>>
相关领域：自动化与计算机技术理学文化科学哲学宗教更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
因素表示的信息空间与广义概率逻辑被引量：6
《智能系统学报》2019年第5期843-852,共10页汪培庄 周红军 何华灿 钟义信 
国家自然科学基金(61350003,60273087,60873001)
国内外近年来所提出的广义概率逻辑对于人工智能的发展有重要意义。能否反映变换演化的实际场景,使逻辑判断能够灵活变通,这是广义概率逻辑发展的关键。为了解决这一问题,本文的目是以信息空间作为逻辑与实际场景的接口。有了这个接口,...
关键词：机制主义人工智能 泛逻辑 计量概率逻辑 因素空间 模糊集 可能性空间 谓词演算 随机集落影 
重新找回人工智能的可解释性被引量：35
《智能系统学报》2019年第3期393-412,共20页何华灿 
国家自然科学基金面上项目(60273087);西北工业大学基础研究基金重点项目(W18101)
针对深度神经网络 AI研究的可解释性瓶颈,指出刚性逻辑(数理形式逻辑)和二值神经元等价,二值神经网络可转换成逻辑表达式,有强可解释性。深度神经网络一味增加中间层数来拟合大数据,没有适时通过抽象把最小粒度的数据(原子)变成粒度较...
关键词：人工智能 可解释性 演化 不确定性 泛逻辑学 柔性命题逻辑 柔性神经元 数理辩证逻辑 
泛逻辑学理论——机制主义人工智能理论的逻辑基础被引量：27
《智能系统学报》2018年第1期19-36,共18页何华灿 
国家自然科学基金面上项目(60273087);西北工业大学基础研究基金重点项目(W18101)
当前,世界各主要大国都把人工智能作为它们的国家战略。人工智能的发展正在快速改变着人类的生活方式和思想观念。在中国,有一小批研究者20多年来一直在基于辩证唯物主义潜心研究具有普适性的人工智能基础理论,包括智能的形成机制、逻...
关键词：泛逻辑学 机制主义人工智能 不确定性 柔性神经元 智能信息处理算子库 
基于零级泛与运算的谓词形式系统及其完备性被引量：1
《小型微型计算机系统》2011年第10期2105-2108,共4页马盈仓 何华灿 
国家自然科学基金项目(60273087,60575034)资助;陕西省教育厅专项科研计划项目(2010JK567)资助;西北工业大学基础研究基金项目(W018101)资助
泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统ULh∈(0,1]的完备性.通过引入全称量词和存在量词...
关键词：泛逻辑 谓词演算形式系统 泛与运算 
基于同步和异步时间管理的混合时间管理算法被引量：2
《计算机技术与发展》2011年第7期32-35,共4页龚爱珍 艾丽蓉 王琼 
国家自然科学基金(60273087);西北工业大学基础研究基金(W018101);陕西省自然科学基金(SJ08F25)
基于HLA的并行分布式仿真是目前仿真的一种趋势。HLA的接口规范中定义了六类服务,其中时间管理服务是保证联邦成员之间正确交互的基础。时间管理服务保证了在仿真过程中所发生的事件在逻辑上的正确性,以及所发送的消息在逻辑上的有序性...
关键词：异步时间管理 同步时间管理 混合时间管理 并行分布式仿真 
基于共享内存的Xen虚拟机间通信的研究被引量：11
《计算机技术与发展》2011年第7期5-8,12,共5页朱团结 艾丽蓉 
国家自然科学基金(60273087);西北工业大学基础研究基金(W018101);陕西省自然科学基金(SJ08F25)
当虚拟机技术应用在服务器整合等领域时,虚拟机之间的通信会非常频繁,虚拟机本身的通信机制将成为瓶颈。目前,在Xen中不同的虚拟机间进行通信时,不仅通信路径长,而且虚拟机间的切换会造成很大的性能开销。在深入研究Xen虚拟机通信机制...
关键词：虚拟机 通信 XEN 共享内存 带宽 
基于HLA的分布式仿真中负载平衡的研究被引量：2
《计算机技术与发展》2011年第6期119-121,144,共4页王琼 艾丽蓉 龚爱珍 
国家自然科学基金(60273087);陕西省自然科学基金(SJ08F25);西北工业大学基础研究基金(W018101)
随着基于HLA的分布式仿真实现技术的日益成熟,对于仿真的效率和精确性的要求也越来越高。大规模的分布式仿真中,负载平衡成为影响仿真效率和正确性的关键问题,然而HLA本身并未提供负载平衡机制。在对负载平衡问题和HLA深入研究的基础上,...
关键词：HLA 分布式仿真 负载平衡 
[0,∞]区间N范数的定义及生成定理被引量：1
《计算机科学》2010年第5期190-193,270,共5页范艳峰 何华灿 
国家自然科学基金项目(No.60273087)"经验知识推理理论研究";北京市自然科学基金项目(No.4032009)"不精确推理理论研究";西北工业大学基础研究基金(No.W018101)资助
柔性逻辑学的研究目标是探索逻辑的一般规律,它指出命题真值误差用连续变化的广义自相关系数k∈[0,1]来刻画。在柔性逻辑的不确定推理中,N范数是一级运算的数理模型。由于在现实生活中,很多逻辑推理控制必须在其自身的定义域内完成,因...
关键词：柔性逻辑 范数 生成元 广义自相关系数 生成元完整簇 
[0,∞)区间的N范数及广义自相关系数k的计算方法被引量：1
《西北工业大学学报》2010年第2期270-275,共6页范艳峰 何华灿 艾丽蓉 
国家自然科学基金(60273087);陕西省自然科学基础(2007F45);西北工业大学基础研究基金重点(W018101)资助
三角范数理论中的N范数(N-norm)是柔性逻辑中非运算的数学模型。在柔性逻辑学研究中,模糊命题和它的模糊非命题之间的相关性用连续变化的广义自相关系数k∈[0,1]来刻画。非算子是随广义自相关系数k的变化而连续变化的算子簇。由于在现...
关键词：范数 柔性逻辑 广义自相关系数 生成元 生成函数 不动点 
一种基于柔性逻辑的控制方法研究被引量：2
《计算机科学》2009年第2期158-161,189,共5页付利华 何华灿 
国家自然科学基金资助项目(60273087);北京市自然科学基金项目(4032009);北京工业大学博士科研启动基金项目(52007012200702);北京工业大学青年科研基金项目(97007012200701)资助
模糊控制是基于领域专家所给出的模糊控制规则来实现对系统的控制,这些模糊控制规则粗略地描述了控制器输入和输出之间的关系。模糊控制采用的是一种分段逼近的思想,因此在对高阶和多输入等实际复杂系统控制过程中,模糊控制存在控制规...
关键词：泛逻辑 泛组合运算模型 柔性逻辑控制 模糊控制 倒立摆 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部