Содержание к диссертации
Введение 2
Глава 1 6
Постановка задач максиминного тестирования и алгоритмы жесткого
тестирования 6
1. 1. Функциональная схема тестирования и общая постановка задач 6
1.2. Математическая постановка задач первого этапа тестирования 12
1.3. Решение задачи первого этапа максиминного тестирования в
простейшем случае 16
-
Регулярный случай 16
-
Иррегулярный случай 22
1.4. Алгоритм нахождения нижней оценки в случае жесткого тестирования
при наличии аддитивных возмущений 31
Глава 2 43
Мягкое тестирование точности стабилизации 43
2. 1. Редукция к геометрической игре и существование седловой точки 43
2. 2. Алгоритмы построения областей достижимости 58
2.3. Принцип максимума для дифференциальной программной игры;
редукция к краевой задаче и алгоритм ее решения 67
Глав а 3 76
Тестирование качества алгоритма стабилизации сегмента активной
поверхности телескопа при наличии ветровых возмущений 76
3.1. Постановка задачи тестирования качества стабилизации сегмента
активной поверхности телескопа при наличии ветровых возмущений 76
3.2. Уравнения движения сегмента при наличии ветровых нагрузок 79
3.3. Уравнения движения в отклонениях от стационарного состояния 88
3.4. Постановка задачи мягкого тестирования и численное нахождение
седловой точки, стратегии тестирования алгоритма стабилизации 95
ЗАКЛЮЧЕНИЕ 105
РИСУНКИ 106
Литература 116
Введение к работе
Широко известно, что задачи анализа и синтеза всевозможных динамических систем управления являются чрезвычайно актуальными. В научной литературе известны самые различные постановки задач управления. Задачи оптимального управления динамическими системами составляют отдельную — значительную отрасль современной математики. Число монографий и различных публикаций в этой области огромно (например, [37, 18]). В то же время при исследовании каждой динамической управляемой системы, имеющей определенную специфику, возникает необходимость разработки все новых методов анализа и синтеза.
Создание всевозможных алгоритмов управления для сложных динамических объектов, в том числе в робототехнике, при разработке различных имитационных космических комплексов сделало необходимым развивать строгую теорию тестирования (проверки) работы предлагаемых алгоритмов. При этом, как правило, сам алгоритм стабилизации движения динамического объекта является «know how» разработчика и закрыт для тестировщика. Для тестировщика известным параметром является выходной сигнал управления, вырабатываемый тестируемым алгоритмом.
Трудность подходов к постановке и решению задач тестирования состоит в том, что необходимо рассматривать постановки различных экстремальных задач, в том числе, задачи дифференциальных игр [10, 26].
Недавно возникла и успешно разрабатывается новая задача тестирования - максиминное тестирование качества алгоритмов стабилизации. «Неестественность» такой постановки обусловлена тем, что тестировщика не интересует, какой именно стабилизацией занимается разработчик. Алгоритм разработчика может стабилизировать программное движение объекта, может реализовывать оптимальную стабилизацию (в смысле минимизации некоторого функционала), может, например, обеспечивать колебательное движение системы и т.д. Принципиально то, что при тестировании методом, предлагаемом в работе, тестировщик пользуется вполне конкретным функционалом и с помощью решения задачи о поиске нижней неулучшаемой оценки реализует последующие шаги тестирования. Безусловно, в такой постановке, результат тестирования алгоритма разработчика может дать результат близкий к нулю.
Эта задача заключается в необходимости выполнения трех последовательных шагов [2]. Первый шаг заключается в построении нижней неулучшаемой оценки (далее - отличной оценки), поиске оптимальной контрстратегии и стратегии тестирования (наихудших возмущений). Второй шаг - поиск реальной оценки, который осуществляется посредством использования в качестве входного параметра системы, контрстратегии (возмущающего параметра), полученного на предыдущем шаге; и третий шаг - сравнение полученных результатов. Управление, построенное на первом шаге, на практике, возможно, не может быть реализовано. Но, поскольку, задача построения наилучшего реализуемого управления не стоит, то получившийся результат по управлению ни на втором, ни на третьем этапе не используется, и не влияет на оценку качества работы тестируемого алгоритма стабилизации.
В работе используются понятия ««жесткого»» и ««мягкого»» тестирования, введенного в [6]. Задача первого этапа тестирования ставится, как некоторая игровая задача [2]. Исследуется вопрос о существовании седловой точки в поставленной дифференциальной игре. В работе также приведены теоретические результаты по реализации первого этапа тестирования — нахождение контрстратегии тестирования и стратегии тестирования, в некоторых частных случаях.
В главе 1 представлены:
1). Общая постановка задач «жесткого» и «мягкого» тестирования;
2). Решение задачи первого этапа максиминного тестирования в простейшем регулярном случае;
3). Решение задачи первого этапа максиминного тестирования в простейшем иррегулярном случае;
4). Алгоритм нахождения нижней оценки в случае «жесткого» тестирования;
5). Примеры к каждой из описанных в главе 1 задач.
Похожие диссертации на Максиминное тестирование точности алгоритмов стабилизации
