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