离散事件

摘要： 为了提高含不精确计算下实时系统运行性能,提出一种不精确离散事件系统模型。系统的行为分为强制和可选两部分,从而使得处理器能够更可靠地完成实时任务调度。仿真分析的结果表明,通过丢弃可选任务作为防止溢出的措施,非精确模式下的平均响应时间小于精确模式,并由此进一步验证了所提出的方法的有效性。

摘要： 半实物仿真仿是一种将实物设备连接到网络通信系统仿真中的联合仿真方法,以便在网络通信系统仿真中实时加入真实业务数据,从而提高网络通信系统仿真的精确性、保真性及可靠性。EXata作为一款专业的离散事件网络仿真工具,特有的添加了实时仿真内核,配合相关接口的使用,可高效便捷地实现网络半实物仿真。文章以EXata软件为例,介绍了使用其进行半实物仿真的方法并给出相应仿真测试结果。

摘要： FMS柔性制造系统所涉及的工艺基础较为复杂,在系统初始阶段需要按照成组的加工对象确认工艺过程,详细设计、建模与仿真,并且由计算机控制,自动调整并实现多品种工件、中小批量的高效生产。FMS柔性制造系统与自动化、计算机、数控、物流、刀具等多个技术点相关,系统设计投入规模较大,风险较高。FlexSim软件是柔性制造系统进行生产线仿真的最佳选择,面向对象的仿真环境,能够在设计阶段建立离散事件流程过程,大大降低FMS柔性制造系统的设计风险,已经得到广泛的应用。

摘要： 随着公共交通的快速发展,公交运营规划的相关研究对于城市交通系统的运行具有重要意义。司机调度问题是公交运营规划研究的重要组成部分,该问题因满足相关劳动法规约束而被视为NP-hard问题。我国公交存在的早晚班制和司机用餐时间窗使公交司机排班问题更加复杂,一些主流调度方法并不能很好解决这一问题。针对该问题,以最小化司机排班计划总成本为目标,考虑早晚班制、司机相关工作法规及用餐时间窗的单线公交司机排班计划来构建网络流模型,并提出一种基于离散事件模型和变邻域搜索算法(VNS)对问题进行求解。最后,设置11组算例,验证所提出的网络流模型和基于离散事件模型的变邻域搜索算法有效性。算例结果显示,在小规模算例中VNS算法能快速得到与CPLEX相近的解,在大规模算例中可快速获得问题的可行解。

摘要： 受仿真设备性能的限制,基于RTW的电力电子详细模型实时仿真步长可以显著提高仿真效率,但将步长增大后PWM会产生开关时延,造成数值振荡影响仿真精度.针对该问题采用基于事件开关时刻插值预测仿真方法,该方法首先通过后向欧拉法提前预测一个步长找到PWM开关切换点,以载波与调制波对比后的过零点为插值点,通过Discrete-event功能进行建模,以开关时刻为事件,对模型进行事件插值,因此可以不受步长限制进行插值开关,并可以解决多重开关问题.最后在Simulink中对IGBT/Doide变流器进行行为建模,通过面积等效原理还原电压波形,并应用于三相背靠背变流器的控制中,对5μs步长的常规详细模型与50μs步长带事件插值模型的控制效果、谐波含量以及仿真耗时进行对比,证明基于事件插值PWM变流器建模方法的正确性和高效性.

摘要： 为了精确掌握高速磁浮铁路车站列车作业过程及相应的设备使用状况,为车站设备能力分析、车站作业组织优化等提供依据,针对具备列车始发终到能力的高速磁浮铁路车站,基于离散事件仿真框架,结合高速磁浮铁路车站作业过程和要求,定义17类车站作业事件及其关联关系、车站状态属性,设计高速磁浮铁路车站作业仿真算法,对高速磁浮铁路尽端式车站的车站作业进行仿真.仿真结果表明,随着车站空线系数增大,相应的股道能力利用率普遍增大;始发终到列车占比和立折列车占比对车站股道及道岔利用率影响较高;所提出的仿真算法能够分析车站作业对车站相关设备利用率的影响.

摘要： 市域铁路客流潮汐现象明显,早晚高峰尤为突出,这些特点导致市域铁路车辆运用相较地铁存在明显差异,因此需要针对性地研究适应市域车辆运用特点的车辆检修体系.车辆基地总平面设计作为车辆检修效率和经济性的重要决定因素,需进行重点研究.文章针对市域铁路车辆运用特点研究"检修集中,停检分离"模式下的车辆基地检修效率和经济性问题,利用离散事件系统仿真方法量化不同总平面方案下车辆基地检修能力,并对咽喉区平行径路参数和总平面布置方式适应性进行分析,提出库前设置存车线的总平面布置方案,以解决2级2场总平面方案中咽喉区平行径路通过能力制约车辆检修能力的问题.

摘要： 介绍了系统建模与仿真的相关概念,分析了离散事件建模、系统动力学建模、基于智能体建模等代表性仿真建模方法在血液保障领域的应用现状及适用性和局限性,指出了系统建模与仿真可以为血液保障链条和资源配置优化提供科学高效的研究手段,提出了下一步的研究重点为加强混合建模与仿真方法的运用、探索建模与仿真方法同智能优化算法的结合以及加强应急血液保障的模拟仿真研究.

摘要： 针对大涵道比涡扇商用航空发动机的脉动式装配线建设需求,利用价值流分析工具和离散事件仿真技术对脉动式装配线进行建模,并对关键生产指标及其主要影响要素进行仿真及优化,量化分析了主要影响要素的关联特性以及对总体产能的贡献规律.构建了典型航空发动机脉动式装配价值流模型和仿真技术方法,支持先进脉动式装配线建设和产能规划论证,并为现有批产装配线的改造升级提供技术参考和借鉴.

摘要： 目的:设计平战时批量伤员航空医疗后送卫勤决策支持模拟系统,实现航空医疗后送管理信息化.方法:整个系统采用浏览器/艮务器(Browser/Server,B/S)架构部署,采用Java语言开发,分为PC客户端浏览器和服务端2个部分,包含决策建模、仿真推演、基础数据管理和系统管理等主要功能模块.该系统采用泊松分布、韦布尔分布、离散事件仿真等技术方法对伤员生成、生存、决策方案等进行建模,模拟平战时不同环境批量伤员的航空医疗后送过程和决策,对卫生资源进行优化配置.结果:该系统能够对抗震救灾、大规模作战等环境背景下的批量伤员航空后送过程进行仿真推演,并依据推演结果对救治链构成及卫生资源配置进行优化,为决策者提供科学决策的依据.结论:该系统可以为卫生资源的合理配置和科学调派提供决策支持工具,能够科学统筹航空医疗后送的过程管理,大大提升卫勤指挥人员的决策水平和能力.

摘要： 全局业务优化的需求使得传统的模拟方法迫切需要与近年来的新的计算机的软硬件技术和方法结合,离散事件与基于智能体的建模方法集成可以使建模者深入研究复杂系统内部相互依赖的过程间的互动.分析了离散事件模拟系统与基于智能体的建模方法的区别与联系,给出了二者集成的总体思路;分析了基于java消息服务(JMS)的消息总线(Message bus)技术作为构建集成模拟系统的关键技术的可行性,并采用实现JMS的工具Jboss来实现集成模拟系统;最后通过一个实例来验证集成模拟系统的有效性.

摘要： 本文提出一种区别于传统回合制推演方式的近实时推演策略,通过分析战役级兵棋各作战行动的执行周期,确定行动持续时间,使用统一的作战时间推进和管理机制,实现对作战时间推进的灵活控制,并建立一套由作战时间推进驱动的态势推演方法,实现战场态势的实时演进.

摘要： 建模与仿真（M&S）技术是研究离散制造系统（DMS）的新途径。首先分析了DMS的特点及其对M&S的要求，并对仿真技术在DMS中的应用加以归类；然后以DMS为主要研究和应用对象，综述了国内外在离散事件仿真（DES）软件、系统建模和仿真优化各方面的研究现状；基于文献研究，总结了目前该研究领域存在的问题及发展方向。

摘要： 运用离散事件仿真方法,对地空导弹武器系统地面设备使用可用度进行仿真评估,克服了解析方法对三类时间分布的限制,适合三类时间服从任意分布的情况.算例分析了三种维修策略情况下各种因素对可用度的影响,证明提出的方法是合理和有效的.

摘要： 给出了采用规则化描述方法设计的离散事件控制系统中，将规则转换为较为简单的规范化形式—Horn子句形式的方法，提出了将采用逻辑规则描述语言编写的规则组中的else语句转换为Horn子句形式的方法，使得规则的形式单一化、规范化，从而减少对规则进行处理的复杂性。

摘要： 在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构, 目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其显式控制器,然而上述方法只是局限于库所层面的简化,而从另一个方向,即变迁层面的简化来扩展受控Petri网的显式控制器的设计,能够进一步解决最大不可控子网含环状结构后的显式控制器的求解难题。

摘要： 本文基于离散事件描述规范DEVS,提出了基于组件的DEVS仿真模型框架。根据DEVS仿真模型描述层的特点,提出了DEVS模型组件的XML表述形式,并详细介绍了XML和DEVS的映射关系以及XML用于描述仿真模型的能力。最后,给出了飞机组件模型基于XML语言描述的仿真实例。

摘要： 本文旨在考虑列车速度变化影响下,探究最少延迟时间情况下的列车运行时刻表.在考虑铁路线路上每列车可行的速度约束的条件下,建立了一个严格的数学优化模型以获得近似最优的列车调度策略.结合改进的TAS 算法和遗传算法,提出了求解该模型的有效算法,即GA-TAS 算法.数值实验的结果证明了该算法的效率及其有效性.

摘要： 本文旨在考虑列车速度变化影响下,探究最少延迟时间情况下的列车运行时刻表.在考虑铁路线路上每列车可行的速度约束的条件下,建立了一个严格的数学优化模型以获得近似最优的列车调度策略.结合改进的TAS 算法和遗传算法,提出了求解该模型的有效算法,即GA-TAS 算法.数值实验的结果证明了该算法的效率及其有效性.

摘要： 本文旨在考虑列车速度变化影响下,探究最少延迟时间情况下的列车运行时刻表.在考虑铁路线路上每列车可行的速度约束的条件下,建立了一个严格的数学优化模型以获得近似最优的列车调度策略.结合改进的TAS 算法和遗传算法,提出了求解该模型的有效算法,即GA-TAS 算法.数值实验的结果证明了该算法的效率及其有效性.

摘要： 本发明提供了一种离散事件关联处理方法和离散事件关联处理装置，其中，离散事件关联处理方法包括：在获取到当前事件时，检测当前事件是否为疑似关联事件；在检测到当前事件为疑似关联事件时，判断当前事件是否与当前状态机队列中的任意一个状态机匹配；在判定当前事件与当前状态机队列中的任意一个状态机匹配时，根据当前事件执行当前状态机队列中的任意一个状态机的状态变迁；检测当前状态机队列中的任意一个状态机是否结束匹配判断；在检测到当前状态机队列中的任意一个状态机结束匹配判断时，根据当前状态机队列中的任意一个状态机生成整体事件。通过本发明技术方案，提升了关联事件识别的可靠性，并且提升了数据实时处理的效率。

摘要： 本发明提出一种面向SIMSCRIPT语言的离散事件仿真事件队列可视化方法，包括打开仿真程序，使用界面配置模块设置界面配置参数；使用查询控制模块建立SSH会话开始运行程序；启动SIMDEBUG工具，使用查询控制模块查询事件列表；使用数据解析模块获取全部事件类型；依次获取各事件类型的列表信息；使用可视化模块绘制事件列表。本发明可在调试模式下借助SIMDEBUG调试工具，自动循环遍历事件队列，将仿真程序事件列表中的所有事件按照事件类型和发生时间两个维度进行图形化展示，并通过手动点击实时刷新或者定时自动刷新方式更新展示信息，全面呈现事件队列。该方法操作简单，展示效果直观，能够克服现有事件查询模式中用户需要手动逐条查询事件相关信息的弊端。

摘要： 一种基于事件控制函数的离散事件系统监督控制器及控制方法，包括控制装置，所述控制装置包括若干个控制单元，一个管理单元，一个事件选择单元和一个系统状态跟踪单元；所述系统状态跟踪单元组合出整个系统当前时刻的状态，并且输出给各个控制单元和管理单元；每个控制单元的功能是使被控系统满足控制指标的要求；管理单元管理各个控制单元，协调各个控制单元的输出；控制单元和管理单元将控制和管理信号输出至事件选择单元，事件选择单元据此选择使能的事件，并输出至所述系统，以此完成对被控系统的控制。本发明能够有效地避免控制器状态爆炸式增长问题，解决了一类离散事件系统的控制问题，并且保证闭环系统的运行特征满足控制指标的要求且是非阻塞的。

摘要： 本发明提供了一种离散事件关联处理方法和离散事件关联处理装置，其中，离散事件关联处理方法包括：在获取到当前事件时，检测当前事件是否为疑似关联事件；在检测到当前事件为疑似关联事件时，判断当前事件是否与当前状态机队列中的任意一个状态机匹配；在判定当前事件与当前状态机队列中的任意一个状态机匹配时，根据当前事件执行当前状态机队列中的任意一个状态机的状态变迁；检测当前状态机队列中的任意一个状态机是否结束匹配判断；在检测到当前状态机队列中的任意一个状态机结束匹配判断时，根据当前状态机队列中的任意一个状态机生成整体事件。通过本发明技术方案，提升了关联事件识别的可靠性，并且提升了数据实时处理的效率。

摘要： 本发明公开了离散事件无线网络仿真事件聚合方法及聚合加速性能验证方法，网络仿真中节点发送分组至信道，信道遍历其所连接的其余接收节点，并将分组转发至其余接收节点，信道保存每个节点对应的所有接收分组。在接收节点第一个分组到达时注册聚合接收分组事件，之后每缓存一个新分组更新接收事件的预定处理时间。到达事件预定处理时间时，仿真调度器提取该事件处理，批发处理全部分组，保持仿真结果的正确性。本申请将分组接收事件进行聚合，可以减少离散事件数量，提高仿真计算速度。

摘要： 本发明涉及一种基于离散事件系统的无损事件压缩方法，包括给定离散事件系统及其产生的源事件序列得到最小可恢复的压缩事件序列；给定第一压缩协议：保留源事件序列中的最后k个事件；给定第二压缩协议：对于任何循环子事件序列，至少保留一个事件，建立压缩自动机模型表示给定压缩事件序列所有可能的源事件序列，基于该压缩自动机模型检测给定压缩事件序列是否1‑阶可恢复以及是否满足第二压缩协议，分别提出离线无损事件压缩方法和在线无损事件压缩方法。本发明利用了系统动态产生的信息冗余，作为基于系统的压缩方法，减少存储资源，在节省更少动作的同时，保证能够追踪到系统发生的所有动作。

摘要： 一种并行离散事件的事件集中发射式的仿真执行方法及系统，方法包括：创建线程池，其中时间管理器占用一个线程，其余的线程为执行线程，时间管理器建立可执行事件队列，并将可执行事件队列中的事件分配给多个事件管理器进行执行；可执行事件队列中按照时间戳、优先级顺序对事件进行排序；当可执行事件队列中有多个事件同时满足最小可执行事件时间戳和优先级条件时，按顺序对处理线程池中的线程依次派发事件。本发明可以从减少事件管理器向时间管理器请求时间同步的次数和减少向CPU申请计算资源的次数，优化了执行效率，并且多个事件管理器同时执行事件的处理，避免了多个事件管理器之间负载不均衡的问题。

摘要： 本发明提出一种面向SIMSCRIPT语言的离散事件仿真事件队列可视化方法，包括打开仿真程序，使用界面配置模块设置界面配置参数；使用查询控制模块建立SSH会话开始运行程序；启动SIMDEBUG工具，使用查询控制模块查询事件列表；使用数据解析模块获取全部事件类型；依次获取各事件类型的列表信息；使用可视化模块绘制事件列表。本发明可在调试模式下借助SIMDEBUG调试工具，自动循环遍历事件队列，将仿真程序事件列表中的所有事件按照事件类型和发生时间两个维度进行图形化展示，并通过手动点击实时刷新或者定时自动刷新方式更新展示信息，全面呈现事件队列。该方法操作简单，展示效果直观，能够克服现有事件查询模式中用户需要手动逐条查询事件相关信息的弊端。

摘要： 本发明公开了一种离散事件系统事件不完备模型的诊断方法，其目的是为了解决离散事件系统故障诊断中模型为事件不完备模型时得不到诊断结果的问题。技术方案针对离散事件系统事件不完备模型的特点，将其分为未定义转移和未定义突发事件两种类型，并在此基础上，针对上述两种类型分别发明了基于相关事件信息诊断算法和基于相关迁移状态诊断算法。结合上述两种算法，发明了一种离散事件系统事件不完备模型的诊断方法来改进现有方法中将其统一表示为模型事件不完备度而造成漏诊和误诊问题。该方法中还包括了基于观测序列改进不完备模型的算法，在诊断过程中通过向模型中添加未定义转移，并补充触发转移的未定义事件，从而使系统模型的完备性逐步得到改进。

摘要： 一种基于事件控制函数的离散事件系统监督控制器及控制方法，包括控制装置，所述控制装置包括若干个控制单元，一个管理单元，一个事件选择单元和一个系统状态跟踪单元；所述系统状态跟踪单元组合出整个系统当前时刻的状态，并且输出给各个控制单元和管理单元；每个控制单元的功能是使被控系统满足控制指标的要求；管理单元管理各个控制单元，协调各个控制单元的输出；控制单元和管理单元将控制和管理信号输出至事件选择单元，事件选择单元据此选择使能的事件，并输出至所述系统，以此完成对被控系统的控制。本发明能够有效地避免控制器状态爆炸式增长问题，解决了一类离散事件系统的控制问题，并且保证闭环系统的运行特征满足控制指标的要求且是非阻塞的。