Hardware in the loop simulation Studies of the logic of bisimulation Tactical internet simulation Wargame war game simulation Management system simulation Modeling and simulation fundamentals and simulation modeling and simulation 并列题名：Studies of the logic of bisimulation