基于对象Petri子网模型的列车群分布式仿真

为提高效率,增强真实度和可信度,采用分布式仿真解决列车群行为的分析和验证问题,并基于列车群的对象Petri子网模型(TGOSOPS)实施分布式仿真系统。针对模型到仿真系统的逻辑映射、运行中的动态关联以及依靠模型处理仿真冲突和时间协调等问题,提出由终端上的列车仿真应用模块和服务器上的全局控制模块构成分布式仿真系统框架,并对TGOSOPS按照功能进行划分,使其和分布式框架有机结合和映射。根据系统结构,结合动态离散事件系统的仿真思想,明确系统中各类实体和事件间的逻辑关系,采用定时与主动对象(主动成分)扫描相结合的方法,建立分布式仿真策略,包括客户端和服务器端两部分,从而实现模型到系统的动态关联,并采用空消息算法消除策略死锁。采用一个统一的全局时钟来调整局部时钟的时间周期,以实现分布时钟的协调。路网图、运行图、模型库和各种信息库等都以全局数据库的形式存储在服务器上,在仿真过程中,根据实验推进的需要可以随时从服务器上读入所需信息和数据。

异构传感器网络多目标多重覆盖策略

在传感器网络环境监测应用中,常存在多种监测对象。此类应用中,每个异构网络节点搭配不同类型的传感器,要求网络部署可多重覆盖监测区以监测各个子对象。针对节点随机分布的传感器网络,该文提出一种平均子网寿命模型以评价网络中某子对象的监测寿命。在给定成本预算与各子对象的基本覆盖率需求下,采用一种基于整数向量规划的多目标多重覆盖算法权衡成本、网络覆盖性能以及网络中不同子对象的监测寿命。该算法分两部分,首先确定监测不同子对象的传感器数量,然后基于平均子网寿命模型,确定不同类型的异构节点数量。针对向量规划问题,文中给出两种不同次优解法。在仿真实验部分,将不同次优解法进行了对比,并分析了算法计算复杂度。仿真示例验证了该文的覆盖算法在多对象监测应用中的有效性。

基于分层思想的基本通信系统CPN建模

针对通信系统建模复杂度高、可靠性差、模型缺乏形式化验证方法以及可重用性差的问题,提出一种基于分层思想,并结合面向对象的概念,利用着色Petri网(CPN)对基本通信系统进行建模的方法。该方法融合CPN和面向对象技术的优点,从形式化、可视化的角度描述基本通信系统的运行过程。以一个简单的基本通信系统为例进行建模,证明该模型与实际系统中的对象可以相互对应,易于理解和实现。

OOCPN在OOSD中的应用

引进了面向对象着色Ｐｅｔｒｉ网的概念。