期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到929篇文章
< 1 2 … 47 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
模态系统的推理规则的强弱虚实
1
作者 李小五 《现代哲学》 CSSCI 北大核心 2004年第4期128-136,共9页
模态系统的推理规则可以用强弱虚实这四种性质进行分类。在一个系统中这几种性质无论在语形上还是语义上都有一定的联系和区别,有些性质在一个系统的变种或扩充中并不一定保持。
关键词 模态系统 强推理规则 弱推理规则 虚推理规则 实推理规则
下载PDF
自治故障管理系统推理规则的智能学习技术 被引量：1
2
作者 张莉丽 王睿伯 +1 位作者 王晓东 张文喆 《计算机工程与科学》 CSCD 北大核心 2023年第5期772-781,共10页
随着高性能计算机系统规模急剧增加,系统整体的固有可靠性逐步降低,产生了“可靠性墙”问题。为了应对这一挑战,天河高性能计算机系统设计了自治故障管理系统,通过该系统实时监控、分析、管理全系统的报警、故障和错误。自治故障管理系... 随着高性能计算机系统规模急剧增加,系统整体的固有可靠性逐步降低,产生了“可靠性墙”问题。为了应对这一挑战,天河高性能计算机系统设计了自治故障管理系统,通过该系统实时监控、分析、管理全系统的报警、故障和错误。自治故障管理系统所收集的故障消息垂直涵盖系统的各个逻辑层次,水平覆盖系统的全部功能模块,因此故障消息之间存在逻辑上的因果关系,即一个故障源会导致后续一系列的故障事件。提出了一种针对于故障信息的推理规则学习算法EMRL,把故障信息的推理规则建模为一个概率模型,通过该模型自动从故障信息中挖掘故障推理规则,并且根据挖掘结果自动生成最小的故障推理图。采用天河系统的部分运行数据,验证了EMRL算法的有效性,结果表明EMRL能有效挖掘故障信息的推理关系。 展开更多
关键词 推理规则学习 故障管理 自治管理
下载PDF
一种基于自适应证据推理规则的集成学习方法
3
作者 赖尉文 贺维 《计算机应用研究》 CSCD 北大核心 2023年第8期2281-2285,2297,共6页
当前集成学习中的结合策略难以兼顾各个基学习器之间的信息和模型的可解释性。使用证据推理(evidential reasoning,ER)规则作为结合策略,将各个基学习器结果作为证据参与融合,可以较好地解决以上问题。但传统ER规则的证据参数是单一的,... 当前集成学习中的结合策略难以兼顾各个基学习器之间的信息和模型的可解释性。使用证据推理(evidential reasoning,ER)规则作为结合策略,将各个基学习器结果作为证据参与融合,可以较好地解决以上问题。但传统ER规则的证据参数是单一的,对不同的基学习器模型使用相同的证据参数显然是不合理的。为此,提出一种基于自适应证据推理(adaptive-evidential reasoning,A-ER)规则的集成学习方法,该方法在每次证据融合前对证据的类别进行判断,针对不同的证据类别自适应分配不同的证据参数。通过不同的分类案例表明,该方法与案例中其他方法相比具有更高的分类精度,证明了该方法使证据参数设置更加合理且具有更好的可解释性和泛化能力。 展开更多
关键词 证据推理规则 集成学习 结合策略 自适应
下载PDF
基于证据推理规则的大学生综合素质评估
4
作者 靳书坤 《工业技术与职业教育》 2023年第3期77-82,共6页
大学生综合素质评估有助于发现综合素质培养过程中的不足,为大学生综合素质培养方案的完善提供客观的依据。大学生综合素质评估指标中包括学科成绩等定量信息和道德素养等定性信息,需要评估方法具有处理多元信息能力和信息融合能力。现... 大学生综合素质评估有助于发现综合素质培养过程中的不足,为大学生综合素质培养方案的完善提供客观的依据。大学生综合素质评估指标中包括学科成绩等定量信息和道德素养等定性信息,需要评估方法具有处理多元信息能力和信息融合能力。现有的评估方法中,存在数据类型和处理方法单一、不精确和不完整的信息得不到有效表达、无法描述数据可靠性等问题。提出基于证据推理规则的大学生综合素质评估模型,对多元数据进行标准化处理,使用层次分析法和数理统计方法求解证据权重及可靠度,将标准化数据通过证据推理规则算法进行信息融合,对大学生的综合素质进行评估。最后通过案例分析验证方法的有效性。 展开更多
关键词 综合素质评估 多元信息 证据推理规则 证据权重 证据可靠度
下载PDF
基于二叉树型分层的广义混合模糊系统推理规则数的缩减 被引量：10
5
作者 杨阳 王贵君 杨永强 《控制理论与应用》 EI CAS CSCD 北大核心 2013年第6期765-772,共8页
为避免广义混合模糊系统因输入变量个数的增加而引起规则爆炸现象,应用二叉树型分层方法给出混合推理规则,进而对广义混合模糊系统的输入实施二叉树型分层,从理论上获得了该系统分层后的输入输出表达式和推理规则总数的计算公式.此外,... 为避免广义混合模糊系统因输入变量个数的增加而引起规则爆炸现象,应用二叉树型分层方法给出混合推理规则,进而对广义混合模糊系统的输入实施二叉树型分层,从理论上获得了该系统分层后的输入输出表达式和推理规则总数的计算公式.此外,通过实例对该系统分层和不分层的规则总数进行了比较和分析,结果表明分层后广义混合模糊系统可大幅度缩减推理规则总数,并可有效地避免规则爆炸. 展开更多
关键词 二叉树型分层 混合推理规则 广义混合模糊系统 推理规则总数
下载PDF
中介命题系统MP推理规则的独立性问题
6
作者 莫志浩 《解放军理工大学学报（自然科学版）》 EI 2001年第5期100-102,共3页
对于一个形式系统而言 ,在不改变其完备性的前提下 ,形式越简洁 ,使用越方便。现在中介命题系统MP推理规则集 S的简化等价集 S1已经建立 ,其中 S1共有 1 4条推理规则 ,如果这些推理规则中有一条可以由 S1的其余推理规则推导出来 ,那么... 对于一个形式系统而言 ,在不改变其完备性的前提下 ,形式越简洁 ,使用越方便。现在中介命题系统MP推理规则集 S的简化等价集 S1已经建立 ,其中 S1共有 1 4条推理规则 ,如果这些推理规则中有一条可以由 S1的其余推理规则推导出来 ,那么它就是不独立的 ,可以将其删去而不影响形式系统 S1的效力 ,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统 S1的每条推理规则的独立性一一进行了探讨 ,发现一条不独立的规则 。 展开更多
关键词 中介命题系统 推理规则 独立性 值模型 形式系统 推理规则集 拟逻辑词
下载PDF
基于证据推理规则的信息融合故障诊断方法 被引量：18
7
作者 徐晓滨 郑进 +1 位作者 徐冬玲 杨剑波 《控制理论与应用》 EI CAS CSCD 北大核心 2015年第9期1170-1182,共13页
本文针对不确定性故障特征信息的融合决策问题,给出基于证据推理(evidence reasoning,ER)规则的故障诊断方法.首先基于故障特征样本似然函数归一化的方法求取各传感器(信息源)提供的诊断证据;从传感器误差以及故障特征对各故障类型辨别... 本文针对不确定性故障特征信息的融合决策问题,给出基于证据推理(evidence reasoning,ER)规则的故障诊断方法.首先基于故障特征样本似然函数归一化的方法求取各传感器(信息源)提供的诊断证据;从传感器误差以及故障特征对各故障类型辨别能力的差异出发,给出获取诊断证据可靠性因子的方法;给出双目标优化模型训练得到诊断证据的重要性权重,最后利用ER规则融合经可靠性因子和重要性权重修正后的诊断证据,利用融合结果进行故障决策.该方法继承了Dempster-Shafer证据理论处理不确定性信息融合问题的优点,同时克服了它在实际应用中无法区分证据可靠性和重要性的不足,使得所获诊断证据更为客观、可信.最后,通过在多功能电机转子试验台上的故障诊断实验,验证了所提方法的有效性. 展开更多
关键词 故障诊断 信息融合 证据推理规则 证据可靠性 证据重要性
下载PDF
内置谓词函数依赖及其推理规则 被引量：7
8
作者 胡艳丽 张维明 +2 位作者 肖卫东 汤大权 唐九阳 《国防科技大学学报》 EI CAS CSCD 北大核心 2009年第5期58-63,共6页
研究内置谓词函数依赖及其推理规则。首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则... 研究内置谓词函数依赖及其推理规则。首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用。 展开更多
关键词 函数依赖 内置谓词 推理规则 逻辑蕴涵 可靠性 完备性
下载PDF
改进的模糊推理规则图像边缘检测算法 被引量：12
9
作者 易三莉 郭贝贝 +1 位作者 马磊 钱洁 《计算机工程与应用》 CSCD 北大核心 2016年第12期180-183,共4页
图像边缘检测是数字图像处理领域的关键技术,边缘检测的结果决定了图像后续处理的质量。模糊推理规则边缘检测算法具有较强的边缘检测能力,并且具备一定的抗噪效果。但是,这种算法只在高斯噪声较小时有效,当高斯噪声较大时它的边缘检测... 图像边缘检测是数字图像处理领域的关键技术,边缘检测的结果决定了图像后续处理的质量。模糊推理规则边缘检测算法具有较强的边缘检测能力,并且具备一定的抗噪效果。但是,这种算法只在高斯噪声较小时有效,当高斯噪声较大时它的边缘检测效果甚至比Canny等算子的效果还差。针对模糊推理规则算法在强高斯噪声时效果较差的问题,提出一种改进的模糊边缘检测算法。该算法能够根据图像含噪情况调整边缘检测方案:当噪声较弱时,使用模糊推理规则边缘检测算法;当噪声较强时,为提高算法抑制噪声的能力,使用改进的模糊推理规则边缘检测算法。实验结果表明,该方法具有更好的抗噪性能和边缘检测能力。 展开更多
关键词 边缘检测 模糊推理规则 噪声估计 模糊滤波
下载PDF
基于SDG推理规则和定量分析的故障诊断技术 被引量：5
10
作者 曹文亮 王兵树 +1 位作者 马良玉 张冀 《热能动力工程》 EI CAS CSCD 北大核心 2005年第6期619-623,共5页
符号有向图(Signed Directed Graph,SDG)是一种基于定性模型和因果分析的故障诊断方法,针对最初的算法效率低下,不适合实际大规模过程的特点,给出了一个将SDG模型转化为一系列规则的方法,这样不仅可以大幅度地提高诊断的速度和精度,同... 符号有向图(Signed Directed Graph,SDG)是一种基于定性模型和因果分析的故障诊断方法,针对最初的算法效率低下,不适合实际大规模过程的特点,给出了一个将SDG模型转化为一系列规则的方法,这样不仅可以大幅度地提高诊断的速度和精度,同时可以同已有的诊断专家系统相结合;诊断时应用所建立的规则进行比较,得到故障模式的定性诊断结果。然后对某些定性特征一样而定量值不同的故障模式,通过结合模糊理论在SDG中加入适当定量信息,并计算和比较被诊断模式对已知故障模式的隶属度来确定系统的故障。案例试验表明本文所给出的方法是可行的。 展开更多
关键词 符号有向图 故障诊断 推理规则 定性模型 定量知识
下载PDF
产生式知识表示的Petri网模型及其推理规则 被引量：11
11
作者 傅荣 罗键 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2000年第6期748-752,共5页
为了使由产生式规则构成的知识库系统更加具有完整性 ,更好地反映规则的内部逻辑 ,根据Petri网的基本原理 ,在产生式规则和 Petri网的条件 /事件系统之间建立一致性联系 ,在此基础上提出一种产生式知识表示的 Petri网模型及其相应的推... 为了使由产生式规则构成的知识库系统更加具有完整性 ,更好地反映规则的内部逻辑 ,根据Petri网的基本原理 ,在产生式规则和 Petri网的条件 /事件系统之间建立一致性联系 ,在此基础上提出一种产生式知识表示的 Petri网模型及其相应的推理规则 ,详细说明了模型的构成原理和构造过程 。 展开更多
关键词 PETRI网 产生式知识表示 专家系统 推理规则
下载PDF
XML强函数依赖的推理规则 被引量：9
12
作者 殷丽凤 郝忠孝 《计算机科学》 CSCD 北大核心 2008年第9期165-167,共3页
当XML文档出现不完全信息时,XML函数依赖同样对于XML文档的键、规范化和完整性约束的研究具有重要意义。本文引入不完全信息环境下XML模式树概念对XML强函数依赖进行了形式化定义;研究了XML强函数依赖的判定条件;给出了XML强函数依赖推... 当XML文档出现不完全信息时,XML函数依赖同样对于XML文档的键、规范化和完整性约束的研究具有重要意义。本文引入不完全信息环境下XML模式树概念对XML强函数依赖进行了形式化定义;研究了XML强函数依赖的判定条件;给出了XML强函数依赖推理规则,并对推理规则的有效性和完备性进行了证明。 展开更多
关键词 不完全信息 XML模式 XML函数依赖 推理规则
下载PDF
面向对象Z的子类型继承和推理规则 被引量：3
13
作者 王云峰 seg.nju.edu.cn +1 位作者 李必信 郑国梁 《软件学报》 EI CSCD 北大核心 2000年第4期481-487,共7页
讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所... 讨论了 COOZ( complete object- oriented Z)中的继承关系 ,将继承分为增量继承和子类型化继承 ,并重点讨论了子类型化继承 .定义了一种行为子类型化继承 ,证明了该方法的合理性 ,并据此定义了 COOZ的规约继承及规约继承的推理规则 .所讨论的子类型化方法与 E.Cusack等人的方法相比 ,具有可构造性 ,并且比L 展开更多
关键词 面向对象 继承 子类型 软件开发方法 推理规则
下载PDF
一种引入推理规则的快速规划识别算法 被引量：2
14
作者 韩毅 谷文祥 +2 位作者 殷明浩 张靖波 陈建 《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2007年第1期32-36,共5页
在目标图算法的基础上引入推演扩展和推演检测过程,并进一步扩展了目标图的构造和分析过程,使得目标图可以处理带有推理规则的规划识别问题,从而在初始世界状态空间未完全已知的情况下依然可以识别目标.该算法不需要规划库,从而避免了... 在目标图算法的基础上引入推演扩展和推演检测过程,并进一步扩展了目标图的构造和分析过程,使得目标图可以处理带有推理规则的规划识别问题,从而在初始世界状态空间未完全已知的情况下依然可以识别目标.该算法不需要规划库,从而避免了利用规划库所带来的诸如手工编码和搜索时具有指数代价的问题. 展开更多
关键词 推理规则 扩展目标图 规划识别
下载PDF
基于语言真值格值命题逻辑系统l_(νpl)的推理规则 被引量：8
15
作者 赖家俊 徐扬 《计算机科学》 CSCD 北大核心 2008年第9期230-232,共3页
一个逻辑系统在实际应用中,推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lνpl,提出了几种推理规则,这些推理规则包含有语义和语法,且它们之间具备协调水平的特性,证明了推理规则在一定程度上具备闭性特性。
关键词 语言真值蕴涵代数 语言真值命题逻辑 推理规则 闭性
下载PDF
基于环型扩展推理规则的MaxSAT完备算法 被引量：3
16
作者 刘燕丽 黄飞 张婷 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第4期762-771,共10页
最大可满足性问题(MaxSAT)是可满足性问题的优化求解问题,是经典的NP难问题.基于分支限界的MaxSAT完备算法采用推理规则、失败文字检测等方法缩短算法计算时间.推理规则产生的新子句可以构成更多的冲突集,从而有效地提高了二叉树的剪枝... 最大可满足性问题(MaxSAT)是可满足性问题的优化求解问题,是经典的NP难问题.基于分支限界的MaxSAT完备算法采用推理规则、失败文字检测等方法缩短算法计算时间.推理规则产生的新子句可以构成更多的冲突集,从而有效地提高了二叉树的剪枝率和算法性能.在已有的工作基础上,针对环型结构冲突集进行分析,找到与步长大于2的环型结构冲突集等价的新子句集,并利用整数规划证明了新子句集和冲突集的MaxSAT等价性.该环型扩展推理规则产生的新3元子句亦可以提高冲突集数,提高下界.在Maxsatz2013算法的基础上实现了新算法Maxsatce.测试了MaxSAT竞赛4个类别算例集.实验结果表明环型扩展推理规则对子句长度大于等于3的MaxSAT问题,可以提高二叉树分支点的下界值,最终有效地缩减算例运算时间. 展开更多
关键词 NP难问题 可满足性问题 最大可满足性问题 分支限界 推理规则 环型结构
下载PDF
XML函数依赖及其推理规则 被引量：4
17
作者 吕腾 闫萍 《计算机研究与发展》 EI CSCD 北大核心 2005年第5期792-796,共5页
函数依赖在关系数据库和XML文档中都是一种重要的语义表达.通过分析函数依赖的表现形式在XML文档和关系数据库中的不同之处,提出了基于DTD中的路径表达式的XML函数依赖的概念.它不仅能表达元素的属性和元素的值之间的函数依赖,而且也能... 函数依赖在关系数据库和XML文档中都是一种重要的语义表达.通过分析函数依赖的表现形式在XML文档和关系数据库中的不同之处,提出了基于DTD中的路径表达式的XML函数依赖的概念.它不仅能表达元素的属性和元素的值之间的函数依赖,而且也能表达元素之间的函数依赖.给出了关于XML函数依赖的一组完备的推理规则集,这对解决XML函数依赖的蕴含问题具有重要的意义. 展开更多
关键词 XML 函数依赖 推理规则 完备性
下载PDF
基于树元组的函数依赖推理规则 被引量：2
18
作者 胡小明 陈子阳 +1 位作者 高翔 刘国华 《燕山大学学报》 CAS 2005年第1期75-80,共6页
对M.Arenas等人提出的基于树元组的XFD定义及相关概念进行了介绍。在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。
关键词 XML 函数依赖 推理规则 路径闭包 树元组
下载PDF
动态权重证据推理规则的CNN超参数质量评估 被引量：5
19
作者 李红宇 黄志鹏 +1 位作者 张广玲 贺维 《小型微型计算机系统》 CSCD 北大核心 2021年第5期1015-1021,共7页
卷积神经网络(Convolutional Neural Networks,CNN)在计算机视觉、自然语言处理为代表的数据处理领域应用广泛.在CNN训练过程中,超参数设置依赖于先验知识,不恰当的超参数会影响模型的训练效率和精度.为了解决这一问题,本文提出基于证... 卷积神经网络(Convolutional Neural Networks,CNN)在计算机视觉、自然语言处理为代表的数据处理领域应用广泛.在CNN训练过程中,超参数设置依赖于先验知识,不恰当的超参数会影响模型的训练效率和精度.为了解决这一问题,本文提出基于证据推理规则(Evidential Reasoning Rule,ER Rule)的CNN超参数质量评估模型,可在训练前提供高质量的超参数选择,从而提高模型的训练效率.首先,描述了CNN超参数评估的过程,然后构建了CNN的超参数质量评估模型,运用了奖罚策略实现指标权重的动态适应并给出模型的推理过程.最后,通过图像分类实验验证了模型的实际效果,实验结果表明本文提出的CNN超参数评估模型在多个数据集上预测准确率均高于90%,能够有效建立超参数与CNN模型效果的映射关系,从而过滤低质量的超参数. 展开更多
关键词 卷积神经网络(CNN) 超参数评估 证据推理规则(ER Rule) 动态权重
下载PDF
基于证据推理规则的无线传感器网络数据可靠性分析 被引量：5
20
作者 周国辉 靳书坤 +2 位作者 张伟 曲媛媛 贺维 《传感技术学报》 CAS CSCD 北大核心 2020年第11期1644-1654,共11页
无线传感器网络(Wireless Sensor Network,WSN)在精密工程中具有广泛的应用,对数据精度的要求严苛,因此对WSN可靠性进行评估具有实用价值。本文以WSN实际监测数据为研究对象,通过对WSN数据提取特征,选取所测环境数据的时间相关性和空间... 无线传感器网络(Wireless Sensor Network,WSN)在精密工程中具有广泛的应用,对数据精度的要求严苛,因此对WSN可靠性进行评估具有实用价值。本文以WSN实际监测数据为研究对象,通过对WSN数据提取特征,选取所测环境数据的时间相关性和空间相关性以及节点电压为可靠性指标,提出了基于证据推理规则(Evidential reasoning rule,ER)的WSN数据可靠性评估模型。该模型采用变异系数法和基于距离的方法,确定评估指标权重和可靠度,以基于规则的方法将指标数据统一成置信分布形式,利用证据推理规则对指标和参数进行融合,得到WSN数据可靠性状态。最后,通过实例分析验证该模型的有效性。 展开更多
关键词 无线传感器网络(WSN) 数据可靠性评估 证据推理规则(ER Rule) 置信分布
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 47 下一页 到第 页
使用帮助 返回顶部