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