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

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

Исследуются причины кризиса в создании массовых компьютерных архитек-тур. Приводится опыт проектирования, внедрения и промышленного примене-ния серийного многопроцессорного компьютера ПС-2000. Описывается зави-симость компьютеров от политики и политики от компьютеров.

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

Цель настоящей работы – показать основные направления исследований в области онтологий, описать основы методологии построения и использования онтологий, рассмотреть особенности конструирования онтологий областей научных знаний.