Electronic Documents Search
Documents found: 53
-
Creators Легких Анастасия Максимовна Scientific adviser Пятак Иван Михайлович Other creators Енученко Михаил Сергеевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт физики, нанотехнологий и телекоммуникаций Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects язык описания аппаратуры; цифровые схемы; верификация; программируемые логические интегральные схемы; коммутатор; алгоритмы арбитража; арбитр волнового фронта; hardware description language; digital circuits; verification; field-programmable gate array; crossbar switch; arbitration algorithms; wavefront arbiter Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 11.03.04 Speciality group (FGOS) 110000 - Электроника, радиотехника и системы связи Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4508-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4508-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-4508 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.9 Mb -
Creators Вдовец Е. М.; Дробинцев Павел Дмитриевич; Котляров Всеволод Павлович Other creators Глухов Владимир Викторович Organization Санкт-Петербургский государственный политехнический университет. Межвузовская научная конференция. Неделя науки (31; 2002; Санкт-Петербург); СпбГПУ. Факультет технической кибернетики; Совет СПбГПУ по научно-исследовательской работе студентов Imprint СПб., 2003 Collection Общая коллекция Subjects программное обеспечение; верификация; атоматизация тестирования Document type Article, report File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 95 Kb -
Creators Поляков Савелий Вячеславович Scientific adviser Лукьянов Алексей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт машиностроения, материалов и транспорта Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects моделирование проката; метод конечных элементов; математическая модель; усилие проката; цифровой двойник; верификация; рельса; rolling modeling; finite element method; mathematical model; rolling force; digital double; verification; rail Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 22.03.01 Speciality group (FGOS) 220000 - Технологии материалов DOI 10.18720/SPBPU/3/2024/vr/vr24-5250 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 4.1 Mb -
Creators Шахматов Илья Scientific adviser Свобода Дмитрий Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects осевой насос; 3d модель; сетка; энергетические характеристики; кавитационные характеристики; визуализация; верификация; axial; pump; 3d model; energy characteristics; cavitation characteristics; visualisation; verification 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/3/2024/vr/vr24-6445 Rights Доступ по паролю из сети Интернет (чтение) pdf, 5.4 Mb -
Creators Шестакова Алина Юрьевна Scientific adviser Ковалев Артем Дмитриевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные персональные — Программы; верификация; бизнес-процесс; verification; business process UDC 004.422.8 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.04 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2024/vr/vr24-2093 Rights Доступ по паролю из сети Интернет (чтение) pdf, 3.8 Mb -
Creators Сидоров Арсений Леонидович Organization Санкт-Петербургский государственный электротехнический университет "ЛЭТИ" им. В. И. Ульянова (Ленина) Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024 Collection Общая коллекция Subjects Системный анализ; Вычислительные системы цифровые; цифровые сервисы; верификация; онбординг пользователей; регистрация в цифровых сервисах; мошенничество в цифровых сервисах; digital services; verification; user onboarding; registration process in digital services; fraud in digital services UDC 681.51.012; 004.7 Document type Article, report File type PDF Language Russian DOI 10.18720/SPBPU/2/id24-186 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 381 Kb -
Creators Тихомиров Владимир Александрович Organization Санкт-Петербургский государственный политехнический университет Imprint СПб., 2009 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Вычислительные машины электронные персональные — Программирование; тестирование; верификация UDC 004.415.5(043.3) Document type Author's Abstract File type PDF Language Russian Speciality code (OKSVNK) 05.13.11 Speciality group (OKSVNK) 050000 - Технические науки Rights Доступ из локальной сети ИБК СПбПУ (чтение) pdf, 364 Kb -
Creators Домбровская Юлия Николаевна Scientific adviser Платонов Владимир Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects пластиковые карты; верификация; управление производством Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.04 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/2/v17-1228 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.3 Mb -
Введение в технологии верификации: учебно-методическое пособие
Creators Дробинцев Павел Дмитриевич Organization Санкт-Петербургский политехнический университет Петра Великого Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2016 Electronic publication Санкт-Петербург, 2017 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Вычислительные системы — Математическое обеспечение; Вычислительные системы — Программирование; верификация UDC 004.415.5(075.8) Document type Tutorial File type PDF Language Russian DOI 10.18720/SPBPU/2/i17-32 Rights Доступ по паролю из сети Интернет (чтение, печать) pdf, 1.6 Mb -
Creators Михалёва Мария Вадимовна Scientific adviser Ицыксон Владимир Михайлович Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные персональные — Библиотеки программ; Вычислительные машины электронные — Программы — Тестирование; верификация; динамический анализ; инструментирование; verification; dynamic analysis; instrumentation UDC 004.422.8; 004.415.53 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-693-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-693 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.5 Mb