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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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