MPI程序的Petri网模型及其动态性质

对并行程序进行验证以保证正确性是很重要的,但是由于并行程序比串行程序要复杂得多,因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点,提出了MPI并行程序的Petri网模型——MPINet,给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序,并研究了MPINet的动态性质,包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。     

MPI通信函数的增广Petri网模型

MPI是目前最流行的并行编程消息传递标准之一,它提供了多种点到点通信函数和集群通信函广Petri网模型,有利于解决此问题,并更好地利用它们编写并行程序.     

公平消息传递并行程序设计的Petri网方法

公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难.针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证.     

诊断多智能体重构过程的Petri网模型

为适应故障诊断中动态变化的环境和满足求解复杂系统全部任务的要求,本文以诊断决策问题的结构及建模过程的层次性为基本思想,提出用立体分层Petri网作为可视化建模支持工具支持嵌套式建模,研究了诊断系统重构的立体分层Petri网框架,并详细分析了诊断系统资源调度的Petri网模型、多智能体诊断系统重构的Petri网模型以及功能智能体执行重构的Petri网模型,全文通过实例说明了Petri网模型的设计方法,最后给出了立体分层Petri网模型的求解方法。     

天线-罩系统辐射特性的快速仿真

口径积分-表面积分法是带罩天线远场电性能数值仿真的常用方法,针对该法分析电中大尺寸天线-罩系统远场电性能计算效率过低的问题,提出了基于等效源区域分解的并行口径积分-表面积分算法。开发并在集群系统中实测了基于消息传递并行编程环境(MPI)的并行程序,作为应用计算了某弹载天线-罩系统远场辐射特性。仿真结果表明该并行算法的高效性和准确性。     

双变迁Petri网的电路模拟技术研究

介绍了双变迁Petri网的基本理论,探讨了Petri网模型的逻辑电路描述方法;针对逻辑电路模拟双变迁Petri网所遇到的问题,提出了采用硬件描述语言模拟双变迁Petri网的方法,详细讨论了用Verilog语言实现双变迁Petri网的技术;通过一个双变迁Petri网模型实例,在模拟软件中进行了模拟分析,验证了方法的可行性。研究表明,使用硬件描述语言描述Petri网模型,利用现有的设计模拟工具,可以模拟模型运行,分析模型的特性,方法简便,适用范围广,为双变迁Petri网模拟分析提供了一种新途径。     

着色Petri网的结构展开方法

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

投入产出系统Petri网模型

Petri网是分析系统的一种有用工具.介绍了Petri网和投入产出系统的基本概念;给出了构造投入产出系统Petri网模型的方法;讨论了投入产出系统Petri网模型的性质;基于投入产出系统Petri网模型,得到了投入产出系统可分解的充分条件和不可分解的必要条件.为使问题阐述清楚,引入了一个具体的投入产出系统例子.将Petri网理论用于投入产出系统的研究,能够直观地反映出投入产出系统结构及其动态行为,是一件十分有意义的事情.     

带监督弧的扩展Petri网模型及其应用研究

Petri网是对分布式系统进行分析和建模的图形化工具,它在系统出现并发、冲突和同步等现象时具有很强的描述模拟能力。提出了一种带监督弧的Petri网扩展模型,引入监督弧使复杂的Petri网模型变得简化,而且有利于Petri网模型的模块化设计。最后研究了带监督弧的Petri网应用并作了相应实验仿真,结果验证了监督弧的有效性。     

基于混合Petri网的图形建模仿真系统

将VC＋＋的面向对象思想引入混合Petri网建模、仿真技术的研究和开发，给出了面向对象的混合Petri网软件结构，研究了Petri网的创建方法，讨论了Petri网的系统维护以及Petrl网的存储结构等关键问题。在此基础上，设计了基于图形界面的混合Petri网建模仿真软件。对于具体实例，给出了该软件以人机交互方式建立、编辑、分析混合Petri网模型的过程。