基于直觉模糊Petri网的知识表示和推理

针对模糊Petri网存在隶属度单一的问题,将直觉模糊集理论与Petri网理论相结合,构建直觉模糊Petri网(Intuitionistic Fuzzy Petri Nets,IFPN)模型,用于知识的表示和推理.首先构建了IFPN模型,并将其应用于知识的表示,通过在模型中引入抑止转移弧,解决了否命题的表示问题.其次提出了基于矩阵运算的IFPN推理算法,通过修改变迁触发后token值的传递规则,解决了推理过程中的事实的保留问题;通过修改变迁的触发规则,抑制了变迁的重复触发.最后对推理算法进行了分析,并举例验证了提出的IFPN模型及其推理算法的可行性,结果表明IFPN是对FPN的有效扩充和发展,其对推理结果的描述更加细腻、全面.     

量子Petri网推理方法

针对传统Petri网推理常出现的单阈值推理不适用的问题,提出一种基于量子叠加原理的Petri网推理方法.量子Petri网推理方法提出了量子Petri网结构.量子Petri网的特点是点火阈值和库所均由量子叠加态表示.这样,量子Petri网推理方法就可以通过并行处理不协调信息得到以量子形式存在的推理结果.推理结果依概率塌缩获取推理结果集,最后设计相应算子分析出最合理的推理结果.本文将量子Petri网推理方法应用于莫尔斯电报码识别,并给出了相应的算法流程.基于算法开发的莫尔斯电报码识别系统经不同组的测试人员测试,具有良好的稳定性和较高的抗噪声能力.     

面向战场态势评估的联合树相关推理

本文首先从战场态势与事件间的因果关系出发,构建了用于态势评估的贝叶斯网络推理模型;分析了联合树算法在态势评估中所存在的问题,结合基于D分离的相关推理在模型结构挖掘方面的特性,提出了一种联合树相关推理方法;最后,通过实验验证了该方法的有效性和准确性,为态势评估下的精确推理提供了一种有效的解决方案。     

基于融合推理的酥梨黑星病智能预决策方法

研究基于案例推理与规则推理的集成推理方法,提出基于案例推理与基于规则推理的融合推理框架,设计并实现了以融合推理框架模型为基础的病害智能预决策系统。将以黄河故道地区砀山酥梨黑星病为例进行测试的数据,与现有方法以及实测数据进行相关性统计分析。结果表明在对酥梨的黑星病预测上,该方法与现有方法相比,在拟合度、推理效率和准确率上具有显著的优势。     

一种基于混合参数和DSmT的证据网络多连通结构推理方法

针对现有的证据网络推理模型无法进行复杂的多连通知识网络结构下的信度推理问题,提出一种基于混合参数和DSm T的证据网络推理方法,将条件信度函数和联合信度函数同时作为多连通证据网络的结点备选参数,并根据多连通网络结构的结点特点进行选择,并提出DSm T的证据网络信度合成方法,不仅可以有效地进行复杂多连通图结构的证据网络信度推理,并可有效解决证据网络的不确定性高冲突信息融合问题。最后通过典型的胸腔诊断问题实例,验证了本文方法的有效性。     

基于实例的图案生成模型

基于实例的设计方法应用于图案CAD领域是一个新的尝试.本文提出了一个基于实例推理的图案生成模型.采用结构与数据相结合的实例描述方法,将图案设计实例分解为基于框架描述的实例结构和基于多类型图元的实例数据.而把整个图案生成过程视为特定的实例结构针对不同实例数据(图元)的例化过程.对实例库的组织与检索、实例的改编与再设计等实例推理中的关键技术,提出了新的求解策略.同时,利用知识推理方法,在图案生成过程中引入了基于设计上下文的引导式交互技术以及局部操作到整体布局的自动提升等智能化交互技术,简化了图案创作过程.实际结果表明,实例推理方法对于系列化、规格化的图案设计是一种有效的求解方法.     

含有否定命题逻辑推理的一致性模糊Petri网模型

模糊Petri网(Fuzzy Petri Net,FPN)是Petri网(Petri Net,PN)的模糊化描述的一种扩充.基于FPN模型的模糊推理规则表示和模糊推理已经得到了广泛的研究.传统的方法不能准确表示含有否定命题的产生式规则,并解决正确推理问题.本文讨论了模糊逻辑中否定的含义,将条件命题中的否定理解为其对推理规则的阻碍作用,结果命题中的否定理解为规则中的前提条件阻碍该命题的发生.在此基础上提出一种新的适合于含有否定命题逻辑规则的一致性FPN模型(Consistent Fuzzy Petri Net,CFPN)表示方法,同时在CFPN模型中引入域值的概念,并给出相应的形式化推理算法及相关证明.     

一种液晶电视专家系统规则库结构及推理策略

提出一种适用于液晶电视故障诊断专家系统的规则库结构及推理策略,规则库结构及推理策略简单、直观,采用模糊的正向推理策略,对事实或结论的不确定性进行了合适的处理。实践结果表明,该结构及推理策略实现简单,具有良好的推理能力,减少了推理时间,提高了诊断的效率,能方便地与Web技术相结合,对建立特定的液晶电视故障诊断专家系统非常有效。     

基于T-S模糊故障树模型的场面监视雷达磁控管的故障推理研究

针对机场监视雷达磁控管运行时间短、实时运行数据难以大量获得的特点,为了实现雷达收发系统磁控管的快速故障推理分析,提出一种基于T-S模糊故障树模型的故障推理方法。利用该方法能够定性分析与定量计算的突出特点,采用新疆某机场场面监视雷达磁控管作为研究对象,对磁控管的故障事件及其可能造成故障的各个故障事件用相应的事件代码表示,并通过模糊数语言集描述这些事件,再根据事件关系所构建的T-S模糊故障树故障推理模型进行推理分析,最后通过实验结果验证该方法的可靠性和有效性。与传统的人工故障排查方法相比,其能够对磁控管故障事件进行更加全面且高效的推理分析。该方法为磁控管的故障推理分析在工程上的实践应用提供了新思路。     

云推理在雷达干扰效果评估中的应用

鉴于雷达干扰效果评估在干扰资源优化分配中的重要地位,一种基于云模型定性规则推理的干扰效果评估方法被提出。首先对属性云模型进行参数设置,生成了一系列用云表示的基本概念集;然后基于云不确定性关联知识挖掘方法,构建了推理规则库,使得属性间的内在关联被突显出来;最后建立了基于云不确定性推理的干扰效果评估模型。通过实例,将云推理与模糊推理和概率推理进行比较,结果表明所建模型是合理的、可行的,该方法摆脱了以往概念层次的硬划分,实现了数据的软操作,通过定性推理过程,对数据对象进行定性概念的推理,实现了更符合人类思维活动的推理过程,具有更好的可操作性和可理解性。     

模糊Petri网的推理式算法在雷达电子战装备效能评估中的应用

基于模糊Petri网，研究了约束条件下的推理算法，将模糊Petri网与矩阵运算相结合．给出了雷达电子战装备效能评估的形式化推理算法。推理过程采用矩阵运算实现，并充分利用了模糊Petri网的并行处理能力．最后利用MATLAB语言对仿真实例进行分析计算，结果表明孩方法简单、快速和有效．不仅能评估单台电子战装备的作战效能，还能对同类型的多台装备进行作战效能的优劣排序。     

A study of fuzzy logical petri nets and its application

In this paper, a fuzzy Petri net approach to modelling fuzzy rule-based reasoning is proposed. Logical Petri net (LPN) and fuzzy logical Petri net (FLPN) are defined. The backward reasoning algorithm based on sub-fuzzy logical Petri net is given. It is simpler than the conventional algorithm of forward reasoning; from initial propositions. An application to the partial fault model of a car engine in paper Portinale's(1993) is used as an illustrative example of FLPN.     

基于数据表结构的FPN并行推理算法

通过对模糊产生式规则一般形式的研究，抽取出适用于FPN模糊推理的两类模糊产生式规则。定义并建立了FPN模型，将在图形结构上进行推理的传统Petri网模型映射到数据表结构上．在此基础上实现了对基于规则的正向推理和基于模糊Peari网的模糊推理算法。最后通过实例对该算法进行了检验．结果表明该算法不仅具有简单通用、容易实现和高效的特点，而且还适食于对比较复杂的模糊产生式知识库进行并行推理。     

基于模糊Petri网的信任评估

针对网络实体间信任关系的不确定性,论文提出了一种基于模糊Petri网的信任评估模型,该模型给出了信任评估的模糊规则,在此基础上利用模糊Petri网与矩阵运算相结合的推理方法,通过并行处理关于一个实体的多个推荐来评估实体间的信任关系。经信任关系评估实例计算可以看出,基于模糊Petri网的推理方法使得信任评估灵活、简单、有效。     

基于模糊Petri网的网络风险评估模型

针对网络安全风险评估过程中存在的复杂性,以资产、脆弱性和威胁为安全评估的关键因素,建立安全分析的层次化评估指标体系。引入可信度概念,提出了一种基于模糊Petri网的安全风险评估模型以及模糊推理算法,同时结合层次分析法,采取定性与定量分析相结合的方法进行安全评估。实例分析表明：与传统的综合风险评估方法相比,基于模糊Petri网的风险评估方法给出的结果更加准确和科学。因此,该方法更适合应用于实际的网络系统风险评估中。     

一种多值Petri网及其应用

为了更好地将Petri网应用在基于多值逻辑的知识表示和推理中，以普通Petri网的基本定义为基础．结合模糊Petri网和有色Petri网各自的一些特点，将其进行必要的扩展和简化，从而提出一种多值Petri网，使托肯和变迁多值化，然后将它用于知识工程中多值产生式建模和推理中，并根据推理的需要提出了相应的算法。     

基于Petri网局部性的极大冲突集枚举算法

冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP（Non-deterministic Polynomial）完全的.提出极大冲突集动态枚举算法,该算法基于当前标识的所有极大冲突集,利用Petri网实施局部性,仅计算下一标识中受局部性影响的极大冲突集,从而避免重新枚举所有极大冲突集.该算法时间复杂度为O（m²n）,m是当前标识的极大冲突集数目,n是变迁数.最后证明自由选择网、非对称选择网的极大冲突集枚举算法复杂度可降至O（n²）.极大冲突集枚举算法研究将为Petri网冲突问题的算法求解提供理论参考.     

Stochastic Petri nets: Properties, applications and tools

This paper presents a survey on stochastic Petri nets. A stochastic Petri net is first and foremost a Petri net, whose places represent resources and transitions represent operations. Random time variables attached to transitions are associated with random operation durations. The stochastic behavior must be completely defined by a set of rules associated with the choice of the next transition to be fired in a given marking, the memory properties of the time already spent for a given operation. We introduce some of the main stochastic Petri nets classes, and we give theoretical results associated with conservation properties, ergodic properties and computational methods leading to exact and approximated solutions. From a practical point of view we present the modeling example of a bus allocation and existing software tools.