Simulation design and application of distributed formation air defense system based on MAS | IEEE Conference Publication | IEEE Xplore