MATRIXx软件在离散事件仿真中的应用研究

MATRIXx是现今控制领域中一个比较实用的工程软件，尤其在结构复杂的大系统仿真中的应用前景更为可观。本文讨论了MATRIXx仿真软件在离散事件系统仿真中的应用方法，并以冷连轧生产过程中的离散事件系统仿真实例，应用MATRIXx软件中的层次化设计思想以及触发机制建立了仿真模型，给出了仿真效果。     

分级调度的分布离散事件系统仿真策略

分布离散事件系统仿真中的仿真策略,是离散事件系统仿真领域研究的一个关键问题。文章提出了基于事件分级调度的仿真调度算法,并详细介绍了算法的基本思想,给出了算法的步骤和流程图,最后对算法进行了简要的分析。     

分布离散事件仿真的集中同步算法

分布离散事件仿真和一般的离散事件仿真不同,它没有公共的时钟和事件表,通过分布在多台主机上的仿真模型进行消息传递来实现世界中的事件的并发执行。同步算法是分离散事件离散事件仿真中确保模型之间发生的因果关系正确性的机制。文中提出了一种集中同步算法,它采用建立模型之间的关联关系和仿真控制节点的方法,来对仿真模型之间的交互事件和仿真模型内部事件进行调度。其实现机制简单,避免了死锁的产生,并能实现事件的并发执行。文中最后对在WindowsNT环境下实现该算法进行了探讨。     

面向对象的离散事件仿真建模与实现

该文论述了面向对象方法在离散事件仿真中的应用，提出了一种建模与开发仿真程序的新方法，其特点是易于在单进程操作系统、普通编程平台上实现对并发事件的准确描述和仿真执行。     

网格环境下的分布仿真事件调度研究

针对网格仿真中的事件调度问题,提出一种新的时序管理方法。该方法同时考虑网格仿真成员的按需模型服务调用与成员间的交互,对仿真中具体存在的事件进行分类,建立成员的相关局部事件触发矩阵和时序关系矩阵,并应用Mutli-AWS算法求解每个事件的开始时间。实验结果证明,该方法可以确保成员之间事件的时序关系,有效解决成员按需模型服务调用问题。     

虚拟环境中装甲车辆运动仿真的研究

该文主要研究了虚拟现实技术在装甲车辆运动仿真中的应用，提出了一个装甲车辆仿真的系统框架，得到了一个装甲车辆运动仿真的原型系统。     

电磁环境仿真研究

电磁环境仿真具有很重要的意义 ,该文对电磁环境仿真的一些思想进行阐述。首先 ,对电磁环境进行分析和建模。随后 ,讨论了信号仿真和功能仿真两种仿真方法。在信号仿真中 ,对信号仿真的FDTD算法进行详细的推导 ,分析了该算法的稳定性以及局限性 ;在功能仿真中 ,介绍了部分仿真模型 ,并给出了系统框架。最后评估了两种仿真方法。     

生产系统两级动画仿真

在系统仿真中，计算机图形技术变得日益重要，特别是动画显示更为适合表达离散事件仿真系统的动态行为。本文介绍了在柔性制造系统仿真研究中，应用动画技术构成两级动画仿真系统的功能、组成、设计和实现。     

基于分布对象的离散事件仿真系统

分布对象技术将面向对象的概念揉合到分布计算中,使得基于对象的软件成员在分布异构环境中可重用、可移植和可互操作。文章把分布对象技术用于离散事件系统仿真中,通过对离散事件系统中分布对象的标识,分布对象间同步机制的讨论,提出了基于分布对象离散事件仿真系统的结构,定义了分布仿真对象的接口。     

HLA/RTI仿真平台的数据分发管理

在基于 HLA/RTI 的大规模交互仿真中,如何高效地实现数据分发管理的信息交互和传递机制是分布式交互仿真的重要内容。介绍了 HLA 仿真中的联邦开发和执行过程模型和数据分发管理,提出了一种新的数据分发管理算法,并阐述了该算法的理论和具体实现方法。通过分析采用该算法的数据分发管理仿真系统,证明该算法有效的提高了数据过滤效率,从而缩短系统仿真时间。     

Parallel discrete event simulation with SIMULA

The area of Discrete Event Simulation (DES) is the least impacted by parallel processing even though most of its applications require tremendous amounts of processing time. The common approach of parallelizing individually special purpose programs leads to very limited improvements in performance. We propose here the parallelization of general DES applications written in SIMULA, as a part of an ongoing project that aims towards developing methodologies and architectures for parallel DES. SIMULA is a general purpose process oriented language whose structure allows the creation of processes which can participate in a quasi-parallel execution according to an interleaved fashion. Problems related to the process interference representation, parallel scheduling and process synchronization are defined and solved. To test and verify the theoretical results the parallel execution of experimental and real DES applications has been simulated. The results show that significant improvement in performance can be expected.     

热连轧仿真系统中网络通信过程的设计与实现

热连轧计算机仿真系统中的客户机与服务器之间采用TCP协议进行通信.分析了服务器端事件、客户端事件与基于TCP协议的网络通信过程的对应关系,并在此基础上,给出了Winsock在热连轧仿真系统中的应用实例,并详细介绍了整个网络通信过程的设计与实现.     

Design of light weight exact discrete event system diagnosers using measurement limitation: case study of electronic fuel injection system

Employing a state-based Discrete Event System (DES) modelling framework, this paper proposes a new fault diagnosis approach called measurement limitation-based abstract DES diagnosis (MLAD), which attempts to reduce state space complexity of the diagnosis process while simultaneously preserving full diagnosability. The MLAD approach carefully applies a set of distinct measurement limitation operations on the state variables of the original DES model based on fault compartmentalisation to obtain separate behaviourally abstracted DES models and corresponding abstract diagnosers with far lower state spaces. The set of measurement limitation operations are so designed that although, any single abstract diagnoser may compromise diagnosability in seclusion, the additive combination of all diagnosers running in parallel always ensures complete diagnosability. Effective measurement limitation also ensures that the combined state space of the abstract diagnosers is much lower than that of the single full diagnoser that may be derived from the original DES model. As a case study, we have employed MLAD to incorporate failure diagnosability in a practical electronic fuel injection system. Evaluations on standard practical benchmarks show that MLAD achieves significant reduction in state space as compared to conventional monolithic full diagnosis approaches.     

基于Agent的离散事件仿真系统的控制功能框架研究

在研究基于Agent的离散事件仿真技术的基础上,提出了一个基于Agent的离散事件仿真系统的控制功能框架(ADESCF)。该框架包括了输入接口控制、输出接口控制、模型结构控制、仿真时钟控制、实验数据控制、仿真实验控制、仿真逻辑控制七个功能元素。分析了各种控制功能的工作原理与机制,并从输入输出连接关系角度分析了多Agent仿真系统层次化与分布式建模的本质,为该类仿真系统的开发提供了可参考的依据。     

Diagnosability of discrete event systems for temporary failures

Failure Detection and Diagnosis (FDD) using Discrete Event System (DES) framework is used for wide range of applications because of simplicity of both the model and associated algorithms. Initial research was focussed on permanent failures. Many systems exhibit temporary failures in the sense that system recovers to normal condition after failure. Contant et al. extended the event based DES framework, developed for permanent failure by Sampath et al. to handle temporary failures. Zad et al. developed a state based DES framework for permanent failures which has several advantages compared to the event based approach. In this paper, we extend the state based DES framework, developed for permanent failures, to handle temporary failures, maintaining the same order of complexity. The proposed DES framework has several advantages compared to that by Contant et al. namely, capability to detect failures that occur before starting execution of the diagnoser, same diagnoser for both temporary and permanent failures, etc.     

Software reuse through re-engineering the legacy systems

Software reuse is widely considered to be a way to increase the productivity and improve the quality and reliability of new software systems. Identifying, extracting and re-engineering software components that implement abstractions within existing systems is a promising cost-effective way to create reusable assets and re-engineer legacy systems. This paper summarizes our experiences with using computer-supported methods to develop a software architecture to support the re-engineering of the Janus Combat Simulation System. In this effort, we have developed an object-oriented architecture for the Janus Combat Simulation Subsystem, and validated the architecture with an executable prototype. In this paper, we propose methods to facilitate the reuse of the software components of the legacy systems by recovering the behavior of the systems using systematic methods, and illustrate their use in the context of the Janus System.     

基于Markov模型的离散事件系统稳态与暂态的分析

利用马尔科夫链的结果,在离散事件系统（DES）逻辑层次的自动机模型基础上,对DES的Markov模型的稳态和暂态特性,分别从时间参数连续和离散的情况下,分四个情况进行了分析,通过实例对系统遍历性提出了一条更简单的且在连续和离散时间参数情况下都通用的判定规则,并利用Kolmogorov向后或向前方程,对连续时间参数DES的暂态特性进行了分析和计算。关于时间参数连续DES的稳态分布着重给出了生灭过程模型稳态分布的计算方法。讨论了DES模型统计性能层次与逻辑层次之间的联系。     

约束逻辑程序设计的变量压缩事件分析

该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。     

分布式仿真中多缓冲多线程网络模块的设计

目前分布式交互仿真技术在军用仿真领域已经获得了广泛的应用,而搭建分布式仿真系统的关键就在于可靠、高效的网络传输模块。本文提出一种在多缓冲区上应用多线程同步技术的网络传输方法,通过编程成功应用于某国防预研项目的分布式仿真系统中。     

OGRE在飞行模拟视景系统中的应用

研究和探讨了基于开放源代码的图形引擎OGRE实现的飞行模拟视景系统的设计和实现方法。结合飞行模拟视景系统的设计需求,介绍了OGRE的特点、设计理念、场景管理思想,给出了利用OGRE构造三维地形和模拟座舱、加载三维模型创建动画、以及地形高度查询等相关技术。系统设计实现了效果逼真、运行流畅和对计算机要求较低。