График выхода изданий
  • №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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Системный анализ и управление
  • Год: 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
  • 5219
  • Страницы: 59-74

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

Системный анализ и управление
  • Год: 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

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

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

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

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

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

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

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

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

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

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

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

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

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

Приборы, информационно-измерительные системы
  • Год: 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Конференция «Технологии Microsoft в теории и практике программирования»
  • Год: 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

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

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

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

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

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

Конференция «Инструменты и методы анализа программ – 2013»
  • Год: 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
  • Выпуск: 3
  • 94
  • 5636
  • Страницы: 103-113

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

Программное обеспечение вычислительных, телекоммуникационных и управляющих систем
  • Год: 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-протоколу

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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