Файл: Коваленко И.Н. Полумарковские модели в задачах проектирования систем управления летательными аппаратами.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