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