基于OOPN的高速铁路行车指挥信息交互过程建模

高速铁路行车指挥过程是一个多层次、涉及多系统的信息交互过程,目前的研究多侧重于局部系统的研究,对高铁行车指挥的全局控制具有一定的局限性。以信息交互过程为切入点对涉及该过程的行调子系统、列控子系统、计算机联锁子系统进行统一建模,并提出全局模型在建模及应用两方面的拓展方向,为高速铁路行车指挥过程的后续研究提供新的思路。论文基于面向对象的Petri网(Object-Orient Petri net,OOPN)建模方法建立高速铁路行车指挥信息交互过程模型并作出形式化定义。

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

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

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

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

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

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

OOPN与嵌入式系统开发

提出了一种适合于嵌入式系统的OOPN建立方法,并给出了嵌入式系统软硬件协同设计OO PN模型建立实例.该模型使得复杂的嵌入式系统描述更加模块化,具有可重用性.

基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难 ,那么多处理机实时软件的开发就更加困难 .为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率 ,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境 .该方法以一种直观的图形方式 (面向对象Petri网 )辅助多处理机系统软件开发 。

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

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

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

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

基于OOPN的多处理机操作系统设计与实现

大多数实时系统具有事件驱动的并发特性，同时多处理机系统在实时领域得到了广泛的应用。实时系统内在的并发性以及与环境的交互性导致了实时软件复杂的控制结构，使得开发实时软件十分困难。由于PETRI网是一种适合于描述并发的可视化建模语言，有形式化描述。所以，作者采用PETRI网来表示一个实时软件中的并发部分，用普通编程语言实现剩下的顺序程序部分。两级程序设计方法可以更加有效、可靠地开发实时软件。文章涉及的实时操作系统是以RTLinux为基础，对其内核进行扩展，使之支持OOPN1形式的作业描述，并具有实时多处理机调度功能。

基于UML-OOPN的武器装备体系可靠性建模方法

针对传统可靠性模型在武器装备体系建模中存在的描述能力不足和Petri网建模存在的模型爆炸和模型构建困难问题,引入面向对象建模思想,利用UML模型便于描述系统和对象Petri网模型易于动态仿真的优点,提出了基于UML-OOPN的武器装备体系任务可靠性建模方法,通过建立UML到对象Petri网的映射规则,完成了由任务描述模型向任务可靠性对象Petri网模型的转化,从而实现了两者有效结合,并以某野战防空反导体系为例验证了该方法的可行性和有效性,为解决武器装备体系任务可靠性模型构建和高效输入问题提供了一种新的方法。

OOPN和PNOO建模技术研究

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

基于改进OOPN的系统工作模式分析方法

针对空间有效载荷系统工作模式的复杂性问题,在研究其动态行为和运行特征的基础上给出了一种基于改进的面向对象Petri网(IOOPN,Improved Object Oriented Petri Net)的系统工作模式分析方法。该方法集合了Petri网和面向对象的优点;在面向对象Petri网模型中引入了对象间的行为约束关系;并根据约束关系实现了基于最小序列组的系统工作模式分析算法。最后,将该方法应用于某资源卫星有效载荷系统中,实践结果表明该方法满足对有效载荷系统工作模式的分析、仿真和验证的要求,为有效载荷系统的总体设计和集成测试提供了重要的参考。

基于改进OOPN的有效载荷系统测试用例生成方法

针对空间有效载荷系统集成测试用例生成问题,在分析任务特点和测试技术发展趋势的基础上,采用改进面向对象Petri网(improved object oriented Petri net,IOOPN)的建模技术,提出了一种基于IOOPN模型自动生成测试用例的推理方法。该方法建立了对象工作模式的识别规则,采用启发式搜索生成单对象测试序列集,引用时间标尺实现系统级测试序列规划算法,满足了有效载荷系统级的测试要求,提高了测试的效率和水平,成功应用于某卫星科研实践。

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

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

基于性能分析的一种OOPN关联矩阵建立方法

目的从性能分析角度建立面向对象Petri网(OOPN,Object-Oriented Petri Nets)关联矩阵。方法通过建立OOPN中可量化的基本元素包括:资源、弧的权重等的数量化模型以及双向弧、同步通道等的性能等价模型,从而得到OOPN的数量化模型。结果基于数量化模型完成了OOPN关联矩阵的建立,以公路施工中的土方装载、运输、平整为例演示了该方法。结论利用该方法建立的OOPN关联矩阵能够对资源均衡配置等性能指标进行优化计算,对生产实践具有指导意义。

基于OOPN的MMS通信服务的建模及实现

为了更方便地研究IEC 61850的底层映射制造报文规范(MMS),本文引入一种具有分层和嵌套性质的对象Petri网,将MMS中两个最重要的对象建立对象Petri网模型,解决MMS协议中对象模型内部和多个对象模型之间的事件服务与状态转移问题。最后以日志对象管理模型为例,完成了客户/服务器环境下MMS通信服务的实现。这对建立MMS协议的整体面向对象Petri网具有重要的指导意义,也会进一步促进IEC 61850标准的建模和实现。

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

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

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

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

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

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

OOPN下基于优先级算法的Web服务组合

结合面向对象技术和Petri网技术的优点,将Web服务映射为一个对象,把对象抽象为一个方法的集合,通过对象的输入输出消息接口在方法层上讨论Web服务的组合。给出第一、第二优先级的定义,设计一个优先级算法,根据优先级能够选择出最佳的Web服务进行组合,从而得到最优组合Web服务,满足用户的服务请求。最后,给出一个Web服务组合的实例,验证算法的正确性。