基于Petri网的嵌入式系统失效模型与分析

针对嵌入式系统的特点,提出一种基于Petri网的嵌入式系统失效模型与分析方法。依据嵌入式系统失效需求,采用Petri网建立嵌入式系统的形式化描述语言,并对嵌入式系统中的基本元素,如任务、资源、传感器、执行器等进行描述。构造任务间基本关系、任务与设备间交互的模型,并利用组合规则将这些模型动态地集成为一个完整的嵌入式系统失...     

带乘性 Lévy 噪声的随机 Cahn-Hilliard 方程的中偏差原理

中偏差原理是统计推断中构建渐近置信区间的重要依据之一. 本文旨在研究带乘性 Lévy 噪声的随机 Cahn-Hilliard 方程的中偏差原理. 在该方程中, 带跳噪声和高阶非线性项的耦合导致随机积分的计算较为复杂, 不易获得指数型概率估计. 本文运用经典的弱收敛方法逐一验证了两个中偏差条件, 进而建立了方程的中偏差原理.     

基于随机Petri网的容灾系统安全性分析

该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。     

基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

基于规则嵌入赋色Petri网模型的柔性装配系统仿真

针对柔性装配系统复杂的并行作业特点，提出了规则嵌入赋色Petri(RCP)网模型．给出RCP的定义，利用面向对象的语言实现了网的静态描述以及动态运行，在此基础上得到了相关的系统参数，柔性仿真系统以模块化结构实现．以上海科技馆的机器人柔性装配系统为例，给出了它的RCP仿真模型，求出了某作业初始序列下的系统参数，并得到了该作业的最短完成时间的优化序列．     

计算Petri网S不变量和T不变量算法

以Petri网的关联矩阵为基础,提出了求解Petri网的S不变量和T不变量的算法。以关联矩阵为基础构造求解矩阵,对所构造的求解矩阵进行初等线性行变换和列变换将相应的行元素和列元素变为零,并在变换后的矩阵中提取S不变量和T不变量。算法实现了在一个矩阵中通过初等线性变换就可以得到Petri网的S不变量和T不变量。     

协同设计系统中一种新的访问控制模型

在分析和总结主体对象访问模型和CSCWD(计算机支持协同设计)访问控制需求的基础上,提出一种新的访问控制模型———基于任务角色的粗粒度混合访问控制模型,解决了在主体 对象访问模型中无法根据应用逻辑相关性实施对访问对象的动态保护。提出了一个一般性的任务角色概念,它不同于传统的角色和任务。模型中利用任务角色把用户、角色和任务关联起来,成为对系统进行控制的主要手段,体现了CSCWD的面向任务的本质特征。利用赋色Petri网技术,建立了混合型访问控制模型,并对各部分的运行机制进行了分析。结果表明,该模型能够有效地描述访问过程中的动态行为,利于系统的分析验证。     

Petri网的块组合并网及性能分析

提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的.     

基于Petri网的MMS服务描述,验证及实现

利用Ｐｅｔｒｉ网这一形式化描述工具建立了ＭＭＳ（制造报文规范）体系 抽象模型，并利用Ｐｒ／Ｔ网对其中的重要服务－－程序理服务进行描述、分析和验证。最后，以此为基础在ＭＡＰ、ＢＩＴＢＵＳ网上的实现了ＭＭＳ服务，通过互操作测试证明了最正确性。     

一种基于混合Petri网的批过程动态调度算法

针对批处理过程动态调度问题的特点，以赋色时间限制混合Petri网为工具，建立了批过程动态调度的混合Petri网模型，将批过程的调度问题映射技术为求Petri网中变迁的最优激发序列问题。在此模型基础上，根据动态规划基本原理，以资源的终极利用即最短生产周期作为调度目标，提出了一种基于赋色时间限制混合网模型求取变迁的最优激发序列的方法，并针对实际情况中出现的复杂的中间产品存贮策略，讨论了在各存贮策略约束下该模型中时间限制区间的确定方法，最后以炼钢－连铸生产系统的过程调度为例，对该算法进行仿真。多次仿真结果表明，当任务和设备的初始时刻或者过程的动态过程发生改变时，调度结果各不相同，从而验证了该算法的有效性。