Портфолио. Дмитрий Николаевич Дроздов

Подразделение:
ПГУ
Группа:
Категория:
Учащийся (очно)
Тип:
аспирантура
Категория:
Учащийся (очно)
Подразделение:
Политехнический институт: Факультет вычислительной техники
Группа:
Категория:
Учащийся (очно)
Тип:
бакалавриат
НазваниеАвторыИздательствоСсылка на эл.версиюДатаУровень публикацииСсылка на документ в ЭБ
Проектирование и реализация систем управления дискретными событийными системами на основе Иерархических модульных недетерминированных автоматов (Часть 1: Формальная Модель) В.Н.Дубинин, Д.Н. Дроздов Известия высших учебных заведений. Поволжский регион. Технические науки. 2016. № 1 (37). С. 28-39. 01.01.2016 ВАК
Проектирование и реализация систем управления дискретными событийными системами на основе Иерархических модульных недетерминированных автоматов (Часть 2: методы и средства) В.Н.Дубинин, Д.А. Будаговский, Д.Н. Дроздов, Д.В. Артамонов Известия высших учебных заведений. Поволжский регион. Технические науки. 2016. № 2 (38). С. 18-32. 01.01.2016 ВАК
Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications S. Patil, D. Drozdov, V. Dubinin, V. Vyatkin 6th IFIP Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, (pp. 73-81). Springer Перейти на сайт 15.04.2015 Web of Science
Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams D. Drozdov, S. Patil, V. Dubinin, V. Vyatkin Proceedings 2016 IEEE 25th international symposium on industrial electronics (ISIE) Перейти на сайт 10.06.2016 Web of Science
Petri nets behavioral equivalence checking in SMV D. Drozdov, V. Dubinin, V. Kulagin 2016 International Siberian Conference on Control and Communications (SIBCON) Перейти на сайт 14.05.2016 Web of Science
Orchestration of Arrowhead services using IEC 61499: Distributed Automation Case Study H. Derhamy, D. Drozdov, S. Patil, J. van Deventer, J. Eliasson, V. Vyatkin 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) Перейти на сайт 09.09.2016 Web of Science
Speculative Computation in IEC 61499 Function Blocks Execution - Modeling and Simulation D. Drozdov, V. Dubinin, V. Vyatkin 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) Перейти на сайт 21.07.2016 Web of Science
Formal modelling of distributed automation CPS with CP-agnostic software D. Drozdov, S. Patil, V. Vyatkin Service Orientation in Holonic and Multi-Agent Manufacturing, Springer, 2017, Pages 35-46 Перейти на сайт 03.03.2017 Scopus
Towards formal verification for cyber-physically agnostic software: A case study D. Drozdov, S. Patil, V. Dubinin, V. Vyatkin 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017) Перейти на сайт 31.10.2017 Scopus
Опережающие вычисления в системах функциональных блоков IEC 6149 Дубинин В.Н., Вяткин В.В., Дроздов Д.Н. сб. трудов Международной научно-технической конференции «Современные информационные технологии». Пенза, 2013. Вып. 17. С. 9–24. Перейти на сайт 01.01.2013 РИНЦ
Реализация циклической модели выполнения функциональных блоков IEC 61499 в SMV Дроздов Д.Н., Дубинин В.Н., Климкина Л.П. Труды XVIII Международной научно-методической конференции Университетское образование, Пенза, 2014. С. 172-175. Перейти на сайт 01.01.2014 РИНЦ
Определение поведенческой эквивалентности сетей петри на основе метода Model Checking Д.Н. Дроздов, В.Н. Дубинин Международная научно-технической конференции «Современные информационные технологии»: сб. трудов. Пенза, 2015., с. 13-21 Перейти на сайт 01.01.2015 РИНЦ
Списки изученных дисциплин
ГруппаСеместр/КурсПредметКомпетенцииТип отчетности
15а-0513151/1 курсНаучно-исследовательская деятельность и подготовка НКР (диссертации)ОПК-1, ОПК-2, ОПК-3, ОПК-5, ОПК-6, ОПК-7, УК-1, УК-2, УК-4, ПК-4, ПК-5Зачет
15а-0513151/1 курсПерспективы и проблемы развития IT технологий и ВТОПК-3, ПК-4Экзамен
15а-0513152/1 курсИностранный языкУК-3, УК-4, УК-6, ОПК-6; ОПК-8Экзамен
15а-0513152/1 курсИстория и философия наукиУК-1, УК-2 УК-5, ОПК-1Экзамен
15а-0513153/2 курсВычислительная техника и информационные технологии в профессиональной научной деятельностиОПК-2, ПК-3Зачет
15а-0513153/2 курсНаучно-исследовательская деятельность и подготовка НКР (диссертации)ОПК-1, ОПК-2, ОПК-3, ОПК-5, ОПК-6, ОПК-7, УК-1, УК-2, УК-4. ПК-4, ПК-5Зачет
15а-0513154/2 курсНаучно-исследовательская деятельность и подготовка НКР (диссертации)ОПК-1, ОПК-2, ОПК-3, ОПК-5, ОПК-6, ОПК-7, УК-1, УК-2, УК-4. ПК-4, ПК-5Зачет
15а-0513154/2 курсПедагогика и психология высшей школыОПК-8, УК-5, УК-6, ПК-1Зачет
15а-0513154/2 курсПрактика по получению профессиональных умений и опыта профессиональной деятельности (педагогическая практика)ОПК-8, ПК-1Зачет
15а-0513155/3 курсОрганизация и методология проведения научных исследований в области IT технологий и ВТ.ОПК-1, ОПК-3, ОПК-4, ОПК-5, УК-2, УК-3, ПК-4Экзамен
15а-0513156/3 курсЗащита результатов интеллектуальной деятельности в области IT технологий и ВТ.ОПК-6, ОПК-7, ПК-4 Зачет
15а-0513156/3 курсНаучно-исследовательская деятельность и подготовка НКР (диссертации).ОПК-1, ОПК-2, ОПК-3, ОПК-5, ОПК-6, ОПК-7, УК-1, УК-2, УК-4. ПК-4, ПК-5Зачет с оценкой
15а-0513158/4 курсКультура речи преподавателя высшей школы.ОПК-8, УК-4, ПК-2 Зачет