Динамический системный синтез моделей алгоритмического обеспечения навигационных комплексов летательных аппаратов