4.3. Эффективность проводимой научно-исследовательской работы (издание монографий, защиты диссертаций, статьи в ведущих рецензируемых журналах, патенты, финансирование научных школ/направлений).
Темы кандидатских диссертаций:
№ п/п
|
ФИО диссертанта
|
Тема диссертации
|
Место защиты
|
руковод.
|
специальность
|
1
|
Савельева Александра Александровна
|
Модели и методы комплексной оценки аппаратно-программных средств обеспечения конфиденциальности и целостности информации
|
Московский государственный институт электроники и математики
|
Авдошин Сергей Михайлович
|
05.13.18 Математическое моделирование, численные методы и комплексы программ
|
Объекты интеллектуальной собственности
№ п/п
|
Наименование
|
Тип
|
Авторы
|
1.
|
BPF калькулятор IEEE-754 / 2008
|
Программы для ЭВМ, базы данных, топологии интегральных микросхем, зарегистрированые в Роспатенте
|
Авдошин Сергей Михайлович, Марон Максим Аркадьевич
|
2.
|
Эмулятор машины Поста
|
Программы для ЭВМ, базы данных, топологии интегральных микросхем, зарегистрированые в Роспатенте
|
Авдошин Сергей Михайлович, Пронин Сергей Андреевич
|
Сведения о статьях в зарубежных научных журналах:
№ п/п
|
Автор(ы)
|
Название работы
|
Наименование журнала
|
Год
|
Страна
|
1.
|
Башкин Владимир Анатольевич, Ломазова Ирина Александровна
|
Resource Driven Automata Nets
|
Fundamenta Informaticae
|
2011
|
Нидерланды
|
2.
|
Башкин Владимир Анатольевич, Ломазова Ирина Александровна
|
Modelling multiagent systems with the help of generalized nets of active resources
|
Cybernetics and System Analysis
|
2011
|
Украина
|
3.
|
Литманович Аркадий Давидович, Подбельский Вадим Валериевич, Кудрявцев Ярослов Викторович
|
Lateral Ordering during Self Organization of Statistical Multiblock Copolymers
|
POLYMER SCIENCE Series A
|
2011
|
США
|
4.
|
Башкин Владимир Анатольевич, Ломазова Ирина Александровна
|
Cellular Resource-Driven Automata
|
Fundamenta Informaticae
|
2012
|
Нидерланды
|
5.
|
Дворянский Леонид Владимирович, Ломазова Ирина Александровна
|
On Compositionality of Boundedness and Liveness for Nested Petri Nets
|
Fundamenta Informaticae
|
2012
|
Нидерланды
|
Сведения о статьях в российских научных журналах:
№ п/п
|
Автор(ы)
|
Название работы
|
Наименование журнала
|
Год
|
ВАК
|
1.
|
Авдошин Сергей Михайлович, Горбатовский Михаил Сергеевич, Чернов Александр Владимирович
|
Концепция создания интеллектуальной системы ситуационного реагирования и обеспечения безопасности железных дорог современной России
|
Бизнес-информатика
|
2011
|
Да
|
2.
|
Авдошин Сергей Михайлович, Песоцкая Елена Юрьевна
|
Информационные технологии для управления финансовыми рисками
|
Бизнес-информатика
|
2011
|
Да
|
3.
|
Авдошин Сергей Михайлович, Савельева Александра Александровна
|
Методика подготовки и проведения семинарских занятий по информационной безопасности на основе изучения конкретных ситуаций
|
Открытое образование
|
2011
|
Да
|
4.
|
Башкин Владимир Анатольевич, Ломазова Ирина Александровна
|
Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов
|
Кибернетика и системный анализ
|
2011
|
Нет
|
5.
|
Гринкруг Ефим Михайлович, Шакуров Амир Рафаилович
|
Компонентная архитектура с определением типов во время исполнения
|
Бизнес-информатика
|
2011
|
Да
|
6.
|
Подбельский Вадим Валериевич, Петрова Л.И., Гранаткина Ю.В., Земцов В.С., Соколов О.В., Скипидаров С.Я., Курганов В.Я., Иванова Лариса Дмитриевна
|
Materials Based on Bismuth and Antimony Chalcogenides for Thermoelectric Cooler Stages
|
Inorganic Materials
|
2011
|
Да
|
7.
|
Авдошин Сергей Михайлович, Савельева Александра Александровна
|
Междисциплинарный подход к изучению информационной безопасности на основе анализа конкретных ситуаций
|
Информационные технологии
|
2012
|
Да
|
8.
|
Дворянский Леонид Владимирович, Ломазова Ирина Александровна
|
Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools
|
Моделирование и анализ информационных систем
|
2012
|
Да
|
Научно-исследовательская работа активно ведется также в Международной научно-учебной лаборатории процессно-ориентированных информационных систем, активно сотрудничающей с Техническим университетом Эйндховена, имеющей в ряду своих сотрудников иностранных профессоров. Научным руководителем лаборатории является профессор Вил ван дер Аалст – профессор кафедры математических и компьютерых наук Технического университета Эйндховена (TU/e), Нидерланды; адъюнкт-профессор Квинслендского Технического Университета, Австралия.
4.4. Участие преподавателей в НИР (публикации, участие в конференциях, конкурсах, выставках и т.д.).
Сведения о научно-исследовательских работах и проектах, выполненных за 2008-2013 годы, представлены в приложении 10. Участие в конференциях подробно отражено выше в пункте 3.2.
В 2011 году Авдошин С.М., руководитель отделения программной инженерии, стал победителем в конкурсе IBM Faculty Award (http://public.dhe.ibm.com/software/dw/university/facultyawards/2011_faculty_recipients.pdf).
Савельева А.А., доцент кафедры УРПО, является победителем конкурса грантов Microsoft "Разработка курсов по информационным технологиям-2009" (в соавторстве с В.А.Сердюком и С.М.Авдошиным, курс «Технологии и продукты Microsoft в обеспечении информационной безопасности»), победителем Международной конференции по проблемам компьютерной безопасности 'IT Security for the Next Generation - 2011', победителем конкурса оригинальных моделей проведения семинарских занятий Фонда образовательных инноваций НИУ ВШЭ, победителем конкурса «Преподаватели факультетов/отделений 2010 года» в номинации «Молодой преподаватель факультета/отделения» НИУ ВШЭ, имеет диплом за лучший доклад на VI Всероссийской научно-технической конференции «Технологии Microsoft в теории и практике программирования» для студентов, аспирантов и молодых ученых РФ в 2009 г., является стипендиатом правительства РФ (2007-2008, 2009-2010), президента РФ (2006-2008), Ученого совета МАТИ-РГТУ (2006-2008).
Зыков С.В., доцент кафедры УРПО, имеет следующие сертификаты в области программной инженерии: CarnegieMellon Certified iCarnegie Instructor (SSD1: Introduction to Information Systems, 2008), CarnegieMellon Certified iCarnegie Instructor (SSD9: Software Specification, Testing and Maintenance, 2008), Process Mining: Concepts and Applications (TU/e, Netherlands, 2012), Development and Implementation of Dual Master Program in Software and System Engineering (TU/e, Netherlands, 2012).
Публикации ППС, реализующих программу:
№ п/п
|
Тип
|
Автор(ы)
|
Название работы
|
1
|
Доклад
|
Башкин В.А., Ломазова Ирина Александровна
|
Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов // Кибернетика и системный анализ. 2011. № 2. С. 31-39.
|
2
|
Доклад
|
Башкин Владимир А., Ломазова Ирина Александровна
|
A. Resource Driven Automata Nets // Fundamenta Informaticae. 2011. Vol. 109. No. 3. P. 223-236.
|
3
|
Глава книги / Сборники статей
|
Брейман Александр Давидович, Атанесов Саркис В
|
Исследование распределенных баз данных на кластерной вычислительной сети
|
4
|
Доклад
|
Гринкруг Ефим Михайлович
|
Component Architecture with Runtime Type Definition , in: Proceedings of IEEE East-West Design & Test Symposium (EWDTS’10) / Отв. ред.: S. Chumachenko, E. Litvinova. Kharkov : Kharkov national university of radioelectronics, 2010. P. 315-318.
|
5
|
Доклад
|
Гринкруг Ефим Михайлович
|
3D Modeling by means of JavaBeans , in: Proceedings of the 12th international workshop on computer science and information technologies CSIT’2010 Vol. 2. [Б.м.] , 2010.
|
6
|
Доклад
|
Зыков Сергей Викторович
|
ConceptModeller: A Frame-Based Toolkit for Modeling Complex Software Applications. In Proc. of The International Multi-Conference on Complexity, Informatics and Cybernetics (IMCIC 2010), June 29 - July 2, 2010 – Orlando, Florida, USA, pp. 468-473 (ISBN: 978-1-934272-91-6)
|
7
|
Доклад
|
Зыков Сергей Викторович
|
Developing pattern-based industrial information systems: models, tools and results. In Proc. of 12th International Workshop on Computer Science and Information Technologies (CSIT’2010), Vol.1, pp.10-14. USATU Editorial-Publishing Office, Ufa, Russia
|
8
|
Доклад
|
Башкин Владимир Анатольевич, Ломазова Ирина Александровна
|
A. Cellular Resource-Driven Automata // Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 243-257.
|
9
|
Доклад
|
Брейман Александр Давидович
|
Модели и методы оценки компетентности при индивидуальном и групповом обучении
|
10
|
Доклад
|
Брейман Александр Давидович
|
Методы получения последних N изменений в социальном графе.
|
11
|
Доклад
|
Брейман Александр Давидович, Кузнецов Игорь Николаевич
|
Аспектно-ориентированный метод: профилирование.
|
12
|
Доклад
|
Брейман Александр Давидович, Меликов Дмитрий Михайлович
|
Принципы организации распределения нагрузки в потоковых системах обработки данных.
|
13
|
Доклад
|
Kalenkova A. A., Lomazova I. A.
|
Discovery of Cancellation Regions within Process Mining Techniques , in: Proceedings of the International Workshop CS&P'2013 Vol. 1032. Bialystok : Bialystok University of Technology, 2013. P. 232-244.
|
14
|
Доклад
|
Дегтярев Константин Юрьевич
|
Q-Analysis and Human Mental Models: A Conceptual Framework for Complexity Estimate of Simplicial Complex in Psychological Space
|
15
|
Глава книги / Труды конференций
|
Авдошин Сергей Михайлович, Песоцкая Елена Юрьевна
|
Software Risk Management: Using the Automated Tools , in: Перспективные направления исследований в области бизнес-информатики: Материалы XI международной конференции / Отв. ред.: N. Aseeva, O. Kozyrev.; науч. ред.: E. A. Babkin. Nizhny Novgorod : -, 2012.
|
16
|
Глава книги / Сборники статей
|
Авдошин Сергей Михайлович, Савельева Александра Александровна
|
Case Studies in Teaching Information Security: Bridging the Gap between Theory and Practice , in: Satellite Workshops & Doctoral Consortium / Науч. ред.: E. A. Babkin. Nizhny Novgorod : -, 2012. P. 157-168.
|
17
|
Глава книги / Труды конференций
|
Дворянский Леонид Владимирович, Ломазова Ирина Александровна
|
Towards a Translation from Nested Petri Nets into Colored Petri Nets , in: Program Semantics, Specification and Verification: Theory and Applications. The conference materials / Науч. ред.: V. Nepomniaschy, V. Sokolov. Nizhny Novgorod : Nizhny Novgorod State University, 2012. P. 55-63.
|
21
|
Глава книги / Труды конференций
|
Дегтярев Константин Юрьевич
|
Prototype-based Categorization of Structural Complexity Estimates of Simplicial Complexes , in: Proceedings of the 10th International Conference on Application of Fuzzy Systems and Soft Computing (ICAFS-2012) / Отв. ред.: R. Aliev, K. W. Bonfig, M. Jamshidi, J. Kacprzyk, V. Kreinovich, W. Pedrycz. Kaufering : b-Quadrat Verlag, 2012. P. 27-37.
|
22
|
Глава книги / Сборники статей
|
Ломазова Ирина Александровна, Романов Иван Владимирович
|
V. Analyzing Compatibility of Services via Resource Conformance // Fundamenta Informaticae. 2013. Vol. 128. No. 1-2. P. 129-141.
|
4.5. Участие студентов в НИР (публикации, участие в конференциях, конкурсах, выставках, деятельности проектно-учебных групп (ПУГ), проектно-учебных лабораторий (ПУЛ), международных лабораторий, финансирование НИР).
Участие студентов в НИР отражено в Таблице А.11. Студенты отделения регулярно участвуют в конференциях, а также публикуют статьи и доклады в российских и зарубежных журналах. Ежегодно студенты и сотрудники отделения участвуют в конференции SYRCoSE, SEC(R), конференции, проводимой на факультете Бизнес-информатики.
Студенты отделения ежегодно успешно проходят конкурсы на получение повышенных и именных стипендий: стипендию Потанина, стипендию Лукойл, стипендию Президента РФ
Перечень опубликованных научных работ магистров
№ п/п
|
Автор / курс
|
Название работы
|
Наименование издания или издательства
|
1
|
Авдошин Сергей Михайлович, Шатилов Максим Петрович
|
Оптимизация алгоритма поиска порядковых статистик в худшем случае
|
Труды конференции IT+SE'09
|
2
|
Авдошин Сергей Михайлович, Шатилов Максим Петрович
|
Минимизация числа сравнений в худшем случае в алгоритме поиска порядковых статистик
|
Бизнес-информатика
|
3
|
Авдошин Сергей Михайлович, Савельева Александра Александровна
|
Методика подготовки и проведения семинарских занятий по информационной безопасности на основе изучения конкретных ситуаций
|
Открытое образование
|
4
|
Гринкруг Ефим Михайлович, Шакуров Амир Рафаилович
|
Компонентная архитектура с определением типов во время исполнения
|
Бизнес-информатика
|
5
|
Савельева Александра Александровна
|
Модели и методы комплексной оценки аппаратно-программных средств обеспечения конфиденциальности и целостности информации.: Автореф. дис. ... канд. тех. наук.
|
ООО "Гипрософт"
|
6
|
Ховратович Дмитрий, Рехбергер Кристиан, Савельева Александра Александровна
|
Bicliques for Preimages: Attacks on Skein-512 and the SHA-2 family
|
|
7
|
Ткачев В.О.
|
Списочное декодирование кодов Рида-Маллера первого порядка
|
XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011, МАТИ
|
8
|
Белов М.П.
|
«Hand recognition in Live-Streaming Video».
|
SYRCoSE 2011 Сборник трудов 5-го весеннего коллоквиума молодых исследователей в области программной инженерии
|
9
|
Белов М.П.
|
Уменьшение связанности дизайна программной системы
|
XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
|
10
|
Громов В.В.
|
Исследование применимости кодов Грея над полями Галуа в криптографических алгоритмах
|
XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
|
11
|
Дорноступ Ю.С.
|
Автоматизированный метод выявления степени соответствия содержания двух иерархически организованных документов
|
XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
|
12
|
Закиров Р.Н.
|
Программа решения систем линейных уравнений в кольцах Галуа (2n)
|
XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
|
13
|
Степалина Е.А.
|
Высокоуровневый интерфейс доступа к данным на основе переписывания запросов
|
XXXVII Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2011
http://syrcose.ispras.ru/?q=node/29
|
14
|
Кабир П.
|
Термоактивный анализ дилатометрических кривых металлов и сплавов
|
XXXVI Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2010
|
15
|
Бучина Н.Г.
|
Визуализация распределения простых чисел в ряде натуральных чисел
|
XXXVI Гагаринские чтения. Научные труды международной молодежной научной конференции в 8 томах – Т. 4. 2010
|
16
|
Громов В.В.
|
Data mining techniques in Real-time Marketing
|
SYRCoSE 2012, Пермь
http://syrcose.ispras.ru/?q=node/30
|
17
|
Кобякова Д.С.
|
Research methods for constructing message-passing interprocess communication based system for railroad situation analysis
|
SYRCoSE 2012, Пермь P. 227-230
http://syrcose.ispras.ru/?q=node/30
|
18.
|
Подбельский В. В., Максименкова О. В., Казаков М. А.
|
Визуализация структуры педагогического теста
|
Ярославский педагогический вестник. 2012. Т. III. № 1. С. 21-31.
|
19
|
Бучина Н.В. Дворянский Л.В.
|
The tool for modeling of wireless sensor networks with nested Petri nets,
|
SYRCoSE 2013, Казань, P. 15-18.
|
20
|
Фрумин Д.Л, Дворянский Л.В.
|
NPNtool: Modelling and Analysis Toolset for Nested Petri Nets , in: Proceedings of the 7th Spring/Summer Young
Researchers’ Colloquium on Software Engineering
|
SYRCoSE 2013, Казань стр.. 9-14, P. 9-14.
|
21
|
Вихарев Д. С., Авдошин С. М.
|
Разработка и исследование технологии создания мобильных приложений под операционной системой Android для распознавания печатного текста.
|
Научно-практической конференции «Информационные технологии в экономике, управлении и бизнесе». НИУ-ВШЭ, г. Москва, 22 апреля 2011 г., http://se.hse.ru/news/29071615.html
|
22
|
Вихарев Д. С.
|
Построение 3D модели сцены по одному фотоснимку
|
Ежегодная конференция «Application Developer Days», 30 апреля 2011 г., г. Санкт-Петербург, http://addconf.ru/event.sdf/ru/add_2011/authors/DmitryVikharev/315
|
23
|
Шершаков С.
|
DPMine: modeling and process mining tool.
|
Научные труды международной молодежной научной конференции SYRCoSE 2013, Казань. P. 19-24.
|
24
|
Шершаков С.
|
An SDVRP Platform Verification Method for Microprocessor-Based Systems Software.
|
Научные труды международной молодежной научной конференции SYRCoSE 2012, Perm, 2012. P. 79-84.
|
4.6. Выводы и рекомендации
Организация научно-исследовательской работы на отделении описана выше. Научные школы в области программирования, защиты информации, управления жизненным циклом программного обеспечения, тестирования и проч. получают достойное развитие и соответствуют основным научным направлениям профиля подготовки по представленной к аккредитации ООП 231000.68 «Программная инженерия». Профессора и доценты кафедры УРПО получают гранты на разработку программного обеспечения, исследования в области программной инженерии. Большая часть преподавателей непрерывно участвует в научно-исследовательских проектах, выступают на международных конференциях по проблематике проектов.
В некоторых проектах принимают участие стажеры-исследователи Международной лаборатории процессно-ориентированных информационных систем, являющиеся студентами отделения программной инженерии. Выше изложена результативность научно-исследовательской деятельности профессоров и студентов в виде выступлений и докладов на конференциях, опубликованных статей, полученных грантов, выпущенных учебных пособий и проч.
Студенты во взаимодействии с научными руководителями от кафедры участвуют в научных разработках и ежегодно получают патенты и свидетельства об официальной регистрации программных продуктов Приложение № 13.
Отделение принимает участие в проекте Beng – совместном проекте Сколково и Национального Исследовательского Томского Политехнического Университета. Проект направлен на разработку комплекса учебно-методических материалов для развития базовых инженерных компетенций на основе международных стандартов инженерного образования.
В 2010 году отделение заключило договор о сотрудничестве с Техническим университетом Эйндховена. Соглашение предусматривает академические обмены студентов и преподавателей, научные стажировки, проведение совместных научных исследований. В частности, в сентябре 2011 года в рамках договора открыта совместная магистерская программа «Системная и программная инженерия». Новая программа готовит магистров по двум специализациям: «Управление разработкой программного обеспечения» и «Методы и теория программной инженерии». Студенты, обучающиеся по специализации «Методы и теория программной инженерии», проходят все курсы на английском языке, а по окончании первого курса продолжают обучение в вузе-партнере, и по завершении обучения получают два диплома: диплом магистра НИУ ВШЭ и диплом Master of Science in Computer Science and Engineering Технического университета Эйндховена, Нидерланды.
|
