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,...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.展开更多
Automated manufacturing system is characterized by flexibility. It aims at producing a variety of products with virtually no time loses to change over from one part to the next. In this paper, the Machining Process Si...Automated manufacturing system is characterized by flexibility. It aims at producing a variety of products with virtually no time loses to change over from one part to the next. In this paper, the Machining Process Simulator GMPS is introduced, which can be used as a supported environment for machining process. It can be executed off-line or on-line in manufacturing systems in order to predict the collisions of tool with machined workpieces, fixtures or pallets. First, the functional model of GMPS is described, then adopted critical techniques in the simulator are introduced. Finally, an application of GMPS in CIMS ERC of China is presented.展开更多
文摘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.
文摘Automated manufacturing system is characterized by flexibility. It aims at producing a variety of products with virtually no time loses to change over from one part to the next. In this paper, the Machining Process Simulator GMPS is introduced, which can be used as a supported environment for machining process. It can be executed off-line or on-line in manufacturing systems in order to predict the collisions of tool with machined workpieces, fixtures or pallets. First, the functional model of GMPS is described, then adopted critical techniques in the simulator are introduced. Finally, an application of GMPS in CIMS ERC of China is presented.
