English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Полнотекстовый поиск по серверу
 Автоматический решатель построение автоматического решателя математических задач
 Обучающие системы разработка компьютерных интеллектуальных обучающих систем
 Информационный мониторинг создание интеллектуальных систем информационного мониторинга
 Оптимальная упаковка (Packer3D) приближенное решение NP-полной задачи об упаковке контейнеров
 Распознавание визуальных образов исследования в области распознавания визуальных образов

Автоматический решатель математических задач

Интеллектуальная система, основанная на новом понимании функционирования интуиции и принятия решений, реализована в научной версии для решения математических задач на базе ПК (см. демонстрационный видео-ролик). Разработан специальный формализм ее описания, использующий новый язык программирования высокого уровня. Система может быть использована в ряде предметных областей. После доработки способна решать в автоматическом режиме задачи верификации программ, синтеза ЧИП'ов и др. Одна из версий решателя защищена серией патентов совместно с фирмой LSI (США).

 

Проф. Подколзин А.С. Руководитель группы исследований в области построения решателя математических задач д.ф.-м.н. Подколзин Александр Сергеевич

 

На нашем сайте размещено учебное пособие "Компьютерное моделирование процессов решения математических задач" (автор – А.С.Подколзин) и учебное пособие в трех томах:

  • Подколзин А.С. Компьютерное моделирование логических процессов. Учебное пособие.
    Москва, 2007-2015 гг.. Введение, Том 1, Том 2, Том 3.
  • Также доступны для загрузки компьютерные версии решателя: http://intsys.msu.ru/invest/solver/logsyst.zip (20 Мб), http://intsys.msu.ru/invest/solver/logsyst2.zip (29 Мб) и http://intsys.msu.ru/invest/solver/logsyst3.zip (30 Мб).

    Загрузить решатель (20 мб) Предлагаемая версия компьютерной логической системы является дополнением к первому тому книги "Компьютерное моделирование логических процессов", изданной при поддержке РФФИ. В этом томе содержится описание архитектуры системы и использованных языков обучения решателей задач. Имеется большое число примеров и упражнений, предполагающих наличие данной версии системы. Предполагается написание следующего тома книги, посвященного рассмотрению самих решателей задач.

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

       © 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
    XWare
     Полнотекстовый поиск
     
    Только точная форма слов      Выводить по результатов на странице
    Rambler's Top100 Рейтинг@Mail.ru