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

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

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

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

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