基于约束模型的作战飞机战术模板生成和应用方法研究