системы РТО полетов авиации»
1. Предельный закон помехоустойчивости систем
Пусть вероятность искажения символов в БСК равна р (0< p <0,5). Тогда существует такая система S (способ кодирования и декодирования), что в соответствии с видом зависимости числа входных слов М = 2 tR от их длины t, вероятность их правильного декодирования P(t) имеет следующие оценки:
(1)
где R кр £ R выч £ C имеют вид:
R кр = 1+ 
R выч = 1 – log (1-2
); (2)
C = 1 + p log p + q log q
и
Ep (R) = pR log
+ (1 – pR) log 
причем величина удовлетворяет соотношению R = 1+ pR log pR + (1 - pR) log (1 - pR).
Рассмотрим, в какой мере код | A | является оптимальным с точки зрения различения максимально большого числа M входных слов минимальной длины t сданной вероятностью Р, близкой к единице (оптимальный (М,t) – обмен). Для этого необходимо дать верхнюю оценку вероятности правильного декодирования Р(t). Верхние оценки числа M и вероятности P(t) приводят к следующим соотношениям (1):
(3)
При достаточно больших t из (3) следует, что лишь при d > t (р+ e), где e >0 произвольно мало (q = d /p > p) величина P(t) ® 1. В предельном случае для сколь угодно малых имеем:
M £ 2 t (1 + p log p + q log q ) ,
P (t) £ 1-
,
где величина q = d / p может быть определена в зависимости от R = (log M)/ t в виде решения уравнения:
R = 1 + q log q + (1 - q) log (1 - q). (4)
Таким образом, существует случайный код, который приводит к максимально большому числу M и требует при заданном P(t) и минимальное число t для значений R в интервале R кр < R <С, где нижние и верхние оценки P(t) экспоненциально совпадают. Т.е. здесь мы близки к оптимальному (2 t с, t) - обмену. Для значений R в интервале 0< R < R кр оценки p(t) расходятся. Однако верхняя оценка P(t) при определенных значениях t и M может быть достигнута так называемым плотноупакованным кодом. Его построение аналогично построению хемминговского кода методом исчерпывания. Поскольку построить плотноупакованный код в виде в алгоритма xu = j (u) до сих пор не удается, построение оптимальных кодов случайным выбором является в настоящее время единственно реальной перспективой.
2. Предельный закон управляемости систем
Рассмотрим простейший случай бинарной симметричной игры. Пусть в дискретные моменты времени t = 1,Т происходит многошаговая не безобидная игра между системами Ac и Bc с локальной бинарной симметричной функцией выигрыша M(x, y)=1, a ¹ 1 за обладание ограниченным количеством ресурсов R = const. Пусть до начала игры эти ресурсы распределены между системами Ac и Bc в количествах RA и RB (RA + RB = R), причем
|M(x,y)|<<min(RA,RB).
Тогда в зависимости от времени игры t вероятность разорения одной из систем имеет оценки:
(5)
где к = к(q 1,р) = q 1 log
+ (1- q t) log
;
0 £ q 1 =
, p = 1 – Pa, a = A, B.
При этом для случая 0<Нс<Сс разоряется система B с (a = B), а для случая Сс< Hc <0 разоряется система Ac (a = A), где Нс = Е М(х,у) при произвольных смешанных стратегиях РА и РВ, а Сс=ЕМ(х,у) при оптимальных в мини- максном смысле смешанных стратегиях, которые оказываются в рассмат- риваемом случае равномерными распределениями.
Условие, при котором выведен предельный закон | M (x, y)|<< min (RA, RB) сводитрешение многошаговой игры на разорение к решению одношаговой игры. Поэтому вопрос о конструктивности предельного закона управляемости сводится к вопросу оконструктивном решении игры с заданной функцией выигрыша М(х,у). Для простейшей бинарной симметричной функции выигрыша этот вопрос решается положительно.
Фундаментальная константа СС - величина одношаговой игры - имеет смысл коэффициента линейной функции накопления ресурсов от средней продолжительности игры соответствующей системы. Одновременно эта величина определяет минимальное среднее время, необходимое для выигрыша системой многошаговой игры. Таким образом, (cс t, t) – обмен между системой АС и ВС является оптимальным.
3. Предельный закон живучести систем
Пусть уязвимая система SRC имеет коэффициент живучести q а и коэффициент уязвимости q R q. Тогда живучесть PRC [ na (0)] системы имеет следующие оценки:
(6)
где q RC = q a na (0)/ ma; к = к(q RC, p ( ma )); к ¢ = к(q RC, q ( ma ));

(7)
.
Прежде чем перейти к анализу приведенных соотношений предельного закона живучести систем рассмотрим следующее соображение. Пусть число а - элементов, связанных с работой системы SRC фиксировано. Число R – элементов nR (0), выполняющих защитные функции, может быть выбрано лучшим образом при фиксации некоторых физических параметров задачи. В самом деле, пусть система располагает фиксированным количеством ER некоторого "защитного субстракта" (например, энергии) и может его равномерно распределять между nR (0) и R - элементами так, что на долю каждого приходится E 1 = ER / nR (0).
Очевидно, что коэффициент эффективности d R -элемента должен расти с ростом E1, так как с ростом E 1 должна расти вероятность D:
D = 1 – exp (- a,
),
где a и b - константы (a >0, b >0), не зависящие от nR (0). Величина E жизненного субстракта, имеющегося у системы S RC, определяет пути, по которымона может пойти для обеспечения своей максимальной живучести. Если E < E кр, то имеется лишь один путь, состоящий в увеличении живучести за счет увеличения числа элементов все более и более беззащитных. Если Е< E кр, то имеется еще один путь. Это построение сравнительно небольшого числа хорошо защищенных элементов. При превышении E значения Екр в несколько раз возможно резкое (на много порядков) увеличение живучести системы с оптимальной структурой.
В природе существуют оба пути обеспечения живучести. Один состоит в безграничном увеличении числа сравнительно беззащитных элементов (например, одноклеточных особей популяции для обеспечения живучести последней). Второй путь состоит в образовании немногочисленных популяций, хорошо защищенных многоклеточных особей (например, теплокровных). Заметим, что путь беспредельного увеличения числа элементов для обеспечения ее надежности следует из предельного закона надежности.
Контрольные вопросы:
1. Дайте определение предельного закона помехоустойчивости систем.
2. Раскроете содержание предельного закона управляемости систем.
3. Опишите модель живучести систем.
Лекция № 11 «Средства реализации моделей систем»






