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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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