水下武器仿真系统的可组合性

Research on Composability in Underwater Weapon Simulation System

针对水下武器对抗仿真系统(Underwater Weapon Confrontation Simulation System,UWCSS)的特点,分析了UWCSS的层次,提出了针对水下武器对抗仿真系统可组合的形式化方法。系统研究了仿真实体及其属性、实体关系、实体的内行为、实体之间的交互以及仿真过程的形式化描述问题,为水下武器对抗仿真系统的组合性开发提供了理论支撑。

Combined with the current underwater weapon confrontation simulation （UWCSS）, the paper analyzes the levels of UWCSS. The formal method of UWCSS is presented in the aspect of composability. It also studies the formaliztion about the attribute of the simulation entity, the realtion of entity, the interaction of the entity, and the simulation process, which provide the theoretical support for the development of UWCSS conposabilitv.