Алгебраическая теория взаимодействия и киберфизические системы
Розглянуто нову модель кібер-фізичних систем, яка узагальнює відомі моделі типу гібридних та часових автоматів. Обговорюються питання застосування методів моделювання та верифікації, накопичених в області програмування, до розробки кібер-фізичних систем. A new model of cyber-physical systems is cons...
Gespeichert in:
| Veröffentlicht in: | Проблемы управления и информатики |
|---|---|
| Datum: | 2017 |
| ISSN: | 0572-2691 |
| 1. Verfasser: | Летичевский, А.А. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/208596 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Алгебраическая теория взаимодействия и киберфизические системы / А.А. Летичевский // Проблемы управления и информатики. — 2017. — № 5. — С. 37-55. — Бібліогр.: 34 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Теория и методы построения системы модулей модифицированной совершенной формы системы остаточных классов
von: Касянчук, М.М., et al.
Veröffentlicht: (2016)
von: Касянчук, М.М., et al.
Veröffentlicht: (2016)
Теоретико-игровая модель взаимодействия пользователей в компьютерных сетях
von: Игнатенко, А.П.
Veröffentlicht: (2017)
von: Игнатенко, А.П.
Veröffentlicht: (2017)
Анализ системы обслуживания с портящимися запасами и разнотипными заявками
von: Меликов, А.З., et al.
Veröffentlicht: (2017)
von: Меликов, А.З., et al.
Veröffentlicht: (2017)
Иерархический информационно-экстремальный алгоритм обучения системы диагностирования с избыточной обучающей матрицей
von: Довбыш, А.С., et al.
Veröffentlicht: (2015)
von: Довбыш, А.С., et al.
Veröffentlicht: (2015)
Расчет характеристик многоканальной системы обслуживания с чистыми потерями и обратной связью
von: Меликов, А.З., et al.
Veröffentlicht: (2015)
von: Меликов, А.З., et al.
Veröffentlicht: (2015)
Особенности разработки учебных материалов и системы контроля знаний
von: Шахбазова, Ш.Н.
Veröffentlicht: (2014)
von: Шахбазова, Ш.Н.
Veröffentlicht: (2014)
Анализ системы обслуживания с динамическими приоритетами
von: Меликов, А.З., et al.
Veröffentlicht: (2015)
von: Меликов, А.З., et al.
Veröffentlicht: (2015)
Многоканальные системы с динамическим приоритетом
von: Рыжиков, Ю.И.
Veröffentlicht: (2009)
von: Рыжиков, Ю.И.
Veröffentlicht: (2009)
Моделирование работы узла grid-системы на основе сетей Петри
von: Шелестов, А.Ю.
Veröffentlicht: (2008)
von: Шелестов, А.Ю.
Veröffentlicht: (2008)
Информационная модель многоуровневой системы выполнения конвейеризированных программ
von: Кротов, К.В.
Veröffentlicht: (2014)
von: Кротов, К.В.
Veröffentlicht: (2014)
Эллипсоидальное оценивание состояния и параметров динамической системы при отсутствии априорной информации об оцениваемых величинах
von: Сальников, Н.Н.
Veröffentlicht: (2014)
von: Сальников, Н.Н.
Veröffentlicht: (2014)
Моделирование влияния питания, физической и психической нагрузки на содержание белков системы комплемента. Математическая обработка результатов эксперимента
von: Колянова, Т.В.
Veröffentlicht: (2011)
von: Колянова, Т.В.
Veröffentlicht: (2011)
Оценка стационарных вероятностей состояний системы обслуживания GI/G/∞ методом существенной выборки
von: Кузнецов, Н.Ю., et al.
Veröffentlicht: (2016)
von: Кузнецов, Н.Ю., et al.
Veröffentlicht: (2016)
Моделирование системы обслуживания с возвращениями GI/G/M/0//1/G методом Монте-Карло
von: Дышлюк, О.Н., et al.
Veröffentlicht: (2013)
von: Дышлюк, О.Н., et al.
Veröffentlicht: (2013)
Оценка вероятности немонотонного отказа на периоде занятости системы M/G/m/r методом ускоренного моделирования
von: Кузнецов, И.Н.
Veröffentlicht: (2012)
von: Кузнецов, И.Н.
Veröffentlicht: (2012)
Байесовские процедуры распознавания на сетях
von: Вагис, А.А.
Veröffentlicht: (2010)
von: Вагис, А.А.
Veröffentlicht: (2010)
Симметрия и свойства записи генетической информации в ДНК
von: Гупал, А.М., et al.
Veröffentlicht: (2011)
von: Гупал, А.М., et al.
Veröffentlicht: (2011)
Свойства процедур сепарации в моделях байесовских сетей
von: Вагис, А.А., et al.
Veröffentlicht: (2012)
von: Вагис, А.А., et al.
Veröffentlicht: (2012)
Локализация и распознавание номерных знаков транспортных средств с помощью метода опорных векторов и гистограмм направленных градиентов
von: Тлебалдинова, А.С., et al.
Veröffentlicht: (2015)
von: Тлебалдинова, А.С., et al.
Veröffentlicht: (2015)
Детерминированный эквивалент и алгоритмы решения задачи fuzzy-линейного программирования
von: Зак, Ю.А.
Veröffentlicht: (2011)
von: Зак, Ю.А.
Veröffentlicht: (2011)
О вычислении свертки экспоненциальных распределений
von: Кузнецов, Н.Ю., et al.
Veröffentlicht: (2013)
von: Кузнецов, Н.Ю., et al.
Veröffentlicht: (2013)
М-обучение радиально-базисных сетей с использованием асимметричных функций влияния
von: Руденко, О.Г., et al.
Veröffentlicht: (2012)
von: Руденко, О.Г., et al.
Veröffentlicht: (2012)
Робастное обучение вейвлет-нейросетей
von: Руденко, О.Г., et al.
Veröffentlicht: (2010)
von: Руденко, О.Г., et al.
Veröffentlicht: (2010)
Коэволюционирующие нейронные сети прямого распространения
von: Руденко, О.Г., et al.
Veröffentlicht: (2016)
von: Руденко, О.Г., et al.
Veröffentlicht: (2016)
Реконструкция модели вероятностных зависимостей по статистическим данным. Инструментарий и алгоритм
von: Балабанов, А.С.
Veröffentlicht: (2009)
von: Балабанов, А.С.
Veröffentlicht: (2009)
Модели систем обслуживания-запасания со скоропортящимися запасами и повторными заявками
von: Меликов, А.З., et al.
Veröffentlicht: (2016)
von: Меликов, А.З., et al.
Veröffentlicht: (2016)
Методы анализа и оптимизации характеристик новой стратегии доступа в сотовых сетях связи
von: Меликов, А.З., et al.
Veröffentlicht: (2014)
von: Меликов, А.З., et al.
Veröffentlicht: (2014)
Применение онтологий и методов текстового анализа при создании интеллектуальных поисковых систем
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2011)
von: Глибовец, Н.Н., et al.
Veröffentlicht: (2011)
Байесова стратегия принятия коллективных решений и ее интервальное обобщение
von: Жуковская, О.А., et al.
Veröffentlicht: (2019)
von: Жуковская, О.А., et al.
Veröffentlicht: (2019)
Разработка и исследование методов фильтрации многофазных неопределенных сигналов
von: Потапенко, Е.М., et al.
Veröffentlicht: (2007)
von: Потапенко, Е.М., et al.
Veröffentlicht: (2007)
Многоскоростная модель Эрланга с рандомизированной стратегией доступа и ее применение в мультисервисных сетях связи
von: Меликов, А.З., et al.
Veröffentlicht: (2011)
von: Меликов, А.З., et al.
Veröffentlicht: (2011)
Применение методов комплексирования аналогов и нечёткой логики для прогнозирования некоторых операционных метрик
von: Зайченко, Ю.П., et al.
Veröffentlicht: (2012)
von: Зайченко, Ю.П., et al.
Veröffentlicht: (2012)
Распознавание дактилем украинского жестового языка на основе геометрических характеристик отклонений контуров кисти руки
von: Крак, Ю.В., et al.
Veröffentlicht: (2016)
von: Крак, Ю.В., et al.
Veröffentlicht: (2016)
Модифицированная архитектура компрессии изображений без потерь на базе FPGA для бортовых устройств с CCD-линейкой
von: Русин, Б.П., et al.
Veröffentlicht: (2019)
von: Русин, Б.П., et al.
Veröffentlicht: (2019)
Использование градиентных масок для быстрого определения центров изображений пятен лазерных пучков с повышенной точностью
von: Тимченко, Л.И., et al.
Veröffentlicht: (2011)
von: Тимченко, Л.И., et al.
Veröffentlicht: (2011)
Использование методов псевдоинверсии и регуляризации в адаптивных моделях структурного представления и обработки данных
von: Гаращенко, Ф.Г., et al.
Veröffentlicht: (2017)
von: Гаращенко, Ф.Г., et al.
Veröffentlicht: (2017)
Киберфизические системы: лингвистический аспект
von: Годлевский, А.Б., et al.
Veröffentlicht: (2020)
von: Годлевский, А.Б., et al.
Veröffentlicht: (2020)
Становление и развитие теории оптимального разбиения множеств n-мерного евклидова пространства. Теоретические и практические приложения
von: Киселева, Е.М.
Veröffentlicht: (2018)
von: Киселева, Е.М.
Veröffentlicht: (2018)
Методика оценивания параметров и характеристик битовых ошибок
von: Кичак, В.М., et al.
Veröffentlicht: (2017)
von: Кичак, В.М., et al.
Veröffentlicht: (2017)
Индексация и поиск медицинских изображений в распределенной вычислительной среде
von: Курочка, К.С., et al.
Veröffentlicht: (2010)
von: Курочка, К.С., et al.
Veröffentlicht: (2010)
Ähnliche Einträge
-
Теория и методы построения системы модулей модифицированной совершенной формы системы остаточных классов
von: Касянчук, М.М., et al.
Veröffentlicht: (2016) -
Теоретико-игровая модель взаимодействия пользователей в компьютерных сетях
von: Игнатенко, А.П.
Veröffentlicht: (2017) -
Анализ системы обслуживания с портящимися запасами и разнотипными заявками
von: Меликов, А.З., et al.
Veröffentlicht: (2017) -
Иерархический информационно-экстремальный алгоритм обучения системы диагностирования с избыточной обучающей матрицей
von: Довбыш, А.С., et al.
Veröffentlicht: (2015) -
Расчет характеристик многоканальной системы обслуживания с чистыми потерями и обратной связью
von: Меликов, А.З., et al.
Veröffentlicht: (2015)