|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Анализ планов и предметных областей планирования с использованием объектных моделейдипломная работа (Специалист)
- Научный руководитель: Малышко В.В.
- Автор: Безденежных Константин Вячеславович
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2015
- Аннотация: Работа посвящена методу анализа планов и предметных областей планирования, основанному на применении объектных моделей. Для представления знаний о планировании создан графический объектный предметно-ориентированный язык, учитывающий возможность проведения автоматического анализа над моделями, представленными на этом языке. Для поддержки разработанного языка разработано программное средство для редактирования моделей, а также предложены и реализованы преобразования моделей во входные описания для планировщиков. Анализ предметных областей основывается на проверке ограничений на модели. Анализ планов проводится с применением средств валидации объектных моделей. Предложены и программно реализованы преобразования моделей предметных областей и задач в объектные спецификации, являющиеся входными данными для средств валидации.
- Добавил в систему: Малышко Виктор Васильевич