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

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

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

В развитие нового подхода к программированию распределенных вычислений, основанном на исчислении древовидных структур, предлагаются принципы воплощения отдаленного запуска процедур (RPC) в системе программирования ПАРСЕК, реализующей это исчисление.

Рассматривается обобщённая модель большого космического рефлектора.