Математическое моделирование и исследование программно-аппаратного обеспечения многопроцессорных вычислительных систем

Номер гранта:17-47-240318
Область научного знания:инфокоммуникационные технологии и вычислительные системы
Тип конкурса: (р_а)(р_а) региональный конкурс проектов фундаментальных научных исследований
Год выполнения:2017г.
Руководитель: Кузнецов А.А.
Статус заявки:поддержана

Аннотация к заявке:

Данный проект направлен на решение проблемы "Математическое моделирование систем и фундаментальных процессов", актуальной для Красноярского края, что соответствует условиям настоящего конкурса. Как известно, топология (способ соединения процессоров друг с другом) является критическим параметром, влияющим на производительность суперкомпьютера, т.е. многопроцессорной вычислительной системы (МВС). В настоящей работе предлагается в качестве модели топологии МВС применять симметричные графы специального вида - графы Кэли. Ранее изученные авторами проекта частные случаи показали, что графы Кэли некоторых классов групп обладают хорошими характеристиками и могут быть использованы в качестве перспективной модели топологии МВС. Поэтому продолжение исследований в данном направлении имеет важное значение для развития теории МВС. Исследование будет проводиться на основе имитационного моделирования больших сетей и при помощи реальных сетей из одноплатных ЭВМ (Raspberry Pi, Orange Pi и др.). Для решения задач фундаментального исследования, связанных с теоретическими основами математического моделирования программного обеспечения МВС предполагается эффективное использование методов многомерного комплексного анализа (аналитических методов). Будет установлены и обоснованы связей между свойствами решений символьных систем уравнений, рассматриваемых как грамматики, порождающие языки и системы программирования (в частности, компиляторы и трансляторы), и свойствами данных языков: их однозначность, определённость, распознаваемость и др.; разработаны новые методы синтаксического и семантического анализа этих языков. Подходы в исследовании языков и систем программирования, связанные с применением аналитических методов для исследования систем символьных уравнений с некоммутативными символьными переменными над полукольцом, являются новыми, их идея принадлежит участникам данного проекта, подходы не имеют аналогов в исследованиях российских и зарубежных учёных и потому имеют приоритетный характер. Указанные подходы основаны на изучении связей между системами символьных некоммутативных уравнений и их коммутативных образов - систем алгебраических нелинейных уравнений над полем комплексных чисел, что и обеспечивает новизну и эффективность методов проекта.
Аннотации к заявке и отчету приведены в авторской редакции. по состоянию на 03.06.2020.
Помог ли вам материал?
0    0