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

Цена:
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 руб.

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

Курсовая работа по дисциплине: Информатика
Оглавление 2 1. Текст задания 3 2. Описание процесса проектирования базы данных 3 3. Структура таблиц базы данных (в режиме конструктора) 5 4. Схема связей между таблицами 6 5. Содержание таблиц 6 6. Структура двух запросов (в режиме конструктора) и описание процесса их создания 11 7. Результаты запросов 12 8. Структура отчета (в режиме конструктора) и описание процесса его создания 14 9. Результат вывода отчета 15 10. Список литературы 17 1. Текст задания Разработать базу данных для хранения ни
СибГУТИ Информатика Работа Курсовая
User edson : 26 сентября 2011
300 руб.
Курсовая работа по дисциплине: Информатика
Гидравлика Пермская ГСХА Задача 54 Вариант 1
Вода из верхнего резервуара подается в нижний резервуар по стальному новому трубопроводу диаметром d и длиной l, имеющему два резких поворота на углы β1 и β2. Разность уровней в резервуарах H, температура воды t. Определить расход воды в трубопроводе. Задачу решить методом последовательного приближения, задаваясь скоростью жидкости 2…4 м/с. Коэффициенты местных сопротивлений: приемный клапан с сеткой ζ1, резкие повороты ζ2 и ζ3 см. в Приложении 6.
Задачи Гидравлика
User Z24 : 4 ноября 2025
280 руб.
Гидравлика Пермская ГСХА Задача 54 Вариант 1
Контрольная работа №1 по дисциплине: Электромагнитные поля и волны. Вариант №9.
ЗАДАЧА 1 Плоская электромагнитная волна с частотой f распространяется в безграничной реальной среде с диэлектрической проницаемостью , магнитной проницаемостью = , проводимостью . Амплитуда напряженности электрического поля в точке с координатой z = 0 Еm. 1. Определить к какому типу относится данная среда на заданной частоте. 2. Рассчитать фазовый набег волны на расстоянии, равном глубине проникновения ∆0. 3. Рассчитать отношение фазовой скорости в реальной среде к фазовой скорости в идеальн
ДО СИБГУТИ Электромагнитные поля и волны Работа Контрольная
User ДО Сибгути : 11 февраля 2016
100 руб.
Контрольная работа №1 по дисциплине: Электромагнитные поля и волны. Вариант №9. promo
Организация и нормирование труда. Контрольная работа.Вариант №14.
1. Исходные данные. Таблица 1. Фактическая структура затрат рабочего времени исполнителя, время в минутах Варианты 14 Виды затрат рабочего времени Сортировщик письменной корреспонденции 1. Подготовительно-заключительная работа 25 2. Оперативная работа 310 а) основная 270 б) вспомогательная 40 3. Обслуживание рабочего места 10 4. Устранение брака - 5. Выполнение случайной работы 10 6. Перерывы из-за отсутствия нагрузки более 3 мин 25 7. Перерывы из-за отсутствия нагрузки менее 3 мин 27 8. Переры
Организация, нормирование и оплата труда СибГУТИ Работа Контрольная
User dbk : 4 июля 2013
30 руб.
up Наверх