Активное обеспечение безопасности полета летательного аппарата. Методология, модели, алгоритмы