基于OOPN的面向对象的集成测试方法

面向对象的程序与传统的结构化程序相比,具有许多特点,如消息传递、同步、动态绑定、对象实例、继承、多态等.面向对象软件的测试比结构化软件的测试更困难,因此提出一种基于OOPN模型的面向对象的集成测试方法.首先用面向对象petri网(OOPN)模拟系统中的对象及其交互过程,然后在此模型的基础上提出生成测试例的算法.此方法的创新之处在于将数据流与控制流相结合的方法用于面向对象的测试之中.

几种典型系统可靠性分析的GOOPN模型

本文提出了一种用于系统可靠性分析的扩展的对象Petri网模型(GOOPN).文中给出了GOOPN的定义和描述,并对串联、并联、备用、k-out-of-n和n中取连续k失效等几种典型系统建立了相应的GOOPN可靠性模型.模型能直观地反映出系统状态的动态变化过程,可以考虑系统维修资源有限、不同修复率和开关失效等复杂因素.

VPML—OOPN集成建模方法及其在企业中的应用

为了支持对企业业务流程进行建模和分析,辅助过程改进,该文提出了VPML—OOPN集成建模方法。该方法提供了模型描述和设计、模型分析和仿真,直至模型实现的一体化框架。最后,设计了旨在实现VPML—OOPN集成建模方法的系统平台。

VPML-OOPN集成建模方法的设计与实现

为了支持对企业业务流程进行建模和分析,辅助过程改进,提出了VPML-OOPN集成建模方法。该建模方法是利用可视化过程建模语言VPML建立企业过程模型,然后将该过程模型映射为面向对象Petri网模型。通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计。

基于OOPN的港口集装箱堆场作业流程仿真优化研究

在阐述集装箱港口平面布局、装卸系统以及集装箱堆场的基本职能、堆存的作业流程之后,利用面向对象Petri网(OOPN)的建模方法对堆场作业进行建模并做深入分析,并利用计算机模拟仿真技术(ExtendSim仿真软件),结合所建立的集装箱堆场系统的OOPN模型,对集装箱港口的整个生产作业系统进行数字仿真并实现了模拟,通过对模型输出的仿真结果进行综合分析,剖析堆场的物流活动流程,对其进行集最优化处理,以达到提高堆场的资源利用率、使资源配置成本最小的目的。

OOPN和PNOO建模技术研究

面向对象方法是一种非形式化的建模方法,对建模后的系统缺乏有效的分析和验证手段。Petri网是一种形式化的建模工具,存在无输入、输出和状态空间爆炸等问题。针对以上问题提出了将面向对象和Petri网结合为OOPN、PNOO的两种建模方法,具体分析了这两种方法的特点和步骤并进行了比较。结果表明面向对象和Petri网的有机结合克服了各自的缺点,方便了系统建模,由此可见多种建模技术的融合将成为未来系统建模的发展趋势。

基于OOPN的穿村镇路段交通安全设施作用研究

针对穿村镇路段交通事故多发的现状,利用面向对象Petri网(OOPN)作为建模工具,基于穿村镇路段现存的交通干扰类别及特性,构建作用于交通安全设施的事故推演模型,用以分析在穿村镇路段上各类安全设施对于事故发生过程产生的影响。利用该模型可定性分析各部分设施间的共同作用与事故发生间的关系,同时可利用已建模型计算某类设施的缺乏导致事故发生的概率,以定量分析各设施的重要度。研究结果表明,交叉口标志、支路上停车让行标志、限速标志以及人行横道标线为穿村镇路段优先考虑设置标志。

基于OOPN的嵌入式系统的建模研究与实现

本文结合了面向对象和Petri网两种建模方法的优点,提出了一种新的面向对象Petri网的建模方法。主要研究了面向对象Petri网方法在嵌入式系统设计中的具体应用,并通过实验对该方法进行了正确性论证以及资源分配情况的定量分析。该方法为嵌入式系统的设计提出了一种行之有效的形式化分析方法,使得复杂的嵌入式系统描述更加模块化,具有可重用性,大大提高了嵌入式系统建模和分析的效率。

OOPN网精细化操作及在垃圾分类建模中的应用

针对模块或功能划分明显的智能垃圾分类等具有此类特征的系统的建模问题,研究提出用面向对象Petri网(OOPN)及其细化方法可处理解决该类问题的结论。定义OOPN网系统的活性、有界性;提出OOPN类网精细化操作及细化后网系统仍保持活性、有界性的充要条件;并利用提出的类网精细化对智能垃圾分类拣放系统进行建模,验证其有效性和可行性,具有一定的实用价值。

用对象合成Petri网模型进行多种媒体同步调度的研究与实现

本文采用对象合成Petri网(OCPN)模型处理教学多媒体系统中音频、动画和视频图象的同步问题,并用C语言和WINDOWS实现了组合体教学课件。

一种新型的AUV系统建模方法研究

在Petri网基础上,引入面向对象技术,提出了一种面向对象Petri网(OOPN)模型,详细论述了这种面向对象Petri网的结构,形式定义,建模步骤,并针对水下无人探测器系统操作环境的特殊性,为AUV系统建立了完整的OOPN模型,真实地反映了系统的动态特性,从而为AUV系统建模和分析提供了一个更为有效的工具。

面向对象Petri网的应用研究

由于Petri网对系统依赖性强,缺乏模块化等基本特性,容易导致模型状态爆炸,使得建模和软件开发困难。为此给出了传统Petri网的数学定义和图形表示、特性分析方法,重点讨论了面向对象Petri网的有关问题:OOPN的定义,OOPN的语义分析,最后指出OOPN进一步的研究内容。

UML模型到面向对象Petri网模型的映射

文章通过分析UML模型和面向对象Petri网各自的特点,提出了UML模型到面向对象Petri网模型的映射规则,从而实现了利用UML模型有效描述系统,利用面向对象Petri网模型模拟仿真系统的有效结合,实现了两者的优势互补。

VPML过程模型到面向对象Petri网模型的映射

为了支持对企业业务流程进行建模和分析,辅助过程改进,文章提出了用VPML语言建立过程模型,然后将该过程模型映射为面向对象Petri网模型,通过对Petri网模型的定性分析和模拟仿真,其结果可用于修正和改进模型设计。

钼精矿焙烧BAT-OOPN系统模型的构建及仿真

将BAT与面向对象的Petri理论结合,采用OPMSE仿真平台建立钼精矿焙烧污染物外排模型,构建了基于BAT-OOPN理论的污染物排放量化模型,通过仿真结果与历史在线监测数据对比分析,验证了此模型可客观反映某钼业有限公司钼精矿焙烧工艺的运行情况。通过副产物Na2SO3的生成量推算出实际脱硫量,得到该企业典型污染物排放的理论数值,并进一步采用钼精矿焙烧BAT-OOPN量化模型和响应面法对钼精矿焙烧脱硫系统进行优化分析,确定了钼精矿焙烧烟气脱硫系统最佳参数范围,在提高脱硫效率的同时降低了企业生产成本,同步实现了节能、降耗、减排目标。