График выхода изданий
  • №4 Декабрь 2024
  • №1 Март 2025
  • №2 Июнь 2025
  • №3 Сентябрь 2025

Статьи по ключевому слову "автомат"

Облачная распределенная система управления на базе открытой промышленной платформы автоматизации

Интеллектуальные системы и технологии
  • Год: 2023
  • Том: 16
  • Выпуск: 2
  • 29
  • 2067
  • Страницы: 17-28

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

Интеллектуальные системы и технологии
  • Год: 2022
  • Том: 15
  • Выпуск: 4
  • 39
  • 2489
  • Страницы: 37-50

INF-SEG: Автоматический метод сегментации и количественного определения для диагностики Covid-19 на основе КТ

Инфокоммуникационные технологии
  • Год: 2022
  • Том: 15
  • Выпуск: 3
  • 25
  • 2376
  • Страницы: 7-21

Недостатки методики определения инструментальной погрешности аэродромных квазидоплеровских автоматических радиопеленгаторов

Устройства и системы передачи, приема и обработки сигналов
  • Год: 2021
  • Том: 14
  • Выпуск: 1
  • 18
  • 4175
  • Страницы: 33-42

Автоматическое формирование исправлений ошибок программного кода на основе анализа программных репозиториев

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
  • Год: 2020
  • Том: 13
  • Выпуск: 2
  • 29
  • 5069
  • Страницы: 35-48

Оценка состояния транспортных магистралей Северо-Западного федерального округа с использованием анализа тональности отзывов пользователей сети Интернет

Информационные технологии
  • Год: 2019
  • Том: 12
  • Выпуск: 3
  • 27
  • 6334
  • Страницы: 7-24

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

Устройства и системы передачи, приема и обработки сигналов
  • Год: 2018
  • Том: 11
  • Выпуск: 3
  • 16
  • 6573
  • Страницы: 49-56

Математическое моделирование управления процессом теплопотребления комплекса зданий

Радиотехника, антенны, СВЧ-устройства
  • Год: 2012
  • Выпуск: 2
  • 0
  • 6001
  • Страницы: 71-80

Автоматизированный сбор данных при исследовании характеристик волоконных световодов на этапах производства

Проблемы передачи и обработки информации
  • Год: 2011
  • Выпуск: 6
  • 0
  • 6141
  • Страницы: 30-34

Автоматизация оценки активных элементов социотехнических систем

Управление в социальных и экономических системах
  • Год: 2011
  • Выпуск: 6
  • 0
  • 5917
  • Страницы: 158-165

О возможности моделирования процесса градообразования с помощью клеточных автоматов

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2011
  • Выпуск: 6
  • 0
  • 5896
  • Страницы: 128-134

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

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2011
  • Выпуск: 6
  • 0
  • 6012
  • Страницы: 95-102

Автоматизация проектирования асинхронных схем

Семинар
  • Год: 2011
  • Выпуск: 6
  • 0
  • 6114
  • Страницы: 237-238

Многокритериальная идентификация в компьютерном проектировании систем автоматического управления

Системный анализ и управление
  • Год: 2011
  • Выпуск: 6
  • 0
  • 6118
  • Страницы: 129-135

Автоматизированный реинжиниринг цифровых устройств на основе HDL-спецификаций

Аппаратные и программные средства систем управления
  • Год: 2011
  • Выпуск: 6
  • 0
  • 5827
  • Страницы: 44-50

Автоматизированная система испытаний, как составная часть системы управления качеством

Системный анализ и управление
  • Год: 2008
  • Выпуск: 6
  • 0
  • 6203
  • Страницы: 116-120

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

Интеллектуальные системы и технологии
  • Год: 2015
  • Выпуск: 6
  • 353
  • 6869
  • Страницы: 70-80

Приведение конечного нечеткого автомата к нечеткой комбинационной схеме с блоком памяти

Системный анализ и управление
  • Год: 2014
  • Выпуск: 6
  • 458
  • 6693
  • Страницы: 67-80

Цифровая обработка сигналов при автоматизированных испытаниях сильноточных шунтов

Приборы, информационно-измерительные системы
  • Год: 2013
  • Выпуск: 6
  • 320
  • 6233
  • Страницы: 103-108

Современные методы автоматического реферирования

Системный анализ и управление
  • Год: 2010
  • Выпуск: 6
  • 0
  • 5967
  • Страницы: 59-74

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

Системный анализ и управление
  • Год: 2010
  • Выпуск: 6
  • 0
  • 6051
  • Страницы: 44-50

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

Информатика и информационные технологии
  • Год: 2009
  • Выпуск: 5
  • 0
  • 5784
  • Страницы: 7-12

Исследование систем автоматизации обнаружения дефектов в исходном коде программ

Вычислительные машины и программное обеспечение
  • Год: 2008
  • Выпуск: 5
  • 0
  • 6199
  • Страницы: 119-127

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

Вычислительные машины и программное обеспечение
  • Год: 2008
  • Выпуск: 5
  • 0
  • 5938
  • Страницы: 111-114

Определение проблемно-ориентированных языков интерпретируемыми автоматами

Вычислительные машины и программное обеспечение
  • Год: 2008
  • Выпуск: 5
  • 0
  • 5997
  • Страницы: 93-98

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

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2012
  • Выпуск: 5
  • 0
  • 5743
  • Страницы: 85-88

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

Инфокоммуникационные технологии
  • Год: 2011
  • Выпуск: 5
  • 0
  • 6087
  • Страницы: 7-12

Математическое моделирование режимов испытаний дизельных двигателей

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2011
  • Выпуск: 5
  • 0
  • 5844
  • Страницы: 77-81

Оптимизация структуры комплекса технических средств в информационно-управляющих системах государственного управления

Управление в социальных и экономических системах
  • Год: 2011
  • Выпуск: 5
  • 0
  • 5860
  • Страницы: 129-132

Автоматизированная система контроля и оценки знаний

Информационные и телекоммуникационные технологии в образовании
  • Год: 2010
  • Выпуск: 5
  • 0
  • 5743
  • Страницы: 221-228

О результатах применения математической модели процесса усвоения знаний в естественно-языковой обучающей системе

Информационные и телекоммуникационные технологии в образовании
  • Год: 2010
  • Выпуск: 5
  • 0
  • 5880
  • Страницы: 207-213

Автоматизация прогнозирования развития, анализа и оценки динамических моделей систем

Приборы, информационно-измерительные системы
  • Год: 2010
  • Выпуск: 5
  • 0
  • 5919
  • Страницы: 183-186

О некоторых характеристиках математической модели процесса понимания информации

Системный анализ и управление
  • Год: 2010
  • Выпуск: 5
  • 0
  • 5952
  • Страницы: 62-68

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

Телекоммуникационные системы и компьютерные сети
  • Год: 2014
  • Выпуск: 4
  • 290
  • 6729
  • Страницы: 41-46

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

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2013
  • Выпуск: 4
  • 547
  • 6660
  • Страницы: 87-94

Автоматизация тестирования на основе покрытия пользовательских сценариев

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 6076
  • Страницы: 123-126

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

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

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

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

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

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2012
  • Выпуск: 4
  • 0
  • 5845
  • Страницы: 106-109

Многокритериальное нормирование эталонных моделей в задачах синтеза систем автоматического управления

Системный анализ и управление
  • Год: 2012
  • Выпуск: 4
  • 0
  • 6164
  • Страницы: 55-60

Автоматическая настройка тестового окружения телекоммуникационных проектов

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 4
  • 0
  • 5999
  • Страницы: 149-152

Объединение математического аппарата нечетких переменных и автоматического дифференцирования для оценки наследственной погрешности

Приборы, информационно-измерительные системы
  • Год: 2011
  • Выпуск: 4
  • 0
  • 5927
  • Страницы: 129-134

Границы применимости метода вероятностного клеточного автомата при моделировании физико-химических систем на атомно-молекулярном уровне

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2011
  • Выпуск: 4
  • 0
  • 5879
  • Страницы: 113-116

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

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

Интегрированная среда автоматизации тестирования на основе технологии Eclipse

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 5830
  • Страницы: 186-191

Автоматизация тестирования проектов в области телекоммуникаций

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2010
  • Выпуск: 4
  • 0
  • 5930
  • Страницы: 180-185

Увеличение динамического диапазона акустооптического анализатора спектра с помощью автоматической регулировки усиления

Радиотехника, антенны, СВЧ-устройства
  • Год: 2010
  • Выпуск: 4
  • 0
  • 5832
  • Страницы: 62-66

Остаточное тестирование клиентского приложения по протоколу XMPP

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5754
  • Страницы: 242-246

Автоматизация формализации требований к программным проектам

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5813
  • Страницы: 236-241

Верификация и автоматизация тестирования UML-проектов

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 6595
  • Страницы: 220-225

Методика промышленного тестирования библиотек численных методов

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5728
  • Страницы: 216-220

Программа расчета показателя надежности системы с прямым включением комплекта ЗИП в модель надежности

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 6003
  • Страницы: 212-216

Система визуального контроля загруженности высокопроизводительных многоядерных архитектур

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2009
  • Выпуск: 3
  • 0
  • 5936
  • Страницы: 204-208

Тестирование на основе ключевых слов с использованием диаграмм последовательности событий

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2014
  • Выпуск: 3
  • 399
  • 6489
  • Страницы: 78-84

Масштабирование выполнения тестового набора при автоматизированном тестировании

Конференция Microsoft
  • Год: 2013
  • Выпуск: 3
  • 561
  • 6429
  • Страницы: 118-122

Проблема организации грузовых работ на железной дороге контейнерного терминала

Управление в социальных и экономических системах
  • Год: 2013
  • Выпуск: 3
  • 767
  • 6655
  • Страницы: 67-74

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

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

Автоматизация тестирования с использованием символических трасс

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 2011
  • Выпуск: 3
  • 0
  • 6030
  • Страницы: 175-180

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

Международный конкурс-семинар «Таймырские чтения»
  • Год: 2010
  • Выпуск: 3
  • 0
  • 5741
  • Страницы: 168-173

Технология модификации программного кода, основанная на параметризуемых шаблонах

Вычислительные машины и программное обеспечение
  • Год: 2010
  • Выпуск: 3
  • 2
  • 6379
  • Страницы: 99-106

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

Системный анализ и управление
  • Год: 2010
  • Выпуск: 3
  • 0
  • 6353
  • Страницы: 49-54

Нечеткий клеточный автомат для регулирования поля температуры

Интеллектуальные системы и технологии
  • Год: 2015
  • Выпуск: 2
  • 334
  • 6877
  • Страницы: 125-138

Метод тематического связанного ранжирования для задач реферирования сообщений

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2010
  • Выпуск: 2
  • 0
  • 5701
  • Страницы: 140-144

Применение теории клеточных автоматов к фазовым переходам в условиях реакторного облучения

Системный анализ и управление
  • Год: 2010
  • Выпуск: 2
  • 0
  • 5807
  • Страницы: 70-74

Параметрические методы синтеза систем управления

Системный анализ и управление
  • Год: 2009
  • Выпуск: 2
  • 0
  • 6148
  • Страницы: 111-115

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 465
  • 6729
  • Страницы: 169-179

Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 2014
  • Выпуск: 2
  • 280
  • 6276
  • Страницы: 143-152

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

Системный анализ и управление
  • Год: 2014
  • Выпуск: 2
  • 340
  • 6385
  • Страницы: 91-98

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

Электроника, технологии производства материалов электронной техники
  • Год: 2013
  • Выпуск: 2
  • 705
  • 6981
  • Страницы: 123-134

Методика обнаружения и коррекции прерываний вне протокола в сетях передачи данных

Актуальные проблемы языкознания
  • Год: 2012
  • Выпуск: 2
  • 0
  • 5995
  • Страницы: 109-113

Исследование алгоритмов управления процессом отопления здания с зависимым теплоснабжением

Системный анализ и управление
  • Год: 2011
  • Выпуск: 2
  • 0
  • 5998
  • Страницы: 74-78

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

Моделирование вычислительных, телекоммуникационных, управляющих и социально-экономических систем
  • Год: 2017
  • Том: 10
  • Выпуск: 3
  • 96
  • 6405
  • Страницы: 103-113

Эффективная программная реализация обратного метода Маслова для интуиционистской логики

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
  • Год: 2017
  • Том: 10
  • Выпуск: 1
  • 78
  • 6362
  • Страницы: 49-62

Повышение точности байесовского классификатора текстовых документов

Проблемы передачи и обработки информации
  • Год: 2010
  • Выпуск: 1
  • 0
  • 6276
  • Страницы: 12-18

Автоматизированный релаксометр для определения температуры стеклования полимеров

Приборы и оборудование
  • Год: 2009
  • Выпуск: 1
  • 0
  • 5802
  • Страницы: 199-199

Принятие решений при выборе инструментальных средств разработки автоматизированных систем

Системный анализ и управление
  • Год: 2009
  • Выпуск: 1
  • 0
  • 6148
  • Страницы: 106-109

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

Обзор международных конференций
  • Год: 2015
  • Выпуск: 1
  • 382
  • 6588
  • Страницы: 101-109

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

Конференция «Инструменты и методы анализа программ – 2014»
  • Год: 2015
  • Выпуск: 1
  • 309
  • 6424
  • Страницы: 88-96

Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода

Конференция «Инструменты и методы анализа программ – 2014»
  • Год: 2015
  • Выпуск: 1
  • 260
  • 6707
  • Страницы: 60-73

Интегрированное управление большими данными транспортных систем в различных производственных условиях

Анализ загруженности и производительности облачных вычислений
  • Год: 2014
  • Выпуск: 1
  • 741
  • 6678
  • Страницы: 105-113

Аналитический обзор Mеждународной конференции ЗАББИКС-2013

Анализ загруженности и производительности облачных вычислений
  • Год: 2014
  • Выпуск: 1
  • 1000
  • 7262
  • Страницы: 91-98

Интеллектуальная информационная система мониторинга и оптимизации потребления энергоресурсов для жилищно-коммунального хозяйства

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2014
  • Выпуск: 1
  • 394
  • 6542
  • Страницы: 83-90

Система имитационного моделирования технологических процессов

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2014
  • Выпуск: 1
  • 488
  • 6544
  • Страницы: 62-68

Системный подход к проектированию автоматизированных технологических комплексов (на примере управляемых процессов приготовления многокомпонентных смесей)

Математическое моделирование: методы, алгоритмы, технологии
  • Год: 2012
  • Выпуск: 1
  • 0
  • 5925
  • Страницы: 98-106

Разработка и исследование математической модели управления автоматизированным индивидуальным тепловым пунктом

Системный анализ и управление
  • Год: 2012
  • Выпуск: 1
  • 0
  • 6223
  • Страницы: 41-48

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

Проблемы передачи и обработки информации
  • Год: 2011
  • Выпуск: 1
  • 0
  • 5833
  • Страницы: 20-24