Optimization of disposition for terminal air defense system based on set-covering model | IEEE Conference Publication | IEEE Xplore