Файл: Коваленко И.Н. Полумарковские модели в задачах проектирования систем управления летательными аппаратами.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 28.06.2024
Просмотров: 112
Скачиваний: 0
жеиию (4.76), со значением /п= г, которое определяется из условия (4.78). Таким образом, план типа. Л включа ет в себя оптимальное планирование сначала на интерва
ле |
(т, Т), а затем |
на интервале |
(0, т) |
при хт=х. |
||
|
Планом |
типа |
Б назовем |
план с составляющими |
||
хт+1, .. ., хт+„, заданными согласно выражению |
(4.74), со |
|||||
значением п, |
которое определяется |
нз условия |
(4.75), и |
|||
с |
составляющими Х і , . . . , х т, заданными согласно выра |
жению (4.80), со значением m = k, которое определяется и з у с л о в и я (4.79), е с л и л = 0, или из выражения (4.83) со
значением m = q, которое определяется из условия (4.82), если л = 0.
Таким образом, план типа Б включает в себя опти мальное планирование вновь сначала на интервале (т, Т), а затем на интервале (0, -ѵт+і).
Если же д=0, то планирование осуществляется сразу на всем интервале- (0, Г). Как и в случае плана типа А, так и в случае плана типа Б, план справа от точки т — на интервале (т, Г) — будет оптимальным и таким, как в первом разделе п. 4.5.
В плане типа А проверка предусматривается в мо мент т и интервал (0, т) планируется оптимально сог ласно первому разделу п. 4.5. В плане типа Б не преду сматривается проверка в момент т, и интервал (0, хт+\) пли (0, Г), если /7 = 0, будет планироваться так же, как и в первом разделе, но с незначительными изменениями. Сравнение моделей, рассматриваевых в первом и втором разделах, подробно изложено в работе [64].
Определение плана проверок хранящейся системы при наличии минимальной информации о ее надежности. Случай бесконечного времени
По-прежнему считаем, что отказы системы выявля ются только при проведении проверок. Отличие решения задачи определения оптимального (в минимаксном смыс ле) плана проверок от решения, приведенного выше, бу дет заключаться только в том, что время работы систе мы примем равным бесконечности. Поэтому будем ми нимизировать максимальную среднюю стоимость, прихо дящуюся на единицу времени эксплуатации системы.
Наша стратегия будет заключаться в том, чтобы вос становить систему (до первоначального состояния) или заменить ее при первой проверке, во время которой об-
166
иаруживается отказ (с вероятностью единица), или осу ществить восстановление (замену) системы через время
Т, если за это время она проверялась, |
|
но при этих про |
||
верках не было обнаружено отказов. |
Замена через вре |
|||
мя Т в последнем случае |
необходима |
в силу того, что |
||
задано, как и ранее, гарантированное значение |
|
|||
Р { Т ) = Р \ \ < Т \ = л а, Г > |
О, |
(4.87) |
||
где I — время безотказной |
работы |
системы |
(срок ее |
|
службы). |
|
|
|
|
■Здесь мы Т трактуем как гарантийный ресурс работы
системы и сверх времени Т работа системы |
(без восста |
новления или замены) недопустима. Поэтому в соответ |
|
ствии с планом проверок X имеем вектор |
Х = ( х 0, хіу.. |
..., хп, Хп+\) со значениями, расположенными в интерва ле (О, Т) следующим образом:
|
О XQ<сГлі |
Хч ... |
<С! Хц Xji^-i= Т, |
|
||
где |
Хі (і= 0, 1,..., и ) — время, |
измеряемое |
от |
момента |
||
|
|
начала |
эксплуатации |
системы |
||
|
|
или от момента |
ее |
восстановле |
||
|
|
ния (замены). |
|
X вновь вве |
||
Для любого заданного плана проверок |
||||||
дем |
в рассмотрение |
функцию |
стоимости |
Gд-(£), связан |
ную с системой, которая имеет случайное время до отка за g. Обозначим через R(\) отрезок времени, в течение которого система, имеющая случайный срок службы |, находится в эксплуатации, и назовем его циклом заме ны. Функционирование системы состоит из бесконечной последовательности таких циклов замен (при проверках и по истечении времени Т) .
Пусть С,- — стоимость, связанная с і-м циклом заме ны, а Ri — длина г'-го цикла замены. Тогда средняя стои мость в единицу времени эксплуатации системы
|
N (П |
|
Ф |
( * ) = Ч і т - і - ^ Ch |
(4.88) |
|
i-l |
|
где N (i) — число циклов, завершенных к моменту t. |
||
Предел (4. 88) |
существует с вероятностью единица и |
|
может быть записан как |
|
|
|
Ф ( Х ) = ^ 4 - |
(4.89) |
|
M f R , |
|
при условии, что МСі конечно.
167
Задача заключается в выборе плана X таким, чтобы минимизировать Ф(Л'), но так как Ф(Х) зависит от функции распределения F(t), которая неизвестна, за исключением единственного значения, то рассмотрим сначала
[х(0)(Х ) = тахф (^),
где максимум .берется по всем функциям распределения положительных случайных величин, удовлетворяющих (4.87). В конечном итоге необходимо, найти такой план проверок Х=Х*, при котором
p.(0)= tnin|A<0) (X ) = г т (Х).
X —
Рассмотрим случай, когда стоимость, связанная с циклом замены, имеет вид (4.52). Приведем результат решения этой задачи, полученный в работе [65]:
(1 -А )"+1= 1 - я „ - |
- |
[1 — (1 —/?)"], |
(4.90) |
|
Л ( А — nQ) |
|
|
где h —\з./ѵ\ Q— c/(vT). |
|
|
Q и яо |
Из соотношения (4.90) |
при фиксированных |
||
находится значение п*, |
соответствующее оптимальному |
плану проверок. Далее план вычисляется рекуррентно из следующих соотношений:
яоѴл*= n*Q -{-я0 — A; |
|
|
|
|
|
|
|
я<ЛѴ-і = (1 — |
А) n0yk— (1— я0) (Л — n*Q) + я0kQ |
(4.91) |
|||||
где уі = Хі/Т. |
( k = \ , |
2 , . . . , |
n*), |
|
|
||
|
|
|
|
|
|
||
Следует |
отметить, |
что уравнение |
(4.90) |
решается |
|||
численными методами. |
|
|
|
|
|
|
|
Некоторые математические обобщения |
|
|
|||||
и доказательства |
|
|
|
|
|
|
|
При рассмотрении |
минимаксных |
|
критериев в зада |
||||
чах надежности первым этапом является |
определение |
||||||
наихудшей |
функции распределения |
F(t) |
из |
множества |
|||
допустимых |
функций, |
для |
которой |
средние потери |
|||
M FQX„№ |
пРи выбранном |
плане |
|
Х„ были бы мак |
|||
симальны. |
|
|
|
|
|
|
|
168
\
В рассмотренных выше и во многих других практиче ских задачах средние потери имеют вид либо линейного, либо дробно-линейиого функционала относительно функ ции F(t). Поэтому для решения задачи определения наи худшей функции распределения представляет интерес описание вида функции распределения, на которой до стигается экстремум исследуемого функционала. Ответ на этот вопрос дают доказываемые ниже утверждения.
Если f(x), g(x) — непрерывные ограниченные функ ции, G(x) — функция распределения, то положим
j _ _ J / ( * ) dG (X)
(4.92)
°1’ g (X) dG (х)
|
Заданы точки ті (тн<Т2 < |
.. .< т т ) |
и ограничения |
||||||
|
|
|
0(И)€А,, |
1 < г < т , |
|
(4.93) |
|||
где Аі — любые замкнутые множества. |
|
|
|
|
|||||
|
Требуется найти G, при котором /ß = max. |
|
|
|
|||||
|
Лемма 4.1. Максимум /с в сформулированных |
усло |
|||||||
виях, если |
он |
существует, достигается |
при |
функциях |
|||||
G ступенчатого вида, имеющих не более одного скачка в |
|||||||||
каждом из интервалов (— оо, Ті), (ту, та) , ... , |
(хт, |
со). |
|||||||
|
Введем уточнение. Пусть Ві ■— граница множества Аі. |
||||||||
|
Лемма 4.2. В условиях леммы 4.1 максимум IG, если |
||||||||
он существует, |
достигается |
на некоторой |
функции G |
||||||
ступенчатого вида, имеющей не более одного |
скачка на |
||||||||
любом отрезке [г,, Tj], |
|
|
таком, что |
для |
|||||
всех k, i c k c j , |
G(xh) e B h. |
|
|
|
|
|
|
||
|
Если говорить не совсем строго, то это означает сле |
||||||||
дующее. Ограничение 0(т&)&Дь |
приводит |
к тому, что |
|||||||
G{Xk)^Bh, в противном случае оно как бы снимается. |
|||||||||
|
Следствие |
1. Пусть каждое множество Аі = {яі} |
со |
||||||
стоит из одной точки 0 = яо^л;і^Я 2 ^ |
• • . ^ я п^1=л:п+і. |
||||||||
Тогда максимум IG, если он существует, достигается на |
|||||||||
функции G(x) |
ступенчатого вида, имеющей |
на каждом |
|||||||
из |
интервалов |
(—оо, п ), . .. , |
(т„, |
оо) |
скачок величины |
||||
і У я ^ |
Я ^ і |
Я і * |
|
|
|
|
|
|
|
169