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

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

Монографии

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

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

3Ковалёв С.П. 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
4Ковалёв С.П. Leveraging Category Theory in Model Based Enterprise // Advances in Systems Science and Applications. 2020. Vol 20 No 1. С. 50-65.2020
5Ковалёв С.П. Теория категорий как математическая прагматика модельно-ориентированной системной инженерии // Информатика и ее применения. 2018. Т. 12, вып. 1. С. 95-104.2018
6Ковалёв С.П. Методы теории категорий в модельно-ориентированной системной инженерии // Информатика и ее применения. 2017. Т. 11, вып. 3. С. 42-50.2017
7Ковалёв С.П. Category-theoretic approach to software systems design // Journal of Mathematical Sciences. 2016. Vol. 214, Issue 6. С. 814-853.2016
8Ковалёв С.П. Category-Theoretic Models of Algebraic Computer Systems // Computational Mathematics and Mathematical Physics. 2016. Vol. 56, No. 1. С. 173-184.2016
9Ковалёв С.П. Применение метапрограммирования для повышения технологичности больших автоматизированных систем // Информатика и ее применения. 2016. Т. 10, вып. 1. С. 56-66.2016
10Ковалёв С.П. Формальный аксиоматический подход к аспектно-ориентированному расширению технологий программирования // Информатика и ее применения. 2015. Т. 9, Вып. 1. С. 55-69.2015
11Ковалёв С.П. Теоретико-категорный подход к проектированию программных систем // Фундаментальная и прикладная математика. 2014. Т. 19, вып. 3. С. 111-170.2014
12Ковалёв С.П. Systems analysis of life cycle of large-scale information-control systems // Automation and Remote Control. 2013. Vol. 74, Issue 9. С. 1510-1524.2013
13Ковалёв С.П. Семантика аспектно-ориентированного моделирования данных и процессов // Информатика и ее применения. 2013. Т. 7, вып. 3. С. 70-80.2013

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

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

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

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

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

39Ковалёв С.П., Небера А.А. Интеллектуальное управление распределенными энергоресурсами на базе цифровой платформы / Ставки «ревущих двадцатых»: гибкость и водород. Новые технологии и бизнес-практики в электроэнергетике. М.: Инфраструктурный центр «Энерджинет», 2020. С. 401-411.2020

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

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

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

47Ковалёв С.П., Небера А.А. 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
48Андрюшкевич С.К., Ковалёв С.П., Нефедов Е.И. 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
49Ковалёв С.П. 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
50Родин А.В., Ковалёв С.П. 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
51Андрюшкевич С.К., Ковалёв С.П. 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
52Ковалёв С.П. 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

Доклады

53Ковалёв С.П., Небера А.А. Концептуальное проектирование цифровой платформы интеллектуального управления распределенной энергетической инфраструктурой с ВИЭ и СНЭЭ – А-Платформы / Труды Международной конференции и выставки «Релейная защита и автоматика энергосистем – 2021», Москва. М.: АО «Электрификация», 2021. Т. IV. С. 84–93.2021
54Ковалёв С.П. Мультимодельное описание процессов управления технологической инфраструктурой на базе цифровых двойников / Труды 13-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2020, Москва). М.: ИПУ РАН, 2020. С. 943-952.2020
55Ковалёв С.П. Алгебраические методы порождающего проектирования крупномасштабных технических систем / Материалы 12-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2019, Москва). М.: ИПУ РАН, 2019. С. 384-386.2019
56Ковалёв С.П. Выявление заинтересованных сторон крупномасштабных цифровых платформ / Труды 13-го Всероссийского совещания по проблемам управления (ВСПУ XIII, Москва, 2019). М.: ИПУ РАН, 2019. С. 3220-3224.2019
57Ковалёв С.П. Концептуальные основы метапрограммирования / Труды 1-го Конгресса Русского общества истории и философии науки "История и философия науки в эпоху перемен" (Москва, 2018). М.: Русское общество истории и философии науки, 2018. Т. 4. С. 94-96.2018
58Ковалёв С.П. Разработка технологии и программной платформы порождающего проектирования энергетических систем / Материалы 11-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2018, Москва). М.: ИПУ РАН, 2018. Т. I. С. 463-465.2018
59Ковалёв С.П. Алгебраическое моделирование жизненного цикла крупномасштабных гетерогенных систем в аспектах / Материалы 10-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2017, Москва). М.: ИПУ РАН, 2017. Т.2. С. 266-268.2017
60Ковалёв С.П. 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
61Ковалёв С.П. Совместное моделирование данных и процессов управления энергообеспечением / Материалы 9-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2016, Москва). М.: ИПУ РАН, 2016. Т. II. С. 28-30.2016
62Ковалёв С.П., Шаймарданов М.Ю. Учет технологических ограничений при топологической оптимизации в цикле проектирования изделий машиностроения / Труды 16-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2016, Москва). М.: OOO "Аналитик", 2016. С. 399-402.2016
63Амеличкин А.В., Ковалёв С.П. Технология модельно-ориентированной разработки автоматизированных средств эффективного управления энергопотреблением / Труды 17-ой Международной конференции «Проблемы управления и моделирования в сложных системах» (ПУМСС-2015, Самара). Самара: ИПУСС РАН, 2015. С. 167-173.2015
64Ковалёв С.П. Инженерия предметной области больших информационно-управляющих систем / Материалы 8-ой Международной конференции «Управление развитием крупномасштабных систем» (MLSD'2015, Москва). М.: ИПУ РАН, 2015. Т. I. С. 363-365.2015
65Васильев С.Н., Ковалёв С.П., Толок А.В. Воксельные технологии: состояние и перспективы развития / Труды Международной конференции "Управление развитием крупномасштабных систем" (MLSD'2014, Москва). М.: ИПУ РАН, 2014. С. 394-400.2014
66Васильев С.Н., Ковалёв С.П., Толок А.В. Подходы и научные основы создания отечественной системы управления полным жизненным циклом сложных технических изделий. / Труды 1-й Конференции "Методы и технологии управления жизненным циклом сложных изделий и инженерных объектов" (Санкт-Петербург, 2014). СПб.: ФГУП "Крыловский государственный научный центр", 2014. С. С. 58 http://krylov-center.ru/rus/news/publications-krylov-center/?ELEMENT_ID=282.2014
67Ковалёв С.П. Повышение эффективности процессов проектирования больших информационно-управляющих систем / Труды XII Всероссийского совещания по проблемам управления (ВСПУ-2014, Москва). М.: ИПУ РАН, 2014. С. 9291-9300.2014
68Ковалёв С.П. Применение трассирования задач для повышения качества автоматизации поддержки принятия решений / Труды 2-й Международной конференции «Информационные технологии интеллектуальной поддержки принятия решений» (ITIDS'2014, Уфа). Уфа: УГАТУ, 2014. Т. 1. С. 210-216.2014
69Ковалёв С.П. Моделирование качества сверхбольших автоматизированных систем управления / Материалы 7-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2013, Москва). М.: ИПУ РАН, 2013. Т. 2. С. 206-209.2013
70Андрюшкевич С.К., Ковалёв С.П., Кубышкин А.С., Трегубов А.М. Проблемы автоматизации управления процессами розничного рынка электроэнергии / Труды XIV Международной конференции «Проблемы управления и моделирования в сложных системах» (ПУМСС-2012, Самара). Самара: Самарский научный центр РАН, 2012. С. 376-386.2012
71Ковалёв С.П. Применение аспектно-ориентированного подхода для автоматизации крупномасштабных объектов и процессов управления / Материалы 6-й Международной конференции «Управление развитием крупномасштабных систем» (MLSD-2012, Москва). М.: ИПУ РАН, 2012. Т. 2. С. 315-318.2012

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

72Ковалёв С.П. Анализ аспектов электронно-цифрового макета сложного технического изделия с применением алгебраических методов / Тезисы 17-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2017, Москва). М.: ООО Аналитик, 2017. С. 89.2017
73Ковалёв С.П. Перспективные методы цифрового моделирования изделий аддитивных технологий и конструкций из композиционных материалов / Тезисы 16-й Международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2016, Москва). М.: OOO "Аналитик", 2016. С. 128.2016
74Ковалёв С.П. 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
75Ковалёв С.П., Толок А.В. Применение функционально-воксельного метода в технологической подготовке аддитивного производства / Тезисы 15-ой международной конференции «Системы проектирования, технологической подготовки производства и управления этапами жизненного цикла промышленного продукта» (CAD/CAM/PDM-2015, Москва). М.: OOO "Аналитик", 2015. С. 72.2015
76Ковалёв С.П. Категория вычислительных систем / Тезисы докладов Международной конференции «Алгебра и логика: теория и приложения» (Красноярск, 2013). Красноярск: Изд-во СФУ, 2013. С. 64-66.2013
77Паронджанов С.С., Ковалёв С.П. Система комплексного управления проектами в области энергосбережения / Сборник материалов «Научная сессия НИЯУ МИФИ-2012» (Москва). М.: НИЯУ МИФИ, 2012. Т. 2. С. 272.2012
78Трегубов А.М., Ковалёв С.П. Системы мониторинга и управления энергосбережением – новый класс крупномасштабных систем / Сборник статей XI Международной научно-практической конференции «Фундаментальные и прикладные исследования, разработка и применение высоких технологий в промышленности» (Санкт-Петербург, 2011). СПб.: Изд-во Политех.университета, 2011. Т. 1. С. 132.2011
79Андрюшкевич С.К., Ковалёв С.П. Опыт адаптации стандартных информационных моделей для распределенных объектов технологического управления / Труды 7-й Международной научно-практической конференции “Исследование, разработка и применение высоких технологий в промышленности" (Санкт-Петербург, 2009). СПб.: Изд-во Политех.университета, 2009. Т.1. С. 56-57.2009
80Кузнецов А.А., Ковалёв С.П. Мониторинг состояния крупномасштабных систем технологического управления / Труды 7-й Международной научно-практической конференции “Исследование, разработка и применение высоких технологий в промышленности" (Санкт-Петербург, 2009). СПб.: Изд-во Политех.университета, 2009. Т. 1. С. 101-103.2009