Предикатно-матричные сети в задачах анализа и синтеза систем управления

• Автор: Гришмановский, Павел Валерьевич
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Томск
• Количество страниц: 148 с. : ил.

Формальные средства описании и анализа сложных систем управления. Формальное определение ПМС. ПМС. Динамика ПМС. Алгоритм интерпретации ПМС. Методы формального анализа свойств ПМС. Сохранение. Активность. Принципы формальной интерпретации в терминах ПМС алгоритмов распределенной обработки данных и управления процессами. Разработка функционально полных наборов компонентов ПМС
3. Трансформация Есетевых структур в ПМС. Адекватност ПМС формальным моделям сетей Петри. Доказательство алгоритмической полноты ПМС. Представление элементов распределенных систем в терминах ПМС. Формализованная методика построения ПМС но диаграмме состояний процесса. Функции программных средств МС. Организация средств моделирования. Структура среды имитационного моделирования. Средства проведения модельного эксперимента. Выводы. Заключение. Приложение. Таким образом, главной проблемой при разработке или анализе сложной системы управления является адекватное описание при помощи формальных средств самой системы, протекающих в ней процессов и возможных преобразований информации.


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