МГТУ им. Н.Э. Баумана

Факультет «Информатика и системы управления»

Кафедра «Системы обработки информации и управления»

 

 

 

Черненький В.М.

 

ТЕОРЕТИЧЕСКИЕ ОСНОВЫ

ОПИСАНИЯ ПРОЦЕССОВ ФУНКЦИОНИРОВАНИЯ дискретных систем

 

 

 

Электронное учебное издание

 

 

Учебное пособие по дисциплине

«Описание параллельных процессов»

 

 

 

 

МОСКВА

(С) 2011 год МГТУ им. Баумана

 

 

 

 

 

УДК 519.876.5

Рецензенты: Данчул Александр Николаевич д.т.н., профессор, Сюзев Владимир Васильевич д.т.н., профессор 

Черненький Валерий Михайлович

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

Рекомендуется НМС МГТУ им. Н.Э. Баумана в качестве учебного пособия