4501
правка
Коммуникация в децентрализованных мобильных сетях с использованием метода случайного блуждания: различия между версиями
Перейти к навигации
Перейти к поиску
м
Коммуникация в децентрализованных мобильных сетях с использованием метода случайного блуждания (посмотреть исходный код)
Версия от 22:33, 8 июля 2023
, 8 июля 2023→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 71: | Строка 71: | ||
'''Теорема 5. Ожидаемое время передачи между узлами поддержки с протоколом координации движения типа «змея» ограничено сверху формулой''' | '''Теорема 5. Ожидаемое время передачи между узлами поддержки с протоколом координации движения типа «змея» ограничено сверху формулой''' | ||
<math>E(T) \le \frac{2}{\lambda_2 (G)} \Theta \ | <math>E(T) \le \frac{2}{\lambda_2 (G)} \Theta \bigg( \frac{n}{k} \bigg) + \Theta(k).</math> | ||
'''Верхняя граница минимизируется при <math>k = \sqrt{2n / \lambda_2 (G)}</math>, где <math>\lambda_2</math> – второе собственное значение матрицы смежности графа движения.''' | '''Верхняя граница минимизируется при <math>k = \sqrt{2n / \lambda_2 (G)}</math>, где <math>\lambda_2</math> – второе собственное значение матрицы смежности графа движения.''' | ||
Способ перемещения и коммуникаций узлов поддержки является надежным в том смысле, что он сохраняет работоспособность при отказе узлов поддержки. Рассматриваемые типы отказов узлов являются устойчивыми, т. е. ошибками аварийной остановки. Как только происходит такой | Способ перемещения и коммуникаций узлов поддержки является надежным в том смысле, что он сохраняет работоспособность при отказе узлов поддержки. Рассматриваемые типы отказов узлов являются устойчивыми, т. е. ошибками аварийной остановки. Как только происходит такой отказ, узел поддержки, на котором он произошел, больше не является участником децентрализованной мобильной сети. Коммуникационный протокол является ''<math>\beta</math>-отказоустойчивым'', если он по-прежнему позволяет участникам сети корректно взаимодействовать при наличии не более <math>\beta</math> устойчивых отказов узлов поддержки <math>(\beta \ge 1)</math>. В работе [5] показано, что: | ||
'''Теорема 6. Протокол координации движения типа | '''Теорема 6. Протокол координации движения типа «Змея» является 1-отказоустойчивым.''' | ||
== Применение == | == Применение == | ||