Курсовая работа поредмету : "Теория Вычислительных процессов". Вариант № 1

Содержание

1. Задание к курсовой работе 2
2. Краткая теория 2
2.1. Стандартные схемы программ 2
2.2. Построение циклов исходя из инвариантов и ограничений 7
2.3. Cети Петри 8
3. Программная реализация 11
4. ССП и результаты ее исследования 14
4.1. Линейная форма стандартной схемы 14
4.2. Графовая форма стандартной схемы 15
4.3. Интерпретация ССП 15
5. Построение и исследование инвариантов и ограничений циклов 16
5.1. Построение цикла с помощью инварианта 16
5.2. Исследование инвариантов и ограничений цикла 16
6. Схема программы в виде сети Петри. Анализ ее свойств на основе дерева достижимости 18
6.1. Схема программы в виде сети Петри 18
6.2. Дерево достижимости 19
6.3. Анализ свойств сетей Петри на основе дерева достижимости 19
Заключение 20
Список литературы 21

1. Задание к курсовой работе
1. Написать программу решения задачи, номер которой совпадает с Вашими двумя последними цифрами пароля (использовать язык СИ или Паскаль).
Вариант 1: Для заданной целочисленной матрицы найти максимум среди сумм элементов диагоналей верхнего правого треугольника, параллельных главной диагонали матрицы.
2. Составить и исследовать ССП в линейной и графовой формах.
3. Построить и исследовать инварианты и ограничения цикла(ов).
4. Составить схему программы в виде сети Петри и осуществить анализ ее свойств на основе дерева достижимости.

Сдал на отлично!
ПОВТиАС