Ви є тут

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

Автор: 
Лоенко Михаил Юрьевич
Тип роботи: 
Дис. канд. физ.-мат. наук
Рік: 
2003
Артикул:
17353
179 грн
Додати в кошик

Вміст

Содержание
Введение
1. Вычисление элементарных функций с гарантированной точностью
1.1. Соглашения
1.2. Оценка синуса на интервале 0, .
1.3. Оценка синуса на интервале О.ос
1.4. Оценка косинуса.
1.5. Оценка тангенса.
1.6. Обратные тригонометрические функции.
1.6.1. Оценка арксинуса.
1.6.2. Оценка арккосинуса.
1.6.3. Оценка арктангенса.
1.7. Оценка экспоненты
1.8. Оценка логарифма
1.9. Результаты
2. Алгоритм коррекции решения
2.1. Базовые определения
2.2. Алгоритм М2В
2.3. Применение алгоритма М2В.
2.4. Алгоритм МЗВ.
2.5. Алгоритм коррекции решения.
2.6. Настроечные параметры алгоритма
2.7. Результаты экспериментов.
2.8. Управление алгоритмами сужения.
3. Ньтоновские корректоры
3.1. Граф задачи
3.2. Функциихарактеристики.
3.3. Граф истории.
3.3.1. Вершины графа истории
3.3.2. Создание заготовки графа истории
3.3.3. Эволюция графа истории.
3.3.4. Свойства графа истории.
3.4. Графиндикатор несовместности
3.4.1. Вершинычисла
3.4.2. Вершиныфункции
3.4.3. Корректность графаиндикатора
3.4.4. Предельное значение графаиндикатора.
3.4.5. Теорема о предельном значении графаиндикатора
3.5. Алгоритм ньютоновской коррекции
3.5.1. Теорема о корректности алгоритма.
36. Сравнение алгоритмов и М2В на примере конкретной задачи
3.6.1. Решение задачи М алгоритмом М2В
з
3.6.2. Решение задачи М алгоритмом
3.7. Результаты экспериментов
Заключение
Литература