Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Ковалев Сергей Протасович
В базах данных Math-Net.Ru
Публикаций: 23
Научных статей: 23

Статистика просмотров:
Эта страница:907
Страницы публикаций:8386
Полные тексты:4080
Списки литературы:931
доктор физико-математических наук (2014)
Специальность ВАК: 05.13.17 (теоретические основы информатики)
E-mail: ,
Ключевые слова: крупномасштабные информационные системы, теория категорий.
Коды УДК: 519.68

Основные темы научной работы

Теоретические основы и математические методы проектирования крупномасштабных информационных систем
   
Основные публикации:
  1. С. П. Ковалeв, “Семантика аспектно-ориентированного моделирования данных и процессов”, Информатика и еe применение, 7:3 (2013), 70–80

https://www.mathnet.ru/rus/person28913
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/701745
https://elibrary.ru/author_items.asp?spin=3905-1504

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. С. П. Ковалёв, “Алгебраическая спецификация распределенных систем с изменяющейся архитектурой”, Информ. и её примен., 18:1 (2024),  11–17  mathnet
2023
2. С. П. Ковалёв, “Монада диаграмм как математическая метамодель системной инженерии”, Информ. и её примен., 17:2 (2023),  11–17  mathnet
2022
3. С. П. Ковалёв, “Алгебраическая спецификация графовых вычислительных структур”, Информ. и её примен., 16:1 (2022),  2–9  mathnet 1
2021
4. С. П. Ковалёв, “Методы теории категорий в цифровом проектировании гетерогенных киберфизических систем”, Информ. и её примен., 15:1 (2021),  23–29  mathnet 1
5. С. П. Ковалёв, “Применение нейронных сетей глубокого обучения в математическом обеспечении цифровых двойников электроэнергетических систем”, Системы и средства информ., 31:1 (2021),  133–144  mathnet
2020
6. С. П. Ковалёв, А. А. Небера, М. В. Губко, “Цифровая платформа для реализации автоматизированных систем управления распределенными энергоресурсами”, Пробл. управл., 2020, № 6,  57–70  mathnet
7. С. П. Ковалёв, “Проектирование информационного обеспечения цифровых двойников энергетических систем”, Системы и средства информ., 30:1 (2020),  66–81  mathnet 4
2019
8. Н. И. Воропай, М. В. Губко, С. П. Ковалев, Л. В. Массель, Д. А. Новиков, А. Н. Райков, С. М. Сендеров, В. А. Стенников, “Проблемы развития цифровой энергетики в России”, Пробл. управл., 2019, № 1,  2–14  mathnet 1
2018
9. С. П. Ковалёв, “Теория категорий как математическая прагматика модельно-ориентированной системной инженерии”, Информ. и её примен., 12:1 (2018),  95–104  mathnet  elib 5
2017
10. С. П. Ковалёв, “Методы теории категорий в модельно-ориентированной системной инженерии”, Информ. и её примен., 11:3 (2017),  42–50  mathnet  elib 7
2016
11. С. П. Ковалёв, “Применение метапрограммирования для повышения технологичности больших автоматизированных систем”, Информ. и её примен., 10:1 (2016),  56–66  mathnet  elib
12. С. П. Ковалёв, “Теоретико-категорные модели алгебраических вычислительных систем”, Ж. вычисл. матем. и матем. физ., 56:1 (2016),  167–179  mathnet  elib; S. P. Kovalyov, “Category-theoretic models of algebraic computer systems”, Comput. Math. Math. Phys., 56:1 (2016), 173–184  isi  scopus
2015
13. С. П. Ковалёв, “Формальный аксиоматический подход к аспектно-ориентированному расширению технологий программирования”, Информ. и её примен., 9:1 (2015),  55–69  mathnet  elib
14. С. П. Ковалёв, “Теоретико-категорный подход к проектированию вычислительных систем”, Программные системы: теория и приложения, 6:1 (2015),  3–10  mathnet
2014
15. С. П. Ковалёв, “Теоретико-категорный подход к проектированию программных систем”, Фундамент. и прикл. матем., 19:3 (2014),  111–170  mathnet  mathscinet; S. P. Kovalyov, “Category-theoretic approach to software systems design”, J. Math. Sci., 214:6 (2016), 814–853  scopus 6
2013
16. С. П. Ковалев, “Системный анализ жизненного цикла больших информационно-управляющих систем”, Автомат. и телемех., 2013, № 9,  98–118  mathnet; S. P. Kovalyov, “Systems analysis of life cycle of large-scale information-control systems”, Autom. Remote Control, 74:9 (2013), 1510–1524  isi  scopus 5
17. С. П. Ковалёв, “Семантика аспектно-ориентированного моделирования данных и процессов”, Информ. и её примен., 7:3 (2013),  70–80  mathnet  elib 3
2012
18. С. П. Ковалёв, “Диаграммное описание комплексирования программных систем”, Вестн. НГУ. Сер. матем., мех., информ., 12:3 (2012),  103–126  mathnet 1
2010
19. С. П. Ковалёв, “Формальный подход к аспектно-ориентированному моделированию сценариев”, Сиб. журн. индустр. матем., 13:3 (2010),  30–42  mathnet  mathscinet 4
2007
20. С. П. Ковалев, “Алгебраический подход к проектированию распределенных вычислительных систем”, Сиб. журн. индустр. матем., 10:2 (2007),  70–84  mathnet  mathscinet 4
2005
21. С. П. Ковалев, “Математические основания компьютерной арифметики”, Матем. тр., 8:1 (2005),  3–42  mathnet  mathscinet  zmath; S. P. Kovalyov, “Mathematical Foundations of Computer Arithmetics”, Siberian Adv. Math., 15:4 (2005), 34–70 2
2003
22. С. П. Ковалев, “Логика Лукасевича как архитектуpная модель арифметики”, Сиб. журн. индустр. матем., 6:4 (2003),  32–50  mathnet  mathscinet  zmath 2
23. С. П. Ковалев, “Аналитические модели машинной арифметики”, Сиб. журн. индустр. матем., 6:3 (2003),  88–102  mathnet  mathscinet  zmath 3

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024