Рассмотрен новый класс бортовых алгоритмов, определяющих рациональное поведение антропоцентрических объектов в типовых ситуациях (ТС) их функционирования - бортовые оперативно-советующие экспертные системы (БОСЭС). Представлены: формальная модель ТС, процедуры получения знаний о предметной области, структура основных функциональных блоков БОСЭС. Рассмотрены этапы разработки и совершенствования баз знаний БОСЭС.

Рассмотрены проблемы применения высокопроизводительных вычислительных систем в авиации, принципы построения кластерных вычислительных систем, примеры их использования и перспективы развития.

Сформулирована и обсуждена важнейшая научно-организационная и научно-техническая проблема передовых отраслей народного хозяйства страны - создание бортовых конкурентоспособных кибернетических комплексов подвижных объектов.

По результатам математического исследования проблемной субситуации "Уклонение маневром от преследователя" разработан фрагмент базы знаний (база правил и база математических моделей) (Бортовых оперативно-советующих экспертных систем), обеспечивающий выработку рекомендаций экипажу по разрешению этой проблемной субситуации.

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

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

Рассмотрены проблемы применения высокопроизводительных вычислительных систем в авиации, принципы построения кластерных вычислительных систем, примеры их использования и перспективы развития.

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

Викладено основи теорії побудови та практичної реалізації послідовного інтерфейсу - мультиплексного каналу інформаційного обміну за вимогами стандарту Mil-Std-1553B, принципи його побудови та функціонування. Проаналізовано організацію керування та контролю за обміном інформацією між терміналами інтерфейсу з метою оволодіння методами проектування й експлуатації комп'ютерних систем складних технічних об'єктів, зокрема літаків, засобами моделювання та програмування.

Изложены основы теории построения и практической реализации последовательного интерфейса - мультиплексного канала информационного обмена по требованиям стандарта Mil-Std-1553B, принципы его построения и функционирования. Проанализирована организация управления и контроля по обмену информацией между терминалами интерфейса с целью овладения методами проектирования и эксплуатации компьютерных систем сложных технических объектов, в частности самолетов, средствами моделирования и программирования.

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

Рассмотрены теоретические основы построения функционально устойчивых бортовых информационно-управляющих комплексов.

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

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

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

Розроблено методи та програмно-технічні засоби, що дозволяють розв'язувати задачу створення багатоверсійних проектів відмовостійких цифрових систем керування з програмованою логікою з необхідними характеристиками. Створено моделі даних систем керування на базі частково працездатних автоматів, згідно з якими управління їх структурою здійснюється з урахуванням інформації щодо визначеності та коректності кожного автомата, що дозволяє підвищити безвідмовність систем. Наведено метод розробки багатоверсійних відмовостійких цифрових систем керування з програмованою логікою, удосконалений у частині процедури одержання версій за допомогою генетичних алгоритмів, що дозволяє автоматизувати процеси синтезу різних версій системи з необхідними характеристиками. Розроблено метод рангового відбору індивідуумів, який за рахунок нормування ймовірностей відбору індивідуумів з однаковою пристосованістю дозволяє скоротити витрати на одержання версій під час створення відмовостійких цифрових систем керування з програмованою логікою.

Розроблено моделі, методи та програмно-технічні засоби створення відмовостійких цифрових систем керування з програмованою логікою (ЦСКПЛ). Встановлено аналітичні залежності для розрахунку імовірності збереження працездатності ЦСКПЛ, які дозволяють оцінити різні резервовані структури з функціональними областями фіксованої конфігурації. Запропоновано імітаційну модель відмовостійких ЦСКПЛ для оцінки різних резервованих структур з випадковою конфігурацією відмови, а також структурно-просторову модель відмовостійких ЦСКПЛ, яка дозволяє пов'язати фізичний рівень уявлення з логічним. Удосконалено метод розробки ЦСКПЛ, що базується на операціях двохетапного вибору функціонально-надійнісних структур системи на одному кристалі з метою створення системи з заданим рівнем відмовостійкості та обмеженнями на габаритно-масові й енергетичні показники.

Розроблено нові структури базових процесорів, процесорних ядер на базі однокристальних мікроконтролерів і процесорів опрацювання сигналів із вмонтованими вузлами діагностики й обміну інформацією. Запропоновано процедуру обміну між процесорами, що базується на використанні методу аналізу стану шини адреси та організацію процесу діагностики шляхом перевірки виконання комплексного алгоритму роботи процесора в режимі реального часу. Удосконалено алгоритм виконання базових операцій: піднесення до степеня, сортування чисел, обчислення модуля комплексного числа, на базі яких розроблено нові структури апаратних вузлів розширення функцій. Основні результати впроваджено у виробництво і захищено авторськими свідоцтвами на винаходи. Їх застосування покращує технічні характеристики, зменшує час і вартість проектування систем і процесорів керування та опрацювання інформації.

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

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

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