Тема: Решить задачу по экономике. Учебная работа № 393812

Учебная работа № 393812. Тема: Решить задачу по экономике

Выдержка из подобной работы

…….

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

…..ма стандартной схемы

Интерпретация
стандартных схем программ

Сети
Петри

Введение
в сети Петри

Основные
определения        

Анализ
сетей Петри

ЛИНЕЙНАЯ
СХЕМА ПРОГРАММ

ССП
в графовой форме        

Интерпретация

Инварианты
и ограничения циклов

Доказательство
частичной и полной правильности программы

Анализ
сетей Петри на основе дерева достижимости

Сеть
Петри

Дерево
достижимости

Выводы
по работе

Список
литературы

Задание к
курсовой работе

1.      Написать программу решения задачи, номер которой совпадает с
Вашим номеров в журнале.

2.       Составить и исследовать ССП в линейной и графовой форме.

.        Указать интерпретацию ССП и составить протокол выполнения
программы.

.        Построить и исследовать инварианты и ограничения цикла(ов).

.        Доказать частичную и полную правильность программы.

.        Представить схему программы в виде сети Петри и осуществить
анализ ее свойств на основе дерева достижимости.

Задачи к
курсовой работе

Вариант 2

Для заданной целочисленной матрицы найти максимум среди сумм элементов
диагоналей, параллельных главной диагонали матрицы.

Реферат

Данная пояснительная записка содержит 23 листа, 5 схем, образец
выполнения программы, текст программы.

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

Краткая
теория

Главная диагональ – диагональ квадратной матрицы, идущая из верхнего
левого угла матрицы в правый нижний.

Программная
реализация

Код программы:

//—————————————————————————

#include

#pragma hdrstop

#include “Unit1.h”

#include “Unit2.h”

#include

//—————————————————————————

#pragma package(smart_init)

#pragma resource “*.dfm”*Form1;n, maxindex=-10;

//—————————————————————————

__fastcall TForm1::TForm1(TComponent* Owner)

: TForm(Owner)

{

}

//—————————————————————————__fastcall
TForm1::Edit1Change(TObject *Sender)

{->RowCount = 0;->ColCount = 0;->RowCount =
0;->ColCount = 0;(CompareText(Form1->Edit1->Text,””) == 0){}

{(StrToInt(Form1->Edit1->Text) > 1000)

{>MessageBoxA;;

}{ n = StrToInt(Form1->Edit1->Text); }(…)

{>MessageBox;;

}

}(int i=0; i < StringGrid1->RowCount; i++)
Form1->StringGrid1->Rows[i]->Clear();(int i=0; i < StringGrid2->RowCount; i++)
Form1->StringGrid2->Rows[i]->Clear();->Edit2->Clear();->Edit3->Clear();->Button1->Enabled
= false;= -10;

}

//—————————————————————————__fastcall
TForm1::Button2Click(TObject *Sender)

{();->StringGrid1->Visible =
true;i,j;(CompareText(Form1->Edit1->Text,””) == 0)
{Application->MessageBoxA}

{->StringGrid1->ColCount =
n;->StringGrid1->RowCount = n;->StringGrid2->ColCount = 2*n –
1;->StringGrid2->RowCount = 2;(i=0; iStringGrid1->Cells[i][j]=n –
random(2*n);

}->Button1->Enabled = true;

}->Edit2->Clear();->Edit3->Clear();(n == 0)

{->Button1->Enabled =
false;->StringGrid2->Visible = false;

}(n == 1)

{->Button1->Enabled = false;->Edit2->Text =
Form1->StringGrid1->Cells[0][0];->Edit3->Text =
0;->StringGrid2->Visible =
true;->StringGrid2->Cells[0][0]=0;->StringGrid2->Cells[0][1]=Form1->StringGrid1->Cells[0][0];

}

}

//—————————————————————————__fastcall
TForm1::CheckBox1Click(TObject *Sender)

{

//if (Form1-…