Research on system-of-systems combat simulation model formal specification and representation

To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model＇s fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.

CoSMSOL:Complex system modeling,simulation and optimization language

Complex System Modeling,Simulation and Optimization Language(CoSMSOL)is problem-oriented and designed to run on multi-core computers.This paper provides the system environment of CoSMSOL and proposes the modeling methods of complex system,language text specification,function library,algorithm library,parallel simulation algorithms and intelligent optimization algorithms which support continuous system,discrete system and agent systems.Also,we developed a simulation language compiler of CoSMSOL,which is employed in two case studies generating a multi-entity war gaming system and an aerodynamic spacecraft model.The two cases illustrate main functions and implementation processes of CoSMSOL.The results validate that CoSMSOL is useful to model agent-based system and aerospace system.

A Powerful Simulation Language for Large and Complex Models

To tackle large and complex problems, a modern simulation modeling system must posses six characteristics: simplicity, user extensibility, object orientation, flexibility, capability, and initialization. Simplicity allows those users who are nonprofessionals in simulation modeling to use the system to build their models. User extensibility is a self perfection mechanism by which the user is able to extend the abilities of the system for large and complex problems. Object oriented methodology is a natural way of simulation modeling. Flexibility can increase the range to which the system can be applied. Powerful systems satisfy demand for ever growing complicated problems. Efficient facilities for the initialization of a model reduces the pain of initializing complicated models. The GPMS language owns each of these features. It is an English like user extensible simulation language, providing simplicity for less experienced users and allowing new data types to be defined to increase its ability. It gives the user a choice between object oriented and function oriented modeling style. Its flexibility in building models prevents the user from obeying strict rules. Its powerful constructs allow the user to describe arbitrarily complicated models. Intelligent model initialization reduces the user’s effort greatly.

WEB-BASED VIRTUAL CNC MACHINE MODELING AND OPERATION

A CNC simulation system based on intemet for operation training of manufacturing facility and manufacturing process simulation is proposed. Firstly, the system framework and a rapid modeling method of CNC machine tool are studied under the virtual environment based on PolyTrans and CAD software. Then, a new method is proposed to enhance and expand the interactive ability of virtual reality modeling language（VRML） by attaining communication among VRML, JavaApplet, JavaScript and Html so as to realize the virtual operation for CNC machine tool. Moreover, the algorithm of material removed simulation based on VRML Z-map is presented. The advantages of this algorithm include less memory requirement and much higher computation. Lastly, the CNC milling machine is taken as an illustrative example for the prototype development in order to validate the feasibility of the proposed approach.

Discrete Simulation Software Styles and GPMS

GPMS is a new integrated simulation modelling environment for discrete event systems. It is composed of several independent components which perform different tasks in the process of simulation modelling and owns a number of features from different kinds of simulation software. This paper introduces GPMS through reviewing and discussing various discrete simulation software styles.