期刊文献+
共找到99篇文章
< 1 2 5 >
每页显示 20 50 100
基于改进Petri网模型的电网故障诊断方法 被引量:61
1
作者 毕天姝 杨春发 +1 位作者 黄少锋 杨奇逊 《电网技术》 EI CSCD 北大核心 2005年第21期56-60,共5页
将Petri网理论用于电网故障诊断中,提出了一种改进的Petri网故障诊断模型。分别以线路和母线为例说明了Petri网模型的构建方法、推理过程及解析表示方法。该方法对于电网的单一故障、多重故障及存在保护和断路器不正确动作等情况的严重... 将Petri网理论用于电网故障诊断中,提出了一种改进的Petri网故障诊断模型。分别以线路和母线为例说明了Petri网模型的构建方法、推理过程及解析表示方法。该方法对于电网的单一故障、多重故障及存在保护和断路器不正确动作等情况的严重故障均能快速准确地定位故障元件,自动给出可靠有效的诊断结果,适用于电力系统在线故障诊断。在四平地区电力系统中的测试结果证明了基于该模型的故障诊断系统的实用性和有效性。 展开更多
关键词 故障诊断 改进Petri网模型 输电网络 推理规则 电力系统
下载PDF
针对数据泄漏行为的恶意软件检测 被引量:16
2
作者 王丽娜 谈诚 +1 位作者 余荣威 尹正光 《计算机研究与发展》 EI CSCD 北大核心 2017年第7期1537-1548,共12页
高级可持续威胁(advanced persistent threat,APT)级网络攻击对企业和政府的数据保护带来了极大的挑战.用0day漏洞制作恶意软件来进行攻击是APT级网络攻击的常用途径,传统基于特征的安全系统很难检测这类攻击.为了检测泄漏敏感信息的恶... 高级可持续威胁(advanced persistent threat,APT)级网络攻击对企业和政府的数据保护带来了极大的挑战.用0day漏洞制作恶意软件来进行攻击是APT级网络攻击的常用途径,传统基于特征的安全系统很难检测这类攻击.为了检测泄漏敏感信息的恶意软件,首先分析已出现的APT恶意软件,描绘出窃取信息的攻击步骤,以此为基础提出1个针对数据泄漏行为的恶意软件检测方案用于检测同种攻击类型的恶意软件.该方案结合异常检测和误用检测,对被保护的主机和网络进行低开销的持续监控,同时提出一系列推断规则来描述攻击步骤中可以观察到的高级恶意事件.一旦监控到可疑事件,进一步收集主机和网络的低级行为,根据推断规则关联低级行为和高级恶意事件,据此重构窃取信息的攻击步骤,从而检测出攻击的存在.通过仿真实验验证了该方案的有效性. 展开更多
关键词 信息泄漏 恶意软件 攻击步骤 低级行为 高级恶意事件 推断规则
下载PDF
基于适应型Petri网的电网故障诊断方法 被引量:11
3
作者 潘超 岳建平 +1 位作者 刘冰 于景龙 《电网技术》 EI CSCD 北大核心 2008年第1期46-50,共5页
建立了以断路器、继电保护装置的动作情况与假设故障的适配指标为目标函数的优化模型,将适应型Petri网的分析方法与电网故障诊断方法相结合,通过分析故障推理过程中的时间标签和变迁标识集合、比较故障元件的标识变化,评价保护设备的动... 建立了以断路器、继电保护装置的动作情况与假设故障的适配指标为目标函数的优化模型,将适应型Petri网的分析方法与电网故障诊断方法相结合,通过分析故障推理过程中的时间标签和变迁标识集合、比较故障元件的标识变化,评价保护设备的动作情况,使各分析单元能够在较多的可能出现故障的元件集中识别出真正的故障元件。采用变更基本单元使能序列的方法求取上述最优目标函数值,实现了对电网故障的诊断与识别。IEEE-118母线标准测试系统局部网络的仿真结果验证了上述模型和方法的正确性和有效性,表明该方法具有过程简单、易于实现、计算速度快、网络分析能力强等优点。 展开更多
关键词 故障诊断 适应型Petri网 推理规则 基本单元 使能序列
下载PDF
基于直觉模糊推理的目标识别方法 被引量:14
4
作者 雷阳 雷英杰 +1 位作者 冯有前 孔韦韦 《控制与决策》 EI CSCD 北大核心 2011年第8期1163-1168,1174,共7页
针对目标识别特征值的不确定性问题,提出一种基于直觉模糊推理的目标识别方法.首先,分析现有目标识别方法的不确定性与局限性,并对空中目标识别问题及目标特征进行描述;然后,设计系统状态属性变量的隶属度函数与非隶属度函数;最后,建立... 针对目标识别特征值的不确定性问题,提出一种基于直觉模糊推理的目标识别方法.首先,分析现有目标识别方法的不确定性与局限性,并对空中目标识别问题及目标特征进行描述;然后,设计系统状态属性变量的隶属度函数与非隶属度函数;最后,建立直觉模糊推理规则,设计推理合成算法和解模糊算法,并检验所建规则的合理性.仿真实例验证了所提方法的有效性与适用性. 展开更多
关键词 目标识别 直觉模糊集 直觉模糊推理 推理规则 推理算法 解模糊
原文传递
基于二叉树型分层的广义混合模糊系统推理规则数的缩减 被引量:10
5
作者 杨阳 王贵君 杨永强 《控制理论与应用》 EI CAS CSCD 北大核心 2013年第6期765-772,共8页
为避免广义混合模糊系统因输入变量个数的增加而引起规则爆炸现象,应用二叉树型分层方法给出混合推理规则,进而对广义混合模糊系统的输入实施二叉树型分层,从理论上获得了该系统分层后的输入输出表达式和推理规则总数的计算公式.此外,... 为避免广义混合模糊系统因输入变量个数的增加而引起规则爆炸现象,应用二叉树型分层方法给出混合推理规则,进而对广义混合模糊系统的输入实施二叉树型分层,从理论上获得了该系统分层后的输入输出表达式和推理规则总数的计算公式.此外,通过实例对该系统分层和不分层的规则总数进行了比较和分析,结果表明分层后广义混合模糊系统可大幅度缩减推理规则总数,并可有效地避免规则爆炸. 展开更多
关键词 二叉树型分层 混合推理规则 广义混合模糊系统 推理规则总数
下载PDF
基于直觉模糊推理的天基海洋监视系统贡献度评估研究 被引量:9
6
作者 姜剑雄 赵毅 +1 位作者 师鹏 赵育善 《上海航天》 2016年第6期115-121,共7页
针对传统天基海洋监视系统贡献度评估方法存在权重计算主观性强,难以应对作战不确定性等问题,提出一种基于直觉模糊推理的评估方法。首先讨论了系统贡献度概念,采用覆盖品质因数、覆盖范围、目标发现概率、定位精度、分辨能力、传输与... 针对传统天基海洋监视系统贡献度评估方法存在权重计算主观性强,难以应对作战不确定性等问题,提出一种基于直觉模糊推理的评估方法。首先讨论了系统贡献度概念,采用覆盖品质因数、覆盖范围、目标发现概率、定位精度、分辨能力、传输与处理能力,以及抗干扰能力指标评估海洋目标监视系统贡献度。其次设计了评估指标的隶属度函数与非隶属度函数,用不同模糊化策略对各输入变量进行多级量化。再次,建立直觉模糊推理规则,设计了max-min推理合成算法,将重心法作为解模糊算法,考虑隶属度与非隶属度大小对直觉指数的影响并进行修正,检验了所建规则的合理性。用典型目标监视实例对评估方法的有效性进行验证,结果表明直觉模糊推理评估法能有效处理系统贡献度评估中的模糊或不确定的问题。研究为航天武器系统贡献度评估提供了新的解决方法。 展开更多
关键词 天基海洋监视 系统贡献度 直觉模糊推理 效能提升度 推理规则 推理算法 解模糊 评估方法
下载PDF
个性化网络学习评价模型与系统的设计 被引量:7
7
作者 陈莉萍 王艳丽 《电子设计工程》 2009年第3期83-85,共3页
利用工业自动化控制中的负反馈理论,提出网络学习评价模型。制定了符合个性化学习特征的评价指标体系,提出了一种带有模糊评价因子的NTFAHP-FCE评价算法。设计了该评价模型的网络学习评价系统。实验证明,利用该评价系统得到评价结果是... 利用工业自动化控制中的负反馈理论,提出网络学习评价模型。制定了符合个性化学习特征的评价指标体系,提出了一种带有模糊评价因子的NTFAHP-FCE评价算法。设计了该评价模型的网络学习评价系统。实验证明,利用该评价系统得到评价结果是客观地、有效地。 展开更多
关键词 负反馈 网络学习评价指标体系 NTFAHP.FCE 推理规则 评价系统
下载PDF
基于语义的医疗资源均衡推荐算法 被引量:8
8
作者 徐守坤 吴伟伟 《计算机工程》 CAS CSCD 北大核心 2015年第9期74-79,共6页
传统医疗资源推荐算法中用户面临资源选择信息过载的问题,为此,从用户和医生2个角度出发,提出一种基于语义的医疗资源均衡推荐算法。采用语义本体技术对医疗资源与用户进行建模,给出一种机器能够理解的标准信息表示方法。融入稳定匹配... 传统医疗资源推荐算法中用户面临资源选择信息过载的问题,为此,从用户和医生2个角度出发,提出一种基于语义的医疗资源均衡推荐算法。采用语义本体技术对医疗资源与用户进行建模,给出一种机器能够理解的标准信息表示方法。融入稳定匹配算法处理推荐过程中的个性化匹配,同时加入推理规则进行匹配筛选,使个性化推荐中用户的个性特征与医生资源具体属性相匹配。理论分析和实验结果表明,该推荐算法能够降低用户选择医疗资源时的负担,提高用户的需求满意度和系统的推荐质量。 展开更多
关键词 医疗资源 偏好 语义 本体 稳定匹配 推理规则
下载PDF
基于专家知识库的双进双出制粉系统自启停技术 被引量:6
9
作者 王志杰 彭梁 +1 位作者 朱晓星 陈厚涛 《中国电力》 CSCD 北大核心 2018年第1期133-138,共6页
制粉系统的自启停技术是实现燃烧全程自动控制的必备条件。对制粉系统启停时机及启停顺序进行了研究,建立了制粉系统的启停专家知识库,能够对其启停时机和启停顺序进行自动优化,实现了制粉系统在机组启停及运行全过程的智能控制;设计了... 制粉系统的自启停技术是实现燃烧全程自动控制的必备条件。对制粉系统启停时机及启停顺序进行了研究,建立了制粉系统的启停专家知识库,能够对其启停时机和启停顺序进行自动优化,实现了制粉系统在机组启停及运行全过程的智能控制;设计了双进双出制粉系统的自启停步序,实现了该类制粉系统启停过程的全程自动控制。应用表明,所设计的基于专家知识库的双进双出制粉系统自启停技术能够满足火电机组燃烧全程智能控制的需要,提高了机组的自动化水平和运行的稳定性。 展开更多
关键词 专家知识库 推理规则 双进双出制粉系统 自启停
下载PDF
基于Protégé的矿床成因类型本体推理判别方法——以中低温岩浆热液型金矿床为例 被引量:1
10
作者 高鑫 薛林福 +2 位作者 冉祥金 燕群 王睿 《黄金》 CAS 2023年第10期79-83,共5页
中低温岩浆热液型金矿床分布范围广,规模大,数量约占中国金矿床的65%,是中国矿产金的主要来源。在找矿过程中,不同矿床类型对应不同的找矿方法,确定矿床成矿模式能够为找矿提供理论支撑,并且能为矿产勘查和预测提供理论指导。鉴于此,结... 中低温岩浆热液型金矿床分布范围广,规模大,数量约占中国金矿床的65%,是中国矿产金的主要来源。在找矿过程中,不同矿床类型对应不同的找矿方法,确定矿床成矿模式能够为找矿提供理论支撑,并且能为矿产勘查和预测提供理论指导。鉴于此,结合勘查区找矿预测理论,对中低温岩浆热液型金矿床的本体构建和推理机制进行研究。利用Protégé本体建模软件,完成对矿床的本体建模,基于SWRL推理规则语言,定义矿床成因类型的推理规则,设计了一套面向矿床类型判别的本体推理机制,利用HermiT推理机完成推理。经大量试验,提出了矿床成因类型本体推理判别方法,其在金矿床成因类型判别方面具有较好应用效果,并可广泛应用于其他矿床成因类型的判别。 展开更多
关键词 本体 矿床成因类型 本体推理 推理规则 金矿床 中低温岩浆热液型
下载PDF
命题公式的随机真度与推理规则 被引量:5
11
作者 李修清 《计算机工程与应用》 CSCD 北大核心 2015年第19期66-70,共5页
在n值Lukasiewicz命题逻辑系统中,引入命题随机真度的概念,给出了随机真度的一个计算公式,研究了命题随机真度的若干性质。证明了命题逻辑的分离规则、三段论规则以及交推理规则在n值Lukasiewicz命题逻辑系统中成立。
关键词 命题逻辑 随机真度 推理规则
下载PDF
基于优化冲突集提高下界的MAXSAT完备算法 被引量:5
12
作者 刘燕丽 李初民 何琨 《计算机学报》 EI CSCD 北大核心 2013年第10期2087-2095,共9页
最大可满足性问题(MAXSAT)是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时,如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结构简单的冲突集的思想,在Maxsatz算法的基础上,提出了改进的算... 最大可满足性问题(MAXSAT)是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时,如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结构简单的冲突集的思想,在Maxsatz算法的基础上,提出了改进的算法Maxsatz2013.通过使用推理规则优先、改变单子句的传播顺序、进一步失败文字检测这3个优化策略,增加了检测到的冲突集数,从而有效地提高了下界.测试了MAXSAT 4个类别共800多个算例.实验结果表明,这3个优化冲突集的策略是可行且有效的,所提出的算法在每一类算例上均明显地提高了计算效率. 展开更多
关键词 NP完全 最大可满足性问题 单子句传播 推理规则 失败文字
下载PDF
基于广义量词理论的直言三段论推理规则的形式化辨析 被引量:4
13
作者 张晓君 林胜强 《中国社会科学院研究生院学报》 CSSCI 北大核心 2015年第1期35-39,共5页
在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语... 在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理,都具有重要的理论意义和实践价值。 展开更多
关键词 广义量词理论 亚里斯多德量词 三段论 推理规则
原文传递
多层次传递型内幕交易责任认定的实证考察与理论反思
14
作者 陈岱松 徐嘉豪 《中国证券期货》 2023年第4期88-96,共9页
信息传递与互联网技术的耦合带来传递型内幕交易中传播链条的延长,造成现行推定规则在追究各信息受领主体责任时的局限性,也导致了法律责任在交易端与泄露端间的严重不匹配。应当认识到,泄密人与受密人责任是成立内幕交易责任的两个方面... 信息传递与互联网技术的耦合带来传递型内幕交易中传播链条的延长,造成现行推定规则在追究各信息受领主体责任时的局限性,也导致了法律责任在交易端与泄露端间的严重不匹配。应当认识到,泄密人与受密人责任是成立内幕交易责任的两个方面,现行推定规则实则是在泄密人责任成立的基础上对受密人责任的推定。将泄密人违法性具体化为从泄密中获益,受密人交易行为的违法性具体化为对受密人违法的认知,方能揭示内幕交易以获益为核心的违法性本质。身份关系所蕴含的人际利益是信息传递的原动力,在坚持一次推定的基础上,通过分析信息传递过程中各主体间的身份关系,以信息获取便利性与利益一致性为实质审查标准,可以将形式上处于不同传播层级的主体实质认定为同一层级知情人,从而在确保推定事实效力的基础上对内幕交易责任主体实现精准覆盖。 展开更多
关键词 多级传递 推定规则 身份关系
下载PDF
变权重系数和关联规则挖掘方法在风光储运行优化中的应用 被引量:3
15
作者 吴克河 周欢 +2 位作者 黄婷 刘志豪 杨凯 《电力系统保护与控制》 EI CSCD 北大核心 2014年第18期50-57,共8页
制定合理的风光储联合发电系统协调运行策略可以提高新能源电力企业的运行经济性。提出一种变权重系数和关联规则挖掘混合算法(Variable Weight Coefficients and Association Rules,VWC-AR),对风光储联合发电系统协调运行策略进行优化... 制定合理的风光储联合发电系统协调运行策略可以提高新能源电力企业的运行经济性。提出一种变权重系数和关联规则挖掘混合算法(Variable Weight Coefficients and Association Rules,VWC-AR),对风光储联合发电系统协调运行策略进行优化。以历史运行数据为基础,挖掘全工况下最优机组组合以及单台机组在全工况下的综合性能指标值,得到工况条件到最优机组组合之间的推理规则集。根据具体的调度需求和工况环境,利用均衡函数的变权综合模式,计算潜在目标机组组态模式的变权重系数,结合既有的综合性能评估方法,动态切换最优组态模式,从而建立一套客观、实时、准确的协调运行策略,优化系统运行成本。通过算例证明,该算法能够充分利用风光互补特性,延长蓄电池使用寿命,提高系统经济效益。 展开更多
关键词 风光储 协调运行 变权重系数 关联规则 推理规则
下载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
不确定关系的数据依赖问题研究 被引量:3
17
作者 周宇 刘国华 叶杰敏 《计算机科学》 CSCD 北大核心 2014年第8期209-212,共4页
数据依赖是属性间取值相互约束条件的形式化表示,函数依赖是一种对数据库模式设计及查询具有重要影响的数据依赖。对于不确定关系,由于一条元组中属性取值存在多种可能,属性间取值相互约束的情况要比一般关系中的复杂。为进一步研究不... 数据依赖是属性间取值相互约束条件的形式化表示,函数依赖是一种对数据库模式设计及查询具有重要影响的数据依赖。对于不确定关系,由于一条元组中属性取值存在多种可能,属性间取值相互约束的情况要比一般关系中的复杂。为进一步研究不确定关系中数据间的联系,给出了不确定关系模式的形式化定义,提出了3类不确定函数依赖,并证明了其推导规则。此3类不确定函数依赖可以检查不确定关系的可能世界中是否存在违反规范化设计要求的风险,从而避免数据冗余,更新异常操作。 展开更多
关键词 不确定关系 不确定函数依赖 规范化设计 推导规则
下载PDF
语义分析系统研究(Ⅱ)——史籍推理机制 被引量:3
18
作者 董慧 徐雷 +1 位作者 王菲 俞思伟 《情报学报》 CSSCI 北大核心 2014年第2期195-203,共9页
语义推理是基于语义数据的知识发现的一种手段,本研究所构建的二十四史语义知识库中蕴含着大量的隐性知识,为通过应用语义推理技术发掘史籍资源中的潜在知识,以及进一步挖掘发现有价值的史籍知识打下了基础。文章分析了语义数据的逻... 语义推理是基于语义数据的知识发现的一种手段,本研究所构建的二十四史语义知识库中蕴含着大量的隐性知识,为通过应用语义推理技术发掘史籍资源中的潜在知识,以及进一步挖掘发现有价值的史籍知识打下了基础。文章分析了语义数据的逻辑蕴含推理、规则推理、SPIN和SPARQL查询推理等任务的实现过程,设计了提升推理效率的策略。语义推理的实现及提升推理效率的策略在语义分析系统中取得了较好的运行效果。为深入分析研究中华史籍创造了条件,也为基于语义数据的语义推理研究提供了借鉴。 展开更多
关键词 语义系统 描述逻辑 本体推理 推理规则
下载PDF
Jena智能推理查询中的自定义规则构造方法研究与应用 被引量:3
19
作者 韩昊 李禹生 《软件导刊》 2014年第7期13-15,共3页
介绍推理查询的相关概念,分析Jena中通用规则的不足以及自定义规则的必要性,提出设置自定义规则的构造方法。最后,设计SPARQL查询规范来实现相关的自定义推理规则。
关键词 JENA 推理查询 SPARQL 推理规则
下载PDF
分层格值命题逻辑系统中几类推理规则的讨论 被引量:2
20
作者 洪智勇 刘熠 秦克云 《计算机工程与应用》 CSCD 北大核心 2017年第24期55-58,共4页
在基于格值逻辑的不确定性推理的研究中,推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统,提出了几类既包含有语义又含有语法的推理规则,且这些推理规则具备协调水平的特性;同时也证明了这几类推理规则在一定程度上有闭性。
关键词 格蕴涵代数 分层格值逻辑系统 推理规则 封闭性
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部