Рассмотрена новая гносеологическая парадигма – корпусной подход, возникающая при моделировании сложных фрагментов действительности, к которым отнесены социальные и экологические явления. Показано, что идентификация таких явлений в рамках системной парадигмы оказалась несостоятельной по причине существенной неполноты и потенциальной противоречивости используемых формальных средств. Предложено использование новой методологии анализа предметной области и новой технологии моделирования, основанных на создании не одной, а множества формальных теорий, возможно взаимно противоречивых – корпуса теорий. Корпус теорий позволяет определить квазиестественный язык, который предназначен для описания сложных предметных областей в виде корпуса моделей. При применении корпусного подхода следует ожидать повышение выразительности, качества и эффективности формального моделирования сложных социальных и экологических явлений.

Решается задача аналитического резервирования измерительных систем летательного аппарата (ЛА) с использованием наблюдателей состояния. На основе оценок части переменных вектора состояния ЛА, получаемых наблюдателями, решается задача слежения за программной траекторией при выполнении предпосадочных маневров: снижения и выравнивания. Рассматривается движение ЛА в вертикальной плоскости. Предполагается, что на ЛА действуют неизвестные ограниченные внешние возмущения. В качестве системы аналитического резервирования бортовых приборов измерения модуля вектора скорости и угла наклона траектории используется каскадная система наблюдателей состояния, функционирующих на скользящих режимах и позволяющих получить как оценки некоторых переменных вектора состояния, так и оценки внешних возмущений, действующих на летательный аппарат. Приведены результаты моделирования.

Для аффинных систем со скалярным управлением получены локальные условия, при которых они преобразуется в систему квазиканонического вида. Разработан алгоритм поиска функций, определяющих такое преобразование, и рассмотрены особенности его реализации с использованием систем аналитических вычислений. Приведены примеры.