- •Курсовой проект
- •Оглавление
- •Введение
- •Концептуальное модельное представление задачи как системы
- •Программная реализация представления концептуальной модели задачи Решение задач посредством прямого расчёта
- •Решение судоку Разрешение концептуальных моделей
- •Метод полного перебора
- •Логические методы решения
- •Составление судоку
- •Составление открытием
- •Решение вычёркиванием
- •Переносимость и интегрируемость
- •Литература
- •Приложение. Программный код Решатель математических моделей
- •Решатель судоку методом полного перебора
- •Решатель судоку аналитическими методами
- •Генератор судоку методом открытий
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ
ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ
УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО
ОБРАЗОВАНИЯ
«МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ИНСТИТУТ
РАДИОТЕХНИКИ, ЭЛЕКТРОНИКИ И АВТОМАТИКИ
(ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)»
Факультет ИТ
Кафедра Интеллектуальных
технологий и систем
Курсовой проект
Тема: «Модель интеллектуальной рекурсивной машины – генератора вспомогательных концептуальных моделей задач – базовой исходной концептуальной модели»
Дисциплина: Моделирование систем
Студент: Соловьев А.Н.
Группа: ИТС-3-07
Руководитель: Нечаев В.В.
МОСКВА 2010
Оглавление
Введение 3
Концептуальное модельное представление задачи как системы 4
Программная реализация представления концептуальной модели задачи 9
Решение задач посредством прямого расчёта 9
Судоку 14
Решение судоку 15
Разрешение концептуальных моделей 15
Метод полного перебора 18
Логические методы решения 20
Составление судоку 26
Составление открытием 26
Решение вычёркиванием 27
Переносимость и интегрируемость 28
Литература 29
Приложение. Программный код 30
Решатель математических моделей 30
Решатель судоку методом полного перебора 36
Решатель судоку аналитическими методами 36
Генератор судоку методом открытий 44
Введение
В настоящее время высокий уровень развития современных электронно-вычислительных средств даёт возможность быстро и эффективно решать вопросы, связанные с хранением и обработкой всевозможных видов информации, представлением данных и знаний в удобных для пользователя и понятных для компьютера формах. Подобные возможности реализуются посредством эффективного применения баз данных и хранилищ данных, а также автоматизированных, электронных и интеллектуальных систем. Растущие потребности человечества порождают все более сложные в качественном и количественном аспектах задачи, решение которых зачастую определяет прогресс общества.
В ходе данной работы будет рассмотрено представление концептуальной модели задачи (КМЗ) на основе триады «Задача – Данные – Решатель» и работа одного из компонентов подобной системы – генератора вспомогательных концептуальных моделей.
В процессе выполнения данной работы была создана программа (на языке Python), позволяющая решать любые задачи, связанные с вычислениями на основе вводимых пользователем исходных данных и определяемых некоторой предметной областью, для которой заданы действительные математические формулы. Программа осуществляет поиск необходимых формул на основе вводимых пользователем данных, а затем применяет данные формулы для получения конечного результата. Кроме того, данная программа позволяет решать и составлять судоку – один из видов японских кроссвордов, составляя вспомогательные концептуальные задачи и решая их и исходную задачу на основе различных рекурсивных методов.
Особенность предлагаемого метода представления задачи как концептуальной модели имеет отличительную особенность по сравнению с классической технологией, так как исходная задача не разбивается на меньшие составные подзадачи, а происходит генерация вспомогательных задач, решая которые можно решить исходную задачу.
Далее в работе будет описано представление исходной задачи как концептуальной модели задачи, формализация задачи, а также описана практическая реализация составленной программы.