График выхода изданий
-
№3 Сентябрь 2024
-
№4 Декабрь 2024
Статьи по ключевому слову "автомат"
Облачная распределенная система управления на базе открытой промышленной платформы автоматизации
- Год: 2023
- Том: 16
- Выпуск: 2
- 23
- 1530
- Страницы: 17-28
Методика автоматизации зарядки электромобиля на базе контроллера Raspberry Pi с использованием нейронных сетей
- Год: 2022
- Том: 15
- Выпуск: 4
- 36
- 1949
- Страницы: 37-50
INF-SEG: Автоматический метод сегментации и количественного определения для диагностики Covid-19 на основе КТ
- Год: 2022
- Том: 15
- Выпуск: 3
- 23
- 1858
- Страницы: 7-21
Недостатки методики определения инструментальной погрешности аэродромных квазидоплеровских автоматических радиопеленгаторов
- Год: 2021
- Том: 14
- Выпуск: 1
- 18
- 3687
- Страницы: 33-42
Автоматическое формирование исправлений ошибок программного кода на основе анализа программных репозиториев
- Год: 2020
- Том: 13
- Выпуск: 2
- 27
- 4588
- Страницы: 35-48
Комплексирование результатов наблюдения датчиками различных физических полей при автоматическом наведении беспилотных летательных аппаратов с учётом арктических геомагнитных особенностей приёма сигналов
- Год: 2018
- Том: 11
- Выпуск: 3
- 16
- 6073
- Страницы: 49-56
Математическое моделирование управления процессом теплопотребления комплекса зданий
- Год: 2012
- Выпуск: 2
- 0
- 5550
- Страницы: 71-80
Автоматизация оценки активных элементов социотехнических систем
- Год: 2011
- Выпуск: 6
- 0
- 5473
- Страницы: 158-165
О возможности моделирования процесса градообразования с помощью клеточных автоматов
- Год: 2011
- Выпуск: 6
- 0
- 5431
- Страницы: 128-134
Многокритериальная идентификация в компьютерном проектировании систем автоматического управления
- Год: 2011
- Выпуск: 6
- 0
- 5656
- Страницы: 129-135
Автоматизированный реинжиниринг цифровых устройств на основе HDL-спецификаций
- Год: 2011
- Выпуск: 6
- 0
- 5354
- Страницы: 44-50
Автоматизированная система испытаний, как составная часть системы управления качеством
- Год: 2008
- Выпуск: 6
- 0
- 5751
- Страницы: 116-120
Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова
- Год: 2015
- Выпуск: 6
- 352
- 6415
- Страницы: 70-80
Приведение конечного нечеткого автомата к нечеткой комбинационной схеме с блоком памяти
- Год: 2014
- Выпуск: 6
- 457
- 6209
- Страницы: 67-80
Цифровая обработка сигналов при автоматизированных испытаниях сильноточных шунтов
- Год: 2013
- Выпуск: 6
- 320
- 5781
- Страницы: 103-108
Последовательная многокритериальная параметрическая оптимизация регуляторов нелинейных систем автоматического управления
- Год: 2010
- Выпуск: 6
- 0
- 5578
- Страницы: 44-50
Об использовании графов понятий для структурирования и управления информацией в автоматизированных обучающих системах
- Год: 2009
- Выпуск: 5
- 0
- 5343
- Страницы: 7-12
Исследование систем автоматизации обнаружения дефектов в исходном коде программ
- Год: 2008
- Выпуск: 5
- 0
- 5717
- Страницы: 119-127
Программные средства дистанционного управления очередями потребителей
- Год: 2008
- Выпуск: 5
- 0
- 5510
- Страницы: 111-114
Определение проблемно-ориентированных языков интерпретируемыми автоматами
- Год: 2008
- Выпуск: 5
- 0
- 5524
- Страницы: 93-98
Оценка вероятности ложного срабатывания системы автоматического распознавания голосовых команд
- Год: 2011
- Выпуск: 5
- 0
- 5624
- Страницы: 7-12
Математическое моделирование режимов испытаний дизельных двигателей
- Год: 2011
- Выпуск: 5
- 0
- 5371
- Страницы: 77-81
Оптимизация структуры комплекса технических средств в информационно-управляющих системах государственного управления
- Год: 2011
- Выпуск: 5
- 0
- 5384
- Страницы: 129-132
Автоматизация прогнозирования развития, анализа и оценки динамических моделей систем
- Год: 2010
- Выпуск: 5
- 0
- 5464
- Страницы: 183-186
О некоторых характеристиках математической модели процесса понимания информации
- Год: 2010
- Выпуск: 5
- 0
- 5492
- Страницы: 62-68
Методика тестирования высоконагруженных телекоммуникационных систем SMS оповещения
- Год: 2014
- Выпуск: 4
- 290
- 6218
- Страницы: 41-46
Обеспечение качества автоматизированного проектирования металлоконструкций технологических систем на основе распределенной базы данных эксплуатационных дефектов
- Год: 2013
- Выпуск: 4
- 547
- 6202
- Страницы: 87-94
Автоматизация тестирования на основе покрытия пользовательских сценариев
- Год: 2012
- Выпуск: 4
- 0
- 5639
- Страницы: 123-126
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
- Год: 2012
- Выпуск: 4
- 0
- 5633
- Страницы: 114-119
Многокритериальное нормирование эталонных моделей в задачах синтеза систем автоматического управления
- Год: 2012
- Выпуск: 4
- 0
- 5697
- Страницы: 55-60
Автоматическая настройка тестового окружения телекоммуникационных проектов
- Год: 2011
- Выпуск: 4
- 0
- 5529
- Страницы: 149-152
Объединение математического аппарата нечетких переменных и автоматического дифференцирования для оценки наследственной погрешности
- Год: 2011
- Выпуск: 4
- 0
- 5455
- Страницы: 129-134
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
- Год: 2010
- Выпуск: 4
- 1
- 5362
- Страницы: 191-195
Интегрированная среда автоматизации тестирования на основе технологии Eclipse
- Год: 2010
- Выпуск: 4
- 0
- 5366
- Страницы: 186-191
Автоматизация тестирования проектов в области телекоммуникаций
- Год: 2010
- Выпуск: 4
- 0
- 5464
- Страницы: 180-185
Увеличение динамического диапазона акустооптического анализатора спектра с помощью автоматической регулировки усиления
- Год: 2010
- Выпуск: 4
- 0
- 5377
- Страницы: 62-66
Остаточное тестирование клиентского приложения по протоколу XMPP
- Год: 2009
- Выпуск: 3
- 0
- 5333
- Страницы: 242-246
Автоматизация формализации требований к программным проектам
- Год: 2009
- Выпуск: 3
- 0
- 5389
- Страницы: 236-241
Методика промышленного тестирования библиотек численных методов
- Год: 2009
- Выпуск: 3
- 0
- 5277
- Страницы: 216-220
Система визуального контроля загруженности высокопроизводительных многоядерных архитектур
- Год: 2009
- Выпуск: 3
- 0
- 5487
- Страницы: 204-208
Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
- Год: 2014
- Выпуск: 3
- 399
- 6045
- Страницы: 78-84
Масштабирование выполнения тестового набора при автоматизированном тестировании
- Год: 2013
- Выпуск: 3
- 561
- 5986
- Страницы: 118-122
Проблема организации грузовых работ на железной дороге контейнерного терминала
- Год: 2013
- Выпуск: 3
- 766
- 6206
- Страницы: 67-74
Автоматизация тестирования с использованием символических трасс
- Год: 2011
- Выпуск: 3
- 0
- 5558
- Страницы: 175-180
Метод создания лингвистических переменных нечеткой модел
- Год: 2010
- Выпуск: 3
- 0
- 5293
- Страницы: 168-173
Технология модификации программного кода, основанная на параметризуемых шаблонах
- Год: 2010
- Выпуск: 3
- 2
- 5907
- Страницы: 99-106
Архитектура системы проведения удаленных соревнований и организации работы с математическими задачами
- Год: 2010
- Выпуск: 3
- 0
- 5875
- Страницы: 49-54
Нечеткий клеточный автомат для регулирования поля температуры
- Год: 2015
- Выпуск: 2
- 334
- 6353
- Страницы: 125-138
Метод тематического связанного ранжирования для задач реферирования сообщений
- Год: 2010
- Выпуск: 2
- 0
- 5264
- Страницы: 140-144
Применение теории клеточных автоматов к фазовым переходам в условиях реакторного облучения
- Год: 2010
- Выпуск: 2
- 0
- 5364
- Страницы: 70-74
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Год: 2014
- Выпуск: 2
- 465
- 6274
- Страницы: 169-179
Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем
- Год: 2014
- Выпуск: 2
- 280
- 5807
- Страницы: 143-152
Многокритериальная параметрическая оптимизация цифровых регуляторов с учетом нелинейностей и действия внешних возмущений
- Год: 2014
- Выпуск: 2
- 340
- 5932
- Страницы: 91-98
Методологические аспекты и инструментальные средства автоматизированного проектирования функционально- ориентированных микроконтроллеров для встраиваемых приложений
- Год: 2013
- Выпуск: 2
- 705
- 6494
- Страницы: 123-134
Методика обнаружения и коррекции прерываний вне протокола в сетях передачи данных
- Год: 2012
- Выпуск: 2
- 0
- 5544
- Страницы: 109-113
Исследование алгоритмов управления процессом отопления здания с зависимым теплоснабжением
- Год: 2011
- Выпуск: 2
- 0
- 5557
- Страницы: 74-78
Эффективная программная реализация обратного метода Маслова для интуиционистской логики
- Год: 2017
- Том: 10
- Выпуск: 1
- 78
- 5867
- Страницы: 49-62
Повышение точности байесовского классификатора текстовых документов
- Год: 2010
- Выпуск: 1
- 0
- 5768
- Страницы: 12-18
Автоматизированный релаксометр для определения температуры стеклования полимеров
- Год: 2009
- Выпуск: 1
- 0
- 5346
- Страницы: 199-199
Принятие решений при выборе инструментальных средств разработки автоматизированных систем
- Год: 2009
- Выпуск: 1
- 0
- 5704
- Страницы: 106-109
Международный конгресс по ультрасовременным телекоммуникациям и системам управления
- Год: 2015
- Выпуск: 1
- 381
- 6093
- Страницы: 101-109
Автоматизация интеграционного тестирования на примере модулей обмена данными по FIX-протоколу
- Год: 2015
- Выпуск: 1
- 308
- 5932
- Страницы: 88-96
Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода
- Год: 2015
- Выпуск: 1
- 260
- 6232
- Страницы: 60-73
Интегрированное управление большими данными транспортных систем в различных производственных условиях
- Год: 2014
- Выпуск: 1
- 741
- 6186
- Страницы: 105-113
Аналитический обзор Mеждународной конференции ЗАББИКС-2013
- Год: 2014
- Выпуск: 1
- 1000
- 6785
- Страницы: 91-98
Система имитационного моделирования технологических процессов
- Год: 2014
- Выпуск: 1
- 488
- 6087
- Страницы: 62-68
Разработка и исследование математической модели управления автоматизированным индивидуальным тепловым пунктом
- Год: 2012
- Выпуск: 1
- 0
- 5742
- Страницы: 41-48
Применение списочного декодирования в задаче классификации текстовых документов
- Год: 2011
- Выпуск: 1
- 0
- 5382
- Страницы: 20-24