Теоретическое исследование моделей программы, решающей заданную задачу - Курсовая работа (Теория) по программному обеспечению, программированию

 

Тезисы:

  • Написать программу решения задачи, номер которой совпадает с Вашим номеров в журнале.
  • Сети Петри это инструмент для математического моделирования и исследования сложных систем.
  • Задачи к курсовой работе.
  • Указать интерпретацию ССП и составить протокол выполнения программы.
  • Доказать частичную и полную правильность программы.
  • Стандартные схемы программ (ССП) характеризуются базисом и структурой схемы.
  • Схема S называется правильной, если на каждой дуге заданы все переменные.
  • Таким образом, программа останавливается тогда и только тогда, когда протокол ее выполнения конечен.
  • В противном случае программа зацикливается и результат ее выполнения не определен.
  • Затем построенная система моделируется сетью Петри, и модель анализируется.
Читать онлайнСкачать курсовую работу (Теория)

 

 

Похожие работы:

Еще похожие работы

Предметы

Все предметы »

 

 

Актуальные Курсовые работы (Теория) по программному обеспечению, программированию