Electronic Documents Search

Documents found: 52

1
2
3
4
5
6

Динамические подходы к верификации моделей полупроводниковых устройств // Материалы...25-30 ноября 2002 года. – 2003. – Факультет технической кибернетики. — Ч.6

Creators	Ильин В. В.; Котляров Всеволод Павлович
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный политехнический университет. Межвузовская научная конференция. Неделя науки (31; 2002; Санкт-Петербург); СпбГПУ. Факультет технической кибернетики; Совет СПбГПУ по научно-исследовательской работе студентов
Imprint	СПб., 2003
Collection	Общая коллекция
Subjects	полупроводниковые устройства; верификация; динамическая симуляция
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 73 Kb

Верификация модуля управления производством пластиковых карт методом Model Checking: дипломная работа: 10.05.04

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

Формальные и полуформальные подходы к верификации моделей полупроводниковых устройств // Материалы...25-30 ноября 2002 года. – 2003. – Факультет технической кибернетики. — Ч.6

Creators	Ильин В. В.; Волков А. Н.; Никитин М. А.
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный политехнический университет. Межвузовская научная конференция. Неделя науки (31; 2002; Санкт-Петербург); СпбГПУ. Факультет технической кибернетики; Совет СПбГПУ по научно-исследовательской работе студентов
Imprint	СПб., 2003
Collection	Общая коллекция
Subjects	полупроводниковые устройства; верификация; математические методы
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 87 Kb

Автоматизация тестирования верификатора функциональных спецификаций // Материалы...25-30 ноября 2002 года. – 2003. – Факультет технической кибернетики. — Ч.6

Creators	Вдовец Е. М.; Дробинцев Павел Дмитриевич; Котляров Всеволод Павлович
Other creators	Глухов Владимир Викторович
Organization	Санкт-Петербургский государственный политехнический университет. Межвузовская научная конференция. Неделя науки (31; 2002; Санкт-Петербург); СпбГПУ. Факультет технической кибернетики; Совет СПбГПУ по научно-исследовательской работе студентов
Imprint	СПб., 2003
Collection	Общая коллекция
Subjects	программное обеспечение; верификация; атоматизация тестирования
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 95 Kb

Методы количественной валидации цифрового моделирования в разрезе этапов разработки модели // Системный анализ в проектировании и управлении: сборник научных трудов XXVII Международной научно-практической конференции, 13–14 октября 2023 года: [в 2 частях]. Ч. 1

Creators	Лундаева Карина Александровна
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2024
Collection	Общая коллекция
Subjects	Математическое моделирование; валидация; верификация; цифровое моделирование; точность модели; разработка модели; аналитическая модель; концептуальная модель; validation; verification; digital modeling; model accuracy; model development; analytical model; conceptual model
UDC	519.876.5
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id24-75
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 392 Kb

Слабо структурированные проблемы при регистрации пользователей в цифровых сервисах и способы их решения // Системный анализ в проектировании и управлении: сборник научных трудов XXVII Международной научно-практической конференции, 13–14 октября 2023 года: [в 2 частях]. Ч. 2

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

Разработка микропроцессорного RISC ядра на языке Verilog для встраиваемых систем: выпускная квалификационная работа бакалавра: направление 11.03.04 «Электроника и наноэлектроника» ; образовательная программа 11.03.04_03 «Интегральная электроника и наноэлектроника»

Creators	Салонина Екатерина Александровна
Scientific adviser	Пятак Иван Михайлович
Other creators	Енученко Михаил Сергеевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт физики, нанотехнологий и телекоммуникаций
Imprint	Санкт-Петербург, 2021
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	цифровое устройство; микропроцессор; программируемая логическая интегральная схема; RISC; Verilog; верификация; MIPS; Xilinx Vivado; digital device; microprocessor; field programmable gate array
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-4665-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4665-a.pdf
DOI	10.18720/SPBPU/3/2021/vr/vr21-4665
Rights	Доступ по паролю из сети Интернет (чтение, печать)

pdf, 0.9 Mb

Верификация результатов расчета течения вязкого газа в ступенях центробежных компрессоров с экспериментальными данными испытаний в программном комплексе numeca fine/turbo: выпускная квалификационная работа магистра: направление 13.04.03 «Энергетическое машиностроение» ; образовательная программа 13.04.03_05 «Компрессорная, вакуумная, холодильная техника и газотранспортные системы»

Creators	Штаничев Ростислав Александрович
Scientific adviser	Нгуен Минь Хай
Other creators	Янин Иван Сергеевич; Яблоков Алексей Михайлович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики
Imprint	Санкт-Петербург, 2021
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Компрессоры центробежные — Ступени; вычислительная газодинамика; CFD - моделирование; верификация; эксперимент
UDC	621.515-253
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	13.04.03
Speciality group (FGOS)	130000 - Электро- и теплоэнергетика
Links	http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1689-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1689-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1689-a.pdf
DOI	10.18720/SPBPU/3/2021/vr/vr21-1689
Rights	Доступ по паролю из сети Интернет (чтение)

pdf, 9.1 Mb

Разработка автоматизированного метода покрытия функциональных требований для сложных проектов: бакалаврская работа: 09.03.01

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

Формализация и доказательство, проверка корректности технологического маршрута, заданного с помощью MSC-диаграмм: выпускная квалификационная работа бакалавра: 09.03.04 - Программная инженерия ; 09.03.04_01 - Технология разработки и сопровождения качественного программного продукта

Creators	Лукин Артем Андреевич
Scientific adviser	Котляров Всеволод Павлович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2019
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	верификация; корректность; спецификация требований; формальные языки; verification; correctness; specification of requirements; formal languages
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 - Информатика и вычислительная техника
Links	http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-545-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-545-a.pdf
DOI	10.18720/SPBPU/3/2019/vr/vr19-545
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 2.3 Mb

1
2
3
4
5
6