基于着色Petri网的协调策略建模研究

提出了一种基于着色Petri网（CPN）的协调策略描述方法,在介绍CPN基本构成的基础上,对计算机支持的多层次协同工作系统（CSMMCW）中的协调策略进行了建模。利用CPN,对组间和组内协同工作,通过建立任务执行工作流和CPN之间的映射关系来准确地描述各种协调策略。文章举例具体说明了如何建立组内协调策略的CPN模型,并对该模型进行了仿真。仿真结果表明,该模型能够有效地描述在协作过程中的动态行为,利于分析和验证,并且易于实现。     

基于OPN模型的装备维修保障系统动态性能仿真

为克服用数学方法分析装备维修保障系统的OPN(Object-oriented Petri Net) 模型数量庞大和结构复杂的问题,提出了用CPN(Colored Petri Net) tools 仿真软件分析装备维修保障系统的OPN模型,成功地构建了对装备维修保障系统OPN模型的CPN仿真模型,并用CPN tools对装备维修保障系统的OPN模型进行动态性能仿真。结果表明,用该方法分析装备维修保障系统的OPN模型动态特性是合理可行的,无任何冲突和死锁现象。     

利用着色Petri网检测小灵通双振铃与游子归家的话务循环问题

提出了一种可在建模和仿真阶段进行业务冲突检测的着色Petri网模型,为了克服Petri网的状态爆炸问题,引入了使用实例驱动法,即以引发序列仿真系统的典型行为,有针对性地检测业务冲突的发生.最后,以一个真实的案例说明模型的应用.本方法适用于着色Petri网的仿真工具CPN Tools.     

CTCS-3级列控车载设备的形式化建模与验证

CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Petri网(CPN)建立车载设备的信息交互模型以及工作模式转换模型,使用ASK-CTL分支时序逻辑公式验证了模型的死标识、死锁以及分析工作模式下的系统行为等特性,验证构建的CPN模型符合系统规范要求的流程及规则,可为相关安全苛求系统的设计提供一定参考。     

舰艇作战系统武器通道时延分析技术

武器通道时延是舰艇作战系统设计中的一项重要的动态指标,本文利用着色Petri网(CPN)对武器通道的执行过程进行动态建模,并研究了基于CPN模型对武器通道各种时延指标的计算方法。最后通过一个典型的防空武器通道的CPN建模和仿真计算验证了舰艇作战系统通道时延的动态计算方法。     

基于CPN的pub/sub系统中事件订阅的分析

提出了一种基于着色petri网（CPN）理论的pub／sub系统协议分析方法,并就一种p2p网络之上的pub／sub系统协议,用CPN对系统中的订阅事件的消息处理进行形式化描述和建模。用CPN Tools对模型进行模拟仿真,通过对模型的可达图进行分析,证明了协议具有活性、可达性和有界性等,验证了协议的可用性。     

CPN在移动代理网络入侵监测技术中的应用

详细阐述了一种将CPN实现的移动代理网络应用于入侵检测系统的模型设计。介绍了系统设计的理论基础、代理网络和CPN之间的转换以及系统模型结构，并分析了基于CPN实现的系统较其他系统的优势及未来发展方向。     

基于冲击波理论的信号交叉口最大广义排队长度计算方法

为了准确识别车辆排队溢流趋势,通过交通冲击波理论分析车辆排队的形成-消散过程,提出溢流安全距离计算方法,分析如何确定冲击波检测器的布设位置,在此基础上提出最大广义排队长度计算模型。通过VISSIM仿真试验对最大广义排队长度估算模型进行精度验证。仿真结果表明:最大广义排队长度的计算值与仿真值的相对误差平均值为6.46%,计算模型精度符合应用要求。     

关联交叉口间高饱和度路段排队长度研究

为了研究高饱和度路段车辆排队长度,根据高饱和度下车流离散小、车速趋于统一的特点对排队演变进行分析,并基于冲击波理论建立了排队长度计算模型。通过VISSIM仿真软件验证模型的适用性,设计了35组饱和度在0.40～1的仿真实验,将各组最大排队长度、排队最大时刻的仿真均值与计算值对比。仿真结果显示:饱和度处于0.9～1时,两者的仿真均值与计算值的相对误差均控制在5%～10%;利用模型分析了相位差对于最大排队长度的影响规律,为利用相位差进行溢流控制提供理论依据。     

具有备用服务员和不耐烦顾客的排队模型及其仿真

影响排队系统性能的因素有很多,在某些假设条件下,服务员的数量决定服务效率,而不耐烦顾客的存在会影响服务收益.传统的排队理论主要是针对不同时间分布类型的排队模型分别进行分析的,而蒙特卡洛仿真模型可以同时适应多种时间分布类型的排队过程.本文构建了几种常见条件下的排队模型,并利用蒙特卡洛仿真方法对其进行了模拟,特别是分析了若干常用指标.通过对这些模型的仿真结果比较分析,表明:若根据顾客排队的情况及时调整服务员数量,则既可以提高服务效率,又可避免过多资源闲置浪费以及顾客流失;同时,仿真结果的各项指标可以作为设置排队类型及其模型参数的依据,为有关决策提供参考.     

面向CPN属性的测试序列的自动生成方法

CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。     

基于系统代数的仿真模型自动生成研究

计算机仿真在现代科学研究和工程应用中起着重要的作用,而复杂系统模型的建立往往需要占用大量时间和资源。提出以系统代数为工具,建立仿真系统元模型,根据已知约束,对不同运行逻辑的系统仿真模型自动生成并运行。对系统代数提出Merge算子,使其更适合建立较复杂系统的仿真模型。并使用该方法分别对产品设计和简单物流系统进行了仿真。此方法能够快速产生多个仿真模型,节省了对同一系统的不同运行逻辑进行重复建模的时间,提高应用仿真方法对系统进行分析的效率。     

预拌混凝土泵送施工系统的排队仿真与配置优化

基于排队理论研究预拌混凝土泵送施工系统的综合性能与配置优化.运用仿真工具建立混凝土泵送施工系统排队仿真模型,探讨混凝土泵车数量变化对系统综合性能的影响规律,发现随着泵车数量的增大,系统性能逐渐变好,泵车繁忙率降低,排队队长和排队时间降低,可服务的混凝土运输车数量增多,且存在一个最优泵车数量值.通过构建混凝土泵送系统最优配置模型,探讨泵车数量、泵车效率、混凝土运输车间隔时间之间的关系,指出提高混凝土泵送施工系统性能的措施.该排队系统仿真模型与实验结果对施工管理具有一定的理论和实践意义.     

电动汽车快速充电站需求分析与设备优化方法

电动汽车快速充电站是城市未来重要的基础设施,其规划建设是否合理直接影响到城市交通体系的运行和电动汽车产业的发展.以城市电动汽车日充电量为基础对快速充电站总量进行了预测,通过分析电动汽车快速充电站车辆到达及充电时间的特征,引入了随机服务系统,建立了排队系统模型,计算了平均逗留时间和充电机空闲时间的比例等指标.采用愿望模型分析方法,优化确定充电站的设备数量,既减少顾客的等待时间、解决排队拥挤现象,又有效减少充电站的投资.最后通过MATLAB实例仿真验证了该方法的有效性.     

T型非抢占优先权M/M/1排队系统

为了进一步优化认知无线网频谱的接入,在将T作为时间参数引入排队系统的基础上,提出了一种新的T型非抢占优先权排队策略,并将其引入M/M/1排队模型中,系统分析并推导出顾客在系统内的平均等待时间、平均逗留时间以及系统的平均队长.最后通过Matlab软件对顾客平均等待时间进行了仿真模拟.     

一类再励学习控制器设计及其在倒车模型中的应用

考虑到神经网络学习算法的特点,给出了一种基于再励学习的自组织模糊CPN,它结合了自组织模糊CPN和再励算法的优点,在控制过程中在线调整网络结构以及对网络参数学习,学习效率高,控制结构简单.可以不要求受控对象的学习模型,实现在线控制,应用在倒车模型中仿真结果展示了所设计系统的良好控制性能.     

多级可修服务系统的仿真及应用

本文基于现实系统各部分损失对整体性能的影响程度不同,提出具有不同服务类别要求的多级别可修服务系统.将该系统抽象为排队服务系统,应用排队理论知识建模,采用Matlab进行仿真,准确得出各个系统指标.多次仿真实验表明,所建模型合理,仿真结果稳定,为系统管理人员正确管理决策提供了重要的参考依据.     

复杂排队系统的逆向仿真

文章以多个急救站组成的城市救护系统为背景，提出了采用逆向仿真技术解决此类复杂排队系统的设计问题，文中介绍了该系统的逆向仿真模型，对仿真结果进行了分析和讨论，并用传统的仿真技术对结果进行了验证．     

超市款台结算方式的优化调整

排队现象是一种在现实生活中经常遇见的情景,在超市款台结算时,为了使顾客在支付货款时的排队时间尽量地缩短,提高顾客对超市的满意程度,同时降低因雇用收款员而支付的成本。针对超市款台结算方式的优化调整,即:如何减少顾客的排队时间,使用运筹学排队论理论建立了仿真模型。并对现有系统和倡议系统进行比较,最终得出在多次仿真的情况下倡议系统比较合理,所以应该提倡超市使用此系统。     

排队论在垃圾转运站设备优化配置中的应用

根据对垃圾收集运输过程随机动态特征的分析,提出了一种以排队论为基础的转运站设备配置方法。通过引入M/M/S排队模型,构建了垃圾转运站排队服务系统费用模型,以系统总费用最小来进行转运站压缩设备的配置,并以重庆市某垃圾转运站为例进行了实例分析。结果表明,与传统静态方法相比,采用排队论方法进行转运站设备配置,垃圾转运站系统的总费用可降低7.5%,垃圾收集车辆的平均逗留时间系数由0.16降为0.1,车辆排队长度系数由4.47降低为2.71,转运系统具有更好的经济性和抗风险能力,达到优化配置的目的。