分布式对象计算环境下系统容错服务的动态行为描述

分布式对象技术是面向对象技术同分布式计算技术的结合产物 .大规模的分布式对象计算系统要成为高可靠性的系统 ,就必须解决对象失效、节点错误、网络隔离和不可预知的通信延迟等问题 .本文中设计了一种名叫对象容错服务 ( OFS)的解决技术 ,并采用一种基于面向对象高阶 Petri网的形式化方法描述系统的动态行为 .形式化描述方法的采用为 OFS的实现提供了有益的帮助 .     

基于颜色Petri网的TCP协议模拟和分析

TCP协议是目前广泛使用的一种可靠的网络传输协议.TCP协议的分析和改进一直是研究的热点,由于协议的复杂性,协议的形式化描述是其中的难点.文章用颜色Petri网及其工具CPN/tool对简化的TCP协议进行建模和分析,对协议中各种动态关系有较好的刻画,分析了协议的不足,减少了利用一般Petri网系统(如P/T系统)模拟复杂系统的难度.     

Petri网在工作流系统建模和分析中的应用

工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容.     

基于Petri网运算的系统范例分析

文献［１］中首次提出了Ｐ／Ｔ网的加法运算与笛卡尔积运算的概念，并对这两种运算的代数性质进行了研究。本文基于文献［１］的结果，对柔性制造系统、资源共享系统、控制系统中若干范例进行分析，从而显示了Ｐｅｔｒｉ网运算的背景及其意义。     

基于安全元对象的CORBA系统的访问控制机制

目前 ,使用反射机制实现非功能性机制变得越来越流行 ,出现了面向可靠性应用的各种元对象协议。针对CORBA安全服务在访问控制的细粒度实现、可定制性方面不够灵活的问题 ,提出了基于安全元对象的CORBA系统的访问控制技术。反射机制把客户对服务器对象的访问隔离开来 ,进行访问权限的检查和安全审计 ,防止应用软件的非法访问和操作来提高系统可靠性。安全元对象协议的实现采用了开放式编译器 ,使最终的访问控制系统代码量小、运行开销小 ,同时安全策略定制灵活、易于扩展     

基于Petri网的多Agent系统建模的研究

多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向.     

用层次颜色Petri网模拟主体行为

智能主体动态动作的形式化描述是开发应用多主体系统的的形式化描述多是基于逻辑学的描述,不易直接应用到系统开发中.该文通过利用层次颜色Petri网对市场多主体系统的模拟,提出并讨论了利用层次颜色Petri网为多主体系统建模、模拟主体行为的方法,该方法对多主体系统中主体间的各种动态关系有较好的刻画,并且通过层次化的方法减少了利用一般Petri网系统(如P/T系统)模拟复杂系统时所遇到的难度.     

颜色Petri网一种专有协议的描述和验证

介绍了我们在一个网络安全项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模、分析和验证。首先建立了协议模型,然后运用仿真方法和状态空间分析方法考察协议行为特征。通过建模分析方法有助于我们找到协议中的疏漏,体现了协议设计过程中形式化建模和分析方法的优点和遇到的挑战。     

在学习和应用Petri网中值得注意的几个问题

根据多年的工作经历,作者对Petri网学习和应用中的一些问题进行了探讨,并简要介绍了Petri网教材。     

基于RTOS和CORBA的焊接动态过程分布式仿真

采用人工神经网络建立了钨极氩弧焊动态过程模型，设计了双变量模糊控制器。基于嵌入式操作系统uC／OS-Ⅱ对脉冲钨极氩弧焊动态过程进行了分布式仿真。由客户机上的CORBA客户端向服务器发出开始仿真的信号，并在仿真过程中通过串口通讯把焊接仿真中产生的熔宽、电流值实时传输给客户机。当数据产生错误时，可由客户端直接让服务器停止运行。仿真实验表明，应用嵌入式操作系统和CORBA通讯对焊接过程的控制真正做到了实时性，实现了焊接过程数据的同步传输，实时监测。     

隧洞施工过程的Petri网络模拟方法

Petri网络模拟方法是通过应用Petri网的基本特性对施工系统进行建模，描述模型中资源等施工参数随施工进度的变化，其网络模型能够较好地描述实际施工系统的动态变化情况，优选施工组织方案和施工机械设备的配置。本文系统分析隧洞施工过程及其程序，建立了基于Petri网络的施工过程模拟模型以及可行施工方案的多目标决策模型。实例分析说明了模拟方法、模拟模型和决策模型是有效的、可行的。     

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。     

复杂工业过程多智能体协调Petri网模型

分析了复杂工业过程下的多智能体体系系统所面临的问题,探讨了有关多智能体系统的协调地,采用并行处理技术,建立Ｐｅｔｒｉ网模型,对复杂工业过程多智能体协调进行了模拟。     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于风险分析的仿真可信性控制

针对仿真可信性面临的问题,提出了基于风险分析的仿真可信性控制方法. 依据面临风险的不同,将仿真可信性控制的实现过程分为仿真结果可信性控制和仿真应用可信性控制两个部分,对其实现原理和关键技术进行了分析,提出了基于影响网的仿真风险分析方法,实现了仿真风险的定量计算,设计了基于敏感分析的风险消减方法,通过对关键失效的修改,实现了仿真可信性的控制和提高. 最后给出了一个例子证明所提方法的可行性和有效性.     

基于VHDL的时延Petri网仿真

在实时控制系统中,常常需要使用时延Petri网对系统进行建模、分析.作者提出了用硬件描述语言对时延Petri网进行描述,用VHDL语言中的wait语句和after语句来模拟Petri网中的时延特性,通过EDA软件工具对时延Petri网进行仿真,获得系统的动态性能,这为时延Petri网的分析提供了新的路径,并为控制系统的设计和电路实现奠定了基础.文章最后给出了一个实例,仿真波形表明了这种方法的正确性.     

HLA的互操作以及基于CORBA的实现

在ＨＬＡ中,同一联邦内部的联邦成员之间的互操作性得到了很好的解决,为实现仿真应用更高层次上的互操作根本问题是解决不同的ＲＴＩ之间和不同的联邦之间的互操作。本文分析了ＨＬＡ中不同的ＲＴＩ以及不同的联邦之间的互操作,提出了基于ＣＯＲＢＡ的两种实现方案。     

着色Petri网的结构展开方法

为提升着色Petri网的设计分析与模型检验能力,讨论了着色Petri网的结构化展开技术.以着色Petri网的令牌单元和绑定单元为基元,通过对着色Petri网展开为普通Petri网的等价性证明,提出了基于着色Petri网关联矩阵和标准元语言的展开规则和规范化步骤.研究结果为着色Petri网到普通Petri网的自动转换过程和着色Petri网验证提供了有力支持.     

基于Petri网仿真的批处理过程动态调度

批处理过程存在于复杂的动态环境中，来自主客观的干扰及问题固有的易变性，会导致各种过程参数的变化，例如处理时间波动，原材料质量变化等，可能使已有的静态调度失去其最优性，甚或变得不可行。因此，需要研究对意外事件作出快速反应的动态调度方法，以捕捉生产环境的实时变化，本文针对批处理过程中最常出现的操作处理时间波动。结合规则调度思想，提出了基于Petri网仿真技术的批处理过程动态重视度方法，仿真结果表明，该方法能有效地捕捉 处理时间的变化，快速改善调度性能，为批算是过程动态的调度的研究提供了新思路。