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

Цена:
500 руб.

Состав работы

material.view.file_icon 8ED791CC-AF2C-4F87-87CA-6DD0CF531596.rar [ 3 MB ]
material.view.file_icon Программа
material.view.file_icon Debug
material.view.file_icon pooo.exe [ 1 MB ]
material.view.file_icon pooo.pdb [ 3 MB ]
material.view.file_icon pooo
material.view.file_icon app.ico [ 1 KB ]
material.view.file_icon app.rc [ 3 KB ]
material.view.file_icon AssemblyInfo.cpp [ 1 KB ]
material.view.file_icon Debug
material.view.file_icon .NETFramework,Version=v4.0.AssemblyAttributes.obj [ 3 KB ]
material.view.file_icon app.res [ 1 KB ]
material.view.file_icon AssemblyInfo.obj [ 5 KB ]
material.view.file_icon cl.command.1.tlog [ 27 KB ]
material.view.file_icon CL.read.1.tlog [ 73 KB ]
material.view.file_icon CL.write.1.tlog [ 5 KB ]
material.view.file_icon GenerateResource.read.1.tlog [ 224 bytes ]
material.view.file_icon GenerateResource.read.10.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.104.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.112.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.123.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.130.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.140.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.151.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.17.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.21.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.26.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.28.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.48.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.56.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.60.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.68.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.74.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.84.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.read.94.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.1.tlog [ 536 bytes ]
material.view.file_icon GenerateResource.write.10.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.104.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.112.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.123.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.130.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.140.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.151.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.17.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.21.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.26.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.28.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.48.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.56.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.60.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.68.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.74.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.84.tlog [ 2 bytes ]
material.view.file_icon GenerateResource.write.94.tlog [ 2 bytes ]
material.view.file_icon link-cvtres.read.1.tlog [ 2 bytes ]
material.view.file_icon link-cvtres.write.1.tlog [ 2 bytes ]
material.view.file_icon link.5584.read.1.tlog [ 2 bytes ]
material.view.file_icon link.5584.write.1.tlog [ 2 bytes ]
material.view.file_icon link.command.1.tlog [ 5 KB ]
material.view.file_icon link.read.1.tlog [ 7 KB ]
material.view.file_icon link.write.1.tlog [ 2 KB ]
material.view.file_icon mt.command.1.tlog [ 1 KB ]
material.view.file_icon mt.read.1.tlog [ 2 KB ]
material.view.file_icon mt.write.1.tlog [ 590 bytes ]
material.view.file_icon pooo.exe.intermediate.manifest [ 381 bytes ]
material.view.file_icon pooo.Form1.resources [ 180 bytes ]
material.view.file_icon pooo.lastbuildstate [ 47 bytes ]
material.view.file_icon pooo.log [ 4 KB ]
material.view.file_icon pooo.obj [ 824 KB ]
material.view.file_icon pooo.pch [ 3 MB ]
material.view.file_icon pooo.vcxproj.GenerateResource.Cache [ 902 bytes ]
material.view.file_icon pooo.vcxprojResolveAssemblyReference.cache [ 1 KB ]
material.view.file_icon rc.command.1.tlog [ 2 KB ]
material.view.file_icon rc.read.1.tlog [ 860 bytes ]
material.view.file_icon rc.write.1.tlog [ 606 bytes ]
material.view.file_icon stdafx.obj [ 12 KB ]
material.view.file_icon vc100.pdb [ 284 KB ]
material.view.file_icon Form1.h [ 17 KB ]
material.view.file_icon Form1.resX [ 6 KB ]
material.view.file_icon pooo.cpp [ 450 bytes ]
material.view.file_icon pooo.vcxproj [ 5 KB ]
material.view.file_icon pooo.vcxproj.filters [ 2 KB ]
material.view.file_icon pooo.vcxproj.user [ 143 bytes ]
material.view.file_icon ReadMe.txt [ 3 KB ]
material.view.file_icon resource.h [ 91 bytes ]
material.view.file_icon stdafx.cpp [ 236 bytes ]
material.view.file_icon stdafx.h [ 285 bytes ]
material.view.file_icon pooo.sdf [ 8 MB ]
material.view.file_icon pooo.sln [ 879 bytes ]
material.view.file_icon pooo.suo [ 14 KB ]
material.view.file_icon Пояснительная записка.doc [ 343 KB ]
Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
  • Программа для просмотра текстовых файлов
  • Microsoft Word

Описание

Реферат

Пояснительная записка 25 стр., 1 таблица, 6 рисунков, 1 программный модуль, 3 источника.
Объектом исследования в данной курсовой работе является программа, написанная в соответствие с заданием: среди столбцов заданной целочисленной матрицы, содержащих только таки е элементы, которые по модулю не больше 10, найти столбец с минимальным произведением элементов. Цель работы – составить и исследовать стандартные схемы программы, протокол ее выполнения, доказать правильность программы с помощью сетей Петри и дерева достижимости.
В процессе работы была написана программа, проведены исследования в соответствие с заданием, на основе которых сделаны выводы.

1. Постановка задачи исследования

 Задание

1. Написать программу решения поставленной задачи.
2. Составить и исследовать ССП в линейной и графовой форме.
3. Указать интерпретацию ССП и составить протокол выполнения программы.
4. Построить и исследовать инварианты и ограничения цикла(ов).
5. Доказать частичную и полную правильность программы.
6. Представить схему программы в виде сети Петри и осуществить анализ ее свойств на основе дерева достижимости.

1.2. Задача

Среди столбцов заданной целочисленной матрицы, содержащих только такие элементы, которые по модулю не больше 10, найти столбец с минимальным произведением элементов.

Похожие материалы

Пояснительная записка к курсовой работе по дисциплине "Теория связи". Вариант №6.
Задача No1 Вольт-амперная характеристика (ВАХ) биполярного транзистора амплитудного модулятора аппроксимирована выражением где: ik - ток коллектора транзистора; uб - напряжение на базе транзистора; S - крутизна вольт-амперной характеристики; u0 - напряжение отсечки ВАХ. Требуется: 1. Объяснить назначение модуляции несущей и описать различные виды модуляции. 2. Изобразить схему транзисторного амплитудного модулятора, пояснить принцип ее работы и назначение ее элементов. 3. Дать поня
ДО СИБГУТИ Работа Курсовая Теория связи
User autotransport : 17 декабря 2021
200 руб.
Пояснительная записка к курсовой работе по дисциплине «Организация и планирование производства» Вариант 43.
Содержание: 1. Определение материальных затрат 2. Фонд заработной платы основных рабочих 3. Численность по категориям персонала 4. Фонд заработной платы остальных категорий 5. Расчет амортизационных отчислений 6. Смета затрат на производство продукции в 1 квартале 7. Калькуляция себестоимости 8. Ценообразование 9. Формирование чистого дохода 10. Определение безубыточного объема продаж и зоны безопасности для предприятия.
ВКГТУ им. Серикбаева Организация и планирование производства Работа Курсовая
User Max2304 : 19 ноября 2018
1500 руб.
«Теоретическое исследование моделей программы, решающей заданную задачу». Вариант 10.
Задание на курсовую работу: Объем ПЗ – 26. Количество схем – 3. Количество таблиц – 1. Количество программ – 1. Источники литературы – 1. Объектом исследования является программа, решающая поставленную задачу. Цель работы - написание программы и исследование ее структурных свойств, семантики вычислений и доказательство правильности программы. Структурные свойства программы исследуются путем построения ССП в графовой и линейной форме, а также путем представления программы в виде сети Петри.
Теория вычислительных процессов ДО СИБГУТИ Работа Курсовая
User teacher-sib : 9 ноября 2016
500 руб.
Пояснительная записка к курсовой работе по дисциплине «Электромеханические переходные процессы » на тему Анализ устойчивости электроэнергетических систем
Курсовая работа посвящена исследованию статической и динамической устойчивости электрической системы. Процессы, появляющиеся в электрической системе при изменении условий ее работы, называются переходными процессами. Нормальные переходные процессы сопровождают текущую эксплуатацию системы. Они связаны в основном с изменениями нагрузки системы и реакцией на них регулирующих устройств. При нормальной эксплуатации системы всегда имеются некоторые малые возмущающие воздействия, вызывающие малые возм
******* Не известно Энергетические системы сети и оборудование Работа Курсовая
User lo1234 : 4 октября 2015
400 руб.
Пояснительная записка к курсовой работе по дисциплине «Электромеханические переходные процессы » на тему Анализ устойчивости электроэнергетических систем
Курсовая работа по дисциплине: ЭВМ и периферийные устройства Пояснительная записка. Вариант 0
Задание Разработать и отладить программу на языке Ассемблера, которая выполняет следующие задачи: а) Вычисляет выражение в соответствии с заданным вариантом математическое выражение (табл. 1) и для значений X от 0 до 10 и сохраняет в массив. б) Распечатывает на экране полученный в пункте а) массив в формате в соответствии с вариантом (таблица 2) в) Осуществляет операцию по обработке массива, полученного в п. а) в соответствии с вариантом (таблица 3) и распечатывает результат выполнения на экран
ДО СИБГУТИ ЭВМ и периферийные устройства Работа Курсовая
User Учеба "Под ключ" : 1 октября 2016
700 руб.

Другие работы

Задача по физике (развернутое решение в Word)
Определить разность давлений в широкой и узкой части горизонтальной трубы, если в широкой скорость течения жидкости 4 м/с.
Задачи Физика
User Григорий12 : 21 декабря 2016
40 руб.
Задача по физике (развернутое решение в Word)
Изучение структуры и характеристик цифровой АТС типа C&C08
Лабораторная работа №1 по Дисциплине «Системы коммутации». "Изучение структуры и характеристик цифровой АТС типа C&C08"
ДО СИБГУТИ Системы коммутации Работа Лабораторная
User Gila : 4 ноября 2021
280 руб.
Экзамен по дисциплине: Структуры и алгоритмы обработки данных (часть 1)
Задания экзаменационного билета одинаковы для всех студентов, однако входные данные (это последовательный набор символов ФИО студента) выбираются индивидуально 1. Для последовательности символов ФИО (используются 12 последовательных букв) показать подробный процесс построения индексного массива, который упорядочивает последовательность по алфавиту; 2. Для набора из 12 символов ФИО (используются 12 последовательных букв) студента выполнить хеширование вручную методом прямого связывания (размер
СибГУТИ Структуры и алгоритмы обработки данных Работа Экзаменационная
User IT-STUDHELP : 27 июня 2025
200 руб.
promo
Сепаратор С-302
Сепаратор С-302 КОМПАС 3D 3d модель формат (.a3d) Сепаратор С-302-(Формат Компас-CDW, Autocad-DWG, Adobe-PDF, Picture-Jpeg)-Чертеж-Оборудование для добычи и подготовки нефти и газа-Курсовая работа-Дипломная работа
3D моделирование и проектирование Чертежи
User Mikhail777 : 15 марта 2024
899 руб.
Сепаратор С-302
up Наверх