Алгебраическая теория взаимодействия и киберфизические системы
Розглянуто нову модель кібер-фізичних систем, яка узагальнює відомі моделі типу гібридних та часових автоматів. Обговорюються питання застосування методів моделювання та верифікації, накопичених в області програмування, до розробки кібер-фізичних систем. A new model of cyber-physical systems is cons...
Збережено в:
| Опубліковано в: : | Проблемы управления и информатики |
|---|---|
| Дата: | 2017 |
| Автор: | Летичевский, А.А. |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/208596 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Алгебраическая теория взаимодействия и киберфизические системы / А.А. Летичевский // Проблемы управления и информатики. — 2017. — № 5. — С. 37-55. — Бібліогр.: 34 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Теория и методы построения системы модулей модифицированной совершенной формы системы остаточных классов
за авторством: Касянчук, М.М., та інші
Опубліковано: (2016)
за авторством: Касянчук, М.М., та інші
Опубліковано: (2016)
Теоретико-игровая модель взаимодействия пользователей в компьютерных сетях
за авторством: Игнатенко, А.П.
Опубліковано: (2017)
за авторством: Игнатенко, А.П.
Опубліковано: (2017)
Анализ системы обслуживания с портящимися запасами и разнотипными заявками
за авторством: Меликов, А.З., та інші
Опубліковано: (2017)
за авторством: Меликов, А.З., та інші
Опубліковано: (2017)
Иерархический информационно-экстремальный алгоритм обучения системы диагностирования с избыточной обучающей матрицей
за авторством: Довбыш, А.С., та інші
Опубліковано: (2015)
за авторством: Довбыш, А.С., та інші
Опубліковано: (2015)
Расчет характеристик многоканальной системы обслуживания с чистыми потерями и обратной связью
за авторством: Меликов, А.З., та інші
Опубліковано: (2015)
за авторством: Меликов, А.З., та інші
Опубліковано: (2015)
Особенности разработки учебных материалов и системы контроля знаний
за авторством: Шахбазова, Ш.Н.
Опубліковано: (2014)
за авторством: Шахбазова, Ш.Н.
Опубліковано: (2014)
Анализ системы обслуживания с динамическими приоритетами
за авторством: Меликов, А.З., та інші
Опубліковано: (2015)
за авторством: Меликов, А.З., та інші
Опубліковано: (2015)
Многоканальные системы с динамическим приоритетом
за авторством: Рыжиков, Ю.И.
Опубліковано: (2009)
за авторством: Рыжиков, Ю.И.
Опубліковано: (2009)
Моделирование работы узла grid-системы на основе сетей Петри
за авторством: Шелестов, А.Ю.
Опубліковано: (2008)
за авторством: Шелестов, А.Ю.
Опубліковано: (2008)
Информационная модель многоуровневой системы выполнения конвейеризированных программ
за авторством: Кротов, К.В.
Опубліковано: (2014)
за авторством: Кротов, К.В.
Опубліковано: (2014)
Эллипсоидальное оценивание состояния и параметров динамической системы при отсутствии априорной информации об оцениваемых величинах
за авторством: Сальников, Н.Н.
Опубліковано: (2014)
за авторством: Сальников, Н.Н.
Опубліковано: (2014)
Моделирование влияния питания, физической и психической нагрузки на содержание белков системы комплемента. Математическая обработка результатов эксперимента
за авторством: Колянова, Т.В.
Опубліковано: (2011)
за авторством: Колянова, Т.В.
Опубліковано: (2011)
Оценка стационарных вероятностей состояний системы обслуживания GI/G/∞ методом существенной выборки
за авторством: Кузнецов, Н.Ю., та інші
Опубліковано: (2016)
за авторством: Кузнецов, Н.Ю., та інші
Опубліковано: (2016)
Моделирование системы обслуживания с возвращениями GI/G/M/0//1/G методом Монте-Карло
за авторством: Дышлюк, О.Н., та інші
Опубліковано: (2013)
за авторством: Дышлюк, О.Н., та інші
Опубліковано: (2013)
Оценка вероятности немонотонного отказа на периоде занятости системы M/G/m/r методом ускоренного моделирования
за авторством: Кузнецов, И.Н.
Опубліковано: (2012)
за авторством: Кузнецов, И.Н.
Опубліковано: (2012)
Киберфизические системы: лингвистический аспект
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2020)
за авторством: Годлевский, А.Б., та інші
Опубліковано: (2020)
Байесовские процедуры распознавания на сетях
за авторством: Вагис, А.А.
Опубліковано: (2010)
за авторством: Вагис, А.А.
Опубліковано: (2010)
Симметрия и свойства записи генетической информации в ДНК
за авторством: Гупал, А.М., та інші
Опубліковано: (2011)
за авторством: Гупал, А.М., та інші
Опубліковано: (2011)
Свойства процедур сепарации в моделях байесовских сетей
за авторством: Вагис, А.А., та інші
Опубліковано: (2012)
за авторством: Вагис, А.А., та інші
Опубліковано: (2012)
Локализация и распознавание номерных знаков транспортных средств с помощью метода опорных векторов и гистограмм направленных градиентов
за авторством: Тлебалдинова, А.С., та інші
Опубліковано: (2015)
за авторством: Тлебалдинова, А.С., та інші
Опубліковано: (2015)
О вычислении свертки экспоненциальных распределений
за авторством: Кузнецов, Н.Ю., та інші
Опубліковано: (2013)
за авторством: Кузнецов, Н.Ю., та інші
Опубліковано: (2013)
М-обучение радиально-базисных сетей с использованием асимметричных функций влияния
за авторством: Руденко, О.Г., та інші
Опубліковано: (2012)
за авторством: Руденко, О.Г., та інші
Опубліковано: (2012)
Робастное обучение вейвлет-нейросетей
за авторством: Руденко, О.Г., та інші
Опубліковано: (2010)
за авторством: Руденко, О.Г., та інші
Опубліковано: (2010)
Коэволюционирующие нейронные сети прямого распространения
за авторством: Руденко, О.Г., та інші
Опубліковано: (2016)
за авторством: Руденко, О.Г., та інші
Опубліковано: (2016)
Детерминированный эквивалент и алгоритмы решения задачи fuzzy-линейного программирования
за авторством: Зак, Ю.А.
Опубліковано: (2011)
за авторством: Зак, Ю.А.
Опубліковано: (2011)
Реконструкция модели вероятностных зависимостей по статистическим данным. Инструментарий и алгоритм
за авторством: Балабанов, А.С.
Опубліковано: (2009)
за авторством: Балабанов, А.С.
Опубліковано: (2009)
Модели систем обслуживания-запасания со скоропортящимися запасами и повторными заявками
за авторством: Меликов, А.З., та інші
Опубліковано: (2016)
за авторством: Меликов, А.З., та інші
Опубліковано: (2016)
Методы анализа и оптимизации характеристик новой стратегии доступа в сотовых сетях связи
за авторством: Меликов, А.З., та інші
Опубліковано: (2014)
за авторством: Меликов, А.З., та інші
Опубліковано: (2014)
Применение онтологий и методов текстового анализа при создании интеллектуальных поисковых систем
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2011)
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2011)
Байесова стратегия принятия коллективных решений и ее интервальное обобщение
за авторством: Жуковская, О.А., та інші
Опубліковано: (2019)
за авторством: Жуковская, О.А., та інші
Опубліковано: (2019)
Разработка и исследование методов фильтрации многофазных неопределенных сигналов
за авторством: Потапенко, Е.М., та інші
Опубліковано: (2007)
за авторством: Потапенко, Е.М., та інші
Опубліковано: (2007)
Многоскоростная модель Эрланга с рандомизированной стратегией доступа и ее применение в мультисервисных сетях связи
за авторством: Меликов, А.З., та інші
Опубліковано: (2011)
за авторством: Меликов, А.З., та інші
Опубліковано: (2011)
Распознавание дактилем украинского жестового языка на основе геометрических характеристик отклонений контуров кисти руки
за авторством: Крак, Ю.В., та інші
Опубліковано: (2016)
за авторством: Крак, Ю.В., та інші
Опубліковано: (2016)
Модифицированная архитектура компрессии изображений без потерь на базе FPGA для бортовых устройств с CCD-линейкой
за авторством: Русин, Б.П., та інші
Опубліковано: (2019)
за авторством: Русин, Б.П., та інші
Опубліковано: (2019)
Применение методов комплексирования аналогов и нечёткой логики для прогнозирования некоторых операционных метрик
за авторством: Зайченко, Ю.П., та інші
Опубліковано: (2012)
за авторством: Зайченко, Ю.П., та інші
Опубліковано: (2012)
Использование градиентных масок для быстрого определения центров изображений пятен лазерных пучков с повышенной точностью
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2011)
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2011)
Использование методов псевдоинверсии и регуляризации в адаптивных моделях структурного представления и обработки данных
за авторством: Гаращенко, Ф.Г., та інші
Опубліковано: (2017)
за авторством: Гаращенко, Ф.Г., та інші
Опубліковано: (2017)
Становление и развитие теории оптимального разбиения множеств n-мерного евклидова пространства. Теоретические и практические приложения
за авторством: Киселева, Е.М.
Опубліковано: (2018)
за авторством: Киселева, Е.М.
Опубліковано: (2018)
Методика оценивания параметров и характеристик битовых ошибок
за авторством: Кичак, В.М., та інші
Опубліковано: (2017)
за авторством: Кичак, В.М., та інші
Опубліковано: (2017)
Индексация и поиск медицинских изображений в распределенной вычислительной среде
за авторством: Курочка, К.С., та інші
Опубліковано: (2010)
за авторством: Курочка, К.С., та інші
Опубліковано: (2010)
Схожі ресурси
-
Теория и методы построения системы модулей модифицированной совершенной формы системы остаточных классов
за авторством: Касянчук, М.М., та інші
Опубліковано: (2016) -
Теоретико-игровая модель взаимодействия пользователей в компьютерных сетях
за авторством: Игнатенко, А.П.
Опубліковано: (2017) -
Анализ системы обслуживания с портящимися запасами и разнотипными заявками
за авторством: Меликов, А.З., та інші
Опубліковано: (2017) -
Иерархический информационно-экстремальный алгоритм обучения системы диагностирования с избыточной обучающей матрицей
за авторством: Довбыш, А.С., та інші
Опубліковано: (2015) -
Расчет характеристик многоканальной системы обслуживания с чистыми потерями и обратной связью
за авторством: Меликов, А.З., та інші
Опубліковано: (2015)