📄Работа №211380
Тема: РАЗРАБОТКА ЭМУЛЯТОРОВ МАШИНЫ ТЬЮРИНГА И МАШИНЫ ПОСТА
Характеристики работы
Тип работы
Дипломные работы, ВКР
Предмет
Электротехника
Объем:
49 листов
Год:
2021
Просмотров:
38
4700
руб.
🛒 Купить работу
Не подходит эта работа?
Закажите новую по вашим требованиям
Узнать цену на написание
Закажите новую по вашим требованиям
Представленный материал является образцом учебного исследования, примером структуры и содержания учебного исследования по заявленной теме. Размещён исключительно в информационных и ознакомительных целях.
Workspay.ru оказывает информационные услуги по сбору, обработке и структурированию материалов в соответствии с требованиями заказчика.
Размещение материала не означает публикацию произведения впервые и не предполагает передачу исключительных авторских прав третьим лицам.
Материал не предназначен для дословной сдачи в образовательные организации и требует самостоятельной переработки с соблюдением законодательства Российской Федерации об авторском праве и принципов академической добросовестности.
Авторские права на исходные материалы принадлежат их законным правообладателям. В случае возникновения вопросов, связанных с размещённым материалом, просим направить обращение через форму обратной связи.
Настоящий учебно-методический информационный материал размещён в ознакомительных и исследовательских целях и представляет собой пример учебного исследования. Не является готовым научным трудом и требует самостоятельной переработки.
📋 Содержание
Аннотация
ВВЕДЕНИЕ 7
Актуальность 7
Цели работы 7
Задачи работы: 8
1. АНАЛИЗ ПРЕДМЕТНОЙ ОБЛАСТИ 9
1.1. ОБЗОР АНАЛОГОВ 9
1.3. АНАЛИЗ ОСНОВНЫХ ТЕХНОЛОГИЧЕСКИХ РЕШЕНИЙ 15
1.3.1 Выбор языка программирования и фреймворков 15
1.3.2 Выбор среды разработки 16
2.ОСНОВНЫЕ ТРЕБОВАНИЯ 17
2.1. ОСНОВНЫЕ ТРЕБОВАНИЯ К ФУНКЦИОНАЛУ СИСТЕМЫ 17
2.2. ОСНОВНЫЕ НЕФУНКЦИОНАЛЬНЫЕ ТРЕБОВАНИЯ 17
3. ПРОЕКТИРОВАНИЕ 18
3.1. ОСНОВНЫЕ СВЕДЕНИЯ 18
3.2. ПРОЕКТИРОВАНИЕ СТРУКТУРЫ ГРАФИЧЕСКОГО ИНТЕРФЕЙСА 20
4. РЕАЛИЗАЦИЯ 21
4.1 РЕАЛИЗАЦИЯ ГРАФИЧЕСКОГО ИНТЕРФЕЙСА 21
4.2. РЕАЛИЗАЦИЯ ЗАГРУЗКИ И СОХРАНЕНИЯ КОНФИГУРАЦИЙ 27
5. ТЕСТИРОВАНИЕ СИСТЕМЫ 28
5.1. МЕТОДОЛОГИЯ ТЕСТИРОВАНИЯ 28
5.2. ПРОВЕДЕНИЕ ПРОЦЕДУРЫ ТЕСТИРОВАНИЯ 28
ЗАКЛЮЧЕНИЕ 30
БИБЛИОГРАФИЧЕСКИЙ СПИСОК 31
ПРИЛОЖЕНИЕ 33
ВВЕДЕНИЕ 7
Актуальность 7
Цели работы 7
Задачи работы: 8
1. АНАЛИЗ ПРЕДМЕТНОЙ ОБЛАСТИ 9
1.1. ОБЗОР АНАЛОГОВ 9
1.3. АНАЛИЗ ОСНОВНЫХ ТЕХНОЛОГИЧЕСКИХ РЕШЕНИЙ 15
1.3.1 Выбор языка программирования и фреймворков 15
1.3.2 Выбор среды разработки 16
2.ОСНОВНЫЕ ТРЕБОВАНИЯ 17
2.1. ОСНОВНЫЕ ТРЕБОВАНИЯ К ФУНКЦИОНАЛУ СИСТЕМЫ 17
2.2. ОСНОВНЫЕ НЕФУНКЦИОНАЛЬНЫЕ ТРЕБОВАНИЯ 17
3. ПРОЕКТИРОВАНИЕ 18
3.1. ОСНОВНЫЕ СВЕДЕНИЯ 18
3.2. ПРОЕКТИРОВАНИЕ СТРУКТУРЫ ГРАФИЧЕСКОГО ИНТЕРФЕЙСА 20
4. РЕАЛИЗАЦИЯ 21
4.1 РЕАЛИЗАЦИЯ ГРАФИЧЕСКОГО ИНТЕРФЕЙСА 21
4.2. РЕАЛИЗАЦИЯ ЗАГРУЗКИ И СОХРАНЕНИЯ КОНФИГУРАЦИЙ 27
5. ТЕСТИРОВАНИЕ СИСТЕМЫ 28
5.1. МЕТОДОЛОГИЯ ТЕСТИРОВАНИЯ 28
5.2. ПРОВЕДЕНИЕ ПРОЦЕДУРЫ ТЕСТИРОВАНИЯ 28
ЗАКЛЮЧЕНИЕ 30
БИБЛИОГРАФИЧЕСКИЙ СПИСОК 31
ПРИЛОЖЕНИЕ 33
📖 Аннотация
В данной выпускной квалификационной работе представлена разработка и реализация графического приложения-эмулятора «Turing_Post», предназначенного для моделирования работы абстрактных вычислительных устройств — машины Тьюринга и машины Поста. Актуальность исследования обусловлена необходимостью создания специализированного учебного инструмента, который бы в полной мере соответствовал требованиям образовательного процесса по дисциплине «Математическая логика и теория алгоритмов», обеспечивая наглядное и глубокое усвоение фундаментальных принципов теории алгоритмов. В качестве основных результатов работы можно отметить успешное проектирование и создание кроссплатформенного приложения с интуитивным графическим интерфейсом, реализующего базовые операции машин, загрузку и сохранение конфигураций, а также прошедшего комплексное тестирование, включающее функциональное, интеграционное и юзабилити-тестирование, подтвердившее его корректную работу и удобство использования. Научная значимость работы заключается в детальном анализе и практической реализации классических моделей вычислений, в то время как практическая ценность состоит в предоставлении студентам и преподавателям эффективного пособия для изучения и преподавания ключевых концепций алгоритмизации. Теоретической основой исследования послужили труды таких авторов, как С.С. Ершов, рассматривающий элементы теории алгоритмов, В.Н. Пильщиков с соавторами, детально описывающий решение задач на машине Тьюринга, и В.А. Успенский, посвятивший отдельную работу машине Поста, что позволило обеспечить концептуальную строгость разрабатываемого эмулятора.
📖 Введение
Актуальность
Машина Тьюринга и машина Поста являются одними из первых аппаратов в исследованиях по теории алгоритмов. Известен тезис Тьюринга: «Всякий алгоритм может быть задан посредством тьюринговой функциональной схемы и реализован в соответствующей машине Тьюринга». Многие пытаются опровергнуть эту гипотезу - ищут пример алгоритма, который не может быть реализован с помощью тьюринговой функциональной схемы. Однако на данный момент опровергнуть гипотезу никому не удалось. Машина Поста схожа с машиной Тьюринга в этом отношении.
Идея о создании эмуляторов для данных абстрактных машин не нова, и это вполне закономерно, так как данные абстрактные машины являются, возможно, самыми наглядными пособиями для изучения теории алгоритмов. И, действительно, эмуляторов для данных абстрактных машин существует несчетное количество.
Данные абстрактные машины являются одним из элементов технологии обучения студентов дисциплине «Математическая логика и теория алгоритмов» на кафедре ЭВМ. Знание принципов работы данных машин необходимо для глубокого понимания материала, преподаваемого в курсе «Математическая логика и теория алгоритмов». Для лучшего понимания принципов работы данных аналитических машин нужны эмуляторы. Эмуляторы, полностью удовлетворяющие требованиям кафедры.
Именно для решения данной проблемы отсутствия системы с необходимыми требованиями и обусловлена актуальность выпускной квалификационной работы.
Цели работы
Выпускная квалификационная работа посвящена разработке графических приложений, реализующих эмуляторы машин Поста и Тьюринга. В дальнейшем данные приложения планируется использовать в образовательных целях, для наглядной демонстрации работы абстрактных машин Поста и Тьюринга.
Задачи работы:
— изучить работу заданных абстрактных алгоритмов;
— найти существующие на данный момент аналоги и схожие по функционалу системы;
— провести анализ с целью выявления преимуществ и недостатков этих систем, сделать выводы;
— составить техническое задание и эскизный проект системы;
— выполнить программную реализацию проекта;
— определить методы тестирования и провести тестирование разработанного приложения на корректность выполнения задач, удобство интерфейса.
Машина Тьюринга и машина Поста являются одними из первых аппаратов в исследованиях по теории алгоритмов. Известен тезис Тьюринга: «Всякий алгоритм может быть задан посредством тьюринговой функциональной схемы и реализован в соответствующей машине Тьюринга». Многие пытаются опровергнуть эту гипотезу - ищут пример алгоритма, который не может быть реализован с помощью тьюринговой функциональной схемы. Однако на данный момент опровергнуть гипотезу никому не удалось. Машина Поста схожа с машиной Тьюринга в этом отношении.
Идея о создании эмуляторов для данных абстрактных машин не нова, и это вполне закономерно, так как данные абстрактные машины являются, возможно, самыми наглядными пособиями для изучения теории алгоритмов. И, действительно, эмуляторов для данных абстрактных машин существует несчетное количество.
Данные абстрактные машины являются одним из элементов технологии обучения студентов дисциплине «Математическая логика и теория алгоритмов» на кафедре ЭВМ. Знание принципов работы данных машин необходимо для глубокого понимания материала, преподаваемого в курсе «Математическая логика и теория алгоритмов». Для лучшего понимания принципов работы данных аналитических машин нужны эмуляторы. Эмуляторы, полностью удовлетворяющие требованиям кафедры.
Именно для решения данной проблемы отсутствия системы с необходимыми требованиями и обусловлена актуальность выпускной квалификационной работы.
Цели работы
Выпускная квалификационная работа посвящена разработке графических приложений, реализующих эмуляторы машин Поста и Тьюринга. В дальнейшем данные приложения планируется использовать в образовательных целях, для наглядной демонстрации работы абстрактных машин Поста и Тьюринга.
Задачи работы:
— изучить работу заданных абстрактных алгоритмов;
— найти существующие на данный момент аналоги и схожие по функционалу системы;
— провести анализ с целью выявления преимуществ и недостатков этих систем, сделать выводы;
— составить техническое задание и эскизный проект системы;
— выполнить программную реализацию проекта;
— определить методы тестирования и провести тестирование разработанного приложения на корректность выполнения задач, удобство интерфейса.
✅ Заключение
В рамках выпускной квалификационной работы было спроектировано и реализовано графическое приложение «Turing_Post», которое является эмулятором машины Поста и машины Тьюринга.
Для достижения поставленной цели были решены следующие задачи:
— выполнен анализ предметной области;
— выполнено проектирование графического приложения;
— реализация графического приложения с учётом необходимых функциональных требований;
— проведено тестирование веб-приложения с использованием юзабилити- тестирования, интеграционного тестирования, функционального тестирования.
В итоге можно отметить, что приложение работает корректно.
Реализованное графическое приложение «Turing_Post» может быть полезно определенной категории пользователей, преимущественно студентам, изучающим дисциплину «Математическая логика и теория алгоритмов», и преподавателям, преподающим дисциплину «Математическая логика и теория алгоритмов».
В дальнейшем планируется сделать приложение кроссплатформенным, переделав приложение в фреймворке Qt. Также планируется сделать построение графов для машины Тьюринга для ещё более наглядной визуализации работы алгоритма.
Для достижения поставленной цели были решены следующие задачи:
— выполнен анализ предметной области;
— выполнено проектирование графического приложения;
— реализация графического приложения с учётом необходимых функциональных требований;
— проведено тестирование веб-приложения с использованием юзабилити- тестирования, интеграционного тестирования, функционального тестирования.
В итоге можно отметить, что приложение работает корректно.
Реализованное графическое приложение «Turing_Post» может быть полезно определенной категории пользователей, преимущественно студентам, изучающим дисциплину «Математическая логика и теория алгоритмов», и преподавателям, преподающим дисциплину «Математическая логика и теория алгоритмов».
В дальнейшем планируется сделать приложение кроссплатформенным, переделав приложение в фреймворке Qt. Также планируется сделать построение графов для машины Тьюринга для ещё более наглядной визуализации работы алгоритма.
ИЛИ
Поиск аналога
📕 Список литературы
🖼 Скриншоты
🛒 Оформить заказ
⚡ Работу высылаем в течении 5 минут после оплаты.