Electronic Documents Search
Documents found: 8
-
Разработка Web-интерфейса для верификатора Spin: бакалаврская работа: 09.03.01
Creators Бояркин Никита Сергеевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects формальная верификация; проверка моделей; конечный автомат; верификатор Spin 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/2/v17-4080 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Шарков Илья Кириллович Scientific adviser Сениченков Юрий Борисович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Математическое моделирование; Графов теория; система физической защиты; агентное моделирование; конечный автомат; событийно-управляемые траектории; анализ уязвимости; оценка качества; нарушитель; охранник; оператор; инженерные средства охраны; технические средства охраны; physical protection system; agent-based model; finite-state machine; event-driven trajectory; vulnerability analysis; quality evaluation; intruder; security guard; security operator; security equipment UDC 519.876.5; 519.17 LBC 65.291.823.2 Document type Scientific report File type Other Language Russian Level of education Graduate student Speciality code (FGOS) 09.06.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Rights Текст не доступен в соответствии с распоряжением СПбПУ от 11.04.2018 № 141 -
Creators Никулкин Вадим Андреевич Scientific adviser Овасапян Тигран Джаникович Other creators Ярмак Анастасия Викторовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects система; интернет вещей; протоколы интернета вещей; адаптивная система; конечный автомат; обучающийся автомат; honeypot-system; internet of things; internet of things protocols; adaptive system; finite automaton; learning automaton 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-204-o.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-204-r.pdf; http://elib.spbstu.ru/dl/3/2022/vr/rev/vr22-204-a.pdf DOI 10.18720/SPBPU/3/2022/vr/vr22-204 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.2 Mb -
Creators Сергеев Илья Александрович Scientific adviser Кузьмин Александр Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects ПЛИС; КМОП; FIFO; интерполяция; SystemVerilog; конечный автомат; цифровой сенсор; Байер; BRAM; FPGA; CMOS; interpolation; FSM; digital sensor; Baier 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/2024/vr/vr24-2275 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.2 Mb -
Creators Черникова Арина Сергеевна Scientific adviser Ицыксон Владимир Михайлович Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects формальная верификация; model checking; верификатор NuSMV; web-интерфейс; конечный автомат; django; python; графический интерфейс; react; formal verification; nusmv verifier; web-interface; finite-state machine; graphical interface 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-749-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-749-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-749 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.8 Mb -
Creators Лукаш Екатерина Владимировна Scientific adviser Воинов Никита Владимирович Other creators Трифонов Петр Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects супервизор; координационный модуль; дискретно-событийная система; конечный автомат; модальная логика; LTL; Supremica; производственная ячейка; supervisor; coordination module; discrete event system; finite state machine; modal logic; production cell Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-926-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-926-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-926 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.5 Mb -
Creators Угрюмова Ирина Сергеевна Scientific adviser Ефремов Артем Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Нефтепереработка — Автоматизация; Математическое моделирование; бензин; фракция; ректификационная колонна; simintech; среда моделирования; математическая модель; элоу; теплообменник; печь; конечный автомат UDC 519.876.5:665.6-52 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.02 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2618-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2618-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2618-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-2618 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.3 Mb -
Creators Овечкин Михаил Олегович Scientific adviser Воинов Никита Владимирович Other creators Трифонов Петр Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects распределенные алгоритмы; координация; дискретно-событийные системы; конечный автомат; имитационное моделирование; anylogic; distributed algorithms; coordination; discrete event systems; state machine; simulation modeling Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1034-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1034-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-1034 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.0 Mb
