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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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