Ковалев Сергей Протасович

Публикации в базе данных Math-Net.Ru

1. Универсальные конструкции в алгебраической спецификации распределенных систем
   
   Информ. и её примен., 19:1 (2025),  2–8
2. Алгебраическая спецификация распределенных систем с изменяющейся архитектурой
   
   Информ. и её примен., 18:1 (2024),  11–17
3. Монада диаграмм как математическая метамодель системной инженерии
   
   Информ. и её примен., 17:2 (2023),  11–17
4. Алгебраическая спецификация графовых вычислительных структур
   
   Информ. и её примен., 16:1 (2022),  2–9
5. Методы теории категорий в цифровом проектировании гетерогенных киберфизических систем
   
   Информ. и её примен., 15:1 (2021),  23–29
6. Применение нейронных сетей глубокого обучения в математическом обеспечении цифровых двойников электроэнергетических систем
   
   Системы и средства информ., 31:1 (2021),  133–144
7. Цифровая платформа для реализации автоматизированных систем управления распределенными энергоресурсами
   
   Пробл. управл., 2020, № 6,  57–70
8. Проектирование информационного обеспечения цифровых двойников энергетических систем
   
   Системы и средства информ., 30:1 (2020),  66–81
9. Проблемы развития цифровой энергетики в России
   
   Пробл. управл., 2019, № 1,  2–14
10. Теория категорий как математическая прагматика модельно-ориентированной системной инженерии
    
    Информ. и её примен., 12:1 (2018),  95–104
11. Методы теории категорий в модельно-ориентированной системной инженерии
    
    Информ. и её примен., 11:3 (2017),  42–50
12. Применение метапрограммирования для повышения технологичности больших автоматизированных систем
    
    Информ. и её примен., 10:1 (2016),  56–66
13. Теоретико-категорные модели алгебраических вычислительных систем
    
    Ж. вычисл. матем. и матем. физ., 56:1 (2016),  167–179
14. Формальный аксиоматический подход к аспектно-ориентированному расширению технологий программирования
    
    Информ. и её примен., 9:1 (2015),  55–69
15. Теоретико-категорный подход к проектированию вычислительных систем
    
    Программные системы: теория и приложения, 6:1 (2015),  3–10
16. Теоретико-категорный подход к проектированию программных систем
    
    Фундамент. и прикл. матем., 19:3 (2014),  111–170
17. Системный анализ жизненного цикла больших информационно-управляющих систем
    
    Автомат. и телемех., 2013, № 9,  98–118
18. Семантика аспектно-ориентированного моделирования данных и процессов
    
    Информ. и её примен., 7:3 (2013),  70–80
19. Диаграммное описание комплексирования программных систем
    
    Вестн. НГУ. Сер. матем., мех., информ., 12:3 (2012),  103–126
20. Формальный подход к аспектно-ориентированному моделированию сценариев
    
    Сиб. журн. индустр. матем., 13:3 (2010),  30–42
21. Алгебраический подход к проектированию распределенных вычислительных систем
    
    Сиб. журн. индустр. матем., 10:2 (2007),  70–84
22. Математические основания компьютерной арифметики
    
    Матем. тр., 8:1 (2005),  3–42
23. Логика Лукасевича как архитектуpная модель арифметики
    
    Сиб. журн. индустр. матем., 6:4 (2003),  32–50
24. Аналитические модели машинной арифметики
    
    Сиб. журн. индустр. матем., 6:3 (2003),  88–102