|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Ковалёв Сергей Протасович пользователь
доктор физико-математических наук с 2014 года
Прежние места работы (Нажмите для отображения)Соавторы: Нелюб В.А., Buyanov I.A., Shelofast V.V., Андрюшкевич С.К., Васильев С.Н., Трегубов А.М.
15 статей, 1 книга, 1 доклад на конференции, 1 НИР, 1 диссертация, 3 учебных курса
Количество цитирований статей в журналах по данным
Web of Science: 0,
Scopus: 10
РИНЦ:
IstinaResearcherID (IRID): 25877969
Деятельность
-
Статьи в журналах
-
- 2017 A multivariate approach to digital design of items made of textile-composite materials
- Buyanov I.A., Kovalev S.P.
- в журнале Polymer Science, Series D. Glues and Sealing Materials, том 10, № 2, с. 160-164 DOI
-
- 2016 A mesh-free approach to multiscale multiphysical calculations of polymeric composite structures
- Nelyub V.A., Kovalev S.P.
- в журнале Polymer Science, Series D. Glues and Sealing Materials, том 9, № 1, с. 101-105 DOI
-
- 2016 Category-theoretic approach to software systems design
- Kovalyov S.P.
- в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 214, № 6, с. 814-853 DOI
-
- 2016 Category-theoretic models of algebraic computer systems
- Kovalyov S.P.
- в журнале Computational Mathematics and Mathematical Physics, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 56, № 1, с. 173-184 DOI
-
- 2016 ПРИМЕНЕНИЕ МЕТАПРОГРАММИРОВАНИЯ ДЛЯ ПОВЫШЕНИЯ ТЕХНОЛОГИЧНОСТИ БОЛЬШИХ АВТОМАТИЗИРОВАННЫХ СИСТЕМ
- Ковалёв С.П.
- в журнале Информатика и ее применения, издательство ИПИ РАН (М.), том 10, № 1, с. 56-66 DOI
-
- 2016 ТЕОРЕТИКО-КАТЕГОРНЫЕ МОДЕЛИ АЛГЕБРАИЧЕСКИХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
- Ковалёв С.П.
- в журнале Журнал вычислительной математики и математической физики, издательство ФГБУ "Издательство "Наука" (Москва), том 56, № 1, с. 167-179 DOI
-
- 2015 Multi-criteria analysis of aircraft structures fracture
- Kovalev S.P., Nelyub V.A., Shelofast V.V.
- в журнале Russian Aeronautics, издательство Allerton Press Inc. (United States), том 58, № 4, с. 370-375
-
- 2015 ФОРМАЛЬНЫЙ АКСИОМАТИЧЕСКИЙ ПОДХОД К АСПЕКТНО-ОРИЕНТИРОВАННОМУ РАСШИРЕНИЮ ТЕХНОЛОГИЙ ПРОГРАММИРОВАНИЯ
- Ковалёв С.П.
- в журнале Информатика и ее применения, издательство ИПИ РАН (М.), том 9, № 1, с. 55-69 DOI
-
- 2014 Теоретико-категорный подход к проектированию программных систем
- Ковалёв С.П.
- в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 19, № 3, с. 111-170
-
- 2013 Systems analysis of life cycle of large-scale information-control systems
- Kovalev S.P.
- в журнале Automation and Remote Control, издательство Pleiades Publishing, Ltd (Road Town, United Kingdom), том 74, № 9, с. 1510-1524 DOI
-
- 2013 СИСТЕМНЫЙ АНАЛИЗ ЖИЗНЕННОГО ЦИКЛА БОЛЬШИХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ
- Ковалёв С.П.
- в журнале Автоматика и телемеханика, № 9, с. 98-118
-
- 2012 Диаграммное описание комплексирования программных систем
- Ковалёв С.П.
- в журнале Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика, том 12, № 3, с. 103-126
-
-
- 2011 Динамическое связывание аспектов в крупномасштабных системах технологического управления
- Андрюшкевич С.К., Ковалёв С.П.
- в журнале Вычислительные технологии, том 16, № 6, с. 3-12
-
-
Статьи в сборниках
-
Книги
- 2014 Теоретико-категорный подход к метапрограммированию
- Ковалёв С.П.
- место издания ИПУ РАН Москва, ISBN 978-5-91450-150-8, 112 с.
-
Доклады на конференциях
-
- 2015 Программный комплекс поддержки процессов системной инженерии и имитационного моделирования (Пленарный)
- Авторы: Ковалев С.П., Васильев С.Н.
- 15-ая Международная конференция "Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта" (CAD/CAM/PDM-2015). Москва, 26-28.10.2015., Москва, Россия, 26-28 октября 2015
-
-
НИРы
-
- 1 января 2016 - 31 декабря 2020 Математические методы и алгоритмы теоретической информатики
- Кафедра теоретической информатики
- Руководитель: Михалёв А.В. Ответственные исполнители: Главацкий С.Т., Крейнес Е.М. Участники НИР: Адрианов Н.М., Айдагулов Р.Р., Борисенко В.В., Бурыкин И.Г., Дмитриева Л.П., Захаров В.К., Зеликин Н.В., Иванов А.Б., Ковалёв С.П., Кожухов И.Б., Тензина В.В., Шокуров А.В.
-
-
Диссертация
-
- 2014 ТЕОРЕТИКО-КАТЕГОРНЫЕ МОДЕЛИ И МЕТОДЫ ПРОЕКТИРОВАНИЯ БОЛЬШИХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ
- Докторская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
- Автор: Ковалев Сергей Протасович, д.ф.-м.н.
- Научный консультант: Васильев С.Н., д.ф.-м.н., проф., акад. РАН
- Защищена в совете Д 002.017.02 при ВЦ РАН
- Организация, в которой выполнялась работа: ФГБУН Институт проблем управления им. В.А. Трапезникова РАН
- Ведущая организация: ФГБУН Институт динамики систем и теории управления Сибирского отделения Российской академии наук
-
-
Авторство учебных курсов
-
Преподавание учебных курсов
-
- с 20 октября 2016 Теория категорий в информатике
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра теоретической информатики
- обязательная, вариативной части, лекции, 68 часов
-
- с 20 октября 2016 Теория категорий и ее приложения
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра теоретической информатики
- обязательная, вариативной части, семинары, 68 часов
-
- с 1 сентября 2016 Теоретическая информатика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра теоретической информатики
- обязательная, вариативной части, лекции, 68 часов
-