飞行保障过程UML建模与ARENA仿真

利用统一建模语言UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图、活动图以及协作图.构建了CMV(控制-模型-视图)仿真软件架构.在此架构下,利用过程仿真软件Arena对所建模型进行了仿真.结果表明:网络化条件下的主动保障方式的保障时间可以比传统的被动保障方式的保障时间缩短4.3分钟,保障效率提高10.5%.     

基于ARENA的UML建模及其在飞行保障中的应用

航空兵场站飞行保障是一个复杂的动态过程.结合Arena与UML两种工具的优点,利用UML建立了航空兵场站飞行保障过程模型,包括飞行保障过程的类图、状态图和活动图.并构建了CMV (模型-视图-控制)仿真软件架构.并对CMV进行了详细阐述.利用Arena对CMV架构进行了程序实现.按照主动保障和被动保障两种策略分别对UML模型进行了仿真.仿真结果表明,在现有保障装备的基础上,通过优化保障流程可以较大的提高场站的飞行保障效能.     

离散事件系统仿真程序的正确性验证

本文在仿真事件图的基础上建立了离散事件系统仿真过程的数学模型,它包括事件表转移模型和状态空间模型,讨论了仿真过程数学模型在仿真程序正确性验证中的应用.     

装甲装备维修保障资源优化仿真研究

针对装甲装备维修保障资源配置数量优化测算问题,分析了装甲装备维修保障过程,基于离散系统建模理论,构建了装甲装备维修保障过程概念模型和数学模型;应用Anylogic仿真软件,建立了基于网络离散事件的装甲装备维修保障过程仿真模型,经过仿真运算,得到装甲装备维修保障任务满足度、资源利用率、平均在修时间等参数指标,进行了基于指标权重的维修保障资源评价,得到在不同条件下维修保障资源配置数的最优值,为装备维修保障资源优化研究提供一种新途径。     

飞机编队飞行保障系统的建模与仿真

采用先进建模仿真技术实现了非战时飞机编队飞行保障仿真系统。系统不仅能够建立飞机编队飞行保障过程模型,描述飞机编队飞行保障过程中的基本活动如飞行、故障发生、计划性维修及非计划维修;还能够按照各种事件的发生规律进行仿真,反映飞机编队在一段时间内累积飞行时间、定时维修及故障维修的情况。介绍了实际飞行保障过程,给出仿真模型描述,最后阐述了使用框图建模方法实现仿真系统的过程。     

航空兵场站油料库存控制仿真模型

围绕航空兵场站油料库存控制策略（补充时机、补充数量），做了如下工作：依据库存控制理论中的近似方法求得最优库存控制策略的初始值；给出了评价库存控制策略的评价指标及计算方法；建立了航空兵场站油料库存控制仿真模型和仿真方法；依据仿真模型和评价指标，通过仿真可以在最优库存控制策略初始值附近的一定范围内，搜索获取利于组织运输、操作方便实用的较优库存控制策略。算例表明，文中所建的仿真模型和方法具有重要的理论和实际价值。     

保税港区运作系统的仿真建模

针对保税港区的海关监管、交通以及物流系统的运作过程，提出建立系统仿真模型的方法。首先，对保税港区运营系统中的海关监管及实体类型、码头及场站作业、交通网络、物流过程以及系统运行的主要影响因素进行了分析；其次，在海关监管的条件下，从物流和交通两个角度入手建立了保税港区运作的离散事件系统仿真模型；最后，通过实例研究分析了系统的瓶颈因素，验证了模型的有效性。     

基于UML-ARENA的建模与仿真方法研究

为开发出便于复用、扩展的离散事件仿真系统,提出了一种新的建模与仿真方法——UML-ARE-NA。该方法利用统一建模语言UML对系统建模,利用仿真软件ARENA对所建模型进行仿真。该方法不仅规定了仿真系统的开发步骤,还设计了对象模型转换规则以及ARENA映射规则。整个开发过程分为建模与仿真两个阶段。在建模阶段,首先通过对系统进行概念分析,设计出系统的功能模型和动态模型。然后利用对象模型转换规则将功能模型和动态模型转化为对象模型。在仿真阶段,利用ARENA映射规则将对象模型转化为ARE-NA仿真程序。通过飞行保障过程的一个仿真实例对该方法的有效性进行了检验。     

SIMSCRIPT仿真语言在混合仿真中的应用

分析了离散事件系统仿真的三种主要方法各自的特点，通过比较得出，进程交互法是适合混合仿真的离散事件系统仿真方法。接着介绍了仿真语言ＳＩＭＳＣＲＩＰＴⅡ．５的混合仿真功能，着重介绍了它对离散事件子系统的连续时间子系统仿真时间同步的支持。对多模型建模的有关参考文献中的一个实例，描述了其混合仿真模型，该混合仿真模型是多抽象层次的，与人们对建模对象的认识理接近。最后介绍了利用ＳＩＭＳＣＲＩＰＴⅡ．５对该实例     

基于多核平台的乐观并行离散事件仿真

计算机处理器的发展已进入多核时代,为并行离散事件仿真的推广提供了良好的契机。分析了离散事件仿真多核并行化的并行编程模型及时间同步问题,采用乐观同步协议设计实现了一个基于多核平台的并行离散事件仿真引擎。在具有8个执行核的惠普多核服务器上,使用Phold模型系统地测试了并行仿真引擎的各项开销以及事件粒度、进程数目、前瞻量、事件的本地性对仿真性能的影响。实验结果表明,对于事件粒度较大的仿真应用,基于多核平台的乐观并行离散事件仿真能获得良好的加速比。     

交互式飞行视景仿真系统的设计与实现

基于六自由度运动模型,提出了Vega环境中飞行运动的数学表示及其C 语言描述方法,构建了通用的基于C /Vega的交互式飞行视景仿真系统的驱动程序流程和模块化功能结构,并基于MFC构架利用Vega的实时仿真驱动开发了交互式的实时飞行视景仿真系统。该系统可与控制主机、光电跟踪设备一起形成控制闭环,模拟飞机对运动目标的跟踪过程,并将相应的飞行参数以仪表的显示方式输出,辅助用户测试和评估光电跟踪设备的性能。     

基于LP范型的反应-扩散系统随机仿真平台研究

随机仿真是描述反应-扩散系统随机特征的一种重要研究方法,但这种仿真的计算量很大,非常耗时,需要并行离散事件仿真PDES技术的支持。针对反应-扩散系统的特点,基于JAMES II离散事件仿真实验框架,设计实现了基于逻辑进程LP范型的并行分布式反应-扩散系统随机仿真平台。主要设计实现了LP范型模型接口、PDES仿真器以及分布式通信方法。利用该平台建立了经典反应-扩散Lotka-Volterra系统LP范型仿真模型,实验结果复现了Lotka-Volterra系统的震荡特性,验证了平台的有效性。     

连续/离散混合型制造系统的生产过程虚拟仿真建模

离散事件仿真建模被广泛应用于制造系统的设计及运行控制,但是很多制造系统兼有离散系统和连续系统的特点。提出一种将离散事件与连续系统结合起来的仿真建模方法,以支持动态展现这类制造系统的生产过程。该方法的主要思想是,主机内部的机构运动主要采用连续系统进行仿真建模,而主机之间的加工顺序则利用离散系统来构建其仿真模型,然后由统一的仿真管理器管理。论文详细描述了虚拟仿真引擎中的仿真时钟推动机制,并用这一方法建立了面向啤酒灌装生产线生产过程的虚拟仿真模型,说明了这一方法的可行性。     

基于DEVS原子模型的智能体离散仿真构建方法

智能体由于自身交互行为与学习行为的复杂性,难以直接被建模和仿真.针对智能体离散仿真中的常见问题,借助DEVS (discrete event system specification)原子模型的事件转移机制表示智能体的交互与学习过程,通过对智能体交互模式、多状态外部事件转移控制、端口连接模式、以及强化学习事件转移表示等...     

仿真建模与形式化

离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用, 在仿真研究中仿真建模是一项十分复杂而且难以掌握的工作。对仿真建模形式化的研究可以增强对离散事件系统的认识, 改进仿真建模过程、从而构造出更有效的仿真模型。本文讨论了形式化在仿真建模中的作用, 回顾了在仿真建模形式化方面所进行的研究工作, 重点讨论了基于系统理论的形式化系统描述和离散事件仿真的数学形式理论。     

StarSim:支持快速构建的离散事件系统通用模拟框架

离散事件系统是研究和实践中常见的一类目标系统,使用软件对其进行模拟是有益甚至必须的。提出支持快速构建的离散事件系统通用模拟框架StarSim,为离散事件系统快速构建软件模拟器。StarSim设计简单通用的系统抽象模型以支持快速构建目标系统模拟器,提供基于事件的实体间交互方式以表达目标系统中的交互行为,引入简化的对象请求代理技术以透明的支持分布性,使用基于令牌分发的多线程技术以并行处理目标系统中同时发生的事件,预留可定制的监测和控制接口以灵活的监控目标系统,使用Java语言编写以确保移植性。为一个混合类型离散事件系统快速构建模拟器,验证了StarSim的诸特性和快速构建能力。     

自动化立体仓库输送系统调度的优化仿真及其应用研究

分析了自动化立体仓库输送系统的若干调度问题,给出了启发式调度规则和优化算法,建立了该离散系统的仿真Ｐｅｔｒｉ网模型,在此基础上,对系统进行了动态的优化仿真,仿真结果表明了调度规则和算法的正确性和有效性,使得系统物流更加畅通和平滑。