基于TPN的协同设计过程时间推理及仿真

针对协同设计的时间复杂性,给出了基于时间Petri 网(time Petri net,TPN)的协同设计过程模型的形式化定义,并给出了协同设计过程TPN模型的几种基本关系模型的等价约简及时间推理规则.在此基础上,利用Delphi开发了一个仿真系统,系统中可以建立协同设计过程的TPN模型;通过输入各设计活动的时间参数,可以快速地自动推出整个过程完成的最早时间、最迟时间.最后,以链式输送机驱动装置的协同设计过程为例,建立TPN模型进行了时间推理和仿真实验.实验结果为协同设计时间安排提供了参考依据.     

基于TCPN的协同设计过程资源约束可调度性分析

设计资源的有限性和设计活动的并发性会导致产品协同设计过程中的资源冲突.针对具有时间属性的产品协同设计过程资源约束的可调度性问题,采用时间约束Petri网理论提出一种产品协同设计过程资源约束网模型,定义了具有单一资源库所输入和多个资源库所输入的设计活动变迁的可调度性概念及其判定规则.把协同设计的资源约束可调度性划分为弱可调度和强可调度2类,通过引入变迁序列的token到达资源库所时间上下界的概念,给出了产品协同设计过程资源约束的可调度性规则及算法.最后通过一个链式输送机传动系统的协同设计资源约束模型,验证了文中方法的有效性.     

模糊定时高级Petri网的协同设计活动建模和分析

利用模糊定时高级Petri网和工作流技术对协同设计活动进行建模和分析，定义了评估和推理规则，解决了协同设计中对不确定性时间参数的管理，并能够实现对协同设计的时间验证，特别是对协同设计时间的定量分析，最后举例说明了如何建立相应的模糊Petri网模型，并对其性能进行分析推理。     

一种基于线性逻辑的时间Petri网推理方法

针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间 Petri网运行行为的证明方法 ,此方法能清楚地分析时间 Petri网的运行行为和进行时间推理 .     

时间Petri网等效变换的工作流评价

时间性能分析是工作流模型分析和评价的重要方面.首先介绍了业务过程的一般Petri网模型,然后引入时间Petri网建立工作流网的时间约束模型.提出了保持网时间约束特性不变的网变换规则和时间性能计算方法,对工作流网进行化简及时间性能计算,并给出了相应的算法.最后通过一个实例说明本方法的应用过程.     

基于延迟时间Petri网的工作流相似性度量方法

为了解决实时系统中流程相似性的判定问题,提出一种基于流程中活动的拓扑结构和触发点的流程相似性度量方法。采用延迟时间Petri网(Delay Time Petri Nets,DTPN)模型来表示流程,用于找出流程的触发调度;定义活动时间约束路由关系,给出它们之间的距离和相似度计算公式,进而计算出流程之间的相似度;在此基础上设计相关算法,并且分析时间复杂度。通过实例验证了该算法在时间约束工作流相似性度量方面的有效性。     

基于Petri网推理的监控视频事件识别

Petri网模型对复合时序事件具有较好的描述和检测能力,提出基于Petri网描述和推理的监控视频事件信息的自动识别方法。将运动目标及其特征间的空间关系用Petri网的库表示,时间关系及其他推理规则用变迁表示,结合低级计算机视觉算法获得的运动目标特征以及基本事件信息,通过对Petri网推理执行,实现监控视频复杂语义事件的交互式查询,通过实验验证了该方法的有效性。     

基于知识Petri网和归结规则的推理方法

本文提出了一种基于知识Petri网和归结规则的推理方法.通过知识Petri网描述命题逻辑知识库,将归结规则映射到知识Petri网上,根据库所和变迁的连接关系,定义了知识Petri网中的归结结构.利用归结结构,给出了基于知识Petri网的归结推理算法和扩展知识库的推理算法,并利用Wumpus实例验证了推理算法.该推理方法是可靠且完备的,能够利用知识Petri网的网络结构降低计算复杂性.     

模糊Petri网及其在模糊推理中的应用

该文首先引入模糊Petri网(Fuzzy Petri Net)的定义，给出了一个九元模糊Petri网模型，并且详细介绍了模糊Petri网的激发规则。给出了产生式规则的模糊Petri网表示的三种模型，在此基础上提出了一种基于模糊Petri网的推理方法，最后使用模糊Petri网中知识表示和运行的基本算法解决了汽车质量检验和故障分析这一实际问题。实际应用证明基于模糊Petri网的产生式规则的推理具有知识表达能力强，处理不确定知识正确，推理过程简单直观，具有一定的智能推理能力，具有较强的实用价值。     

基于模糊Petri网的汽车故障诊断仿真研究

本文将Petri网和模糊推理相结合,建立故障诊断的模糊Petri网模型。其中,用FPN表示模糊产生规则,用Petri网的变迁激活规则进行故障诊断推理,从而分析出异常行为过程间的因果关系,推理出故障的原因及其可信度。以汽车故障诊断为例,建立了基于模糊Petri网的诊断模型。通过仿真分析,验证了模型的正确性和算法的有效性。