防卫作战推演与验证