•  Основная цель создания данного сайта - поддержка процесса обучения.


    Уважаемые преподаватели, сотрудники и студенты университета!

    В рамках акции «Вузы для фронта» объявляется сбор материально-технических средств для подразделений, участвующих в специальной военной операции. Отправка следующей колонны планируется 15 марта 2025 г.
    Принимая во внимание особенности весенне-летнего периода и актуальный перечень необходимых для фронта позиций, просим учитывать потребность в отправке флисовой одежды и нательного белья, каталитических грелок, печей для обогрева и приготовления пищи, банных печей, шанцевого инструмента, генераторов и бензопил, FPV дронов, детекторов частот, средств РЭБ и прочего.
    Указанные позиции для отправки можно передавать в отдел воспитательной работы и молодежной политики (1 корпус, кабинет №323, тел. 328-146) до 13 марта 2025 г.

    Также наш вуз организовывает БЛАГОТВОРИТЕЛЬНЫЙ СБОР средств для помощи НАШИМ БОЙЦАМ в зону СВО.

    Вы можете внести благотворительное пожертвования сделав: 

    - перевод по номеру телефона Сбербанк: +79042816808 

    - перевод по номеру карты Сбербанк : 2202202059147565 Кимляна Кимовна П. 

    Отчет о расходовании средств предоставим. Победа будет за нами!

                

    Приказ Министра обороны Российской Федерации от 15.02.2023 № 67

    __________________________________________________________________________________________________________________

    Ликвидация академических задолженностей (семестр 2025_Весна):
    Белая неделя (числитель) Понедельник 11.20
    Зеленая неделя (знаменатель) Пятница 08.00

    --------------------------------------------------------------------------------------------------------------

    Найди официальный портал с LMS Moodle из предложенных ниже:

    1. https://elp2.stu.lipetsk.ru/

    2. http://eserv.stu.lipetsk.ru/

    3. https://elp.stu.lipetsk.ru/

    4. https://els1.stu.lipetsk.ru/

    5. https://els2.stu.lipetsk.ru/

    __________________________________________________________________________________________________________________________________________

    Направления исследований и проектной деятельности
    на 2024-2025 уч.г. (ДЛЯ ПОЛУЧЕНИЯ ДОПОЛНИТЕЛЬНЫХ БАЛЛОВ И ВЫПОЛНЕНИЯ ИДЗ)

    1.    Особенности разработки приложений в операционной системе Astra Linux для микропроцессора Baikal-M".
    2.    Программирование для микропроцессора Baikal-M в операционной системе Astra Linux".
    3.    Повышение эффективности статических анализаторов программного кода применительно к ядру ОС семейства Linux.
    4.    Сбора и аналитическая обработка данных различных средств статического и динамического анализа программного кода.
    5.    Совершенствование технологий генерационного и мутационного фаззинг-тестирования ОС семейства Linux и их механизмов защиты (поверхности атаки).
    6.    Развитие и апробация методов фаззинг-тестирования системных компонентов, в том числе уровня ядра, ОС семейства Linux с применением средств символьного исполнения (например, KLEE).
    7.    Разработка средств автоматизации процесса первичной обработки данных, получаемых от средств фаззинг-тестирования.
    8.    Исследование возможности применения средств фаззинг-тестирования для платформ, построенных на базе микропроцессорах Baikal-M.
    9.    Автоматизация адаптации программного кода приложений с учетом особенностей функционирования операционной системы Astra Linux на микропроцессорах Baikal-M.
    10.                   Верификация и тестирование корректности реализации формальной модели управления доступом в ОС Astra Linux.
    11.                   Разработка плагина для VS Code, поддерживающего язык ACSL (подсветка синтаксиса, автодополнение и т.п.).
    12.                   Автоматизация генерации ACSL-спецификаций.
    13.                   Сравнительный анализ средств и подходов формальной верификации проектов с открытым исходным кодом.
    14.                   Сравнительный анализ возможностей плагинов WP и AstraVer по верификации программного кода (сравнение модели памяти, сравнение объёмов реализации спецификаций ACSL и т.п.).
    15.                   Исследование возможности повышения уровня автоматизации верификации ACSL-спецификаций для отдельных операций языка С  (например, битовых операций сдвига << и >>).
    16.                   Рефакторинг кода ARFA (универсальные Ansible роли для Astra Linux).
    17.                   Документация по ПК СВ Брест. Инструкции по применению.
    18.                    Сравнительный анализ программных систем хранения данных.
    19.                    Особенности разработки средств виртуализации в Linux для процессорной архитектуры  ARM64
    20.                    Особенности разработки графических интерфейсов пользователя на мониторах  высокой четкости (HighDPI)
    21.                    Оптимизация прозрачного шифрование подключаемых устройств
    22.                    Анализ особенностей применения различных тулкитов для разработки графических десктопных утилит (Qt, QML, GTK, HTML5, ...)
    23.                    Универсальное решение для работы с конфигурационными файлами в дистрибутивах Linux (gsettings, kwriteconfig5, /etc/...)
    24.                    Взаимодействие программ в Linux с проприетарными компонентами Android
    25.                    Анализ архитектур мобильных ОС на базе Linux (Ubuntu Touch, SailfishOS, Plasma Mobile и т.д.)
    26.                    Технологии по ограничению запускаемых пользователем приложений
    27.                    Особенности выбора и применения точек восстановления ПО
    28.                    Автоматическое тестирование графических приложений
    29.                    Проведение исследования и разработка скриптов автоматизации задач администраторов.
    30.                    Инструмент сбора статистики и последующего прогнозирования (например, сроки выхода из строя оборудования, необходимость увеличения мощностей и тд).
    31.                    Интерактивный гид по системе (или другие современные инструменты для обучения администраторов работе с системой).
    32.                   Проработка решения по реализации доверительных отношений из Linux-среды в Windows на базе open-source продукта FreeIPA.
    33.                   Геймификация процесса обучения операционной системе Astra Linux

    34.                    «Разработка практикума по использованию основных утилит, предназначенных для решения административных задач в Astra Linux»

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

    Задачи:

    • Составить объективный список наиболее важных и часто используемых инструментов администрирования в Astra Linux;

    • Составить описание типовых задач, которые решаются с помощью таких инструментов;

      • Составить список умений, которые будут проверяться во время практикума;

     • Разработать описание и формулировки набора практических заданий, пригодных для автоматической проверки результатов выполнения заданий;

     • Автоматизировать подготовку стенда для выполнения практических заданий;

    • Разработать систему проверки выполненных практических заданий. Система проверки должна быть пригодна как для режима обучения с пошаговым выполнением заданий, так и в режиме экзамена.

    Результат: комплект документации и программного обеспечения, необходимый для развертывания практикума продолжительностью не менее 45 минут и количеством заданий не менее 15.

    35.                    «Разработка практикума по управлению процессом начальной загрузки в Astra Linux Special Edition»

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

    Задачи:

    • Описать процедуру загрузки системы и запуска служб;

    • Выделить в процедуре загрузки наиболее важные ее этапы на основе объективного анализа;

     • Составить список умений, которые будут проверяться во время практикума;

              • Разработать описание и формулировки набора практических заданий, пригодных для автоматической проверки результатов выполнения заданий;

              • Автоматизировать подготовку стенда для выполнения практических заданий;

              • Разработать систему проверки выполненных практических заданий. Система проверки должна быть пригодна как для режима обучения с пошаговым выполнением заданий, так и в режиме экзамена.

              Результат: комплект документации и программного обеспечения, необходимый для развертывания практикума продолжительностью не менее 45 минут и количеством заданий не менее 15.


              36. «Разработка практикума по диагностике проблем в сетях, построенных с использованием ОС Astra Linux Special Edition»

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

    Задачи:

        • Составить перечень и описание основных проблем, которые могут возникать в сетях предприятий;

        • Составить список инструментов сетевой диагностики, описать их назначение с указанием, какие проблемы могут определяться с помощью этих инструментов;

        • Составить список умений, которые будут проверяться во время практикума;

        • Разработать описание и формулировки набора практических заданий, пригодных для автоматической проверки результатов выполнения заданий;

        • Собрать стенд, состоящий из типовых компонент сети предприятия;

        • Автоматизировать подготовку стенда для выполнения практических заданий;

        • Разработать систему проверки выполнения практических заданий. Система проверки должна быть пригодна как для режима обучения с пошаговым выполнением заданий, так и в режиме экзамена.

              Результат: комплект документации и программного обеспечения, необходимый для развертывания практикума продолжительностью не менее 45 минут и количеством заданий не менее 15.

              37. «Разработка практикума по управлению доступом к объектам файловой системы в ОС Astra Linux Special Edition»

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

    Задачи:

    • Описать систему управления доступом к файлам и каталогам в ОС Astra Linux SE;

    • Составить исчерпывающий список инструментов, предназначенных для управления доступом к объектам ФС и ранжировать их по степени важности и частоте использования;

    • Составить список типовых проблем, возникающих у пользователей при работе с файлами и каталогами, и описать способы решения таких проблем.

    • Составить список умений, которые будут проверяться во время практикума;

    • Разработать описание и формулировки набора практических заданий, пригодных для автоматической проверки результатов выполнения заданий;

    • Автоматизировать подготовку стенда для выполнения практических заданий;

    • Разработать систему проверки выполнения практических заданий. Система проверки должна быть пригодна как для режима обучения с пошаговым выполнением заданий, так и в режиме экзамена.

    Результат: комплект документации и программного обеспечения, необходимый для развертывания практикума продолжительностью не менее 45 минут и количеством заданий не менее 15.