基于模糊彩色Petri网的知识表示与获取研究

针对一些复杂专家控制系统的知识不确定性及知识规则数量多的特点,在模糊Petri网和彩色Petri网的基础上,给出了一种基于模糊彩色Petri网（FCPN）的知识表示和知识获取方法。该方法充分利用其图形化的特点将模糊规则库中的不同变量用不同的色彩来区分,每一种色彩用一种标识符号来表示,因此可构成一个更为简明的FCPN图。将其用于列车专家控制系统的不确定性知识的表示及获取,结果表明,基于模糊彩色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网技术和O－O技术结相合,利用消息驱动机制反增强其描述能力而形成对象Petri网（OOPN）,它用面向对象的方法建立系统整体框架,用有色Petri网描述对象,对消息驱动机制对象间传递消息,能较好地将0－O技术和Petri网结合起来,以实现仿真建模。     

基于知识管理的校园网络系统模型

以知识管理理论为指导,提出了一个以知识共享系统模式构建的校园网络系统管理层次模型,并利用随机Petri网的理论和分析技术对所提出的层次模型进行了形式化描述和性能分析,进而获得使校园网络系统达到平稳状态的参数条件.     

有效协作控制的Petri网模型和分析

本文利用Petri网对协作系统有效控制进行了研究,建立了协作Petri网和协作有色Petri网模型,对Petri网的运行情况进行了分析与探讨,并对协作Petri网模型的性质进行了分析.     

构建可信支付网络的顶层机制设计

支付是电子商务交易的关键环节,构建一个可信支付网络(reliable payments network,RPN)是电子商务可信交易环境的重要问题。以电子货币为代表的新兴支付工具迅速崛起改变了支付的风险特征,凸显了机制设计方法在RPN构建中的作用。该文分析了电子货币支付系统带来的风险挑战,提出了RPN问题的形式化定义,进而利用博弈论构建了RPN的理论模型。模型显示了支付网络安全防护"最弱一环"的动机错配困境。有针对性地提出了两类具有通用意义的政策干预工具:安全标准监管和损失责任分配机制。对工具效果进行了理论验证,从而为进一步的支付系统设计和监管政策实施奠定了基础。     

基于系统因素分析法和优劣解距离法的全寿命周期故障排序

根据数控机床的故障数据特征,从全寿命周期角度,提出了一种基于系统因素分析法和优劣解距离法(DEMATEL权重-TOPSIS法)的评价方法。该方法是将设计故障模式、影响度及危害性分析(FMECA)的风险优先数法(RPN)计算值与过程FMECA的RPN计算值的关系值作为系统因素分析法(DEMATEL)的输入数据得到优劣解距离法(TOPSIS)所需的权重值,再应用改进的TOPSIS距离公式对故障模式进行排序。利用这种方法对伺服驱动系统故障进行分析,并与传统的RPN法相比,克服了传统RPN的数学缺陷,确定了伺服驱动系统的薄弱部件。通过计算分析表明,该方法的评价结果符合伺服驱动系统的实际情况,具有一定的实用性和可行性。     

基于生成式对抗网络和改进区域建议网络的输电线路杆塔缺陷检测方法

为了减少输电线路杆塔缺陷检测过程中受噪声信号和装置性能等因素的干扰,提高输电线路杆塔缺陷检测的正确率和检测效率。提出一种基于生成式对抗网络(Generative Adversarial Networks, GAN)和改进区域建议网络(Region Proposal Network,RPN)的输电线路杆塔缺陷检测方法。采用GAN采集输电线路杆塔的显著性图像,并利用半软阈值函数模型剔除图像中的噪声,避免噪声对缺陷检测过程产生影响。通过随机森林决策树提取输电线路杆塔图像的轮廓特征,基于多尺度算法对RPN进行改进,将特征输入到改进RPN模型中,通过缺陷的定位、分割完成输电线路杆塔的缺陷检测。试验结果表明,所提方法的输电线路杆塔缺陷检测正确率较高,具有较好的缺陷检测效果和检测效率,从而有利于提高输电线路杆塔缺陷检测的质量,减少电力事故的出现。     

模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

Study on Multi-agent Systems with Colored Petri Nets

The approach to model multi-agent systems with hierarchical colored Petri nets is introduced. In a multi-agent system, every agent is modeled with colored Petri net system, and the colored Petri net system of the multi-agent system is a hierarchical colored Petri net system, such that the agents planning deadlock detection and avoidance, can be analyzed with the Petri net system.     

一种扩展了价格变迁的Petri网及应用

提出一种扩展了价格变迁的Petri网一经济Petri网，讨论了相应的分析方法，并用经济Petri网建立一个业务流程的费用模型。得出的结论包括：为Petri网扩展价格变迁是可行的：将经济Petri网应用于业务流程管理领域是有效的。     

一种新型的混合Petri网:步混合Petri网

Petri网是一种图形的和数学的建模工具,适合于许多系统的建模．为了提高Petri网建模能力引入运行步概念,并在连续Petri网的基础上提出一种新型混合Petri网——步混合Petri网,分析该网特点及其运行规则,并用该网分别对数字型PID控制器和模拟型PID控制器进行建模．     

Research on Petri Net System Parallel Subnet Partitioning Completeness Theory and Algorithm

In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition completeness theory and algorithms of Petri net parallelization, thereby providing the theoretical support for the realization of Petri parallel algorithms. Firstly, according to the concurrent characteristics of Petri net model, we analyze the parallelism of Petri net system; then, by giving the solving process of place invariants and the function partitioning of Petri net, we propose the function partitioning conditions and determination theorem of Petri net parallelization, and conduct its theoretical proof and practical verification. On this basis, we conduct the theoretical study and analysis on the situation that Petri net system has several kinds of parallel function partitioning, propose the completeness theorem of parallelism function partitioning in Petri net system, and verify it. Finally, we give the algorithms, application examples and simulation experiment results of parallel function partitioning of Petri net systems based on place invariant. The theoretical proof and experimental results show that the function partitioning conditions and completeness theory of Petri net parallelization based on place invariant are correct, and the parallel algorithms under such theoretical basis are also correct and effective.     

Petri网在电信管理网可信性建模中的应用

介绍了ＴＭＮ（电信管理网）可信性建模的一种新的方法———Ｐｅｔｒｉ网。首先简要介绍了Ｐｅｔｒｉ网的基本概念和Ｐｅｔｒｉ网的特性分析,然后描述了用Ｐｅｔｒｉ网进行建模的一般方法并举例说明了它在ＴＭＮ可信性建模中的应用。最后还介绍了一种自动生成可信性Ｐｅｔｒｉ网模型的方法。