Title: A mathematical model of carrier aircraft operations in anti-air warfare