Вы здесь

Лаборатории

Выставка кафедр в рамках Фестиваля науки

Лаборатория ВК - 02.02.2021 - 17:11

В субботу 17 октября с 12:00 до 14:00 в рамках Выставки Кафедр
представители кафедры Автоматизации Систем Вычислительных Комплексов
лично ответят на все Ваши вопросы. Диалог будет осуществляться в
Zoom-конференции.

До субботы можно ознакомиться с прикрепленными документами и подготовить вопросы либо задать их в Google-форме ниже.

Категории: Лаборатории

Предзащита диссертации программиста кафедры АСВК А.Б. Глониной.

Лаборатория ВК - 02.02.2021 - 17:01

9 декабря 2020 года на совместном заседании Консорциума "Сетевые и облачные технологии" и кафедры АСВК состоялась успешная предзащита диссертации программиста кафедры АСВК А.Б. Глониной. Диссертация рекомендуется к защите на соискание ученой степени кандидата физико-математических наук по специальности 05.13.11 – «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей» (по физико-математическим наукам).

Тема работы: Проверка выполнения ограничений реального времени для конфигураций модульных вычислительных систем

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

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

Категории: Лаборатории

Аспиранту АСВК ЧУПАХИНУ А. А. присуждена стипендия МГУ

Лаборатория ВК - 02.02.2021 - 16:56

Решением Ученого совета МГУ стипендия Московского государственного университета имени М.В.Ломоносова молодым сотрудникам, аспирантам и студентам, добившимся значительных результатов в педагогической и научно-исследовательской деятельности, на 2021 год присуждена:

ЧУПАХИНУ Андрею Андреевичу, аспиранту

Желаем Андрею Андреевичу дальнейших успехов в научной деятельности!

Категории: Лаборатории