Все разделы / Теория вычислительных процессов /
Страницу Назад
Поискать другие аналоги этой работы
(500 ) «Теоретическое исследование моделей программы, решающей заданную задачу». Вариант 10.ID: 174759Дата закачки: 09 Ноября 2016 Продавец: teacher-sib (Напишите, если есть вопросы) Посмотреть другие работы этого продавца Тип работы: Работа Курсовая Форматы файлов: Microsoft Word Сдано в учебном заведении: ДО СИБГУТИ Описание: Задание на курсовую работу: Объем ПЗ – 26. Количество схем – 3. Количество таблиц – 1. Количество программ – 1. Источники литературы – 1. Объектом исследования является программа, решающая поставленную задачу. Цель работы - написание программы и исследование ее структурных свойств, семантики вычислений и доказательство правильности программы. Структурные свойства программы исследуются путем построения ССП в графовой и линейной форме, а также путем представления программы в виде сети Петри. Программа реализуется на языке высокого уровня c++. Исследование семантики проводится на основании конкретной интерпретации ССП. На основании этой интерпретации определяется семантика конструкций программы. Далее, используя аксиомы и правила вывода, доказывается частичная правильность программы методом аксиоматической семантики. С другой стороны, частичная правильность программы доказывается методом, основанным на индуктивных утверждениях, тем самым, подтверждая предыдущий результат доказательства. Частичная правильность программы дополняется обоснованием о конечности времени выполнения программы. Таким образом, доказывается полная правильность программы На основании данных выкладок делаем заключение о структурном соответствии программы решаемой задачи, безошибочности результата выполнения программы, ее конечном времени выполнения. Постановка задачи исследования Задание 1. Написать программу решения поставленной задачи. 2. Составить и исследовать ССП в линейной и графовой форме. 3. Указать интерпретацию ССП и составить протокол выполнения программы. 4. Построить и исследовать инварианты и ограничения цикла(ов). 5. Доказать частичную и полную правильность программы. 6. Представить схему программы в виде сети Петри и осуществить анализ ее свойств на основе дерева достижимости. 1.2. Задача Характеристикой столбца целочисленной матрицы назовем сумму модулей его отрицательных нечетных элементов. Переставляя столбцы заданной матрицы, расположить их в соответствии с ростом характеристик. Размер файла: 7 Мбайт Фаил: ![]() ------------------- Обратите внимание, что преподаватели часто переставляют варианты и меняют исходные данные! Если вы хотите, чтобы работа точно соответствовала, смотрите исходные данные. Если их нет, обратитесь к продавцу или к нам в тех. поддержку. Имейте ввиду, что согласно гарантии возврата средств, мы не возвращаем деньги если вариант окажется не тот. -------------------
Коментариев: 0 |
||||
Есть вопросы? Посмотри часто задаваемые вопросы и ответы на них. Опять не то? Мы можем помочь сделать! Некоторые похожие работы:Курсовая и Лабораторные работы 1-3 по дисциплине: Теория связи. Вариант №3Готовый тест с ответами "Бизнес психологический консалтинг". Итоговый тест. МФПУ "Синергия" Ещё искать по базе с такими же ключевыми словами. |
||||
Не можешь найти то что нужно? Мы можем помочь сделать! От 350 руб. за реферат, низкие цены. Спеши, предложение ограничено ! |
Вход в аккаунт:
Страницу Назад
Cодержание / Теория вычислительных процессов / «Теоретическое исследование моделей программы, решающей заданную задачу». Вариант 10.