Информатика, телекоммуникации и управление
Информатика, телекоммуникации и управление Cанкт-Петербургский политехнический университет Петра Великого
Издается с 2008
ISSN 2687-0517
ru Русский
Версия для слабовидящих
Автор Никифоров Игорь Валерьевич
Подать статью
График выхода изданий
  • №2 Июнь 2026
    Статьи принимаются до: 29 Мая 2026
  • №3 Сентябрь 2026
    Статьи принимаются до: 31 Августа 2026
  • №4 Декабрь 2026
Последние выпуски
Никифоров Игорь Валерьевич
Никифоров Игорь Валерьевич
195251, Россия, Санкт-Петербург, ул. Политехническая, д. 29.

Подход к тестированию параллельных систем на основе UCM-спецификаций

Конференция «Технологии Microsoft в теории и практике программирования»
Дробинцев П.Д. Никифоров И.В. Воинов Н.В. Котляров В.П.
  • Год: 2014
  • Выпуск: 3
  • 287
  • 8762
  • Страницы: 85-91

Методика проектирования тестов сложных программных комплексов на основе структурированных UCM моделей

Конференция Microsoft
Дробинцев П.Д. Никифоров И.В. Котляров В.П.
  • Год: 2013
  • Выпуск: 3
  • 747
  • 9207
  • Страницы: 99-104

Интегральные критерии проверки требований к программному обеспечению

Конференция Microsoft
Никифоров И.В. Дробинцев П.Д. Котляров В.П.
  • Год: 2013
  • Выпуск: 3
  • 608
  • 9344
  • Страницы: 111-117

Ограничения на многопоточные конструкции и временные задержки языка UCM

Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В. Котляров В.П. Дробинцев П.Д.
  • Год: 2013
  • Выпуск: 3
  • 534
  • 9353
  • Страницы: 148-153

Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик

Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В. Петров А.В. Котляров В.П.
  • Год: 2012
  • Выпуск: 4
  • 0
  • 8391
  • Страницы: 114-119

Построение системы автоматизации статической и динамической проверки требований к программному продукту

Конференция «Технологии Microsoft в теории и практике программирования»
Тютин Б.В. Никифоров И.В. Котляров В.П.
  • Год: 2012
  • Выпуск: 4
  • 0
  • 8244
  • Страницы: 119-123

Применение методик формализации для построения верификационных моделей систем по UCM-спецификациям

Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В. Петров А.В. Юсупов Ю.В. Котляров В.П.
  • Год: 2011
  • Выпуск: 3
  • 0
  • 8110
  • Страницы: 180-184

Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map

Конференция «Технологии Microsoft в теории и практике программирования»
Никифоров И.В. Петров А.В. Юсупов Ю.В.
  • Год: 2010
  • Выпуск: 4
  • 1
  • 8195
  • Страницы: 191-195

Методика автоматизации зарядки электромобиля на базе контроллера Raspberry Pi с использованием нейронных сетей

Интеллектуальные системы и технологии
Власенко Н.А. Дусаева А.И. Никифоров И.В. Преловский
  • Год: 2022
  • Том: 15
  • Выпуск: 4
  • 44
  • 5440
  • Страницы: 37-50

Алгоритм мониторинга и повышения стабильности информационно-технологической инфраструктуры на основе метрик доступности и надежности

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
Варламов Д.А. Никифоров И.В. Устинов С.М.
  • Год: 2024
  • Том: 17
  • Выпуск: 2
  • 34
  • 3474
  • Страницы: 24-37

Метод симуляции индивидуального поведения агентов в процессно-сетевой парадигме дискретно-событийного моделирования

Интеллектуальные системы и технологии, искусственный интеллект
Сабуткевич А.М. Никифоров И.В. Самочадин А.В.
  • Год: 2025
  • Том: 18
  • Выпуск: 1
  • 18
  • 3609
  • Страницы: 23-35

Автоматизация настройки инфраструктуры ИТ-проекта с использованием LLM-моделей

Интеллектуальные системы и технологии, искусственный интеллект
Ивлев В.А. Никифоров И.В. Устинов С.М.
  • Год: 2025
  • Том: 18
  • Выпуск: 2
  • 17
  • 1273
  • Страницы: 74-90

Автоматизация подготовки и развертывания информационной инфраструктуры облачных сервисов с использованием инструмента Ansible

Компьютерные сети, вычислительные, телекоммуникационные, управляющие и измерительные систем
Киселева А.А. Никифоров И.В. Шишко М.В. Устинов С.М.
  • Год: 2025
  • Том: 18
  • Выпуск: 3
  • 12
  • 1071
  • Страницы: 131-143

Алгоритм динамического планирования на основе функции Ляпунова для гетерогенных вычислительных кластеров

Моделирование вычислительных, телекоммуникационных и управляющих систем
Ван Шань Никифоров И.В.
  • Год: 2026
  • Том: 19
  • Выпуск: 1
  • 1
  • 41
  • Страницы: 65-79