Electronic Documents Search
Documents found: 34
-
Creators Кучмин Дмитрий Алексеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; модели программ; Java; верификация и анализ программ; динамическая визуализация; static analysis; program models; program verification and analysis; dynamic visualization Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2022/vr/vr22-1227 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.8 Mb -
Creators Лызлова Виолетта Вадимовна Scientific adviser Кузин Алексей Константинович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт машиностроения, материалов и транспорта Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects распорка; труба; стержень; моделирование; Ansys Workbench; статический расчет; сжимающая сила; spacer; pipe; rod; modeling; static analysis; compressive force; CAD Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 15.03.01 Speciality group (FGOS) 150000 - Машиностроение DOI 10.18720/SPBPU/3/2023/vr/vr23-4377 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.1 Mb -
Creators Васильева Ксения Владимировна Scientific adviser Коноплев Артем Станиславович Other creators Резединова Евгения Юрьевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; встроенное программное обеспечение; архитектура uefi bios; недекларированные возможности; верификация программного обеспечения; адаптивное сравнение бинарных файлов; доверенная вычислительная среда; static analysis; embedded software; uefi bios architecture; undeclared capabilities; verification of embedded software; adaptive binary comparison; trusted executable environment Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 10.03.01 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-4931-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-4931-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-4931 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 2.0 Mb -
Creators Бушкина Алёна Олеговна Scientific adviser Дробинцев Павел Дмитриевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects статический анализ; Java; PMD; static analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2024/vr/vr24-1778 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.7 Mb -
Creators Зейтунян Георгий Иванович Scientific adviser Туральчук Константин Анатольевич Other creators Пархоменко Владимир Андреевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects паттерны проектирования; статический анализ; c#; roslyn; design patterns; static analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.03 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-3101-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-3101-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-3101 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.3 Mb -
Creators Станкеев Владимир Владимирович Scientific adviser Жуковский Евгений Владимирович Other creators Ярмак Анастасия Викторовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects поиск аномалий; обнаружение вредоносных программ; статический анализ; компьютерная безопасность; anomaly detection; malware detection; static analysis; computer security Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.01 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-194-o.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-194-r.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-194-a.pdf DOI 10.18720/SPBPU/3/2022/vr/vr22-194 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.2 Mb -
Creators Маршев Иван Иванович Scientific adviser Александрова Елена Борисовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2023 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Нейронные сети; Информация — Защита; обнаружение вредоносного программного обеспечения; статический анализ; векторное представление; граф потока управления; malware detection; static analysis; vector representation; control-flow graph UDC 004.032.26; 004.056 Document type Scientific report File type Other Language Russian Level of education Graduate student Speciality code (FGOS) 10.06.01 Speciality group (FGOS) 100000 - Информационная безопасность Rights Текст не доступен в соответствии с распоряжением СПбПУ от 11.04.2018 № 141 -
Creators Бяков Александр Сергеевич Scientific adviser Садовский Николай Иванович Organization Санкт-Петербургский политехнический университет Петра Великого. Инженерно-строительный институт Imprint Санкт-Петербург, 2016 Collection Выпускные квалификационные работы; Общая коллекция Subjects подшипник; статический анализ; центробежный компрессор; bearing; static analysis; centrifugal compressor Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 13.03.03 Speciality group (FGOS) 130000 - Электро- и теплоэнергетика DOI 10.18720/SPBPU/2/v17-152 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Creators Вяткина Полина Алексеевна Scientific adviser Беляев Михаил Анатольевич Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects TIP; статический анализ; монотонный фреймворк; алгебраическая решетка; алгоритм унификации; абстрактное синтаксическое дерево; граф потока управления; static analysis; monotone framework; algebraic lattice; unification algorithm; abstract syntax tree; control flow graph Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-719 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Меньшов Петр Алексеевич Scientific adviser Ахин Марат Халимович Other creators Нестеров Сергей Александрович; Абдуллин Азат Марселевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects concolic testing; тестирование по; автоматическая генерация тестов; анализ программного обеспечения; статический анализ; динамический анализ; random testing; testing; software analysis; static analysis; dynamic analysis Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-740-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-740-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-740-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-740 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb
