о_проекте
Различия
Показаны различия между двумя версиями страницы.
Предыдущая версия справа и слеваПредыдущая версияСледующая версия | Предыдущая версия | ||
о_проекте [2022/02/07 13:19] – vostokin | о_проекте [2023/02/02 11:48] (текущий) – внешнее изменение 127.0.0.1 | ||
---|---|---|---|
Строка 29: | Строка 29: | ||
Наш подход на основе математической модели вычислительного процесса можно рассматривать как альтернативу языкам описания потоков работ (CWL и др.); промежуточному программному обеспечению (HTCondor и др.); набору высокоуровневых алгоритмических скелетов с индивидуальными моделями исполнения (map-reduce и др.). | Наш подход на основе математической модели вычислительного процесса можно рассматривать как альтернативу языкам описания потоков работ (CWL и др.); промежуточному программному обеспечению (HTCondor и др.); набору высокоуровневых алгоритмических скелетов с индивидуальными моделями исполнения (map-reduce и др.). | ||
- | === Направления исследования проекта в области модели вычислений === | + | === Задачи исследований === |
- Исследование семантики модели с использованием математического аппарата темпоральной логики Лампорта для точного понимания смысла «распараллеливания» в нашей модели. | - Исследование семантики модели с использованием математического аппарата темпоральной логики Лампорта для точного понимания смысла «распараллеливания» в нашей модели. | ||
- | |||
- Разработка прикладных и обобщенных параллельных алгоритмов | - Разработка прикладных и обобщенных параллельных алгоритмов | ||
- | |||
- Разработка методов анализа параллельных алгоритмов, | - Разработка методов анализа параллельных алгоритмов, | ||
Строка 43: | Строка 41: | ||
Эта особенность обеспечивает расширяемость для использования с разными системами управления задач, компактность кода, а также позволяет эффективно синхронизировать очень большое количество задач малой длительности счета. Текущая реализация библиотеки времени исполнения выполнена на языке С++. | Эта особенность обеспечивает расширяемость для использования с разными системами управления задач, компактность кода, а также позволяет эффективно синхронизировать очень большое количество задач малой длительности счета. Текущая реализация библиотеки времени исполнения выполнена на языке С++. | ||
- | === Направления исследований | + | === Задачи исследований === |
- Оптимизация кода библиотеки времени исполнения с целью повышения производительности. | - Оптимизация кода библиотеки времени исполнения с целью повышения производительности. | ||
- | |||
- Исследование производительности на разных платформах в алгоритмах мелкогранулярных вычислений. | - Исследование производительности на разных платформах в алгоритмах мелкогранулярных вычислений. | ||
- | |||
- Разработка, | - Разработка, | ||
Строка 57: | Строка 53: | ||
В проекте разрабатывается набор инструментов, | В проекте разрабатывается набор инструментов, | ||
- | === Направления исследований | + | === Задачи исследований === |
- Расширение функционала инструментов: | - Расширение функционала инструментов: | ||
- | |||
- Переход на новый принцип генерации кода: использование языка С++ как входного языка генератора кода вместо используемого в текущей реализации специального доменного языка. | - Переход на новый принцип генерации кода: использование языка С++ как входного языка генератора кода вместо используемого в текущей реализации специального доменного языка. | ||
- | |||
- Развитие библиотек обобщенного программирования на основе нового принципа генерации кода: описание алгоритмических скелетов, | - Развитие библиотек обобщенного программирования на основе нового принципа генерации кода: описание алгоритмических скелетов, | ||
Строка 69: | Строка 63: | ||
Исследования в области программной инфраструктуры направлены на практическое применение проекта в образовательных и исследовательских целях. Мы стремимся к удобству работы с программами в соответствии с современными требованиями развертывания на произвольных виртуальных машинах в облаке и работы через веб-интерфейс в браузере. | Исследования в области программной инфраструктуры направлены на практическое применение проекта в образовательных и исследовательских целях. Мы стремимся к удобству работы с программами в соответствии с современными требованиями развертывания на произвольных виртуальных машинах в облаке и работы через веб-интерфейс в браузере. | ||
- | Для поддержки этих возможностей в проекте ведутся исследования в области системной интеграции технологии конкретизации приложений Docker; | + | Для поддержки этих возможностей в проекте ведутся исследования в области |
- | === Направления исследований | + | === Задачи исследований === |
- Разработка системных механизмов развертывания для виртуальных лабораторий: | - Разработка системных механизмов развертывания для виртуальных лабораторий: | ||
- | |||
- Разработка виртуальных лабораторий для организации практических занятий по программированию и автоматизации научных исследований, | - Разработка виртуальных лабораторий для организации практических занятий по программированию и автоматизации научных исследований, | ||
- | |||
- Улучшение интеграции комплекта разработки программ проекта с компилятором и системой контроля версий в интерфейсе JupyterLab. | - Улучшение интеграции комплекта разработки программ проекта с компилятором и системой контроля версий в интерфейсе JupyterLab. | ||
- | ==== Научный руководитель | + | ===== Научный руководитель |
Востокин Сергей Владимирович, | Востокин Сергей Владимирович, | ||
- | ==== Участники | + | ===== Участники |
Бобылева Ирина Владимировна, | Бобылева Ирина Владимировна, | ||
Строка 89: | Строка 81: | ||
Попов Стефан Николаевич, | Попов Стефан Николаевич, | ||
- | ==== Бывшие участники проекта, | + | ===== Выпускники |
Артамонов Ю., Царёв Д., Дун Цзе, Чубаров Н., Водянов В., Потапов Д., Черномырдин И., Сайманина Е., Уланов Д., Коростелев В., Кошелев В, Зекцер И., Одобеску Д., Кантеев М., Полукаров В., Шапилов В., Каримов С., Симонович Н., Архипова Е., Кириченко Е., Макагонова Д., Гусаков С., Назаров Ю., Болтанов С., Борисов А., Усков С., Мартынюк В., Савинкова Ю., Литвинов В., Коленбет А., Хайрутдинов А., Скорюпина Е., Наширванов Д. | Артамонов Ю., Царёв Д., Дун Цзе, Чубаров Н., Водянов В., Потапов Д., Черномырдин И., Сайманина Е., Уланов Д., Коростелев В., Кошелев В, Зекцер И., Одобеску Д., Кантеев М., Полукаров В., Шапилов В., Каримов С., Симонович Н., Архипова Е., Кириченко Е., Макагонова Д., Гусаков С., Назаров Ю., Болтанов С., Борисов А., Усков С., Мартынюк В., Савинкова Ю., Литвинов В., Коленбет А., Хайрутдинов А., Скорюпина Е., Наширванов Д. | ||
- | ==== Практические результаты | + | ===== Практические результаты |
Templet Web – система управления задачами кластера «Сергей Королёв» Самарского университета; | Templet Web – система управления задачами кластера «Сергей Королёв» Самарского университета; | ||
Строка 103: | Строка 95: | ||
GraphPlus SDK x1 – первая экспериментальная версия комплекта для разработки программного обеспечения, | GraphPlus SDK x1 – первая экспериментальная версия комплекта для разработки программного обеспечения, | ||
- | ==== Результаты получены и использовались: ==== | + | ===== Результаты получены и использовались |
* в проекте «Разработка комплекса технологий использования ресурсов суперкомпьютера «Сергей Королёв» в целях развития инновационной и научно-образовательной среды университета» (программа повышения конкурентоспособности Самарского университета среди ведущих мировых научно-образовательных центров на 2013-2020 годы, «Проект 5-100»); | * в проекте «Разработка комплекса технологий использования ресурсов суперкомпьютера «Сергей Королёв» в целях развития инновационной и научно-образовательной среды университета» (программа повышения конкурентоспособности Самарского университета среди ведущих мировых научно-образовательных центров на 2013-2020 годы, «Проект 5-100»); | ||
Строка 109: | Строка 101: | ||
* в проекте «Разработка фундаментальных основ аналитического синтеза регулярных и хаотических процессов в динамике космических аппаратов» (Госзадание № 9.1616.2017/ | * в проекте «Разработка фундаментальных основ аналитического синтеза регулярных и хаотических процессов в динамике космических аппаратов» (Госзадание № 9.1616.2017/ | ||
- | ==== Диссертации | + | ===== Подготовленные диссертации |
Востокин Сергей Владимирович, | Востокин Сергей Владимирович, | ||
Строка 121: | Строка 113: | ||
Бобылева Ирина Владимировна, | Бобылева Ирина Владимировна, | ||
ИНФОРМАЦИОННЫХ МАССИВОВ ДЛЯ МНОГОЗАДАЧНЫХ ВЫЧИСЛЕНИЙ В ГИБРИДНОМ ОБЛАКЕ, | ИНФОРМАЦИОННЫХ МАССИВОВ ДЛЯ МНОГОЗАДАЧНЫХ ВЫЧИСЛЕНИЙ В ГИБРИДНОМ ОБЛАКЕ, | ||
- | комплексов и компьютерных сетей. | + | комплексов и компьютерных сетей, защищена |
- | + | ||
- | ==== Публикации на сайте Самарского университета ==== | + | |
- | + | ||
- | + | ||
- | + | ||
+ | ===== Публикации | ||
+ | * [[https:// | ||
+ | * [[главная| Избранные публикации участников проекта (с 2010 года)]] | ||
о_проекте.1644239964.txt.gz · Последнее изменение: 2022/02/07 13:19 — vostokin