针对水下武器对抗仿真系统(Underwater Weapon Confrontation Simulation System,UWCSS)的特点,分析了UWCSS的层次,提出了针对水下武器对抗仿真系统可组合的形式化方法。系统研究了仿真实体及其属性、实体关系、实体的内行为、实体之间的交互以及仿真过程的形式化描述问题,为水下武器对抗仿真系统的组合性开发提供了理论支撑。 According to the characteristics of Underwater Weapon Confrontation Simulation System (UWCSS), the level of UWCSS is analyzed, and a formalized method for combination of underwater weapon confrontation simulation system is proposed. It systematically studies the simulation entities and their attributes, the entity relations, the entity behavior, the interaction between the entities and the formal description of the simulation process, which provides theoretical support for the combined development of the underwater weapon countermeasure simulation system.