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

Оглавление
Введение.
Глава 1. Система x. Формальное описание.
Методы достижения совместности
Базовые понятия.
Модель x.
Алгоритм удовлетворения ограничений системы x
Виды иедоопределнности.
Одиночное значение i.
Интервал Iv.
Перечисление .
Ограниченное перечисление .
Мультиинтервал iiv
Ограниченный мультиинтервал iv
Смешанный вид иедоопределнности ix.
Структурный вид недоопределсниости .
Особые случаи.
Логический тип данных
Применение вида иедоопределнности i
Применение мультиинтервалов
Типы данных.
Целые числа.
Вещественные числа
Логический тип данных.
Структуры.
Запись.
Массив.
Множество
Ссылка.
Ограничения.
Ограничения для типа данных iv i
Ограничения для типа данных iv .
Ограничения для типа данных i .
Ограничения для типа данных i.
Ограничения для типа данных .
Ограничения для типа данных iv
Глава 2. Система программирования в ограничениях x
Архитектура системы x. Инструментальный уровень
Библиотеки типов данных и ограничений.
Вычислитель.
Сервисный уровень.
Архитектура системы x. Пользовательский уровень
Декларативное представление модели
Модульность.
Виды иедоопределнности.
Типы данных
Отношения
Объектноориентированная парадигма описания модели.
Механизм обобщнных классов и отношений
Классы решаемых задач
Глава 3. Интеграция системы программирования в ограничениях x в САПР
Параметрическое проектирование.
Реализация параметрического проектирования в системе САТ1Л V5
Виды инженерных отношений
Параметрическая оптимизация
Интеграция x в систему I V5.
Методы поиска точного решения в системе x.
Поиск точного решения
Оценка точности найденного решения.
Нахождение точного решения, ближайшего к заданному.
Задача оптимизации.
Иерархическое удовлетворение ограничений.
Выбор ближайшего решения с помощью эвристик метода полного перебора
Нахождение нескольких точечных решений.
Ползущие решения.
Поиск частичного решения.
Реализация.
Глава 4. Ixограничение.
Формулировка задачи
Взаимодействие внешней процедуры с xограничением.
Эвристики.
Многомерные эвристики
Алгоритм Бисекция
Градиентный метод
Метод координатного спуска
Дополнительные задачи.
Локальность
Поиск условного экстремума.
Несовместные точки.
Поиск точного решения
Поиск решения, близкого к заданной точке.
Одномерные Эвристики
Квадратичная интерполяция.
Локальность.
Другое эвристики
Алгоритм Iv ii.
Реализация.
Заключение.
Литература