Теоретическое исследование моделей программы, решающей заданную задачу
Курсовой проект - Компьютеры, программирование
Другие курсовые по предмету Компьютеры, программирование
d.false o
P5 P6 P13
e f
P7
g.true g.false
P8 P9
k l.true l.false
P10
m P11
n
: Fill; max:= A[n-1,0]; i:= -n+1;: i 0: j:= 1-i: j:=1: i+j m and j n: sum:= sum +A[j-1,i+j-1]; j:=j+1: max < sum: max:=sum: i:= i+1: write(max)
Дерево достижимости.
(1,0,0,0,0,0,0,0,0,0,0,0,0)
(0,1,0,0,0,0,0,0,0,0,0,0,0)
(0,0,1,0,0,0,0,0,0,0,0,0,0) (0,0,0,0,0,0,0,0,0,0,0,1,0)
(0,0,0,1,0,0,0,0,0,0,0,0,0) (0,0,0,0,0,0,0,0,0,0,0,0,1)
(0,0,0,0,1,0,0,0,0,0,0,0,0) (0,0,0,0,0,1,0,0,0,0,0,0,0)
(0,0,0,0,0,0,1,0,0,0,0,0,0) (0,0,0,0,0,0,1,0,0,0,0,0,0)
(0,0,0,0,0,0,0,1,0,0,0,0,0) (0,0,0,0,0,0,0,0,1,0,0,0,0) (0,0,0,0,0,0,0,1,0,0,0,0,0) (0,0,0,0,0,0,0,0,1,0,0,0,0)
(0,0,0,0,0,0,1,0,0,0,0,0,0) (0,0,0,0,0,0,1,0,0,0,0,0,0)
(0,0,0,0,0,0,0,0,0,1,0,0,0) (0,0,0,0,0,0,0,0,0,0,1,0,0) (0,0,0,0,0,0,0,0,0,1,0,0,0) (0,0,0,0,0,0,0,0,0,0,1,0,0)
(0,0,0,0,0,0,0,0,0,0,1,0,0) (0,1,0,0,0,0,0,0,0,0,0,0,0) (0,0,0,0,0,0,0,0,0,0,1,0,0) (0,1,0,0,0,0,0,0,0,0,0,0,0)
(0,1,0,0,0,0,0,0,0,0,0,0,0) (0,1,0,0,0,0,0,0,0,0,0,0,0)
Анализ безопасности и ограниченности. Сеть Петри ограниченна тогда и только тогда, когда символ w отсутствует в ее дереве достижимости. На дереве достижимости, ни в одной из маркировок нет символа w. Следовательно, сеть Петри является ограниченной. Так как граница для всех позиций равна 1, то построенная сеть Петри безопасна.
Анализ сохранения. Для каждой маркировки можно вычислить сумму начальной маркировки. Так как для построенной сети Петри эта сумма одинакова для каждой достижимой маркировки, то можно сделать вывод, что сеть Петри является сохраняющей.
Анализ покрываемости. Построенная сеть Петри не является покрываемой, т.к. для заданной маркировки m нет такой достижимой маркировки в дереве достижимости, чтобы выполнялось условие: m"m.
Анализ живости. Из рассмотренного дерева достижимости следует, что все переходы являются потенциально живыми, так как существует такая mR(N,m), что t разрешён в m. Но ни один не является живым, так как при m = m = ни один из переходов не является потенциально живым.
Выводы по работе
В ходе выполнения курсовой работы я построил стандартную схему программы в графовой и линейной форме. Затем указал интерпретацию схемы и протокол выполнения программы. После построил инварианты циклов алгоритма и ограничения циклов. Затем доказала, что программа, решающая задачу нахождения максимума среди сумм элементов диагоналей, параллельных главной диагонали целочисленной матрицы, делает то, что необходимо и при этом заканчивает свою работу. Затем на основании стандартной схемы программы была построена сеть Петри, и на основе дерева достижимости были исследованы её свойства.
Из анализа сети Петри можно заключить, что она является:
безопасной
ограниченной
сохраняемой
каждый ее переход является потенциально живым.
Список литературы
1.Рабинович Е.В. Курс лекций.
2.Рабинович Е.В. Теория вычислительных процессов: Учебное пособие/ СибГУТИ.- Новосибирск, 2004. - 119стр.