Design of spatial combat situation deducing system based on HLA | IEEE Conference Publication | IEEE Xplore