Архитектура, системное, инструментальное и прикладное программное обеспечение, методы анализа и верификации информационно-вычислительных комплексов и сетей новых поколений

Получили развитие: алгоритмы оптимизации отождествления (параметризованных) рефал-данных при выборе конкретного правила переписывания из определения конкретной рефал-функции преобразуемой программы; модельный суперкомпилятор MSCP-A для фрагмента языка программирования, синтаксис и семантика которого существенно используют ассоциативный конструктор построения данных. Разработаны и реализованы машинно-проверяемые доказательства для оптимизированных арифметических действий над дробями в общем случае; получили развитие ранее разработанные методы верифицируемых доказательств для свойств функции умножения арифметики многочленов одной переменной. Реализован стриминг (потоковая передача) данных при обработке больших объемов данных в системе отказоустойчивых высокопроизводительных конвейерно-параллельных вычислений для нейросетевых методов обработки данных. Разработаны алгоритмы распределения вычислительной нагрузки и управления процессом вычислений в задаче распределенной обработки графических данных: формализация схемы обработки данных; статический и динамический алгоритм распределения нагрузки; построение расписания выполнения задач на основе генетического алгоритма и статистической информации о выполнении блоков обработки данных и передачи данных между блоками. Проведены экспериментальные исследования сиамских нейронных сетей, в результате которых заложен фундамент для использования данного типа сетей в задаче стереосопоставления. Предложен алгоритм сегментации и распознавания мультиспектральных снимков дистанционного зондирования Земли на основе совместного использования сверточных нейронных сетей и вегетационных индексов. Разработан новый способ калибровки активной оптической стереосистемы. Приведен подход к построению системы детерминированного параллельного программирования на основе монотонных объектов; разработана архитектура системы. Выполнено экспериментальное исследование реализации на монотонных объектах параллельного метода ветвей и границ для подтверждения реализуемости предложенных решений. Разработана новая версия библиотеки динамического распараллеливания заданий DMPI для системы параллельного программирования OpenTS; экспериментально подтверждена эффективность новой реализации. Выполнена аппаратная разработка узла хранения данных для распределенной плавно масштабируемой системы хранения сенсорных (и других видов) данных с высокой доступностью; проведено экспериментальное исследование технических характеристик узла.