График выхода изданий
-
№2 Июнь 2024
-
№3 Сентябрь 2024
-
№4 Декабрь 2024
Статьи по ключевому слову "автомат"
Облачная распределенная система управления на базе открытой промышленной платформы автоматизации
- Год: 2023
- Том: 16
- Выпуск: 2
- 20
- 1161
- Страницы: 17-28
Методика автоматизации зарядки электромобиля на базе контроллера Raspberry Pi с использованием нейронных сетей
- Год: 2022
- Том: 15
- Выпуск: 4
- 36
- 1624
- Страницы: 37-50
INF-SEG: Автоматический метод сегментации и количественного определения для диагностики Covid-19 на основе КТ
- Год: 2022
- Том: 15
- Выпуск: 3
- 23
- 1537
- Страницы: 7-21
Недостатки методики определения инструментальной погрешности аэродромных квазидоплеровских автоматических радиопеленгаторов
- Год: 2021
- Том: 14
- Выпуск: 1
- 17
- 3367
- Страницы: 33-42
Автоматическое формирование исправлений ошибок программного кода на основе анализа программных репозиториев
- Год: 2020
- Том: 13
- Выпуск: 2
- 26
- 4248
- Страницы: 35-48
Комплексирование результатов наблюдения датчиками различных физических полей при автоматическом наведении беспилотных летательных аппаратов с учётом арктических геомагнитных особенностей приёма сигналов
- Год: 2018
- Том: 11
- Выпуск: 3
- 16
- 5755
- Страницы: 49-56
Математическое моделирование управления процессом теплопотребления комплекса зданий
- Год: 2012
- Выпуск: 2
- 0
- 5243
- Страницы: 71-80
Автоматизация оценки активных элементов социотехнических систем
- Год: 2011
- Выпуск: 6
- 0
- 5173
- Страницы: 158-165
О возможности моделирования процесса градообразования с помощью клеточных автоматов
- Год: 2011
- Выпуск: 6
- 0
- 5132
- Страницы: 128-134
Многокритериальная идентификация в компьютерном проектировании систем автоматического управления
- Год: 2011
- Выпуск: 6
- 0
- 5327
- Страницы: 129-135
Автоматизированный реинжиниринг цифровых устройств на основе HDL-спецификаций
- Год: 2011
- Выпуск: 6
- 0
- 5072
- Страницы: 44-50
Автоматизированная система испытаний, как составная часть системы управления качеством
- Год: 2008
- Выпуск: 6
- 0
- 5458
- Страницы: 116-120
Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова
- Год: 2015
- Выпуск: 6
- 352
- 6105
- Страницы: 70-80
Приведение конечного нечеткого автомата к нечеткой комбинационной схеме с блоком памяти
- Год: 2014
- Выпуск: 6
- 457
- 5889
- Страницы: 67-80
Цифровая обработка сигналов при автоматизированных испытаниях сильноточных шунтов
- Год: 2013
- Выпуск: 6
- 320
- 5487
- Страницы: 103-108
Последовательная многокритериальная параметрическая оптимизация регуляторов нелинейных систем автоматического управления
- Год: 2010
- Выпуск: 6
- 0
- 5261
- Страницы: 44-50
Об использовании графов понятий для структурирования и управления информацией в автоматизированных обучающих системах
- Год: 2009
- Выпуск: 5
- 0
- 5055
- Страницы: 7-12
Исследование систем автоматизации обнаружения дефектов в исходном коде программ
- Год: 2008
- Выпуск: 5
- 0
- 5366
- Страницы: 119-127
Программные средства дистанционного управления очередями потребителей
- Год: 2008
- Выпуск: 5
- 0
- 5224
- Страницы: 111-114
Определение проблемно-ориентированных языков интерпретируемыми автоматами
- Год: 2008
- Выпуск: 5
- 0
- 5206
- Страницы: 93-98
Оценка вероятности ложного срабатывания системы автоматического распознавания голосовых команд
- Год: 2011
- Выпуск: 5
- 0
- 5327
- Страницы: 7-12
Математическое моделирование режимов испытаний дизельных двигателей
- Год: 2011
- Выпуск: 5
- 0
- 5069
- Страницы: 77-81
Оптимизация структуры комплекса технических средств в информационно-управляющих системах государственного управления
- Год: 2011
- Выпуск: 5
- 0
- 5103
- Страницы: 129-132
Автоматизация прогнозирования развития, анализа и оценки динамических моделей систем
- Год: 2010
- Выпуск: 5
- 0
- 5173
- Страницы: 183-186
О некоторых характеристиках математической модели процесса понимания информации
- Год: 2010
- Выпуск: 5
- 0
- 5199
- Страницы: 62-68
Методика тестирования высоконагруженных телекоммуникационных систем SMS оповещения
- Год: 2014
- Выпуск: 4
- 290
- 5901
- Страницы: 41-46
Обеспечение качества автоматизированного проектирования металлоконструкций технологических систем на основе распределенной базы данных эксплуатационных дефектов
- Год: 2013
- Выпуск: 4
- 547
- 5902
- Страницы: 87-94
Автоматизация тестирования на основе покрытия пользовательских сценариев
- Год: 2012
- Выпуск: 4
- 0
- 5346
- Страницы: 123-126
Статический метод отладки тестовых сценариев, сгенерированных с использованием эвристик
- Год: 2012
- Выпуск: 4
- 0
- 5315
- Страницы: 114-119
Многокритериальное нормирование эталонных моделей в задачах синтеза систем автоматического управления
- Год: 2012
- Выпуск: 4
- 0
- 5373
- Страницы: 55-60
Автоматическая настройка тестового окружения телекоммуникационных проектов
- Год: 2011
- Выпуск: 4
- 0
- 5210
- Страницы: 149-152
Объединение математического аппарата нечетких переменных и автоматического дифференцирования для оценки наследственной погрешности
- Год: 2011
- Выпуск: 4
- 0
- 5159
- Страницы: 129-134
Генерация формальной модели системы по требованиям, заданным в нотации Use Case Map
- Год: 2010
- Выпуск: 4
- 1
- 5035
- Страницы: 191-195
Интегрированная среда автоматизации тестирования на основе технологии Eclipse
- Год: 2010
- Выпуск: 4
- 0
- 5057
- Страницы: 186-191
Автоматизация тестирования проектов в области телекоммуникаций
- Год: 2010
- Выпуск: 4
- 0
- 5163
- Страницы: 180-185
Увеличение динамического диапазона акустооптического анализатора спектра с помощью автоматической регулировки усиления
- Год: 2010
- Выпуск: 4
- 0
- 5083
- Страницы: 62-66
Остаточное тестирование клиентского приложения по протоколу XMPP
- Год: 2009
- Выпуск: 3
- 0
- 5058
- Страницы: 242-246
Автоматизация формализации требований к программным проектам
- Год: 2009
- Выпуск: 3
- 0
- 5094
- Страницы: 236-241
Методика промышленного тестирования библиотек численных методов
- Год: 2009
- Выпуск: 3
- 0
- 4981
- Страницы: 216-220
Система визуального контроля загруженности высокопроизводительных многоядерных архитектур
- Год: 2009
- Выпуск: 3
- 0
- 5185
- Страницы: 204-208
Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
- Год: 2014
- Выпуск: 3
- 398
- 5753
- Страницы: 78-84
Масштабирование выполнения тестового набора при автоматизированном тестировании
- Год: 2013
- Выпуск: 3
- 561
- 5677
- Страницы: 118-122
Проблема организации грузовых работ на железной дороге контейнерного терминала
- Год: 2013
- Выпуск: 3
- 765
- 5898
- Страницы: 67-74
Автоматизация тестирования с использованием символических трасс
- Год: 2011
- Выпуск: 3
- 0
- 5261
- Страницы: 175-180
Метод создания лингвистических переменных нечеткой модел
- Год: 2010
- Выпуск: 3
- 0
- 5017
- Страницы: 168-173
Технология модификации программного кода, основанная на параметризуемых шаблонах
- Год: 2010
- Выпуск: 3
- 2
- 5589
- Страницы: 99-106
Архитектура системы проведения удаленных соревнований и организации работы с математическими задачами
- Год: 2010
- Выпуск: 3
- 0
- 5559
- Страницы: 49-54
Нечеткий клеточный автомат для регулирования поля температуры
- Год: 2015
- Выпуск: 2
- 334
- 6022
- Страницы: 125-138
Метод тематического связанного ранжирования для задач реферирования сообщений
- Год: 2010
- Выпуск: 2
- 0
- 4987
- Страницы: 140-144
Применение теории клеточных автоматов к фазовым переходам в условиях реакторного облучения
- Год: 2010
- Выпуск: 2
- 0
- 5075
- Страницы: 70-74
Верификация программно-конфигурируемых сетей при помощи системы UPPAAL
- Год: 2014
- Выпуск: 2
- 465
- 5984
- Страницы: 169-179
Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем
- Год: 2014
- Выпуск: 2
- 280
- 5505
- Страницы: 143-152
Многокритериальная параметрическая оптимизация цифровых регуляторов с учетом нелинейностей и действия внешних возмущений
- Год: 2014
- Выпуск: 2
- 340
- 5627
- Страницы: 91-98
Методологические аспекты и инструментальные средства автоматизированного проектирования функционально- ориентированных микроконтроллеров для встраиваемых приложений
- Год: 2013
- Выпуск: 2
- 705
- 6196
- Страницы: 123-134
Методика обнаружения и коррекции прерываний вне протокола в сетях передачи данных
- Год: 2012
- Выпуск: 2
- 0
- 5257
- Страницы: 109-113
Исследование алгоритмов управления процессом отопления здания с зависимым теплоснабжением
- Год: 2011
- Выпуск: 2
- 0
- 5274
- Страницы: 74-78
Эффективная программная реализация обратного метода Маслова для интуиционистской логики
- Год: 2017
- Том: 10
- Выпуск: 1
- 77
- 5543
- Страницы: 49-62
Повышение точности байесовского классификатора текстовых документов
- Год: 2010
- Выпуск: 1
- 0
- 5466
- Страницы: 12-18
Автоматизированный релаксометр для определения температуры стеклования полимеров
- Год: 2009
- Выпуск: 1
- 0
- 5087
- Страницы: 199-199
Принятие решений при выборе инструментальных средств разработки автоматизированных систем
- Год: 2009
- Выпуск: 1
- 0
- 5396
- Страницы: 106-109
Международный конгресс по ультрасовременным телекоммуникациям и системам управления
- Год: 2015
- Выпуск: 1
- 381
- 5793
- Страницы: 101-109
Автоматизация интеграционного тестирования на примере модулей обмена данными по FIX-протоколу
- Год: 2015
- Выпуск: 1
- 308
- 5628
- Страницы: 88-96
Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода
- Год: 2015
- Выпуск: 1
- 260
- 5919
- Страницы: 60-73
Интегрированное управление большими данными транспортных систем в различных производственных условиях
- Год: 2014
- Выпуск: 1
- 741
- 5874
- Страницы: 105-113
Аналитический обзор Mеждународной конференции ЗАББИКС-2013
- Год: 2014
- Выпуск: 1
- 1000
- 6494
- Страницы: 91-98
Система имитационного моделирования технологических процессов
- Год: 2014
- Выпуск: 1
- 488
- 5806
- Страницы: 62-68
Разработка и исследование математической модели управления автоматизированным индивидуальным тепловым пунктом
- Год: 2012
- Выпуск: 1
- 0
- 5432
- Страницы: 41-48
Применение списочного декодирования в задаче классификации текстовых документов
- Год: 2011
- Выпуск: 1
- 0
- 5109
- Страницы: 20-24