阻尼随机系统中的首次穿越

本文用哈密顿系统随机平均方法,研究了阻尼系统在高斯白噪声激励下的首通时间问题。给出了系统运动方程的随机平均微分方程以及首次穿越时间条件矩的Pontragin方程,得到了平均首通时间与噪声强度的关系。     

基于模糊概率Petri网的故障诊断建模与分析

为筛选故障诊断推理中的冗余信息,研究了面向故障诊断的模糊概率Petri网（FPPN）。通过综合专家经验知识,将事件的概率参数引入推理分析中。并给出了基于状态方程的正向、反向及混合推理分析方法。以铁路道岔系统的故障诊断为例,说明基于FPPN的建模和分析方法,结果表明：引人概率参数的FPPN能够筛除冗余信息,分析过程体现了人工推理的思维模式,优于基于FPN的分析结果。     

概率解题中的一些原理与方法

总结了求解随机事件的概率中几条基本经验，并用若干实例说明了概率解题中的３个基本方法：模型法，公式法和转化法。     

基于主体的语义Web服务的Petri网模拟方法

语义web上的服务在执行时可以将其视为一个智能主体的行为执行的过程，并且能够通过智能主体管理语义web上的服务。将语义web上存在的主体分为用户主体，媒介主体和服务主体三类。当一个用户主体需要多个不同的web服务来完成其目标时，这些服务将被组装为一个组合服务。对组合服务的动态执行进行准确的模拟和全面的分析是保证用户目标实现的关键问题，利用Petri网的方法对组合语义web服务进行模拟和动态执行分析是关于此问题的一种实用并且有效的方法。     

Application of Petri Net to Fault Diagnosis in Satellite

1. INTaODUCTIONPetri net is always applied to discrete dynamic systems as a modeling toOl. It has adVantages against Othertools as direct modeling and strict analysis. Petri net can be considered as a graph which is converted intoother from known knowledge represelltation or from st~ure, funcfion or behavior of a system. The occurs when the variables of a system increase that calculation of system design becomes too complicsted to becompleted by hand. Instead, it comes into possible at t…     

模糊Petri网及其应用

作为一种建模工具,Petri网的一个突出优点是它特别适合描述和处理知识工程中的并行问题.木文首先简要地介绍了Petri网的一些基本概念和特点,然后根据推理的需要和有关文献提出了一种模糊的Petri网概念及其相应的规则和算法,并将它与知识工程中的产生式系统相结合,阐明了其应用.     

一种新的Petri网模型建立方法

提出了一种通过消息序列表MSC来对现实系统进行Petri网建模的简便有效的方法。即利用了MSC简单、直观的优点，又能够充分利用Petri网相关的分析和仿真的理论与工具。给出了具体的由MSC到Petri网的转换算法。依照转换算法可将复杂系统的MSC模型转换为Petri网模型。经过对具体模型实例的分析可以得出，由这种方法得到的Petri网是安全可行的。     

并行程序与状态序列--交叉语义约定的研究

许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动.但人们习惯于用状态序列对并列程序模型的语义作数学处理.一旦偏序的状态空间用交叉的方法全序化,并用于论证程序性质,误导就在所难免.所谓误导,指的是与实际运行的偏差,借助于Petri网,可以将它们暴露出来.其实偏差的出现与Petri网的基本现象冲突(conflicct)、冲撞(contact)、并发(concurrency)和混惑(confusion)相关.本文用Petri网分析误导的情况.     

工作管理系统中的版本管理应用研究

为了满足工作流管理系统中对适应性能力的要求，对企业流管理系统中变化的来源进行了分析，并对其有关流程定义方面的变化进行了具体的讨论，运用版本管理技术，对工作流模版进行相应的管理，并引入工作流实例的概念，从而部分解决了工作流在流程定义方面的变化。     

物流系统三色Petri网建模与分析

针对物流系统的一些特点 ,提出了一种三色 Petri网 .给出了三色 Petri网的基本定义 ,分析了该种 Petri网的性质及建模方法 .基于三色 Petri网对自动分拣系统中的物流控制进行了建模 ,并作了一致性、活性、有界性和安全性分析 .实例建模与分析表明了三色 Petri网的有效性 .