基于可信度的关键实时集群系统设计

该文以一个指挥控制实时集群系统为例,介绍系统采取的以长期不间断运行为目标的可信度措施;建立定性的可信度PETRI-NET模型和可维护性树以说明系统在生命周期内的运行过程;最后评估系统不间断运行的可信度指标。     

基于故障群组合优化的变电站故障诊断

为处理好变电站故障诊断问题中故障源和故障征兆间因果关系的不确定性，提出了基于故障群组合优化的故障诊断方法。依据变电站运行方式和保护配置建立保护配合的Petri网模型，用该模型的状态转移方程获取所有的故障群-征兆群对子，创建故障群组合作为已知故障征兆诊断解的适应度函数，并用遗传算法搜索出最优诊断解。实验证明：该方法不仅能有效地辨识出故障源，而且能提供保护装置拒动、断路器拒动、信号传输错误等信息，对现场人员迅速确认故障设备非常有利。     

基于随机函数Petri网的系统动力学关联分析模型

针对系统动力学（SD）模型既无法表达延迟具有随机性,又无法描述不同状态之间存在的条件转移,以及随机Petri网（SPN）本身存在计算能力不足等问题,首先,将SPN进行扩展,提出了随机函数Petri网（SFPN）模型;然后,将SFPN与SD相结合,提出了一种SFPN-SD模型。因SFPN模型中的变迁本身能精确描述随机延迟,故解决了SD模型存在的第一个问题;因SFPN模型中的条件弧能表达库所之间的有条件转移,故解决了SD模型存在的第二个问题;最后,在SPN的库所和变迁中定义一些状态变量及其状态转移方程,而状态变量及其状态转移方程就是SD模型中的水平变量、辅助变量、速率变量、水平方程和速率方程的不同解释,状态转移方程可以实现复杂的计算,于是解决了SPN模型的计算能力不足的问题。SFPN-SD模型很好地继承了SD模型的全部特征,同时又将随机Petri网的全部特征融入到SFPN-SD模型中。与SD模型相比,SFPN-SD模型具有系统的状态及其类型的含义更明确、状态演变过程更明确的特点,且其描述的系统变化动态性是通过事件激发的,从而更逼真地描述了复杂系统的自主动态随机演变行为。实例研究表明,SFPN-SD模型比SD模型具有更强、更全面的对复杂系统的描述关联分析与模拟能力。     

量子密钥分配协议的Petri网建模及安全性分析

量子密钥分配协议已经被证明具有无条件安全特性,但是证明过程比较复杂,不利于推广到其他量子密码协议的安全性分析和证明中.为了简化量子密码协议的安全性证明以及建立一种通用的证明方法,基于Petri网提出一种量子密钥分配协议的形式化分析方法,根据Biham的等效对称化攻击模型,将协议分为主体模型和攻击模型两部分,建立了BB84协议的Petn网模型,然后对模型进行安全性分析,分析结果表明, BB84协议是无条件安全的.该方法提高了安全性分析效率,形式上简洁统一,容易推广到其他量子密码协议的安全性分析中.     

基于并行工程的产品开发过程建模

并行工程是近年来国际制造业兴起的一种新型企业生产组织管理模式,也是当前学术界热门的研究课题。从并行工程运行模式出发,在Petri网基础上引入面向对象技术,针对并行工程的并发特性,讨论了基于并行工程的产品开发过程的面向对象Petri网模型,很好地继承了面向对象方法的封装、分类、继承等优点,同时又具有Petri网用图形易于描述系统并行性、不确定性等特征,为并行工程过程管理的仿真、调度和监控提供了统一模型。     

基于Petri网的组件服务发现方法

针对现有的组件服务发现方法存在自动识别率和重复使用率低下的问题,文中首先利用Petri网理论设计了一种自动组件服务发现框架,用于支持组件服务的发现及复用;在此基础上提出了时序Petri网服务模型（TPNSM）;通过借鉴Petri网中关联矩阵的概念,将组件服务间的邻接关系映射为矩阵,通过邻接关联矩阵给出相似度计算方法;最后,提出了基于Petri网的组件服务发现方法。通过将文中方法与现有服务发现方法进行仿真对比实验,结果表明该方法能根据用户需求快速响应,在组件服务发现方面具有更好的查全率与查准率。     

基于Petri网和Web服务的工作流建模方案

面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来．对工作流网中控制流结构进行了分析，给出了由Petri网向WSFL转化的方法，并给出Petri模型中控制流结构的WSFL描述。     

面向CSCD的PLP模型研究

产品全生命周期过程管理(PLPM)和产品全生命周期信息管理(PLIM)是产品全生命周期管理(PLM)的主要研究内容.迄今为止的绝大多数研究都集中在PLIM层面上,而对PLPM本身的研究则仅仅停留在直观的说明上.在详细分析面向计算机支持协同设计(CSCD)的产品全生命周期过程(PLP)的基础上,借助于软件工程领域对软件生命周期过程的研究成果,利用高级Petri网作为描述工具,建立了面向CSCD的PLP模型,形式化地表达出面向CSCD的PLP中各种过程在信息意义上的并行性和协同性,为面向CSCD的PLP的仿真和评价提供了理论依据.     

超文本形式化模型研究

本文谰述了目前超文本系统中常用的形式化模型，它们分别基于图论，网论，逻辑和集论。     

基于Petri网的作战单元任务可靠性仿真

现代战争要求充分发挥武器系统的整体作战效能,任务可靠性为武器系统作战效能的评估提供了依据。本文在分析作战单元任务可靠性仿真重要性以及Petri网技术优点的基础上,描述了作战单元复杂任务的构成及特点,建立了作战单元任务可靠性理论模型并明确仿真思路,利用Petri网技术,在ExSpect仿真环境下逐层构建了作战单元复杂任务可靠性仿真模型,最后针对具体实例进行仿真分析。实例结果表明,此模型可以有效的对作战单元任务可靠性进行仿真,对增强部队综合保障能力具有积极的意义。