离散事件仿真语言GPSS—F的改进与扩展

离散事件仿真语言GPSS-F是被广泛使用的一种仿真语言。为了提高仿真效率,我们对GPSS-F作了部分改进与扩展。主要包括:增加了仿真模型分析、仿真优化两个功能模块,并对原GPSS-F的事件表数据结构及流程管理程序作了改进。     

离散系统仿真技术研究

针对离散系统仿真基本技术特点，文章重点对系统仿真程序结构，软件模块组织，以及ＧＰＳＳ－Ｆ仿真语言使用特点和存在问题进行了研究。文章可对离散系统仿真设计提供参考。     

港口的GPSS—F仿真模型

本文在国内首次运用 GPSS-F 仿真语言进行港口仿真,建立了船、车、港、货一体的比较完整的港口仿真模型,提出了一套相应的参数处理方法和方案评价指标.该模型能研究最佳泊位数、最佳装卸设备配置、最佳过驳比例、车港最佳配置等一系列港口规划营运问题.本文还以上海港某装卸区为背景,进行了最佳泊位数和最佳浮简过驳比例的实际仿真研究.本文工作对港口仿真建模有一般意义,并有相当应用价值.     

仿真语言及仿真软件的现在与展望

本文回顾了仿真语言的发展历史,指出了对一个仿真语言性能的评价,分析了几种典型的和最新的仿真语言及仿真软件的功能和特点,并阐述了仿真语言和仿真软件的发展动向。     

并行GPSS模拟语言的设计和实现

GPSS是一种广泛使用的模拟语言.目前已商用化的GPSS版本都是用于单处理机的.为提高模拟速度,使GPSS能在松散耦合的多处理机系统上运行,本文提出了并行GPSS模拟语言的设计和实现.     

基于GPSS／H和GKS的FMS物流系统的动画仿真

本文介绍了在ｓｕｎ－３工作站上实现的ＦＭＳ动画仿真系统。该系统在开发Ｓｕｎ－３的ＧＰＳＳ／Ｈ及Ｓｕｎ ＧＫＳ软件的基础上，用Ｃ语言编制全部软件，具有良好的人机接口。利用该系统实现ＦＭＳ的动画仿真，具有易于建模和调试，开发周期短，符合标准化，易于验证正确性和可靠性等特点，为开发研制ＦＭＳ提供了有效的手段。这里着重介绍ＦＭＳ物流系统仿真的建模方法，软件设计以及仿真程序与动画程序的软件接口等。     

一种最优离散系统仿真新算法及其在柔性系统中的应用

具有FCFS服务规则，不同顾各类不同服务速率的离散系统仿真问题，无论是在理论上还是在实际中都大量碰到，尽管许多排队论学者长期致力于这方面的研究，但在解析方面几毫无进展，最后不得不暂时放弃析解想法，而寻求近似方法。然而现有近似方法还十分不完善，它们大都无法保证收敛，无法知道精度并存在计算工作量大等严重缺陷。特别是对FCFS服务规则，不同顾客类不同服务速度时，第三个缺陷尤为突出。本文对具有中央服务台形式，所有队列均有FCFC服务规则，不同顾客类不同路径和不同服务速率的网络进行了研究。借助BCMP网络群对原系统进行了无限逼近，使得等效网络与网络误差最小，且所得算法呈递推形式，计算量极小。     

基于Petri网的离散系统仿真方法研究

将Ｐｅｔｒｉ网（Ｐ网）的概念和方法应用于离散系统仿真的方法论研究中。提出了基于Ｐ网的系统化的离散系统仿真建模方法，重点研究了基于Ｐ网的仿真策略，探讨了Ｐ网仿真策略的实现方式，并对其特点进行了分析和讨论。     

离散系统仿真语言GPSS和Q-GERT及其应用

本文对目前世界上广泛应用的两种离散系统仿真语言GPSS、Q-GERT分别作了简介,并结合运输系统的建模分析和应用,对二者进行了比较研究。     

关于离散事件系统异步仿真中时钟管理机制的理论探讨

介绍了一种新的离散事件系统异步仿真方法,该方法完全摆脱了事件表数据结构,各过程之间没有共享变量,也没有一个单独的过程来处理信息的传递和过程的调度,过程之间的通信由信息驱动,它不仅克服了集中式仿真中由全局时钟控制可能造成的系统瓶颈问题,而且也避免了死锁问题。     

基于RW框架的离散事件系统监督控制理论计算和仿真平台

介绍了一种以基于RW框架的离散事件系统监督控制理论为理论基础的计算和仿真平台,并通过实例验证了该平台的仿真效果和所包含的功能。该平台力求以完整的功能列表、友好的用户界面和强大的图形输出,帮助研究人员更好地应用该理论。     

先进分布仿真系统仿真语言规范研究

随着分布式交互仿真应用的不断扩展,研究先进分布式仿真系统仿真语言规范已成为当务之急。本文在介绍国内外有关研究的基础上,给出了先进分布仿真系统仿真语言规范研究需考虑的主要内容、设计原则及需解决的关键问题。     

计算机离散事件仿真的原理

在介绍有关系统、模型和系统仿真的基本概念的基础上,本文详细说明了计算机离散仿真,其中包括离散事件系统的基本要素、离散事件系统模型及离散事件系统仿真策略.     

仿真语言在系统仿真技术中的应用研究

仿真语言是进行数字仿真的重要工具。本文应用ＩＣＳＬⅡ仿真语言对一个实际工程系统设计方案进行了仿真论证研究。文章对仿真语言的应用提供参考。     

基于MATLAB的离散系统仿真程序设计

当控制系统的数学模型用脉冲传递函数来描述时分析该系统的稳定性、快速性及准确性等性能时具有大量繁琐的计算与绘制仿真曲线的任务。通过利用MATLAB的特点以及它提供的图形用户界面GUI设计模板、MATLAB的程序设计-M文件来设计出了离散系统的MATLAB仿真程序,并用实例来验证了程序的正确性和可行性。     

Use of GPSS/PC to establish manning levels of a proposed just-in-time production facility

A short explanation of Monte Carlo simulation is provided. Special emphasis is placed upon the GPSS/PC language and to an application of manning-level determinations of a proposed drill-bit manufacturing department. The optimum number of operators was determined in advance of construction. The objective was to hire the exact number of workers to provide zero in-process inventories to be consistent with the new management policy of “just-in-time” production planning. The stochastic behavior of arrival times and processing times made Monte Carlo simulation a viable modeling tool.     

基于事件图的离散事件仿真模型并行检验方法

非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中得到了成功的应用,但是由于涉及到形式化规约、逻辑学以及并行计算等多项技术,应用难度较大.针对上述问题,提出了基于事件图的离散事件仿真模型并行检验方法.该方法首先对事件图在模型同步方面进行了扩展,给出了扩展事件图的形式化定义、语法及语义;然后将扩展事件图模型转换到分布并行验证环境的DVE模型,成功地将并行模型检验方法应用于仿真模型验证领域.该方法使得仿真人员无须学习新的形式化验证语言就能采用并行模型检验方法对仿真模型进行形式化验证,可降低模型并行验证的难度,从而有效提高模型验证的效率和完备性.实验结果表明了该方法的有效性,有利于扩展并行模型检验方法在仿真领域中的应用.