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

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

远程AUV区间值直觉模糊Petri网自主决策方法研究

由于感知能力限制,远程AUV自主决策属性模糊隶属度不明确,传统模糊Petri网决策方法无法进行知识的表达与推理。将模糊Petri网的模糊集进行拓展,提出了区间值直觉模糊Petri网的概念,并重新设计了推理方法和决策步骤;在此基础上,建立了远程AUV行动决策模型,通过算例实现了远程AUV自主行动决策。决策过程形象、快速、清晰,决策结果验证了方法的有效性。该方法可为多属性决策问题提供新的参考思路。     

量子Petri网推理方法

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

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

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

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

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

一种基于Petri网的监控视频事件抽取方法

通过扩展Petri网定义,提出了一种监控视频事件时空关系和逻辑关系的描述方法,通过将语义级的查询事件映射成Petri网,再在Petri网推理过程中结合计算机视觉算法对场景运动目标行为的解释,实现了有关运动目标行为的事件抽取和相应监控视频片段的定位.     

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

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

基于模糊Petri网的战术决策与规则精炼方法

针对空战环境的复杂多变和不确定性,首先研究了基于模糊Petri网的推理算法,建立了基于模糊推理Petri网的智能战术决策方法,将定性的决策推理过程变成了定量的矩阵运算;然后针对规则的冗余性和可能的冲突性,利用粗糙集理论对战术决策规则库进行了精炼,简化了模糊推理Petri网结构,提高了战术决策推理的效率,实现了无人机攻击和防御的智能决策。仿真结果表明该方法具有可行性和有效性。     

基于模糊Petri网的舰艇对空作战训练效果评估

针对当前水面舰艇对空作战训练中,缺乏系统、有效的训练效果评估理论问题,探讨了训练效果评估指标体系的构建方法;依据层次分析思想,建立舰艇对空作战训练系统效果评估指标体系;将粗糙集理论与模糊逻辑技术相结合,建立推理规则;将训练系统中各事件转化为模糊Petri网(FPN)的各要素,构建FPN评估模型;应用带权模糊Petri网的矩阵推理算法,借助Matlab工具对仿真实例进行分析计算,并对指标进行评价。     

谓词Petri网在防空C3I专家决策系统中的应用

军事专家系统是防空C^3I辅助决策系统中的重要组成部份，它利用人类专家的知识和解决问题的方法来解决该领域的问题，其实质是一个复杂的逻辑推理过程。如何描述其推理过程是设计专家系统首先必须解决的一个问题。因此，本文提出采用Petri网工具来描述防空C^3I军事专家决策系统的推理过程，大大地提高了决策的准确性，这也为描述专家系统提供了一种图示表示工具，可大大地提高系统的研发过程。     

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网的推理方法使得信任评估灵活、简单、有效。     

High-speed CMOS demultiplexer with redundant multi-valued logic

This paper describes an 11-Gb/s CMOS demultiplexer with redundant multi-valued logic. The proposed circuit receives serial binary data which is converted to parallel redundant multi-valued data. The converted data are reconverted to parallel binary data. By the redundant multi-valued data conversion, the redundant multi-valued logic makes it possible to achieve higher operating speeds than that of a conventional binary logic. The implemented demultiplexer consists of eight integrators. The circuit is designed with a 0.35?µm standard CMOS process. The validity and effectiveness are verified through HSPICE simulation. The demultiplexer is achieved to the maximum data rate of 11-Gb/s and the average power consumption of 69.43?mW. This circuit is expected to operate at a higher speed than 11-Gb/s in the deep-submicron process of the high operating frequency.     

一种视频对象自动分割算法

针对目前自动分割算法存在的问题，文章提出了改进算法，它不仅可以消除影子区域，而且把彩色多值分水线算法用于自动视频对象的分割。