Ви є тут

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

Автор: 
Хныкин Иван Геннадьевич
Тип роботи: 
кандидатская
Рік: 
2009
Кількість сторінок: 
135
Артикул:
32521
179 грн
Додати в кошик

Вміст

Оглавление
Введение.
Глава 1. Задача ВЫПОЛНИМОСТЬ и методы ее решения
1.1. Постановка задач.
1.2. Математические модели задачи ВЫПОЛНИМОСТЬ
1.3. Алгоритмы поиска решения задачи ВЫПОЛНИМОСТЬ.
1.3.1. Алгоритм ИР ОахчзРШпат
1.3.2. Алгоритм ПРГХ Пау1яРи1патЬостаппЬое1апс1.
1.3.3. Методы локального поиска.
1.3.4. Методы преодоления локальных экстремумов.
1.3.5. Семейство алгоритмов локального поиска с обходом локальных минимумов
1.3.6. Семейство градиентных алгоритмов локального поиска.
1.3.7. Методы глобальной оптимизации
1.3.8. Непрерывный метод Лагранжа.
Глава 2. Описание гибридного метода последовательных приближении с инерцией в применении к за1аче ВЫПОЛНИМОСТЬ
2.1. Переход от задачи ВЫПОЛНИМОСТЬ к задаче поиска глобального минимума
2.2. Построение метода последовательных приближений с инерцией
2.3. Модификации и гибридизации метода последовательных приближений с инерцией
2.3.1. Переход к задаче 3ВЫПОЛНИМОСТЬ
2.3.2. Стратегия применения правил резолюции
2.3.3. Выбор начального приближения.
2.3.4. Добавление весовых множителей
2.3.5. Сдвиг по антиградиепту.
2.3.6. Туннелирование.
2.3.7. Метод смены траектории.
2.3.8. Рестарт
2.3.9. Выбор метода проектирования
2.3 Увеличение разрядности
2.3 Гибридный метод последовательных приближений с инерцией. .
2.3 Способы распараллеливания метода
Глава 3. Результаты численных экспериментов применения модифицированного метода последовательных приближений с инерцией к различным типам задач ВЫПОЛНИМОСТЬ
3.1. Задачи для тестирования метода последовательных приближений с
инерцией и его модификаций
3.1.1. Тестовые примеры открытой библиотеки 8АТЫЬ.
3.1.2. Задачи криптографического анализа несимметричных шифров
3.2. Результаты численных экспериментов гибридного метода последовательных приближений с инерцией
3.2.1. Стратегия применения правил резолюции
3.2.2. Переход к задаче 3ВЫПОЛНИМОСТЬ
3.2.3. Добавление весовых множителей
3.2.4. Сдвиг по антиградиенту.
3.2.5. Метод смены траектории и туннелирование
3.2.6. Увеличение разрядности.
3.2.7. Гибридный метод последовательных приближений с инерцией
3.2.8. Способы распараллеливания метода.
3.3. Исследование применимости метода последовательных приближений с инерцией к задаче факторизации
3.3.1. Определение наиболее вероятных значений бит сомножителей
3.3.2. Выбор начального приближения
Заключение
Список обозначенийИЗ
Литература