Evaluation on the Anti-ship Missile Penetration Ability of the Aircraft Carrier Formation Based on Queuing Theory | IEEE Conference Publication | IEEE Xplore