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

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

В монографии рассмотрены методы синтеза типовых модульных систем обработки данных (СОД). Методы базируются на выявлении общих и специфических частей анализируемых технологий решения множества задач обработки данных одного класса, формировании интегрированного графа обработки данных, выборе рационального уровня типизации и оптимального состава типовых программных модулей по заданным критериям эффективности. В качестве критериев оптимизации рассматриваются общесистемные и минимаксные критерии стоимостного и временного типа. Для специалистов, занимающихся вопросами проектирования типовых систем обработки информации и управления.

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

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