The Research And Implementation Of Key Techniques In DEVS Oriented Multi-Paradigm Modeling And Simulation

With the development of complex systems such as Joint Operations in military field, Manned Space Flight in engineering field, Emergency Response Management in social field, the traditional Modeling and Simulation theory cannot satisfy the requirements from complex systems such as multi-field and simulation performance now. Multi-Paradigm Modeling and Simulation which is a novel support technique can solve problems on Modeling and Simulation for Complex Systems. The research on the key techniques in Multi-Paradigm Modeling and Simulation means a lot to the Multi-System Joint Operations simulation. We study the Multi-Paradigm Modeling and Simualtion on three aspects: Basic Theory, Key Model Transformation methods and Simulation Optimization Algorithms.General System Theory and Model Transformation are the basement of Multi-Paradigm Modeling and Simulation. The Multi-Field of Complex System is supported by the formalisms derived of General System Theory. The simulation consistence of Complex System is maintained by Model Transformation and Co-Simulation. The research on Discrete EVent System specification (DEVS) shows that DEVS could be used to equivalently describe other Continuous or Discrete formalisms. We select Discrete EVent System specification (DEVS) to be the General Property Simulation Formalism (GPSF) in Complex Systems. As a result, we study a series of Model Transformation for the Multi-Filed Models in Multi-System Joint Operation under the instruction of Meta-Model based Model Transformation.(1) StateCharts is a typical high level formalism to describe the macroscopical behavior of system. The transformation from StateCharts to DEVS is proposed to sovle the interoperability between high level and low level models. Transform rules in gramar, state and event are constructed. The equivance of transition, guard conditions and history state is implemented to accquire the completeness of transformation.(2) Base Object Model (BOM) is a model description in BOM-based Distributed Simulation. We reuse the Compenent Kernel in BOM model by developping the transformation from BOM to DEVS. We prove that DEVS-CK is equal to the BOM component if they use the identical Component Kernel.(3)The Flattening algorithm of coupled DEVS model is proposed according to the closure under coupling of DEVS. It improves the efficiency in High Coupled Low Computation models. Flattening is realized by direct connection and flattened atomic model construction.(4)As the continious-discrete systems are used a lot in Multi-Systems Joint operations, we give the DEVS description of Hybrid System in Modelica. Modelica-DEVS compilor is implmented to generate simulation models. Based on the Model Transformation, we study the optimization algorithms for DEVS simulation in the view of distributed simulation and model activity:(1) We propose the MPI-based distributed framework which supports parallel simulation. DEVS engine is designed to support optimistical time algorithm. The Fault Detection, State Storage and System Recovery are implemented in framework to do the Fault Tolerance.(2) We present the Activity Enhancing Modeling based on model activity. Activity Combined Meta Model (ACMM) is designed to integrate the activity into model. With the help of Activity Tracing and Quantization of Resource Usage, the Resource-aware Modeling and Simulation framework can re-allocate the resource by the activity calculation.In addition, we present an Agent-based Co-Simulation method, which works well in the Co-Simulation between DEVS and HLA simulation system. Meanwhile, the Web-based Simulation Management is given to support the integrated management for heterogeneous simulation.Based on the research on the Multi-Paradigm Modeling and Simulation, we design and implement the prototype system. In the modeling phase, many kinds of modeling tools are reused in the system to do the Multi-Field Modeling. Model Transformation is used to maintain the consistence in model description. In the simulation phase, the web-based management and statistical tools are used to implement the B/S system structure. The Multi-System Joint Operation cases testify the research on key techniques for Multi-Paradigm Modeling and Simulation.