分享到:

基于Petri网的并行程序分析与评价

并行程序目前是一个活跃的研究领域,也是一个困难问题。在进行并行程序的分析和设计过程中,必须面对不确定性、通信、同步、数据划分和分配、负载平衡、容错、异构、共享或分布存储、死锁及竞争等问题,这些问题在串行程序的分析和设计中是很少遇到的。针对这些问题,用Petri网来分析并行程序的性能是其它模型无法比拟的。本文的主要工作是借助时延变迁Petri网来分析并行程序,首先给出了一般并行程序转化为TTPN的基本转换规则,对TTPN模型采用G.Chiola的方法进行分析。对于数据并行问题,提出了并行程序逻辑进程中一个块的TTPN模型以及包含多个块的循环的TTPN模型。通过分析矩阵乘法算法的TTPN模型,在曙光2000并行机上对两个400×400矩阵相乘的问题进行了模拟,并与一般内积并行算法的运行结果作了比较。然后,基于A.Nketsa和N.B.Khalifa在文献中提出的先行值概念,我们给出了先行值的确切定义。结合TTPN,本文给出了无初始标  (本文共87页) 本文目录 | 阅读全文>>

北京化工大学
北京化工大学

基于混合Petri网的混杂系统建模及工业应用研究

混杂系统由连续变量动态系统与离散事件动态系统相互联系、相互作用组成。在化工、制造、冶金等领域存在着大量的混杂过程。混合Petri网是混杂系统的主要建模方法之一,论文讨论了基于混合Petri网的工业混杂系统的建模和仿真分析方法,以某化工溶剂回收系统为对象,详细研究了具体的建模和仿真过程。论文首先讨论了现存的基于混合Petri网的混杂系统建模方法,比较各自的优、缺点和适用性,并研究了一类混合Petri网在Matlab环境下的仿真方法;其次,在普通混合Petri网基础上借鉴受控Petri网、微分Petri网的建模优势,给出一种新型混合Petri网—混合状态Petri网模型,采用动态系统的状态量统一离散库所和连续库所,将混杂系统的仿真和分析统一于同一模型框架下,给出了基于该模型框架的仿真算法,以一个切换系统为例验证了算法的有效性;最后,对某化工溶剂回收系统进行了建模及仿真,通过分析仿真结果得出控制决策。研究表明,这种混合Petri网的建...  (本文共77页) 本文目录 | 阅读全文>>

北京化工大学
北京化工大学

基于Petri网的工业混杂系统监控与诊断

工业过程的监控与诊断技术是现代工业保证生产系统运行的稳定性和可靠性,提高产品质量、生产效益的重要手段和关键技术。混杂过程是既有连续动态变量,又有离散逻辑变量的复杂动态变化系统,混杂现象普遍存在于流程生产工业中。本文以某化工溶剂回收过程为背景,将Petri网技术应用于工业混杂系统,研究了基于Petri网的监控与诊断问题求解方法。论文首先对混杂系统——人造革DMF回收开车过程进行了研究,结合赋时Petri网和混合Petri网建立了其递阶控制模型;通过对其协调层的深入讨论,研究了开车过程的监控问题,采用可达性等方法对模型进行了分析。其次,论文针对混杂系统提出了监控与诊断的集成概念,在此基础上进行了DMF回收蒸发罐运行过程的监控与诊断;建立了描述生产过程混杂特性的HPN信息模型和用于诊断决策的控制器模型,探讨了设备故障和连续参数大的扰动的合成传播问题,仿真结果说明了本文设计方法的有效性。在理论研究的基础上,探讨了Petri网的MATLA...  (本文共76页) 本文目录 | 阅读全文>>

西北工业大学
西北工业大学

基于Petri网的综合航空电子系统性能分析

系统性能评价是计算机系统和计算机网络发展的重要理论基础和支撑技术。对系统进行性能评价的目的主要有三个:选择、设计和改进。通过系统的性能评价可以在众多的设计方案中,选择性能价格比较好的系统;可以为系统的设计和实施提供必要的理论基础,以实现系统的最佳设计和配置;可以对已有的系统进行完善和改进,提高系统的运行效率。本文的内容是基于Petri网的综合航空电子系统的性能分析。通过对综合航空电子系统可靠性的分析和MIL STD 1553B(1553B)数据总线的性能指标分析,以达到优化综合航空电子系统的目的。利用确定随机Petri网、随机Petri网建模工具和计算机工具、来仿真、分析综合航空电子系统可靠性和1553B总线是本文的研究方法。本文的主要工作包括:第一,利用Petri网建立的系统性能分析模型,不仅可以求得系统性能指标的稳态均值,而且还可以得到它们随时间变化的规律。研究结果分别得出了系统在串联模式下的可靠性;1553B总线的负载、系...  (本文共70页) 本文目录 | 阅读全文>>

清华大学
清华大学

基于着色Petri网的工作流执行服务的设计与实现

工作流执行服务是工作流管理系统的核心,它的开发直接关系工作流管理系统的成败。因此工作流执行服务的设计是工作流研究领域的基础问题。本文对工作流执行服务的相关技术进行了深入研究,提出一套支持着色Petri网工作流过程运行的工作流执行服务设计方案。该方案下的工作流执行服务,其框架遵循工作流管理联盟(WfMC)提出的工作流参考模型,其内部引擎遵循着色Petri网原理。本文的工作流执行服务包括核心引擎和周边服务两部分构件。论文详细的介绍了各构件的主要功能和相互调用关系,并着重阐述了引擎逻辑(着色Petri网实施规则)的设计。该设计方案在清华大学软件学院研制的工作流管理系统(ColouredFlow)中已经得到了实现和验证。  (本文共83页) 本文目录 | 阅读全文>>

哈尔滨工业大学
哈尔滨工业大学

基于Petri网的入侵容忍系统的性能评价

本文围绕如何对入侵容忍系统进行分析进行研究,主要研究了入侵容忍的基本理论以及入侵容忍系统的模型,提出改进的模型;分析了现在的入侵容忍的评价方法以及存在的缺点,提出了使用扩展状态图和Petri网对入侵容忍系统进行分析。本文首先总结了目前主要的入侵容忍系统的理论,根据这些理论提出了入侵容忍系统的改进模型,它是在原有的模型上对系统的状态进行了细化,主要增加了机器学习模块产生了机器学习状态,攻击细化为流量攻击和弱点攻击。讨论了目前对入侵容忍系统的分析方法,大多采取抽象状态图的分析方法,但是状态图只能刻画系统的整体行为,分析出的结果概括,不能细致的分析出系统的性能,因此本文提出一种扩展的状态图分析方法,用更加细化的状态扩展原来的状态图,对传统分析方法和扩展的状态图分析方法的分析结果进行了比较。但是由于这种扩展的状态图分析方法较复杂,而且也不能细致的描述具体系统的一些具体的特性,因此提出使用基于SPN的分析方法,基于SPN的分析方法能够非常...  (本文共62页) 本文目录 | 阅读全文>>