МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

ГОСУДАРСТВЕННОЕ ОБРАЗОВАТЕЛЬНОЕ

УЧРЕЖДЕНИЕ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО

ОБРАЗОВАНИЯ

«МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ИНСТИТУТ

РАДИОТЕХНИКИ, ЭЛЕКТРОНИКИ И АВТОМАТИКИ

(ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)»

Факультет ИТ

Кафедра Интеллектуальных

технологий и систем

Курсовой проект

Тема: «Модель интеллектуальной рекурсивной машины – генератора вспомогательных концептуальных моделей задач – базовой исходной концептуальной модели»

Дисциплина: Моделирование систем

Студент: Соловьев А.Н.

Группа: ИТС-3-07

Руководитель: Нечаев В.В.

МОСКВА 2010

Оглавление

Введение 3

Концептуальное модельное представление задачи как системы 4

Программная реализация представления концептуальной модели задачи 9

Решение задач посредством прямого расчёта 9

Судоку 14

Решение судоку 15

Разрешение концептуальных моделей 15

Метод полного перебора 18

Логические методы решения 20

Составление судоку 26

Составление открытием 26

Решение вычёркиванием 27

Переносимость и интегрируемость 28

Литература 29

Приложение. Программный код 30

Решатель математических моделей 30

Решатель судоку методом полного перебора 36

Решатель судоку аналитическими методами 36

Генератор судоку методом открытий 44

Введение

В настоящее время высокий уровень развития современных электронно-вычислительных средств даёт возможность быстро и эффективно решать вопросы, связанные с хранением и обработкой всевозможных видов информации, представлением данных и знаний в удобных для пользователя и понятных для компьютера формах. Подобные возможности реализуются посредством эффективного применения баз данных и хранилищ данных, а также автоматизированных, электронных и интеллектуальных систем. Растущие потребности человечества порождают все более сложные в качественном и количественном аспектах задачи, решение которых зачастую определяет прогресс общества.

В ходе данной работы будет рассмотрено представление концептуальной модели задачи (КМЗ) на основе триады «Задача – Данные – Решатель» и работа одного из компонентов подобной системы – генератора вспомогательных концептуальных моделей.

В процессе выполнения данной работы была создана программа (на языке Python), позволяющая решать любые задачи, связанные с вычислениями на основе вводимых пользователем исходных данных и определяемых некоторой предметной областью, для которой заданы действительные математические формулы. Программа осуществляет поиск необходимых формул на основе вводимых пользователем данных, а затем применяет данные формулы для получения конечного результата. Кроме того, данная программа позволяет решать и составлять судоку – один из видов японских кроссвордов, составляя вспомогательные концептуальные задачи и решая их и исходную задачу на основе различных рекурсивных методов.

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

Далее в работе будет описано представление исходной задачи как концептуальной модели задачи, формализация задачи, а также описана практическая реализация составленной программы.