Electronic Documents Search
Documents found: 53
-
Creators Кацман Виктор Игоревич Scientific adviser Новиков Федор Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Комбинаторика (мат. ); учебный процесс; символьные выражения; верификация UDC 004.588:519.1(043.3) LBC 74.027.9я031 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 01.04.02 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/2/v17-3302 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.4 Mb -
Creators Фалько Алексей Сергеевич Scientific adviser Котляров Всеволод Павлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2016 Collection Выпускные квалификационные работы; Общая коллекция Subjects автоматизация тестирования; базовый протокол; верификация 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-1133 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.8 Mb -
Creators Кутьин Владислав Васильевич Organization Санкт-Петербургский государственный политехнический университет; Научно-исследовательский технологический институт им. А.П.Александрова (НИТИ) Imprint Санкт-Петербург, 2003 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Ядерные реакторы — Безопасность; Ядерные реакторы водо-водяные; АЭС; ВВЭР; пассивные системы; аварийные процессы; теплоносители; ЕЦТ; верификация UDC 621.039.56(043.3) Document type Author's Abstract File type PDF Language Russian Speciality code (OKSVNK) 05.14.03 Speciality group (OKSVNK) 050000 - Технические науки Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Кузнецов Никита Михайлович Scientific adviser Сергеев Виталий Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects Атомные электрические станции; Ядерные реакторы — Безопасность; Базы данных; нормативные требования; кодекс ядерной безопасности; проектная документация; функции безопасности; верификация; regulatory requirements; nuclear safety codes; design documentation; safety functions; verification UDC 621.311.25; 621.039.58; 004.6 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 14.04.01 Speciality group (FGOS) 140000 - Ядерная энергетика и технологии DOI 10.18720/SPBPU/3/2024/vr/vr24-6772 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.4 Mb -
Creators Кузнецов Никита Михайлович Scientific adviser Сергеев Виталий Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects Атомные электрические станции; Ядерные реакторы — Безопасность; Базы данных; нормативные требования; кодекс ядерной безопасности; проектная документация; функции безопасности; верификация; regulatory requirements; nuclear safety codes; design documentation; safety functions; verification UDC 621.311.25; 621.039.58; 004.6 Document type Master graduation qualification work File type Other Language Russian Level of education Master Speciality code (FGOS) 14.04.01 Speciality group (FGOS) 140000 - Ядерная энергетика и технологии Rights Текст не доступен в соответствии с распоряжением СПбПУ от 13.06.2017 г. № 91 -
Creators Скрипкина Анна Аркадьевна Scientific adviser Парамонова Ирина Львовна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects Математическое моделирование; Ядерные реакторы; верификация; валидация; verification; validation UDC 519.876.5; 621.039.5 Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 14.05.01 Speciality group (FGOS) 140000 - Ядерная энергетика и технологии DOI 10.18720/SPBPU/3/2023/vr/vr24-6833 Rights Доступ по паролю из сети Интернет (чтение) pdf, 4.2 Mb -
Creators Смаев Александр Викторович Scientific adviser Бердников Ярослав Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects программа TDMCC; быстрые нейтроны; верификация; оцененные ядерные данные; эффективный коэффициент размножения нейтронов; критические бенчмарк-эксперименты; метод Монте-Карло; TDMCC code; fast neutrons; verification; Monte Carlo method; evaluated nuclear data; critical benchmark experiments; effective neutron multiplication factor Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 03.03.02 Speciality group (FGOS) 030000 - Физика и астрономия DOI 10.18720/SPBPU/3/2023/vr/vr24-303 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Иванов Кирилл Сергеевич Scientific adviser Гаранин Дмитрий Анатольевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт промышленного менеджмента, экономики и торговли Imprint Санкт-Петербург, 2017 Collection Выпускные квалификационные работы; Общая коллекция Subjects Информационные технологии; верификация; валидация; отраслевые стандарты; компьютерный инжиниринг LBC 65.291.216я031; 65.386.8я031 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 38.04.02 Speciality group (FGOS) 380000 - Экономика и управление DOI 10.18720/SPBPU/2/v17-4913 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Аубакирова Карина Казбековна Scientific adviser Бусыгин Алексей Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects межсетевой экран; верификация; конфигурация; политика безопасности; проверка модели; firewall; verification; configuration; security policy; model checking Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.03 Speciality group (FGOS) 100000 - Информационная безопасность DOI 10.18720/SPBPU/3/2024/vr/vr24-2203 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Дробинцев Павел Дмитриевич Organization Санкт-Петербургский государственный политехнический университет; Санкт-Петербургский институт информатики и автоматизации РАН Imprint СПб., 2006 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Вычислительные машины электронные персональные — Программы; верификация; тестирование UDC 004.415.53(043.3) Document type Author's Abstract File type PDF Language Russian Speciality code (OKSVNK) 05.13.11 Speciality group (OKSVNK) 050000 - Технические науки Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 275 Kb
