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

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

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

Спроектировать привод к полочному элеватору, предназначенному для перемещения по вертикали штучных грузов
Оглавление Введение 6 1 Кинематический и энергетический расчет привода 8 2 Расчет передач привода 11 2.1 Расчет цилиндрической косозубой передачи тихоходной ступени редуктора 11 2.1.1 Выбор материала зубчатых колес 11 2.1.2 Определение эквивалентного числа циклов перемены напряжений 11 2.1.3 Определение допускаемых контактных напряжений 11 2.1.4 Определение допускаемых изгибных напряжений 12 2.1.5 Допускаемые напряжения для проверки прочности зубьев при перегрузках 13 2.1.6 Расчет геометрически
******* Не известно Детали машин Работа Курсовая
User romanoff81 : 11 ноября 2013
50 руб.
Спроектировать привод к полочному элеватору, предназначенному для перемещения по вертикали штучных грузов
Организация виртуального диска. Структура файла-образа виртуального диска
Содержание Введение Nero Burning ROOM, Nero ImageDrive Alcohol 120% Daemon Tools Заключение Список литературы Введение Увеличение числа рабочих мест, серверов, программных и информационных ресурсов влечет за собой рост затрат на управление корпоративной информационной сетью и выдвигает проблему ее упрощения. Один из способов такого упрощения (на чем сходятся практически все специалисты - информатизаторы) - автономизация составляющих компонентов и приложений, иными словами, их независимос
Информатика Работа
User evelin : 5 октября 2013
10 руб.
Муфта фрикционная деталировка
Муфта фрикционная Назначение, устройство и принцип работы изделия Схема принципиальная полная муфты фрикционной показана на рис.5.39 Муфта предназначена для соединения валов привода и передаточного механизма и передачи ограниченного крутящего момента в механизмах передач различных приводных установок. Муфта фрикционная сборочный чертеж Муфта фрикционная спецификация Поз.1_Полумуфта Поз.2_Гайка упорная Поз.3_Диск ведомый Поз.4_Диск ведущий Поз.5_Шайба Поз.6_Кольцо Поз.7_Гайка упорная Поз.8_П
Черчение и компьютерная графика Чертежи ВЗФЭИ г. Барнуал
User coolns : 14 мая 2019
600 руб.
Муфта фрикционная деталировка promo
Электромагнитные поля и волны. Лабораторная работа № 2. Вариант № 4
Цель работы: исследование диаграммы направленности элементарных электрического и магнитного излучателей.
СибГУТИ Электромагнитные поля и волны Работа Лабораторная
User aleks797 : 20 января 2013
100 руб.
up Наверх