基于Petri网的入侵检测技术研究

Petri网是一种非常广泛的建模工具.文中研究了Petri网在入侵检测技术中的应用,分析了基于Petri网的入侵检测系统的主要优势以及随着网络的发展给入侵检测系统带来的问题.基于这些问题,提出了基于Petri网的入侵检测系统的改进方法,设计了一个入侵检测系统的原型并进行了实例分析.     

控制电路基于Petri网元件的图形化设计与仿真研究

Petri网是异步并发系统建模的重要工具,正越来越多地被应用在超大规模集成电路之中,从系统的Petri网模型直接获得相应的逻辑电路是许多学者研究的目标.文章在通用的EDA软件中,使用硬件描述语言建立Petri网元件,并给出了它们的源代码.对于Petri网中的C/E系统,变迁用组合逻辑电路实现,库所用时序逻辑电路实现;而对于P/T系统,为了减少连线,库所和它的输入、输出变迁一起组成一个元件.在对一个受控系统建立了控制器的Petri网模型后,通过调用元件库中的Petri网元件,绘制控制器的Petri网图,经编译、仿真、优化、适配、下载在CLPD或FPGA中,就可获得控制器.Petri网元件与其它电路元件可混合使用,这为控制器的设计与实现提供了一种新的有效途径.文章分别给出了C/E系统和P/T系统的实例,仿真结果表明基于Petri网元件的图形化设计方法的正确性.     

Petri网与二元文法的语言等价性

为了用一种类似Chomsky文法体系中的文法描述Petri网语言,研究了二元文法与Petri网语言之间的关系,给出了将二元文法等价转化为Petri网的方法和将Petri网等价转化为二元文法的方法,从而,证明了二元文法产生的语言等价于Petri网语言.     

一种基于逻辑Petri网的过程挖掘方法

逻辑Petri网是抑制弧Petri网和高级Petri网的抽象和扩展,可在过程挖掘中简洁准确的表示活动之间复杂的业务逻辑关系.本文在传统Petri网挖掘方法的基础上,为了进一步提高复杂系统挖掘模型的简洁度和拟合度,尤其是对并行活动间存在复杂与或关系的系统,提出了一种基于逻辑Petri网的过程挖掘方法,并给出了逻辑Petri网中逻辑变迁的挖掘算法.它可以充分挖掘活动之间的业务逻辑,并且业务逻辑可用逻辑表达式表示.通过与相应Petri网模型的实例比较分析,例证了本文方法的正确性和有效性,且逻辑Petri网模型更加适合日志行为.     

基于Petri网的可编程控制器程序自动设计的研究

综述了编程控制器应用中的主要问题，提出了基于Petri网的可编程控制器程序自动设计的研究课题及解决的途径，介绍了已取得的成果，指出了待进一步解决的问题。     

有界Petri网等价性的判定算法

Petri网语言是系统行为分析的一种重要工具,为了分析有界Petri网的行为等价,借助于有限自动机的等价性问题和算法,研究了有界Petri网的等价性问题和算法.定义了带标注Petri网语言等价性,证明了带标注的有界Petri网到有限自动机的等价转化,给出了判定有界Petri网的等价性算法,为模拟系统的性能比较提供了处理方法.     

一种新颖的箱式变电站故障诊断系统

针对箱式变电站故障监测与诊断的特点,提出一种基于Petri网模型与故障树分析法相结合的故障诊断方法。采取Petri网的图形特性与故障树相结合的方法,将箱式变电站的可能故障区域建立数个Petri网子故障模型,解决传统箱式变电站Petri网模型既大且杂的问题,更可直观地显示出故障发生的具体元件。最后通过实例详细描述将箱式变电站的Petri网分割成数个子Petri网模型,并结合故障树快速寻找到发生故障的元件,诊断出发生故障的原因。     

量子Petri网推理方法

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

基于同步合成的Petri网基本进程段求解算法

Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基本进程段的方法。首先证明了一个结构复杂的Petri网可通过结构简单的S-网的同步合成操作得到，通过分析S-网与合成后的结构复杂网系统基本进程段之间的对应关系。给出了结构复杂Petri网基本进程段的求取算法。     

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

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

Program verification for microprocessors through Petri net modeling

Program verification forms an important part of the developmental process in the design of a microprocessor system to suit a particular application. The concepts of Petri nets are utilized to obtain a model of a microprocessor system which is suitable for program verification. The reachability and firing characteristics of Petri nets are useful and powerful tools for studying the dynamic behaviour of the modeled system at various levels of abstraction. The Petri net representation of different types of independent modules in the system is obtained through an appropriate interpretation. On the basis of these representations, the modeled system may be analysed to study the dynamic behaviour of the program.     

基于Petri网的无线测温系统的实现

设备运行状态的监控是智能电网的重要组成部分,对设备温升情况的监测能及时掌握线路是否出现过载、短路及绝缘损坏等故障。介绍了基于TCP／IP协议的Socket的无线测温系统的设计与实现。通过对通讯协议的Petri网建模与分析,在程序设计中防止了冲突的出现,克服了通信过程中常出现的假死、中断等情况,提高了系统的可靠性。     

A reliability analysis technique for object-oriented model using a reliability petri net

We propose a reliability analysis technique for the design specifications which are made by CRC methodology. We use a reliability Petri net as an analysis technique for CRC specification. The procedure of analyzing the system reliability is as follows: first, the collaboration graphs and message flow diagrams of CRC specification are transformed into an equivalent reliability Petri net which consists of places, transitions, input functions, output functions, failure rate of the input and output functions, and tokens. Secondly, we construct a reachability tree from a reliability Petri net, and establish the paths of all transitions for the reachability tree. These paths can be test cases. Finally, we calculate the values of reliability effect for all transitions in a reliability Petri net, select the transitions that have most effect on the system reliability, and search the messages and classes that are places of input and output fucntion in these transitions. Therefore, we can design these messages and classes very well for increasing the system reliability.     

一种多值Petri网及其应用

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

基于Petri网语言的程序设计流程

本文采用了一种Petri网语言的同步合成的原理,提出了计算机复杂程序设计流程的一种新的设计思想。并且利用Petri网语言给出了子系统合成时的死锁分析和系统设计的效率分析以及整个设计流程。     

可视化目标模拟器软件在机载雷达中的应用

主要介绍了机载雷达联试的配套设备－－目标模拟器中的接口控制软件、目标／干扰回波信号模拟软件和目标仿真器软件及其实现方法。对软件包中的主要模块以及与雷达之间的通讯作了进一步分析，简单说明了此套软件包在机载雷达中的应用。