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

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

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

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

В работе рассмотрены различные расширения Петри. Введено понятие обобщенной сети Петри, математический аппарат ее анализа, исследованы свойства сетей данного класса.