Методы удовлетворения арифметических и геометрических ограничений в задачах декларативного моделирования сцен

Декларативное моделирование - это интуитивно понятный способ моделирования сцен, действительно позволяющий автоматизировать процесс проектирования. Сцена описывается в терминах свойств высокого уровня, и устройство моделирования генерирует все сцены, соответствующие этим свойствам.

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

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


Другие темы для обсуждения:

  • "Декларативные методы в моделировании сцен" с обзором методов декларативного моделирования.
  • "Понимание сцен в декларатином моделирований", представляющая несколько способов, позволяющих дизайнеру хорошо понимать сцены, построенные инструментом декларативного создания сцен.



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

    Основные темы исследований Димитрия Племеноса:

    • Декларативное и геометрическое моделирование,
    • Методы искуственного интеллекта в компьютерной графике,
    • Эвристические методы визуализации,
    • Методы распознавания сцен, использующие виртуальную камеру.

    Веб-страница