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

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

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

Производственная практика (дневник,отчёт)
Содержание: 1)Дневник 2)Анализ демонстрационной сессии, взятый из видео-материала центра «Экзистенция» 3)Эссе на тему «Психическое и психологическое здоровье психолога: способы сохранения и развития» 4)Решение ситуационных задач 1. Вы решили создать консультационный психологический центр. Что необходимо для того, чтобы центр начал функционировать? 2. На консультацию пришли родители подростка. Сыну 16 лет. В интерпретации он ведет себя странно: стал нервным, скрытным. Часто у него «блестят глаза
Отчеты по производственной практике Московский институт психоанализа Работа Бакалаврская
User aly1 : 18 декабря 2016
1850 руб.
Основы компьютерных технологий. Зачет. Билет 93
Билет №93 ТЗ №3 Какое приложение OpenOffice надо использовать для выполнения данного задания? OpenOffice Writer OpenOffice Calc OpenOffice Impress ТЗ №5 Какие бывают списки в OpenOffice Writer? Нумерованные Маркированные Разноуровневые Многоуровневые ТЗ №6 Установить последовательность загрузки текстового процессора OpenOffice Writer Пуск Все (программы) Офис OpenOfficeWriter ТЗ №16 Выберите виды ссылок в OpenOffice Calc при создании связей между ячейками: Относительные Абсолютные Ком
ДО СИБГУТИ Компьютерные технологии в науке и производстве Работа Экзаменационная
User BEV : 12 февраля 2020
100 руб.
Редуктор Ц2НШ-750Б-Чертеж-Оборудование для добычи и подготовки нефти и газа-Курсовая работа-Дипломная работа
Редуктор Ц2НШ-750Б-(Формат Компас-CDW, Autocad-DWG, Adobe-PDF, Picture-Jpeg)-Чертеж-Оборудование для добычи и подготовки нефти и газа-Курсовая работа-Дипломная работа
Нефтяная промышленность ИНиГ Чертежи
User https://vk.com/aleksey.nakonechnyy27 : 26 мая 2016
500 руб.
Редуктор Ц2НШ-750Б-Чертеж-Оборудование для добычи и подготовки нефти и газа-Курсовая работа-Дипломная работа
Універсальні мікропроцесори, застосовувані в ММПС. Мікропроцесори з архітектурою Itanium (IA-64)
ЗМІСТ ВСТУП 1. УНІВЕРСАЛЬНІ МІКРОПРОЦЕСОРИ, ЗАСТОСОВУВАНІВ ММПС 1.1 Типи архітектур універсальних мікропроцесорів 1.2.Архітектура PENTIUM 1.2.1 Призначення функціональних блоків 1.3 Архітектура PENTIUM MMX 1.4 Архітектура PENTIUM PRO (P6) 2. МІКРОПРОЦЕСОРи з АРХіТЕКТУРОЮ ITANIUM (IA-64) 2.1 Формати та засіб обробки команд 2.2 Структурна схема ITANIUM 2.3 Призначення програмних регістрів ЛІТЕРАТУРА
Информатика Работа Контрольная
User alfFRED : 15 сентября 2013
5 руб.
up Наверх