基于FSM的某型制氧制氮车仿真系统设计

针对制氧制氮工作组训难度大,制氧制氮过程复杂、操作繁琐和阶段性突出等特点．深入地分析了系统需求,阐述了系统设计方案和开发的整体思路,介绍了该系统实现的主要功能。重点介绍了采用基于有限状态机的过程模型框架描述的制氧制氮训练过程模型,为开发本套仿真训练系统,提供了明确而清晰的设计思路。     

面向海上补给训练的虚拟仿真系统研究

针对海上补给训练难以实施的问题,分析了海上补给训练环境多变、训练过程复杂、协同动作困难以及参训对象众多等特点,探讨了采用虚拟仿真技术解决此问题的途径,提出了一个基于PC集群的面向海上补给训练的虚拟仿真系统的体系结构,并重点介绍了基于有限状态机的过程模型框架和采用此框架描述的海上补给训练过程模型,以及基于PC集群的多屏无缝拼接技术实现的海上补给训练的大场景显示,并在此体系结构和关键技术的基础上开发了一个面向海上补给训练的虚拟仿真系统,实现了对海上补给作业过程的仿真模拟,为海上补给训练和教学提供了有效的支撑手段.     

基于有限状态机的可校核仿真模型研究

基于有限状态机仿真模型因其外部环境的复杂交互关系,而难以完整复现其状态变迁过程,更难对模型进行校核与检验;而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发,将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上,提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明,在满足若干禁入规则的条件下,该方法能够完整复现有限状态机模型的状态变迁过程,从而可为实现可校核与可检验有限状态机模型提供建模框架。     

安全模型的一种形式化方法

本文基于有限状态机的理论，结合通信顺序进行的概念，提出了一种开发安全模型的形式化方法。在该方法中，用ＦＳＭ描述整个系统结构和控制部分，用ＣＳＰ描述系统的状态转移。文章以多级安全策略为例建立了一个安全模型。     

地空导弹训练仿真系统的设计与实现

开发训练仿真系统是当前应对高技术武器装备训练难题的一个重要手段,以地宅导弹装备的训练仿真系统为设计开发对象,深入分析地空导弹系统的结构组成、作战过程中各操作人员的操作对象和操作流程,以及他们操作之间的逻辑关系和各部分之间信息的交互内容和过程,提出了地空导弹训练仿真系统的总体设计构想,基于HLA框架重点进行了系统联邦成员、对象类/交互类的研究和设计,介绍了系统使用的行为模型,最后给出了系统的具体实现,仿真试验表明系统设计的可行性.     

基于Struts的Web程序分析与测试

介绍了Struts的特点、基于Struts框架Web程序的工作流程。分析了基于Struts框架Web程序的动态行为，并提出用有限状态机描述其动态行为。最后根据状态机模型，提出运用T—Method生成Web程序测试路径，结合Struts框架提供的数据验证功能给出了生成测试数据的方法。     

基于HLA的火车站行李监测系统仿真开发

HLA是分布交互仿真的高层体系结构,它为复杂系统建模与仿真提供了公共的技术支撑框架.针对火车站的行李监测系统,提出了基于HLA的仿真开发设计.研究了系统的体系结构和工作原理,在此基础上着重论述了联邦仿真平台的构成和基于联邦开发和执行过程模型(FEDEP)的开发过程,进行了对象类和交互类的开发,对系统中主要的成员对象进行了联邦对象模型(FOM)和仿真对象模型(SOM)设计,给出了基于运行支撑框架(RTI)的仿真程序.     

一种应用VHDL语言设计有限状态机控制器的方法

本文对利用VHDL语言设置有限状态机控制器的过程进行系统的论述，通过对控制器控制对象的时序分析，抽象出控制器的行为描述，并划分控制器的状态，在此基础上，针对ADC0809模数转换器的控制器进行设计，并通过了系统仿真和逻辑分析仪测试，从而给出了利用VHDL语言设计有限状态机控制器的一种方法。     

分布式仿真训练系统通用开发框架研究

针对当前复杂分布式仿真训练系统在开发过程中存在着大量重复工作的问题,在分析其共性特征的基础上,提出了一套适用于分布式仿真训练系统的通用开发框架。该框架采用基于HLA的分布式结构,包含岗位训练软件开发框架、训练指挥台开发框架、三维场景显示开发框架和一个数据库系统,满足共性特征。详细阐述了通用开发框架的软件架构、通用功能类库和自动化科目生成器。描述了使用该框架进行仿真训练系统开发的一般流程。实际应用表明,该框架不仅能够大大减少重复的开发工作,而且统一的软件架构也有利于系统的维护。     

一种协议互操作测试系统开发框架

鉴于现有的协议互操作测试方法自动化程度不高,本文给出一种用于描述分布式通信系统的有限状态机模型,并基于该形式化模型和被动测试的思想提出一种协议互操作测试系统开发框架,遵循该框架开发的测试系统能够自动分析被测系统每次通信从属的协议过程,并自动验证报文和流程的正确性。     

基于MDA的联邦开发和执行过程研究

模型驱动体系架构（MDA）是对象管理组织（OMG）2001年7月提出的先进的软件开发方法学,对开发基于HLA的仿真联邦具有很好的借鉴作用;在系统地总结了MDA系统开发原理的基础上,归纳了MDA系统开发的技术优势;将MDA应用于基于HLA仿真系统的开发,初步探讨了基于MDA的联邦开发和执行过程,并描述了该过程模型的顶层视图。     

基于MDA的HLA仿真系统开发研究

模型驱动架构（MDA）是先进的软件开发方法学。对开发HLA仿真系统具有很好的借鉴作用。在系统地总结了MDA系统开发原理的基础上,归纳了MDA系统开发的技术优势。将MDA应用于HLA仿真系统的开发,初步探讨了基于MDA的HLA仿真系统开发过程,并描述了该过程的顶层视图。     

A knowledge intensive multi-agent framework for cooperative/collaborative design modeling and decision support of assemblies

Multi-agent modeling has emerged as a promising discipline for dealing with decision making process in distributed information system applications. One of such applications is the modeling of distributed design or manufacturing processes which can link up various designs or manufacturing processes to form a virtual consortium on a global basis. This paper proposes a novel knowledge intensive multi-agent cooperative/collaborative framework for concurrent intelligent design and assembly planning, which integrates product design, design for assembly, assembly planning, assembly system design, and assembly simulation subjected to econo-technical evaluations. An AI protocol based method is proposed to facilitate the integration of intelligent agents for assembly design, planning, evaluation and simulation process. A unified class of knowledge intensive Petri nets is defined using the O-O knowledge-based Petri net approach and used as an AI protocol for handling both the integration and the negotiation problems among multi-agents. The detailed cooperative/collaborative mechanism and algorithms are given based on the knowledge objects cooperation formalisms. As such, the assembly-oriented design system can easily be implemented under the multi-agent-based knowledge-intensive Petri net framework with concurrent integration of multiple cooperative knowledge sources and software. Thus, product design and assembly planning can be carried out simultaneously and intelligently in an entirely computer-aided concurrent design and assembly planning system.     

基于动态描述逻辑的作物系统模拟框架本体研究

作物系统模拟框架是构建作物生长模型和设计可重用的作物模拟软件的基础框架。作物系统模拟是一个动态过程,传统的本体表示方法无法准确描述。本文对作物系统模拟框架进行形式化的表示,通过分析不同作物模拟过程的作物、子模型和算法之间的关系,给出了动态描述逻辑的逻辑表示,有利于模型之间交流、互操作和重用。     

RASES: A database supported framework for structured model base management

Structured management of model base has placed demands on some kind of computer based frameworks with highly structured formalisms. This paper proposes a new framework, called the relational algebraic system entity structure (RASES), which is based on the system entity structure (SES) formalism and the relational algebra (RA) formalism. These formalisms provide a conceptual basis for the structured model base management. Within the framework, structural knowledge of a system is represented in a hierarchical structure and saved in a database. Furthermore, several operations can be formulated in terms of relational algebra which can be coded in a standard query language such as the SQL. The framework can be easily implemented on, and fully utilize the functionality of, relational database management system (RDBMS). With the help of the implemented framework, simulation models can be systematically synthesized from the models in the model base through the following processes. First, a family of hierarchical structures of a system is organized in the form of entity structure by the entity structuring process. Then, candidate models of the system which meet design objectives are synthesized from the entity structure through the pruning process. Finally, designers can conduct appropriate experiment with the models for design verification and performance measure.     

An intelligent simulation model to evaluate scheduling strategies in a steel company

An embedded structure is selected to construct an intelligent simulation model. A framework is proposed so that both the event generator and expert system are controlled by a simulation mechanism. The expert system includes an inference engine and a knowledge base. When the simulation mechanism starts the inference engine, the inference engine reasons based on the system states. Then the system will process the events according to the inference results. An ‘intelligent entity’ simulates an entity with intelligence such as a ‘real’ server, manager or pilot. The SIMSCRIPT II.5 simulation language is used to illustrate how the proposed framework can be implemented in an example situation of harbour unloading by a steel company which needs to import coal when the capacity of the harbour is limited. Finally, possible future research directions are presented.     

基于HLA的水雷战武器对抗仿真系统的研究分析

随着计算机技术、网络技术、仿真技术和虚拟技术的发展,原有的DIS的体系结构已经无法实现不同类型的仿真系统间的互操作和仿真系统及其部件的重用。高层体系结构HLA建立一个通用的仿真框架,以解决不同仿真器、模型之间的互操作及仿真组件的可重用性问题。该文首先分析了基于HLA的武器对抗仿真系统的结构,然后分析了基于HLA的仿真应用系统的开发过程。最后,以水雷战为例,从应用的角度分析了基于HLA的武器对抗仿真系统开发过程和方法。     

Complex service design: A virtual enterprise architecture for logistics service

This paper presents an interdisciplinary systems approach to service modeling, design and deployment. The study is based on a longitudinal case study of the development process of a complex logistic service system based on an advanced logistics model. The case examines the development of a Virtual Enterprise Architecture (VEA) for an automatic high-speed transport and sorting system applied in airports for baggage handling. The study traces the evolution of the system from the early conceptual phases to a successful commercial service deployed at Changi, Singapore Airport. The study is conducted using a retrospective analysis of the case using a design science research approach. The paper evaluates and discusses the issues of creating and designing a new complex logistics service, distinct from the physical product, based on an advanced discrete event-based simulation model. The paper concludes by presenting a generalized and validated conceptual framework for a VEA based on an advanced simulation model. The paper thus contributes to the field of service systems and service management by identifying a novel approach to effective design of a new service.     

基于HLA的分布式仿真框架自动生成技术

针对基于HLA仿真应用系统开发中存在的计算模型程序与RTI服务程序的耦合问题,研究了基于共享内存和中断回调技术的解耦方法,进一步采用HLA仿真适配器对RTI服务程序进行封装,从而实现了计算模型程序与RTI底层服务程序的有效隔离。为提高仿真应用程序开发效率,分析了联邦成员中RTI服务程序功能需求,研究实现了仿真适配器自动生成软件。该软件可快速生成基于HLA的联邦成员适配器代码和执行程序,从而构建仿真应用系统分布式仿真框架。     

Development of a simulation framework and applications to new production processes in shipyards

Recently, a floating crane is frequently used for the block lifting, transportation, turn-over, and assembly processes in waves. For these production processes, it is important to detect collision in advance between assembly blocks or the block and the other facilities like the wire rope and the barge which are carrying the block. The tension of the wire rope also needs to be calculated to check that the maximum value is less than the safety criteria. In this paper, a mathematical model is constructed based on multibody system dynamics considering the external forces such as the hydrostatic, hydrodynamic, wind force, etc. To observe the dynamic motions of the floating crane and the block, and to calculate the tension of the wire rope, the time and event simulations are performed by solving the mathematical model in the computer. For applying the simulations to the various production processes in shipyards, a simulation framework is developed. The simulation framework consists of a simulation kernel, application-specific modules, a simulation coordinator, development tools, and post-processing tools. The simulation kernel manages both DEVS (discrete event system specification) and DTSS (discrete time system specification) to deal with various simulation requests. The application-specific modules provide the functions used in application systems, such as dynamic analysis, collision detection, visualization, wire rope force calculation, hydrostatic force calculation and hydrodynamic force calculation. The simulation coordinator manages the data of the simulation kernel and the application-specific modules. The development tools provide a development process, a scenario manager, and a simulation model generator. The post-processing tools are used to report the simulation results. The examples of block lifting, transportation, turn-over, and assembly simulations are developed based on the framework to show that the framework is useful for the simulations of the production processes using one or more floating cranes.