Electronic Documents Search
Documents found: 3
-
Creators Мордвинов Дмитрий Александрович; Литвинов Юрий Викторович Organization Санкт-Петербургский государственный университет; "Инструменты и методы анализа 2015", научная конференция; Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2016 Collection Общая коллекция Subjects Радиоэлектроника; Искусственный интеллект. Экспертные системы; робототехника; роботы; формальные методы анализа; формальные методы; темпоральные логики; поведение роботов; робототехнические системы; сети Петри; Петри сети; формализмы; марковские модели; динамическая верификация UDC 004.8 LBC 32.813 Document type Article, report File type PDF Language Russian DOI 10.5862/JCSTCS.236.8 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 0.4 Mb -
Creators Тимофеев Дмитрий Андреевич; Самочадин Александр Викторович Organization Санкт-Петербургский политехнический университет Петра Великого Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2017 Collection Общая коллекция Subjects Вычислительная техника; Программирование ЭВМ. Компьютерные программы. Программотехника; программное обеспечение; моделирование процессов; марковские модели; производительность труда; скрытые марковские модели; языки программирования; software development; process modeling; Markov models; productivity; hidden Markov model; programming languages UDC 004.41/42 LBC 32.973-018 Document type Article, report File type Other Language Russian DOI 10.18721/JCSTCS.10406 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 240 Kb -
Creators Чернышук Алёна Сергеевна Scientific adviser Лапидус Александр Анатольевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Электрические станции — Собственные нужды; надежность; марковские модели; интенсивность отказов; интенсивность восстановления; недовырабока электроэнергии UDC 621.311.18 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 13.04.02 Speciality group (FGOS) 130000 - Электро- и теплоэнергетика Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2054-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2054-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2054-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-2054 Rights Доступ по паролю из сети Интернет (чтение) pdf, 2.4 Mb
