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

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

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

ММА/ИДО Иностранный язык в профессиональной сфере (ЛТМ) Тест 20 из 20 баллов 2024 год
ММА/ИДО Иностранный язык в профессиональной сфере (ЛТМ) Тест 20 из 20 баллов 2024 год Московская международная академия Институт дистанционного образования Тест оценка ОТЛИЧНО 2024 год Ответы на 20 вопросов Результат – 100 баллов С вопросами вы можете ознакомиться до покупки ВОПРОСЫ: 1. We have … to an agreement 2. Our senses are … a great role in non-verbal communication 3. Saving time at business communication leads to … results in work 4. Conducting negotiations with foreigners we shoul
Московская международная академия Институт дистанционного Иностранный язык в профессиональной сфере (ЛТМ) Тесты
User mosintacd : 28 июня 2024
150 руб.
promo
Задание №2. Методы управления образовательными учреждениями
Практическое задание 2 Задание 1. Опишите по одному примеру использования каждого из методов управления в Вашей профессиональной деятельности. Задание 2. Приняв на работу нового сотрудника, Вы надеялись на более эффективную работу, но в результате разочарованы, так как он не соответствует одному из важнейших качеств менеджера - самодисциплине. Он не обязателен, не собран, не умеет отказывать и т.д.. Но, тем не менее, он отличный профессионал в своей деятельности. Какими методами управления Вы во
******* Не известно Педагогика Практические занятия и отчеты
User studypro : 13 октября 2016
200 руб.
Особенности бюджетного финансирования
Содержание: Введение Теоретические основы бюджетного финансирования Понятие и сущность бюджетного финансирования Характеристика основных форм бюджетного финансирования Анализ бюджетного финансирования образования Понятие и источники бюджетного финансирования образования Проблемы бюджетного финансирования образования Основные направления совершенствования бюджетного финансирования образования Заключение Список использованный литературы Цель курсовой работы – исследовать особенности бюджетного фин
Работа Курсовая Банковское дело и кредитование
User Aronitue9 : 24 августа 2012
20 руб.
Программирование (часть 1-я). Зачёт. Билет №2
ЗАЧЕТ по дисциплине “Программирование (часть 1)” Билет 2 Определить значение переменной y после работы следующего фрагмента программы: a = 3; b = 2 * a – 10; x = 0; y = 2 * b + a; if ( b > y ) or ( 2 * b < y + a ) ) then begin x = b – y; y = x + 4 end; if ( a + b < 0 ) and ( y + x > 2 ) ) then begin x = x + y; y = x – 2 end;
ДО СИБГУТИ Программирование Работа Зачетная
User sibsutisru : 3 сентября 2021
200 руб.
Программирование (часть 1-я). Зачёт. Билет №2
up Наверх