模糊故障Petri网建模方法及其应用

为克服模糊Petri网和故障Petri网在模拟故障传播、诊断和推理过程中的不足,提出模糊故障Petri网的概念及其建模方法,分一因一果、一因多果、多因一果和竞争模式4种情况定义变迁发生的规则和后果,以此模拟系统的动态运行过程,反映故障传播的固有特性。将模糊故障Petri网的建模方法应用于故障推理与诊断,提出将正向推理和反向推理相结合,并给出相应的推理算法,用泵站机组压力不足的实例加以验证。研究结果表明:该方法既能模拟故障传播过程,又能进行模糊推理,实用性强。

基于直觉模糊Petri网的混合推理方法

针对现有的基于模糊Petri网(Fuzzy Petri Nets,FPN)和直觉模糊Petri网(Intuitionistic Fuzzy Petri Nets,IFPN)的推理方法在求解只涉及知识库中部分规则的问题时存在推理过程复杂、效率不高,而且不能对问题产生的原因进行分析等缺陷,提出一种基于IFPN的混合推理方法.该方法将反向推理与正向推理相结合,首先把所要求解的问题转化为目标库所,并引入关联库所、关联变迁和子模型等概念;其次运用反向推理寻找目标库所的关联库所和变迁并构建推理子模型,从而获取问题产生的潜在原因并简化推理模型;最后以子模型作为推理模型,运用正向推理求解目标库所的token值,解决了直接运用原模型进行推理时过程复杂且效率不高的问题.与此同时,通过在模型中引入阈值以及"路径"和"有效路径"等定义,排除无效关联库所,从而找出了问题产生的真正原因.实例验证表明该方法可行且有效,与现有方法的对比分析表明该方法克服了现有方法的缺陷.

基于二叉分类检索表正、反向推理的研究及应用

二叉分类检索表作为一种基本数据结构,被广泛地应用于病虫分类鉴定.为了能更灵活地应用二叉分类检索表作为知识推理进行病虫分类鉴定,提出在常规推理的基础上,融入反向推理和混合推理技术,将二叉分类检索表作为知识装入专家系统知识库,计算机可以利用它搜索分支结点以实现病虫辅助鉴定.开发研制出的病虫害辅助分类鉴定专家系统,可以实现系统的多元化功能,能满足用户多方面的需求.

基于CLIPS的故障诊断专家系统开发

针对专家系统语言CLIPS仅支持正向链规则的限制,提出了一种利用面向对象的消息处理机制,使得在CLIPS环境下能够实现故障诊断中的反向推理;针对领域专家难以直接更新专家系统知识库的问题,结合化工故障诊断的实际情况,提出一个结构化的中文自然语言规则录入系统,并自动将录入的规则转化为专家系统语言CLIPS能够执行的代码。通过设计某合成氨企业变换工段故障诊断专家系统,验证了所提出方法的有效性和实用性。

基于代数的模糊Petri网逆向推理算法

分析了多种模糊Petri网的推理算法优缺点。在此基础上,给出了一个基于代数的模糊Petri网逆向推理算法。此算法充分利用了Petri网的数学理论基础和描述并发系统的能力,其数据结构简单,便于计算机编程处理。此外,其逆向推理思想可以将系统转化为一个只与问题有关的简单的系统,减小空间复杂度。最后举例说明了它的应用。

考虑时空参量和正反向推理的电网故障诊断

继电保护和故障信息系统实现了继电保护运行、管理和电网故障处理的网络信息化、智能化,文中提出一种基于时空二维参量和正反向推理的电网故障诊断方法。通过访问故障信息系统得到电网拓扑结构和元件保护配置,通过故障信息和继电保护动作规则搜索可疑故障元件,形成可疑元件库;提出了故障元件诊断的方法,归纳了故障判定的原则并提出了保护与故障元件之间关联度的概念。实验表明该方法快速准确,适用于实际的电网故障信息系统,适应电网拓扑结构和保护配置的变化,适合实时在线故障诊断。

体育应该成为高考选考科目的逻辑倒推

随着最新高考改革方案的出台,体育是否应该纳入高考体系再次成为社会热议的焦点。当前学校体育仍处于弱势,体育课地位低下,学生体质持续下降,现实倒逼改革,将体育纳入高考科目是解决问题的有力选择。本文通过缜密的逻辑倒推,大胆设想试图将体育作为高考科目中的选考科目,解答了体育纳入高考应该如何考,考什么。让广受社会认可的长跑项目作为体育进入高考科目的先行军,期望通过这一举措,能够对持续下降的学生体质起到改善作用。

倒向P-推理与内P-属性类特征

P-推理(packet reasoning)是由P-集合(packet sets)的结构与动态特征得到的。P-推理由内P-推理(internalpacket reasoning)与外P-推理(outer packet reasoning)构成,具有动态特性与"序"特性。对P-推理进行"反序"研究,得到倒向P-推理(backward packet reasoning)。倒向P-推理由倒向内P-推理(backward internal packet reasoning)和倒向外P-推理(backward outer packet reasoning)构成。倒向P-推理的特征是:利用推理条件中集合的变化,在推理结论中找到变化的属性集合。利用倒向P-推理,给出P-属性类、P-属性类特征、P-属性类发现-辨识以及P-属性类在信息系统中的应用。

基于多Agent的分布式模型管理与组合方法

为在分布网络环境下快速准确地进行科学决策,提出了可实现分布式的模型管理与组合的多Agent模型系统。设计了系统组成成分———管理Agent和模型Agent的结构,分析了它们的功能和行为。利用逆向推理技术实现模型Agent的动态自动组合,给出了利用多个模型Agent组合求解复杂问题的过程。最后,以某企业产品开发中的投产决策问题为例,论述了模型系统的工作过程。与传统模型系统相比,该系统具有模型远程调用和运行、模型动态自动组合等功能,为研究开发复杂问题的决策支持系统提供了新的模型系统建模方法。

基于逆向推理策略的模型集成

为了分析模型集成过程中数据集成和逻辑集成的关系 ,将模型集成看成不同层次的知识处理过程 ,提出了一种基于逆向推理策略的模型集成方法 ,用黑板框架模型实现了模型、数据和知识的综合集成 ,并用这种方法解决了教育规划决策支持系统中的模型集成问题。

应用模糊Petri网的继电保护行为评判

模糊Petri网应用于电网故障诊断时不能很好地实现对保护行为的评判,为此,提出了应用模糊Petri网前后向推理的继电保护行为评判新方法。为缩小诊断范围,首先利用实时接线分析法对故障区域进行识别;再对故障区域内的元件利用模糊Petri网前向推理进行诊断;最后,利用后向推理算法,并结合数据采集与监控/能量管理系统(SCADA/EMS)信息及相应计算,推断出拒动及误动的保护装置和断路器。详细给出了模糊Petri网后向推理的算法以及对保护装置和断路器进行评价的判据。仿真算例验证了所提方法的有效性,在实际故障分析中有较好的实用价值。

大型卫星地面站故障诊断的增强分层有向图方法

为了解决传统分层有向图模型在卫星地面站故障诊断面临的问题,提出了基于增强分层有向图模型的故障诊断方法。在建模过程中,考虑到卫星地面站故障征兆多、建模复杂,依据各设备工作状态的故障传播方式合并同类节点,以减小模型规模;同时,在模型中加入节点有效性使能函数,克服传统分层有向图模型中设备主备切换导致系统结构发生改变时需要重新建模的问题。在故障诊断推理过程中,采用反向回溯和正向推理相结合的方法减小故障源搜索空间,并基于各节点被搜索次数给出故障概率,提高诊断效率。以北斗卫星无线电测定业务地面站为例对单故障和多故障报警场景下的故障诊断方法进行了验证。结果表明,基于增强分层有向图模型的故障诊断方法可以提高故障诊断的准确率和全面性。

基于双向推理的主体框架

文章提出了一个基于双向推理的主体框架FBRA,它是一个混合型的主体框架,主体既是反应的又是慎思的。它的推理内核是正向推理和反向推理相结合。正向推理用于对环境的反应,包括对其他主体的反应。反向推理基于溯因推理,用于信念修正、规划、多主体协调和多主体通信等。

FPN并行反向推理算法研究

通过对Petri网模型和专家系统推理方法的研究,建立了模糊Petri网(FPN)推理模型。在此基础上提出了专家系统的FPN反向推理算法。最后通过实例对算法进行了检验,结果表明该算法具有解决复杂问题专家系统的并行推理能力,推理效率高,推理过程简单,容易实现。

改进的基于规则的逆向模糊推理算法

给出了一种改进的基于规则的逆向模糊推理算法。该算法基于产生式知识表示的模糊Petri网(FPN)模型,适用于一类基于规则的系统。利用该算法可以有效地对该类系统的FPN模型进行相应的处理。对于任意指定的库所,通过该算法可以确定其模糊托肯值,即对应命题的模糊真值。通过对具体的算例进行分析并与已有的算法进行比较后发现,该算法不仅可以得到同样精确的结果,而且该算法使FPN的推理过程更类似于人脑的逻辑推导过程,比较缜密。

融合多传感器信息的数控机床故障诊断专家系统开发

建立一种通用的数控机床故障监测和诊断专家系统,允许用户采用人机交互的方式建立故障树,以产生式规则表示故障树知识,在此基础上融合多种传感器信息,实现了正反向混合推理。实验结果表明:该专家系统能够利用多种传感器信息诊断出故障原因并给出维修方案,实现了对数控机床的故障诊断。

模糊Petri网在风电机组故障诊断中的应用

针对风力发电机组故障诊断建模中动态行为较难描述的问题,结合模糊Petri网的图形描述能力及模糊推理性,提出故障诊断的模糊Petri网模型及其相应的故障诊断方法,根据故障发生的实际情况给出正反两种推理算法。用齿轮箱故障的实例加以验证,证明了该方法的正确性及在风电机组故障诊断中应用的可行性。

语言变异的模因理据研究

依据阅读实践,本研究认为语言模因基因型变异的认知推理存在逆推过程。读者凭借对原始模因的理解与感知,依据单词字母的构型特征,通过刺激反应、反射、分析、联想、推理等认知过程,使大脑快速有效地识别出变异模因的表达形式,从而将变异模因还原为原始模因,最终破解其含义,准确提取其所承载信息的内容与意义。这一观点对语言研究及语言教学有一定的启发意义,启示人们应通过各种有效方式,抵制消极、错误的模因,弘扬积极、正确的模因,以确保语言习得过程中输入的正确性。

斜拉桥合理施工状态计算方法对比分析研究

为更快、更精确地确定斜拉桥合理施工状态,使其成桥后达到合理成桥目标状态,从目前确定斜拉桥合理施工状态常用的无应力状态控制法、倒拆-正装迭代法及正装迭代法的基本理论出发,以一座人行斜拉桥为项目依托建立三维空间有限元模型,通过对比分析3种方法在确定合理施工状态的实际应用及结果,得出了各方法在考虑混凝土收缩徐变效应时收敛本质及优缺点。研究结果表明:无应力状态控制法是通过对斜拉索无应力索长进行直接修正逐次逼近合理成桥目标状态;倒拆-正装迭代法及正装迭代法是通过对斜拉索到位索力进行直接修正逐次逼近合理成桥目标状态;无应力状态控制法收敛速度最快,计算精度最高,倒拆-正装迭代法次之,正装迭代法收敛速度最慢。

机载电子与维修系统仿真模型集成算法研究

随着飞机系统结构的复杂化和维修系统仿真模型的多样化,飞机维修系统仿真模型的集成存在基础层直接集成难度大和复用性差等问题;基于逆向推理的系统仿真模型集成算法以目标问题为导向逆向推理模型数据,经不同知识层次匹配查询目标模型,将模型集成过程转变为问题求解过程,降低了直接对目标建模的复杂程度,最终建立集成网络,实现决策、模型和数据的综合集成;经验证,该算法在飞机维修训练器的仿真系统模型集成中具有良好的性能。