Алгебраическая теория взаимодействия и киберфизические системы
Розглянуто нову модель кібер-фізичних систем, яка узагальнює відомі моделі типу гібридних та часових автоматів. Обговорюються питання застосування методів моделювання та верифікації, накопичених в області програмування, до розробки кібер-фізичних систем. A new model of cyber-physical systems is cons...
Saved in:
| Published in: | Проблемы управления и информатики |
|---|---|
| Date: | 2017 |
| Main Author: | Летичевский, А.А. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/208596 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгебраическая теория взаимодействия и киберфизические системы / А.А. Летичевский // Проблемы управления и информатики. — 2017. — № 5. — С. 37-55. — Бібліогр.: 34 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Теория и методы построения системы модулей модифицированной совершенной формы системы остаточных классов
by: Касянчук, М.М., et al.
Published: (2016)
by: Касянчук, М.М., et al.
Published: (2016)
Теоретико-игровая модель взаимодействия пользователей в компьютерных сетях
by: Игнатенко, А.П.
Published: (2017)
by: Игнатенко, А.П.
Published: (2017)
Анализ системы обслуживания с портящимися запасами и разнотипными заявками
by: Меликов, А.З., et al.
Published: (2017)
by: Меликов, А.З., et al.
Published: (2017)
Иерархический информационно-экстремальный алгоритм обучения системы диагностирования с избыточной обучающей матрицей
by: Довбыш, А.С., et al.
Published: (2015)
by: Довбыш, А.С., et al.
Published: (2015)
Особенности разработки учебных материалов и системы контроля знаний
by: Шахбазова, Ш.Н.
Published: (2014)
by: Шахбазова, Ш.Н.
Published: (2014)
Анализ системы обслуживания с динамическими приоритетами
by: Меликов, А.З., et al.
Published: (2015)
by: Меликов, А.З., et al.
Published: (2015)
Многоканальные системы с динамическим приоритетом
by: Рыжиков, Ю.И.
Published: (2009)
by: Рыжиков, Ю.И.
Published: (2009)
Моделирование работы узла grid-системы на основе сетей Петри
by: Шелестов, А.Ю.
Published: (2008)
by: Шелестов, А.Ю.
Published: (2008)
Информационная модель многоуровневой системы выполнения конвейеризированных программ
by: Кротов, К.В.
Published: (2014)
by: Кротов, К.В.
Published: (2014)
Эллипсоидальное оценивание состояния и параметров динамической системы при отсутствии априорной информации об оцениваемых величинах
by: Сальников, Н.Н.
Published: (2014)
by: Сальников, Н.Н.
Published: (2014)
Моделирование влияния питания, физической и психической нагрузки на содержание белков системы комплемента. Математическая обработка результатов эксперимента
by: Колянова, Т.В.
Published: (2011)
by: Колянова, Т.В.
Published: (2011)
Оценка стационарных вероятностей состояний системы обслуживания GI/G/∞ методом существенной выборки
by: Кузнецов, Н.Ю., et al.
Published: (2016)
by: Кузнецов, Н.Ю., et al.
Published: (2016)
Оценка вероятности немонотонного отказа на периоде занятости системы M/G/m/r методом ускоренного моделирования
by: Кузнецов, И.Н.
Published: (2012)
by: Кузнецов, И.Н.
Published: (2012)
Киберфизические системы: лингвистический аспект
by: Годлевский, А.Б., et al.
Published: (2020)
by: Годлевский, А.Б., et al.
Published: (2020)
Байесовские процедуры распознавания на сетях
by: Вагис, А.А.
Published: (2010)
by: Вагис, А.А.
Published: (2010)
Симметрия и свойства записи генетической информации в ДНК
by: Гупал, А.М., et al.
Published: (2011)
by: Гупал, А.М., et al.
Published: (2011)
Свойства процедур сепарации в моделях байесовских сетей
by: Вагис, А.А., et al.
Published: (2012)
by: Вагис, А.А., et al.
Published: (2012)
Детерминированный эквивалент и алгоритмы решения задачи fuzzy-линейного программирования
by: Зак, Ю.А.
Published: (2011)
by: Зак, Ю.А.
Published: (2011)
Коэволюционирующие нейронные сети прямого распространения
by: Руденко, О.Г., et al.
Published: (2016)
by: Руденко, О.Г., et al.
Published: (2016)
Робастное обучение вейвлет-нейросетей
by: Руденко, О.Г., et al.
Published: (2010)
by: Руденко, О.Г., et al.
Published: (2010)
О вычислении свертки экспоненциальных распределений
by: Кузнецов, Н.Ю., et al.
Published: (2013)
by: Кузнецов, Н.Ю., et al.
Published: (2013)
М-обучение радиально-базисных сетей с использованием асимметричных функций влияния
by: Руденко, О.Г., et al.
Published: (2012)
by: Руденко, О.Г., et al.
Published: (2012)
Модели систем обслуживания-запасания со скоропортящимися запасами и повторными заявками
by: Меликов, А.З., et al.
Published: (2016)
by: Меликов, А.З., et al.
Published: (2016)
Методы анализа и оптимизации характеристик новой стратегии доступа в сотовых сетях связи
by: Меликов, А.З., et al.
Published: (2014)
by: Меликов, А.З., et al.
Published: (2014)
Применение онтологий и методов текстового анализа при создании интеллектуальных поисковых систем
by: Глибовец, Н.Н., et al.
Published: (2011)
by: Глибовец, Н.Н., et al.
Published: (2011)
Байесова стратегия принятия коллективных решений и ее интервальное обобщение
by: Жуковская, О.А., et al.
Published: (2019)
by: Жуковская, О.А., et al.
Published: (2019)
Разработка и исследование методов фильтрации многофазных неопределенных сигналов
by: Потапенко, Е.М., et al.
Published: (2007)
by: Потапенко, Е.М., et al.
Published: (2007)
Применение методов комплексирования аналогов и нечёткой логики для прогнозирования некоторых операционных метрик
by: Зайченко, Ю.П., et al.
Published: (2012)
by: Зайченко, Ю.П., et al.
Published: (2012)
Распознавание дактилем украинского жестового языка на основе геометрических характеристик отклонений контуров кисти руки
by: Крак, Ю.В., et al.
Published: (2016)
by: Крак, Ю.В., et al.
Published: (2016)
Модифицированная архитектура компрессии изображений без потерь на базе FPGA для бортовых устройств с CCD-линейкой
by: Русин, Б.П., et al.
Published: (2019)
by: Русин, Б.П., et al.
Published: (2019)
Использование градиентных масок для быстрого определения центров изображений пятен лазерных пучков с повышенной точностью
by: Тимченко, Л.И., et al.
Published: (2011)
by: Тимченко, Л.И., et al.
Published: (2011)
Использование методов псевдоинверсии и регуляризации в адаптивных моделях структурного представления и обработки данных
by: Гаращенко, Ф.Г., et al.
Published: (2017)
by: Гаращенко, Ф.Г., et al.
Published: (2017)
Становление и развитие теории оптимального разбиения множеств n-мерного евклидова пространства. Теоретические и практические приложения
by: Киселева, Е.М.
Published: (2018)
by: Киселева, Е.М.
Published: (2018)
Методика оценивания параметров и характеристик битовых ошибок
by: Кичак, В.М., et al.
Published: (2017)
by: Кичак, В.М., et al.
Published: (2017)
Сжатие изображений на основе автоматической и нечеткой классификации фрагментов
by: Иванов, В.Г., et al.
Published: (2009)
by: Иванов, В.Г., et al.
Published: (2009)
Индексация и поиск медицинских изображений в распределенной вычислительной среде
by: Курочка, К.С., et al.
Published: (2010)
by: Курочка, К.С., et al.
Published: (2010)
О природе неопределенности и переменных критериях в задачах разбиения
by: Тимофеева, Н.К.
Published: (2009)
by: Тимофеева, Н.К.
Published: (2009)
Использование непрефиксного вырожденного кода при чтении и записи информации
by: Дядьков, К.В.
Published: (2013)
by: Дядьков, К.В.
Published: (2013)
Сжатие изображения текста на основе выделения символов и их классификации
by: Иванов, В.Г., et al.
Published: (2010)
by: Иванов, В.Г., et al.
Published: (2010)
О решении и свойствах простейшей динамической задачи оптимального разбиения множеств
by: Киселева, Е.М., et al.
Published: (2013)
by: Киселева, Е.М., et al.
Published: (2013)
Similar Items
-
Теория и методы построения системы модулей модифицированной совершенной формы системы остаточных классов
by: Касянчук, М.М., et al.
Published: (2016) -
Теоретико-игровая модель взаимодействия пользователей в компьютерных сетях
by: Игнатенко, А.П.
Published: (2017) -
Анализ системы обслуживания с портящимися запасами и разнотипными заявками
by: Меликов, А.З., et al.
Published: (2017) -
Иерархический информационно-экстремальный алгоритм обучения системы диагностирования с избыточной обучающей матрицей
by: Довбыш, А.С., et al.
Published: (2015) -
Особенности разработки учебных материалов и системы контроля знаний
by: Шахбазова, Ш.Н.
Published: (2014)