Research of the Simulation System of Ship Repair Based on Multi-Agent and HLA | IEEE Conference Publication | IEEE Xplore