Рассматривается компьютерное решение некоторых задач, относящихся к управлению сложными механическими системами типа космического роботизированного модуля.

Исследуется программный метод повышения надежности исполнения прикладных программ в сетевых ресурсах, который состоит в одновременном выполнении многих копий программы на разных компьютерах (с идентичными начальными состояниями и входными данными). Строится и исследуется вероятностная модель надежности программного процесса по схеме структурного резервирования в предположении, что в случае отказа компьютеров в ходе исполнения производится замена выбывших из строя на работоспособные компьютеры в предположении, что число доступных работоспособных компьютеров сетевых ресурсах неограниченно. Полученные функциональные зависимости между параметрами модели отображаются в виде графиков.

Определяется структура обзора литературы по проблеме повышения надежности распределенных вычислений в ресурсах глобальных сетей. Особое внимание уделено задачам программного повышения надежности вычислений в ненадежной компьютерной среде.

Предлагаются и исследуются программные методы повышения надежности за счет введения избыточных вычислений, посредством параллельного исполнения на разных компьютерах идентичных вычислительных фрагментов с последующим сравнением в каждом из компьютеров промежуточных результатов. Рассматривается влияние внутренних и внешних факторов снижения надежности распределенных вычислительных ресурсов. Разрабатываются математические модели, параметры которых учитывают практически значимые характеристики - надежность элементов компьютерной среды, длительность вычислительных процессов, степень избыточности вычислений. В развитие методов исчисления древовидных структур разрабатываются алгоритмы реализации в сетевых ресурсах теоретически обоснованных моделей повышения надежности.

Излагается общий подход к решению проблем построения отказоустойчивыхсистем сетецентрического управления распределенными системами из мобильных/стационарных объектов со встроенным компьютерным интеллектом. В предположенияхнедетерминированности ресурсов локальных и глобальных сетей предлагаются принципыорганизации и "бесшовного" программирования устойчивых к отказам распределенныхвычислений и процессов управления, воплощаемых в математически однородном полекомпьютерной информации на основе исчисления древовидных структур.