- аппарат для математического (формального) анализа и синтеза технологий проектирования систем на основе теории категорий;
- алгебраические методы отображения алгоритмов на архитектуру распределенной вычислительной среды;
- теоретико-категорная семантика расширения модульных технологий проектирования систем аспектно-ориентированными приемами с обеспечением трассируемости;
- теоретико-категорные модели процедур идентификации, связывания и модуляризации аспектов;
- теоретико-категорные методы совместного моделирования данных и процессов.
1.Ковалёв С.П. Архитектура времени в распределенных информационных системах // Вычислительные технологии. 2002. Т. 7, №6. С. 38–53.
2.Ковалёв С.П. Аналитические модели машинной арифметики // Сибирский журнал индустриальной математики. 2003. Т. 6, №3(15). С. 88–102.
3.Ковалёв С.П. Логика Лукасевича как архитектурная модель арифметики // Сибирский журнал индустриальной математики. 2003. Т. 6, №4(16). С. 32–50.
4.Ковалёв С.П. Применение формальных методов для обеспечения качества вычислительных систем // Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика. 2004. Т. 4, №2. С. 49–74.
5.Ковалёв С.П. Математические основания компьютерной арифметики // Математические труды. 2005. Т. 8, №1. С. 3–42.
6.Загоруйко Н.Г., Гусев В.Д., Завертайлов А.В., Ковалёв С.П., Налётов А.М., Саломатина Н.В. Система ONTOGRID для автоматизации процессов построения онтологий предметных областей // Автометрия. 2005. Т. 41, №5. С. 13–25.
7.Ковалёв С.П. Алгебраический подход к проектированию распределенных вычислительных систем // Сибирский журнал индустриальной математики. 2007. Т. X, №2(30). С. 70–84.
8.Ковалёв С.П. Применение онтологий при разработке распределенных автоматизированных информационно-измерительных систем // Автометрия. 2008. Т. 44, №2. С. 41–49.
9.Кузнецов А.А., Ковалёв С.П. Тестирование и мониторинг в распределенных автоматизированных системах технологического управления // Вычислительные технологии. 2009. Т. 14, №4. С. 57–69.
10.Ковалёв С.П. Формальный подход к аспектно-ориентированному моделированию сценариев // Сибирский журнал индустриальной математики. 2010. Т. 13, №3. С. 30–42.
11.Андрюшкевич С.К., Ковалёв С.П. Интеллектуальный мониторинг распределенных технологических объектов с использованием информационных моделей состояния // Известия Томского политехнического университета. 2010. Т. 317, №5. Управление, вычислительная техника и информатика. С. 35–39.
12.Ковалёв С.П., Паронджанов С.С. Концепция создания автоматизированной системы мониторинга и управления энергоэффективностью на объектах города Москвы // Информационно-измерительные и управляющие системы. 2011. Т. 9, №6. С. 50–58.
13.Андрюшкевич С.К., Ковалёв С.П. Динамическое связывание аспектов в крупномасштабных системах технологического управления // Вычислительные технологии. 2011. Т. 16, №6. С. 3–12.
14.Трегубов А.М., Ковалёв С.П. Особенности проектирования систем мониторинга и управления энергосбережением // Вестник Новосибирского государственного университета. Серия: Информационные технологии. 2012. Т. 10, №3. С. 80–91.
15.Ковалёв С.П. Диаграммное описание комплексирования программных систем // Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика. 2012. Т. 12, №3. С. 103–126.
16.Ковалёв С.П. Системный анализ жизненного цикла больших информационно-управляющих систем // Автоматика и телемеханика. 2013. №9. С. 98–118.
17.Ковалёв С.П. Семантика аспектно-ориентированного моделирования данных и процессов // Информатика и ее применения. 2013. Т. 7, Вып.3. С. 70–80.
Учебные пособия:
18. Ковалёв С.П. Формальный подход к разработке программных систем. Учебное пособие. Новосибирск: НГУ, 2004.
Патенты:
19. Андрюшкевич С.К., Золотухин Е.П., Ковалёв С.П. Многоуровневая автоматизированная система управления производственно-технологическими процессами с управлением затратами на основе мониторинга, анализа и прогноза состояния технологической инфраструктуры нефтегазодобывающего предприятия. Патент на изобретение №2435188, ноябрь 2011.
Свидетельства о регистрации программ для ЭВМ:
20.Ковалёв С.П., Андрюшкевич С.К., Яковченко К.Н. Система автоматизации оперативно-диспетчерского документооборота «Энергиус-Диспетчер». Свидетельство о государственной регистрации программы для ЭВМ №2009611387, март 2009.
21.Ковалёв С.П., Андрюшкевич С.К., Гуськов А.Е. Интеграционная платформа учета и управления энергообеспечением «Энергиус». Свидетельство о государственной регистрации программы для ЭВМ №2009613359, июнь 2009.
22.Ковалёв С.П., Андрюшкевич С.К. Автоматизированная система учета энергоносителей «Энергиус-Учёт». Свидетельство о государственной регистрации программы для ЭВМ №2010613308, май 2010.
23.Андрюшкевич С.К., Золотухин Е.П., Ковалёв С.П. Экспериментальный образец программного комплекса системы оперативного мониторинга технологической инфраструктуры «ЭО СОМТИ» (ЭО ПК СОМТИ). Свидетельство о государственной регистрации программы для ЭВМ №2010613850, июнь 2010.
24.Ковалёв С.П., Андрюшкевич С.К. Автоматизированная система ведения нормативно-справочной информации в области энергетики «Энергиус-НСИ». Свидетельство о государственной регистрации программы для ЭВМ №2011613800, май 2011.
Прочие публикации:
25.Belov S.D., Bredikhin S.V., Kovalyov S.P., Kulagin S.A., Musher S.L., Nikultsev V.A., Scherbakova N.G., Shabalnikov I.V., Shokin Yu.I. Siberia: Internet is Coming // Proc. 7th Joint European Networking Conference JENC7. Budapest, 1996. P. 173/1–173/4.
26.Belov S.D., Bredikhin S.V., Kovalyov S.P., Kulagin S.A., Musher S.L., Nikultsev V.A., Scherbakova N.G., Shabalnikov I.V., Shokin Yu.I. Siberia: Putting the Virgin Lands to the Internet Plough // Proc. 8th Joint European Networking Conference JENC8. Edinburg, 1997. P. 523/1–523/4.
27.Belov S.D., Bredikhin S.V., Kovalyov S.P., Kulagin S.A., Musher S.L., Scherbakova N.G., Shabalnikov I.V. The emerging Internet landscape in Siberia // Computer Networks. 1998. Vol. 30. P. 1657–1662.
28.Ковалёв С.П. Принципы профессионального программирования // 3 Международная конференция «Смирновские чтения». М.: ИФРАН, 2001. С. 42–44.
29.Завертайлов А.В., Ковалёв С.П. Система поддержки деятельности распределённых экспертных групп по разработке онтологий предметных областей // Труды Международной конференции по вычислительной математике «МКВМ-2004». Рабочие совещания. Новосибирск: ИВМиМГ СО РАН, 2004. С. 56–65.
30.Ковалёв С.П., Яковченко К.Н. Организация информационных порталов на основе канальной интеграции // Труды Международной конференции по вычислительной математике «МКВМ-2004». Рабочие совещания. Новосибирск: ИВМиМГ СО РАН, 2004. С. 66–72.
31.Новоселов Д.Ю., Ковалёв С.П. Аспектно-ориентированный подход к созданию GRID приложений // Труды Международной конференции по вычислительной математике «МКВМ-2004». Рабочие совещания. Новосибирск: ИВМиМГ СО РАН, 2004. С. 95–102.
32.Ковалёв С.П. Алгебраические спецификации в экстремальном программировании // Материалы Международной конференции «Алгебра, логика и кибернетика-2004». Иркутск: ИГПУ, 2004. С. 155–157.
33. Ковалёв С.П., Андрюшкевич С.К. Автоматизированный инструмент компонентной интеграции информационных порталов // Труды Всероссийской научной конференции «Научный сервис в сети Интернет». М.: МГУ, 2004. С. 98–99.
34.Kovalyov S.P., Ozhiganova E.A. Formal Modeling of Software Quality with xNoFun Language // Proc. Second IASTED International Conference on Automation, Control and Information Technology ACIT-2005. Software Engineering. Novosibirsk, 2005. P. 48–53.
35.Новоселов Д.Ю., Ковалёв С.П. LDAP-каталог СО РАН // Вычислительные технологии. 2005. Т. 10. Специальный выпуск: Труды IX рабочего совещания по электронным публикациям El-Pub2004. С. 102–107.
36.Загоруйко Н.Г., Гусев В.Д., Завертайлов А.В., Ковалёв С.П., Налётов А.М., Саломатина Н.В. Система «ONTOGRID» для построения онтологий // Компьютерная лингвистика и интеллектуальные технологии: Труды международной конференции «Диалог´2005». М.: Наука, 2005. С. 146–152.
37.Загоруйко Н.Г., Гусев В.Д., Завертайлов А.В., Ковалёв С.П., Налётов А.М., Саломатина Н.В. Автоматизация процессов построения онтологий // Proc. XI International Conference “Knowledge-Dialogue-Solution” (KDS-2005). Vol. 1. Varna, 2005. P. 53–59.
38.Гордов Е.П., Ковалёв С.П., Молородов Ю.И., Федотов А.М. Web-система управления знаниями об окружающей среде // Вычислительные технологии. Т. 10, ч.2. Специальный выпуск: Труды Международной конференции и школы молодых ученых «Вычислительные и информационные технологии для наук об окружающей среде» (CITES-2005). Новосибирск, 2005. С. 12–19.
39.Kovalyov S.P., Molorodov Yu.I. Data integration methodology for atlas “Atmospheric aerosols of Siberia” // Proc. SPIE. 2005. Vol. 6160. Part I: International Conference “Molecular spectroscopy and atmospheric radiative processes”. P. 9–14.
40.Kovalyov S.P. Architecture of distributed information-computing system for exploring atmospheric aerosol // Proc. SPIE. 2005. Vol. 6160. Part I: International Conference “Molecular spectroscopy and atmospheric radiative processes”. P. 21–26.
41.Ковалёв С.П. Применение логики Лукасевича для разработки алгоритмов. В кн.: Логические исследования. Вып. 12. М.: Наука, 2005. С. 194– 206.
42.Гуськов А.Е., Дубров И.С., Ковалёв С.П., Молородов Ю.И., Прокопов Н.А., Сударикова И.А. Принципы построения распределённой среды атласа «Атмосферные аэрозоли Сибири» // Вычислительные технологии. Т. 11. Специальный выпуск: Труды X Российской конференции с участием иностранных ученых «Распределенные информационно-вычислительные ресурсы» DICR-2005. Новосибирск, 2005 г. С. 77–87.
43.Ковалёв С.П. Аспектное проектирование интегрированных систем управления энергопотреблением // Сборник материалов II международной научно-технической конференции «Новые информационные технологии в нефтегазовой отрасли и образовании». Тюмень: ТюмГНГУ, 2006. С. 97–99.
44.Kovalyov S.P. Model-theoretic methods of analysis of computer arithmetic // Proc. 9th Asian Logic Conference “Mathematical Logic on Asia”. Singapore: World Scientific Publishing Co., 2006. P. 145–155.
45.Барахнин В.Б., Клименко О.А., Ковалёв С.П. Сбор и систематизация информации для портала математических ресурсов MATHTREE // Труды международной конференции «Вычислительные и информационные технологии в науке, технике и образовании». Т. II. Павлодар: ТОО НПФ «ЭКО», 2006. С. 381–389.
46.Ковалёв С.П. Полупримальные модели компьютерных вычислений // Международная конференция «Алгебра и ее приложения». Тезисы докладов. Красноярск: ИВМ СО РАН, 2007. С. 73–74.
47.Ковалёв С.П., Прокопов Н.А. Автоматизация процессов измерения физико-химических величин на базе онтологии // Вычислительные технологии. 2007. Т. 12, Специальный выпуск 1. С. 79–86.
48.Андрюшкевич С.К., Ковалёв С.П. Опыт адаптации стандартных информационных моделей для распределенных объектов технологического управления // Высокие технологии, фундаментальные исследования, образование: сборник трудов Седьмой международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности». Т. 1. СПб.: Изд-во Политехнического университета, 2009. С. 56–57.
49.Кузнецов А.А., Ковалёв С.П. Мониторинг состояния крупномасштабных систем технологического управления // Высокие технологии, фундаментальные исследования, образование: сборник трудов Седьмой международной научно-практической конференции «Исследование, разработка и применение высоких технологий в промышленности». Т. 1. СПб.: Изд-во Политехнического университета, 2009. С. 101–103.
50.Ковалёв С.П. Аспектно-ориентированный подход к проектированию систем мониторинга крупномасштабных объектов // Проблемы информатики. 2009. №3(4). С. 5–18.
51.Kovalyov S.P. Modeling aspects by category theory // Proc. 9th Workshop on Foundations of Aspect-Oriented Languages. Rennes, France, 2010. P. 63–68.
52.Andryushkevich S.K., Kovalyov S.P. Distributed plants intelligent monitoring using information models of states // Proc. IASTED International Conference on Automation, Control and Information Technology ACIT-2010. Control, Diagnostics, and Automation. Novosibirsk, 2010. P. 250–255.
53.Андрюшкевич С.К., Журавлев С.С., Золотухин Е.П., Ковалёв С.П., Окольнишников В.В., Рудометов С.В. Разработка системы мониторинга с использованием имитационного моделирования // Проблемы информатики. 2010. №4. С. 65–75.
54.Андрюшкевич С.К., Ковалёв С.П. О формировании аспектно-ориентированного связывания производственных задач в системах технологического управления // Материалы XIII Российской конференции «Распределенные информационные и вычислительные ресурсы» DICR´2010. Новосибирск, 2010. С. 32.
55.Золотухин Е.П., Ковалёв С.П. Андрюшкевич С.К., Васильева Е.С., Воробьева Д.Б., Долгих Е.В., Кислицына Т.А., Лапшинов М.Ф., Окольнишников В.В., Романов Р.А., Шульженко Л.М. Разработка интеллектуальной системы пространственно-технологического мониторинга на базе глобального спутникового позиционирования с целью повышения энергоэффективности и экологической безопасности существующих методов добычи углеводородов. Отчет о НИР по государственному контракту № 02.514.11.4126 от 30.09.2010 г. Минобрнауки РФ. № гос. рег. 1200962854. Новосибирск: КТИ ВТ СО РАН, 2010.
56.Трегубов А.М., Ковалёв С.П. Системы мониторинга и управления энергосбережением – новый класс крупномасштабных систем // Сборник статей XI Международной научно-практической конференции «Фундаментальные и прикладные исследования, разработка и применение высоких технологий в промышленности». Т. 1. СПб.: Изд-во Политехнического университета, 2011. С. 132.
57.Паронджанов С.С., Ковалёв С.П. Система комплексного управления проектами в области энергосбережения // Научная сессия НИЯУ МИФИ-2012. Аннотации докладов. Т. 2. Проблемы фундаментальной науки. Стратегические информационные технологии. М.: НИЯУ МИФИ, 2012. С. 354.
58.Андрюшкевич С.К., Ковалёв С.П., Кубышкин А.С., Трегубов А.М. Проблемы автоматизации управления процессами розничного рынка электроэнергии // Труды XIV Международной конференции «Проблемы управления и моделирования в сложных системах» ПУМСС-2012. Самара: СамНЦ РАН, 2012. С. 376–386.
59.Ковалёв С.П. Применение аспектно-ориентированного подхода для автоматизации крупномасштабных объектов и процессов управления // Труды VI Международной конференции «Управление развитием крупномасштабных систем» MLSD´2012. Т. II. М.: ИПУ РАН, 2012. С. 314–323.
60.Ковалёв С.П. Категория вычислительных систем // Международная конференция «Алгебра и логика: теория и приложения». Тезисы докладов. Красноярск: СФУ, 2013. С. 64–66.