Учебно-исследовательские работы и курсовые проекты (УИР и КП)

• Фарбер Е.Я. WIS: Научно-учебный сайт по теории вычислений (на основе ASP-технологиии), УИР и КП, Московский инженерно-физический институт, кафедра кибернетики, Москва, 1999. Руководитель: асп. Погодаев Г.Г. Консультант: проф. Вольфенгаген В.Э.
Аннотация.   Немногие и сравнительно молодые математические теории ориентированны на рассуждения в терминах объектов, а не в терминах операторов. Далеко не всем программистам удается познакомиться с основами математического мышления в терминах объектов. Иногда эти познания ограничиваются небольшим объемом информации о комбинаторной логике, ламбда-исчислении и теории категорий. Комбинаторная логика, например, начиналась как наука о природе подстановок в математических теориях и породила функциональное программирование и программирование в терминах суперкомбинаторов и некоторые другие плодотворные подходы к программированию. В настоящее время в научном российском секторе Internet ресурсы по теории вычислений практически не представлены, поэтому постановка задачи по разработке тематического сайта в этой области является чрезвычайно актуальной.

• Ву Хоанг Нам Реализация и развитие открытого электронного каталога с построением в Web сайта с открытым доступом, УИР и КП, Московский инженерно-физический институт, кафедра кибернетики, Москва, 2000. Руководитель: проф. Вольфенгаген В.Э.
Аннотация. Реализована WIS Web Information System, предоставляющая возможности поиска в Web и составления виртуального ресурса для данной предметной области. В качестве прототипа принята WIS ELib “Hypatia”.

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

• Нгуен Минь Ханг Исследование возможности описания поведения динамической системы дедуктивными и теоретико-модельными методами на основе временной логики и реализация основных механизмов, УИР и КП, Московский инженерно-физический институт, кафедра кибернетики, Москва, 2004. Руководитель: с.н.с. Косиков С.В.. Констультант: проф. Вольфенгаген В.Э.
КЛЮЧЕВЫЕ СЛОВА: поведение динамической системы, концептуальное моделирование, временная логика, функциональное программирование, Haskell, имитационные игровые программы.
Аннотация. Цель работы – исследование возможности описания поведения динамической системы дедуктивными и теоретико-модельными методами на основе временной логики. Объектом исследования явилась имитационная игровая программа. В ходе работы было выявлено преимущество использования временной логики для описания динамической системы. В результате работы был построен комплекс механизмов поддержки описания динамики системы.

• Любарский Д.А. Исследование возможностей конструирования аппликативного объектно-ориентированного языка с использованием модализированных механизмов и функций высших порядков, УИР и КП, Московский инженерно-физический институт, кафедра кибернетики, Москва, 2004. Руководитель: с.н.с. Косиков С.В.. Констультант: проф. Вольфенгаген В.Э.
КЛЮЧЕВЫЕ СЛОВА: динамическая система, моделирование, временная логика, функциональное программирование, имитационные игровые программы.
Аннотация. В рамках настоящей работы проводится исследование возможностей использования объектных механизмов для моделирования систем, связанных с имитацией трудно формализуемых областей человеческой деятельности. В качестве примера такой области в рамках данной работы выбрана задача создания обучающих систем типа «деловые игры», производящих обучение юриспруденции. В настоящее имеется большая потребность в создании деловых игр такого рода. Сложно структурированные области, относящиеся к разряду гуманитарных наук, до сих пор были прерогативой человека. Задача погружения знаний о таких областях в компьютер в общем виде до сих пор не решена, несмотря на большие усилия, направленные на ее решение со стороны представителей целого направления в computer science, называемого инженерией знаний. Создание хорошей деловой игры позволило бы производить обучение юриспруденции с минимальным участием преподавателя, что сэкономило бы много человеко-лет работы.

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

• Сухов Д.В. Исследование возможностей построения аппликативного языка описания объектов для обеспечения динамических соотнесений, УИР и КП, Московский инженерно-физический институт, кафедра кибернетики, Москва, 2004. Руководитель: с.н.с. Косиков С.В.. Констультант: проф. Вольфенгаген В.Э.
КЛЮЧЕВЫЕ СЛОВА: обучающая система, язык описания объектов, динамические соотнесения, ламбда-исчисление.
Аннотация. Целью данного исследования явилось определение теоретических основ построения языка описания объектов и реализация интерпретатора для него. Объектом исследования явилось построение обучающей системы типа "деловая игра". Предметом исследования явилась задача конструирования управляющих сценариев для обучающей системы. В ходе исследования в качестве теоретических основ описания объектов были выбраны ламбда-исчисление и теория графов. С помощью этих теорий была описана формальная модель вычисления программы на языке описания объектов. В результате был реализован, отлажен и протестирован интерпретатор языка описания объектов.