График выхода журналов
  • №4 Декабрь 2020
  • №1 Март 2021
  • №2 Июнь 2021
  • №3 Сентябрь 2021

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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