Ковалёв С. П. (ИПУ РАН, Лаборатория 49). Публикации

Библиографическая ссылкаГод

Монографии

1Илюшин П.В., Ковалёв С.П., Куликов А.Л., Небера А.А., Непша Ф.С. Методы интеллектуального управления распределенными энергоресурсами на базе цифровой платформы. М.: НТФ «Энергопрогресс», 2021. – 116 с.2021
2Ковалёв С.П. Теоретико-категорный подход к метапрограммированию. М.: ИПУ РАН, 2014. – 112 с.2014

Статьи в журналах/сборниках из перечня Web of Science/Scopus

3Ковалёв С.П. Development of a Platform for Distributed Energy Resources Management on the Basis of a Digital Twin // Mekhatronika, Avtomatizatsiya, Upravlenie. 2023. Vol. 24, Issue 3. С. 131-141.2023
4Ковалёв С.П. Algebraic specification of graph computational structures // Informatika i ee Primeneniya. 2022. Vol. 16, Issue 1. С. 2-9.2022
5Ковалёв С.П. Design of Heterogeneous Cyber-Physical Systems Employing Category Theory // Mekhatronika, Avtomatizatsiya, Upravlenie. 2022. Vol. 23, Issue 2. С. 59-67.2022
6Ковалёв С.П. Distributed Energy Resources Management: From Digital Twin to Digital Platform / IFAC-PapersOnLine. Moscow: Elsevier, 2022. Vol. 55, Issue 9. С. 460-465.2022
7Ковалёв С.П. Methods of the category theory in digital design of heterogeneous cyber-physical systems // Informatika i ee Primeneniya. 2021. Vol. 15, Issue 1. С. 23-29.2021
8Ковалёв С.П. Leveraging Category Theory in Model Based Enterprise // Advances in Systems Science and Applications. 2020. Vol 20 No 1. С. 50-65.2020
9Ковалёв С.П. Теория категорий как математическая прагматика модельно-ориентированной системной инженерии // Информатика и ее применения. 2018. Т. 12, вып. 1. С. 95-104.2018
10Ковалёв С.П. Методы теории категорий в модельно-ориентированной системной инженерии // Информатика и ее применения. 2017. Т. 11, вып. 3. С. 42-50.2017
11Ковалёв С.П. Category-theoretic approach to software systems design // Journal of Mathematical Sciences. 2016. Vol. 214, Issue 6. С. 814-853.2016
12Ковалёв С.П. Category-Theoretic Models of Algebraic Computer Systems // Computational Mathematics and Mathematical Physics. 2016. Vol. 56, No. 1. С. 173-184.2016
13Ковалёв С.П. Применение метапрограммирования для повышения технологичности больших автоматизированных систем // Информатика и ее применения. 2016. Т. 10, вып. 1. С. 56-66.2016
14Ковалёв С.П. Формальный аксиоматический подход к аспектно-ориентированному расширению технологий программирования // Информатика и ее применения. 2015. Т. 9, Вып. 1. С. 55-69.2015
15Ковалёв С.П. Теоретико-категорный подход к проектированию программных систем // Фундаментальная и прикладная математика. 2014. Т. 19, вып. 3. С. 111-170.2014
16Ковалёв С.П. Systems analysis of life cycle of large-scale information-control systems // Automation and Remote Control. 2013. Vol. 74, Issue 9. С. 1510-1524.2013
17Ковалёв С.П. Семантика аспектно-ориентированного моделирования данных и процессов // Информатика и ее применения. 2013. Т. 7, вып. 3. С. 70-80.2013

Статьи в журналах/сборниках из перечня ВАК

18Ковалёв С.П. Применение нейронных сетей глубокого обучения в математическом обеспечении цифровых двойников электроэнергетических систем // Системы и средства информатики. 2021. Т. 31, № 1. С. 133-144.2021
19Андрюшкевич С.К., Ковалёв С.П., Нефедов Е.И. Разработка цифрового двойника энергетической системы на основе онтологической модели // Автоматизация в промышленности. 2020. № 1. С. 51-56.2020
20Ковалёв С.П., Небера А.А., Губко М.В. Цифровая платформа для реализации автоматизированных систем управления распределенными энергоресурсами // Проблемы управления. 2020. № 6. С. 57-70.2020
21Ковалёв С.П. Проектирование информационного обеспечения цифровых двойников энергетических систем // Системы и средства информатики. 2020. Т. 30, № 1. С. 66-81.2020
22Воропай Н.И., Губко М.В., Ковалёв С.П., Массель Л.В., Новиков Д.А., Райков А.Н., Сендеров С.М., Стенников В.А. Проблемы развития цифровой энергетики в России // Проблемы управления. 2019. № 1. С. 2-14.2019
23Ковалёв С.П. Заинтересованные стороны цифровой децентрализованной малоуглеродной энергетики // Энергобезопасность и энергосбережение. 2019. № 2. С. 49-55.2019
24Ковалёв С.П., Родин А.В. Знания и их представление в компьютерную эпоху // Человек. 2019. Т. 30, № 4. С. 94-112.2019
25Ковалёв С.П., Родин А.В. Проблема обоснования в формальном представлении знаний // Вестник Томского государственного университета. Философия. Социология. Политология. 2018. № 46. С. 22-29.2018
26Ковалёв С.П., Шаймарданов М.Ю. Метод учета технологических ограничений при оптимизации топологии изделий машиностроения // Информационные технологии. 2018. Т. 24, № 2. С. 75-80.2018
27Ковалёв С.П., Родин А.В. Аксиоматический метод в современной науке и технике: прагматические аспекты // Эпистемология и философия науки. 2016. Т. 47, № 1. С. 153-169.2016
28Ковалёв С.П. Теоретико-категорные модели алгебраических вычислительных систем // Журнал вычислительной математики и математической физики. 2016. Т. 56, № 1. С. 167-179.2016
29Гребенюк Г.Г., Ковалёв С.П., Крыгин А.А., Середа Л.А. Организация энергоменеджмента и планирование электрической нагрузки домохозяйств // Энергобезопасность и энергосбережение. 2015. № 3. С. 22-27.2015
30Ковалёв С.П. Теоретико-категорный подход к проектированию вычислительных систем // Программные системы: теория и приложения. 2015. Т. 6, № 1(23). С. 3-10.2015
31Ковалёв С.П., Толок А.В. Применение модельно-ориентированного подхода в управлении жизненным циклом технических изделий // Информационные технологии в проектировании и производстве. 2015. № 2. С. 3-9.2015
32Ковалёв С.П. Системный анализ жизненного цикла больших информационно-управляющих систем // Автоматика и телемеханика. 2013. № 9. С. 98-118.2013
33Ковалёв С.П. Диаграммное описание комплексирования программных систем / Вестник НГУ. Серия: Математика, механика, информатика. Новосибирск: НГУ, 2012. Т. 12, № 3. С. 103-126.2012
34Трегубов А.М., Ковалёв С.П. Особенности проектирования систем мониторинга и управления энергосбережением // Вестник НГУ. Серия: Информационные технологии. 2012. Т. 10, № 3. С. 80-91.2012
35Андрюшкевич С.К., Ковалёв С.П. Динамическое связывание аспектов в крупномасштабных системах технологического управления // Вычислительные технологии. 2011. Т. 16, №6. С. 3-12.2011
36Ковалёв С.П., Паронджанов С.С. Концепция создания автоматизированной системы мониторинга и управления энергоэффективностью на объектах города Москвы // Информационно-измерительные и управляющие системы. 2011. Т. 9, №6. С. 50-58.2011
37Андрюшкевич С.К., Ковалёв С.П. Интеллектуальный мониторинг распределенных технологических объектов с использованием информационных моделей состояния // Известия Томского политехнического университета. 2010. Т.317, №5. С. 35-39.2010
38Ковалёв С.П. Формальный подход к аспектно-ориентированному моделированию сценариев // Сибирский журнал индустриальной математики. 2010. Т. 13, №3. С. 30-42.2010
39Кузнецов А.А., Ковалёв С.П. Тестирование и мониторинг в распределенных автоматизированных системах технологического управления // Вычислительные технологии. 2009. Т. 14, №4. С. 57-69.2009

Статьи в журналах/сборниках

40Андрюшкевич С.К., Ковалёв С.П., Нефедов Е.И. Подходы к разработке и применению цифровых двойников энергетических систем // Цифровая подстанция. 2019. №12. С. 28-33.2019
41Ковалёв С.П. Цифровая экономика: цели, средства, заинтересованные стороны // Цифровой ученый: лаборатория философа. 2019. Т. 2, № 4. С. 30-35.2019
42Ковалёв С.П. Аспектно-ориентированный подход к проектированию систем мониторинга крупномасштабных объектов // Проблемы информатики. 2009. №3(4). С. 5-18.2009

Главы в книгах

43Ковалёв С.П. Algebraic Means of Heterogeneous Cyber-Physical Systems Design / Studies in Systems, Decision and Control. Cham, Switzerland: Springer Nature, 2022. С. 3-13.2022
44Ковалёв С.П., Небера А.А. Интеллектуальное управление распределенными энергоресурсами на базе цифровой платформы / Ставки «ревущих двадцатых»: гибкость и водород. Новые технологии и бизнес-практики в электроэнергетике. М.: Инфраструктурный центр «Энерджинет», 2020. С. 401-411.2020

Пленарные доклады

45Габалин А.В., Гребенюк Г.Г., Дорри М.Х., Калянов Г.Н., Ковалёв С.П., Крыгин А.А., Куприянов Б.В., Лукинова О.В., Никишов С.М., Рощин А.А., Середа Л.А. Модели и методы анализа устойчивости критической инфраструктуры с применением цифрового двойника / Труды 25-й Российской научной конференции «Инжиниринг предприятий и управление знаниями» (ИП&УЗ-2022, Москва). М.: ФГБОУ ВО «РЭУ им. Г. В. Плеханова», 2022. Т.1. С. 71-77.2022
46Ковалёв С.П. Проблемы цифрового проектирования энергетических систем / Тезисы 18-й Международной молодежной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2018, Москва). М.: ИПУ РАН, 2018. С. 16.2018
47Васильев С.Н., Ковалёв С.П. Программный комплекс поддержки процессов системной инженерии и имитационного моделирования / Тезисы 15-ой международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2015, Москва). М.: OOO "Аналитик", 2015. С. 15.2015
48Ковалёв С.П. Теоретико-категорный подход к проектированию алгебраических вычислительных систем / Сборник тезисов докладов 1-й Всероссийской научно-практической конференции «Посткремниевые вычисления» (Переславль-Залесский, 2014). Переславль-Залесский: ИПС РАН, 2014. С. http://2014.nscf.ru/TesisAll/0_PostMoore_Plenar/14_163_KovalevSP_PM.pdf.2014
49Ковалёв С.П., Толок А.В. Модельно-ориентированный подход к управлению жизненным циклом сложных технических изделий / Тезисы докладов 14-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2014, Москва). М.: ООО "Аналитик", 2014. С. 13.2014
50Толок А.В., Ковалёв С.П. Модельно-ориентированный подход к управлению жизненным циклом сложных технических изделий / Труды 14-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2014, Москва). М.: ООО Аналитик, 2014. С. 10-14 http://lab18.ipu.ru.2014
51Толок А.В., Ковалёв С.П. Модельно-ориентированный подход к управлению жизненным циклом сложных технических изделий / Труды 14-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2014, Москва). М.: ООО Аналитик, 2014. С. 10-14. http://lab18.ipu.ru.2014
52Васильев С.Н., Ковалёв С.П. Концептуальные и математические основы технологии интеграции авиационных систем, базирующейся на гетерогенных моделях / Сборник тезисов докладов 2-й Всероссийской научно-технической конференции «Моделирование авиационных систем» (Москва, 2013). М.: ФГУП "ГосНИИАС", 2013. С. 11-12.2013

Пленарные доклады и доклады из перечня Web of Science/Scopus

53Ковалёв С.П., Лукинова О.В. Integrated Heat and Electric Energy Ontology for Digital Twins of Active Distribution Grids / AIP Conference Proceedings. Иркутск: AIP Publishing, 2023. Vol. 2552. С. https://aip.scitation.org/doi/abs/10.1063/5.0111541.2023
54Гребенюк Г.Г., Калянов Г.Н., Ковалёв С.П., Крыгин А.А., Лукинова О.В., Никишов С.М. Technological Infrastructure Management Models and Methods Based on Digital Twins / Proceedings of the 14th International Conference "Management of Large-Scale System Development" (MLSD). М.: IEEE, 2021. С. https://ieeexplore.ieee.org/abstract/document/9600185.2021
55Ковалёв С.П. Design and development of a power system digital twin: A model-based approach / Proceedings of the 3nd International Conference on Control Systems, Mathematical Modeling, Automation and Energy Efficiency (SUMMA2021, Lipetsk). Липецк: IEEE, 2021. С. 843-848 https://ieeexplore.ieee.org/document/9632191.2021
56Ковалёв С.П., Небера А.А. A platform-based approach to implementation of future smart distributed energy control systems / Proceedings of the 2nd International Conference on Control Systems, Mathematical Modeling, Automation and Energy Efficiency (SUMMA2020, Lipetsk). Липецк: IEEE, 2020. С. 608-613.2020
57Андрюшкевич С.К., Ковалёв С.П., Нефедов Е.И. Composition and application of power system digital twins based on ontological modeling / Proceedings of the 17th IEEE International Conference on Industrial Informatics (INDIN’19, Helsinki-Espoo, Finland). Helsinki-Espoo, Finland: IEEE, 2019. С. 1536-1542.2019
58Ковалёв С.П. An Approach to Develop a Generative Design Technology for Power Systems / Proceedings of the 6th International Workshop "Critical Infrastructures: Contingency Management, Intelligent, Agent-Based, Cloud Computing and Cyber Security" (IWCI 2019, Irkutsk). Baikalsk: Atlantis Press, 2019. Vol. 169. С. 79-82.2019
59Родин А.В., Ковалёв С.П. Truth and Justification in Knowledge Representation / Proceedings of 7th International Workshop “What can FCA do for Artificial Intelligence?” (FCA4AI 2019, Moscow). Moscow: CEUR-WS, 2019. Vol. 2529. С. 45-56.2019
60Андрюшкевич С.К., Ковалёв С.П. Distributed plants intelligent monitoring using information models of states / Proceedings of the IASTED International Conference on Automation, Control and Information Technology. Control, Diagnostics, and Automation (ACIT-CDA 2010, Novosibirsk). Новосибирск: Acta Press, 2010. С. 250-255.2010
61Ковалёв С.П. Modeling Aspects by Category Theory / Proceedings of the 9th Workshop on Foundations of Aspect-Oriented Languages held at the Ninth International Conference on Aspect-Oriented Software Development (Rennes, France, 2010). Rennes, France: University of Central Florida, 2010. С. 63-68.2010

Доклады

62Гребенюк Г.Г., Калянов Г.Н., Ковалёв С.П., Крыгин А.А., Лукинова О.В., Никишов С.М. Модели и методы управления технологической инфраструктурой на базе цифровых двойников / Труды 14-й Международной конференции "Управление развитием крупномасштабных систем" (MLSD-2021). М.: ИПУ РАН, 2021. С. 834-845.2021
63Ковалёв С.П., Небера А.А. Концептуальное проектирование цифровой платформы интеллектуального управления распределенной энергетической инфраструктурой с ВИЭ и СНЭЭ – А-Платформы / Труды Международной конференции и выставки «Релейная защита и автоматика энергосистем – 2021», Москва. М.: АО «Электрификация», 2021. Т. IV. С. 84–93.2021
64Ковалёв С.П. Мультимодельное описание процессов управления технологической инфраструктурой на базе цифровых двойников / Труды 13-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2020, Москва). М.: ИПУ РАН, 2020. С. 943-952.2020
65Ковалёв С.П. Алгебраические методы порождающего проектирования крупномасштабных технических систем / Материалы 12-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2019, Москва). М.: ИПУ РАН, 2019. С. 384-386.2019
66Ковалёв С.П. Выявление заинтересованных сторон крупномасштабных цифровых платформ / Труды 13-го Всероссийского совещания по проблемам управления (ВСПУ XIII, Москва, 2019). М.: ИПУ РАН, 2019. С. 3220-3224.2019
67Ковалёв С.П. Концептуальные основы метапрограммирования / Труды 1-го Конгресса Русского общества истории и философии науки "История и философия науки в эпоху перемен" (Москва, 2018). М.: Русское общество истории и философии науки, 2018. Т. 4. С. 94-96.2018
68Ковалёв С.П. Разработка технологии и программной платформы порождающего проектирования энергетических систем / Материалы 11-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2018, Москва). М.: ИПУ РАН, 2018. Т. I. С. 463-465.2018
69Ковалёв С.П. Алгебраическое моделирование жизненного цикла крупномасштабных гетерогенных систем в аспектах / Материалы 10-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2017, Москва). М.: ИПУ РАН, 2017. Т.2. С. 266-268.2017
70Ковалёв С.П. Machine intelligence in engineering of axiomatic systems / Proceedings of Workshops organized on April 25 and October 5, 2016 in the IP RAS, Moscow. М.: ИФ РАН, 2016. С. 3-7.2016
71Ковалёв С.П. Совместное моделирование данных и процессов управления энергообеспечением / Материалы 9-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2016, Москва). М.: ИПУ РАН, 2016. Т. II. С. 28-30.2016
72Ковалёв С.П., Шаймарданов М.Ю. Учет технологических ограничений при топологической оптимизации в цикле проектирования изделий машиностроения / Труды 16-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2016, Москва). М.: OOO "Аналитик", 2016. С. 399-402.2016
73Амеличкин А.В., Ковалёв С.П. Технология модельно-ориентированной разработки автоматизированных средств эффективного управления энергопотреблением / Труды 17-ой Международной конференции «Проблемы управления и моделирования в сложных системах» (ПУМСС-2015, Самара). Самара: ИПУСС РАН, 2015. С. 167-173.2015
74Ковалёв С.П. Инженерия предметной области больших информационно-управляющих систем / Материалы 8-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2015, Москва). М.: ИПУ РАН, 2015. Т. I. С. 363-365.2015
75Васильев С.Н., Ковалёв С.П., Толок А.В. Воксельные технологии: состояние и перспективы развития / Труды Международной конференции "Управление развитием крупномасштабных систем" (MLSD'2014, Москва). М.: ИПУ РАН, 2014. С. 394-400.2014
76Васильев С.Н., Ковалёв С.П., Толок А.В. Подходы и научные основы создания отечественной системы управления полным жизненным циклом сложных технических изделий. / Труды 1-й Конференции "Методы и технологии управления жизненным циклом сложных изделий и инженерных объектов" (Санкт-Петербург, 2014). СПб.: ФГУП "Крыловский государственный научный центр", 2014. С. С. 58 http://krylov-center.ru/rus/news/publications-krylov-center/?ELEMENT_ID=282.2014
77Ковалёв С.П. Повышение эффективности процессов проектирования больших информационно-управляющих систем / Труды XII Всероссийского совещания по проблемам управления (ВСПУ-2014, Москва). М.: ИПУ РАН, 2014. С. 9291-9300.2014
78Ковалёв С.П. Применение трассирования задач для повышения качества автоматизации поддержки принятия решений / Труды 2-й Международной конференции «Информационные технологии интеллектуальной поддержки принятия решений» (ITIDS'2014, Уфа). Уфа: УГАТУ, 2014. Т. 1. С. 210-216.2014
79Ковалёв С.П. Моделирование качества сверхбольших автоматизированных систем управления / Материалы 7-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2013, Москва). М.: ИПУ РАН, 2013. Т. 2. С. 206-209.2013
80Андрюшкевич С.К., Ковалёв С.П., Кубышкин А.С., Трегубов А.М. Проблемы автоматизации управления процессами розничного рынка электроэнергии / Труды XIV Международной конференции «Проблемы управления и моделирования в сложных системах» (ПУМСС-2012, Самара). Самара: Самарский научный центр РАН, 2012. С. 376-386.2012
81Ковалёв С.П. Применение аспектно-ориентированного подхода для автоматизации крупномасштабных объектов и процессов управления / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 315-318.2012

Тезисы докладов

82Ковалёв С.П. Анализ аспектов электронно-цифрового макета сложного технического изделия с применением алгебраических методов / Тезисы 17-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2017, Москва). М.: ООО Аналитик, 2017. С. 89.2017
83Ковалёв С.П. Перспективные методы цифрового моделирования изделий аддитивных технологий и конструкций из композиционных материалов / Тезисы 16-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2016, Москва). М.: OOO "Аналитик", 2016. С. 128.2016
84Ковалёв С.П. Computational fracture mechanics: towards a multi-⋆ analysis / Abstracts Book of International Workshop “New Mathematical Methods in Today’s Physics: Logical, Epistemological and Computational Aspects” (Moscow, 2015). Moscow: IPh RAS, 2015. С. 5-6.2015
85Ковалёв С.П., Толок А.В. Применение функционально-воксельного метода в технологической подготовке аддитивного производства / Тезисы 15-ой международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2015, Москва). М.: OOO "Аналитик", 2015. С. 72.2015
86Ковалёв С.П. Категория вычислительных систем / Тезисы докладов Международной конференции «Алгебра и логика: теория и приложения» (Красноярск, 2013). Красноярск: Изд-во СФУ, 2013. С. 64-66.2013
87Паронджанов С.С., Ковалёв С.П. Система комплексного управления проектами в области энергосбережения / Сборник материалов «Научная сессия НИЯУ МИФИ-2012» (Москва). М.: НИЯУ МИФИ, 2012. Т. 2. С. 272.2012
88Трегубов А.М., Ковалёв С.П. Системы мониторинга и управления энергосбережением – новый класс крупномасштабных систем / Сборник статей XI Международной научно-практической конференции «Фундаментальные и прикладные исследования, разработка и применение высоких технологий в промышленности» (Санкт-Петербург, 2011). СПб.: Изд-во Политех.университета, 2011. Т. 1. С. 132.2011
89Андрюшкевич С.К., Ковалёв С.П. Опыт адаптации стандартных информационных моделей для распределенных объектов технологического управления / Труды 7-й Международной научно-практической конференции “Исследование, разработка и применение высоких технологий в промышленности" (Санкт-Петербург, 2009). СПб.: Изд-во Политех.университета, 2009. Т.1. С. 56-57.2009
90Кузнецов А.А., Ковалёв С.П. Мониторинг состояния крупномасштабных систем технологического управления / Труды 7-й Международной научно-практической конференции “Исследование, разработка и применение высоких технологий в промышленности" (Санкт-Петербург, 2009). СПб.: Изд-во Политех.университета, 2009. Т. 1. С. 101-103.2009