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

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

Монографии

1Ковалёв С.П. Теоретико-категорный подход к метапрограммированию. М.: ИПУ РАН, 2014. – 112 с.2014

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

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

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

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

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

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

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

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

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

40Андрюшкевич С.К., Ковалёв С.П., Нефедов Е.И. 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
41Родин А.В., Ковалёв С.П. 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
42Андрюшкевич С.К., Ковалёв С.П. 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
43Ковалёв С.П. 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

Доклады

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

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

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