Анализ структуры атрибутных транзиционных систем без скрытых переходов
Проведен теоретико-множественный анализ структуры атрибутных транзиционных систем без скрытых переходов. Предложены частичные операции композиции историй и трасс. Показана возможность их применения для распараллеливания построения покрытий множеств историй и трасс. Определены отношения эквивалентнос...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2017 |
| Main Author: | Скобелев, В.В. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2017
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/144707 |
| 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. — Т. 53, № 2. — С. 3–15. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
by: Колчин, А.В., et al.
Published: (2015)
by: Колчин, А.В., et al.
Published: (2015)
Исследование структуры множества линейных БПИ-автоматов над кольцом Zpk
by: Скобелев, В.В.
Published: (2007)
by: Скобелев, В.В.
Published: (2007)
Определение области эффективного применения микропрограммного автомата с операционным автоматом переходов
by: Бабаков, Р.М., et al.
Published: (2018)
by: Бабаков, Р.М., et al.
Published: (2018)
Структурная классификация методов синтеза микропрограммного автомата с операционным автоматом переходов
by: Бабаков, Р.М., et al.
Published: (2019)
by: Бабаков, Р.М., et al.
Published: (2019)
Автоматы на абстрактных конечных квазигруппах
by: Скобелев, В.В., et al.
Published: (2017)
by: Скобелев, В.В., et al.
Published: (2017)
Автоматы на конечных Т-квазигруппах
by: Скобелев, В.В., et al.
Published: (2018)
by: Скобелев, В.В., et al.
Published: (2018)
О некоторых задачах анализа гибридных автоматов
by: Скобелев, В.В., et al.
Published: (2018)
by: Скобелев, В.В., et al.
Published: (2018)
Предикатные преобразователи в контексте символьного моделирования транзиционных систем
by: Годлевский, А.Б.
Published: (2010)
by: Годлевский, А.Б.
Published: (2010)
Атрибутные транзиционные системы со скрытыми переходами
by: Скобелев, В.В.
Published: (2017)
by: Скобелев, В.В.
Published: (2017)
Формирование новой концепции и парадигмы построения систем кибербезопасности
by: Хиленко, В.В.
Published: (2019)
by: Хиленко, В.В.
Published: (2019)
Проектирование грид-структур на основе транзиционных систем с обоснованием правильности их функционирования
by: Крывый, С.Л., et al.
Published: (2017)
by: Крывый, С.Л., et al.
Published: (2017)
Применение блокчейн-технологий для повышения качества АСУ сложных динамических систем
by: Хиленко, В.В.
Published: (2020)
by: Хиленко, В.В.
Published: (2020)
Оптимальное управление переносом лекарств из систем микроигл
by: Ляшко, С.И., et al.
Published: (2018)
by: Ляшко, С.И., et al.
Published: (2018)
Анализ структуры класса линейных автоматов над кольцом Zpk
by: Скобелев, В.В.
Published: (2008)
by: Скобелев, В.В.
Published: (2008)
Решение проблемы динамической адаптивности систем искусственного интеллекта, осуществляющих управление динамическими техническими объектами
by: Хиленко, В.В., et al.
Published: (2018)
by: Хиленко, В.В., et al.
Published: (2018)
Проблемы построения интеллектуальных систем. Представление знаний
by: Мейтус, В.Ю.
Published: (2019)
by: Мейтус, В.Ю.
Published: (2019)
Проблемы построения интеллектуальных систем. Уровни интеллекта
by: Мейтус, В.Ю.
Published: (2018)
by: Мейтус, В.Ю.
Published: (2018)
Эволюционный метод построения систем искусственного интеллекта
by: Анисимов, А.В., et al.
Published: (2019)
by: Анисимов, А.В., et al.
Published: (2019)
Качественный анализ систем регулирования нейтрального типа в условиях неопределенности с позиций функций Ляпунова
by: Шатырко, А.В.
Published: (2012)
by: Шатырко, А.В.
Published: (2012)
Предельные возможности метода псевдообращения для управления линейными много связными объектами без памяти: гарантированные результаты
by: Гриценко, В.И., et al.
Published: (2019)
by: Гриценко, В.И., et al.
Published: (2019)
Методы построения систем анализа и синтеза коммуникационной информации
by: Кривонос, Ю.Г., et al.
Published: (2017)
by: Кривонос, Ю.Г., et al.
Published: (2017)
Кибер-физические системы
by: Летичевский, А.А., et al.
Published: (2017)
by: Летичевский, А.А., et al.
Published: (2017)
Оценки сложности экспериментов с блоками управляемых перестановок
by: Скобелев, В.Г.
Published: (2011)
by: Скобелев, В.Г.
Published: (2011)
Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах
by: Летичевський, О.О., et al.
Published: (2020)
by: Летичевський, О.О., et al.
Published: (2020)
Эффективный метод исследования устойчивости существенно нелинейных динамических систем
by: Смольяков, Э.Р.
Published: (2019)
by: Смольяков, Э.Р.
Published: (2019)
Анализ моделей безопасности компьютерных систем
by: Скобелев, В.В.
Published: (2010)
by: Скобелев, В.В.
Published: (2010)
Моделирование скрытых фрагментов полярографической хронопотенциограммы инверсии двух тяжелых металлов
by: Татаринов, А.Э.
Published: (2014)
by: Татаринов, А.Э.
Published: (2014)
Модель контроля скрытых отказов двухкомпонентной системы с отключением компонентов
by: Обжерин, Ю.Е., et al.
Published: (2013)
by: Обжерин, Ю.Е., et al.
Published: (2013)
Блочная модификация сэмплирования по Гиббсу для распознавания скрытых марковских полей
by: Водолазский, Е.В., et al.
Published: (2018)
by: Водолазский, Е.В., et al.
Published: (2018)
Диагностика скрытых дефектов короткозамкнутой обмотки ротора асинхронного двигателя индукционным методом
by: Васьковский, Ю.Н., et al.
Published: (2013)
by: Васьковский, Ю.Н., et al.
Published: (2013)
Численное исследование систем сингулярных интегральных уравнений первого рода и с неопределяемым индексом в задаче о дифракции плоских волн на неподвижном включении
by: Панченко, Б.Е., et al.
Published: (2020)
by: Панченко, Б.Е., et al.
Published: (2020)
Алгоритми векторної оптимізації лінійних систем з узагальненим керуванням
by: Ляшко, С.І., et al.
Published: (2010)
by: Ляшко, С.І., et al.
Published: (2010)
Численный анализ одной нелинейной математической модели
by: Шевченко, А.И., et al.
Published: (2012)
by: Шевченко, А.И., et al.
Published: (2012)
ДИАГНОСТИКА СКРЫТЫХ ДЕФЕКТОВ КОРОТКОЗАМКНУТОЙ ОБМОТКИ РОТОРА АСИНХРОННОГО ДВИГАТЕЛЯ ИНДУКЦИОННЫМ МЕТОДОМ
by: Васьковский, Ю.Н., et al.
Published: (2013)
by: Васьковский, Ю.Н., et al.
Published: (2013)
Моделирование управляющих воздействий банковской системы на функционирование экономики. ІІ. Выбор и особенности применения оптимизационных алгоритмов
by: Хиленко, В.В.
Published: (2020)
by: Хиленко, В.В.
Published: (2020)
Моделирование управляющих воздействий банковской системы на функционирование экономики. I. Динамика и корректировка кризисных ситуаций
by: Хиленко, В.В.
Published: (2020)
by: Хиленко, В.В.
Published: (2020)
Математическое моделирование эффекта «выплескивания» и оптимизация управления банковской и экономической системами в условиях глобализации
by: Хиленко, В.В.
Published: (2018)
by: Хиленко, В.В.
Published: (2018)
Концептуальні основи гарантоздатних систем штучного інтелекту
by: Харченко, В.С.
Published: (2025)
by: Харченко, В.С.
Published: (2025)
О степенной модели прогнозирования надежности стареющих систем
by: Ярошенко, В.Н.
Published: (2011)
by: Ярошенко, В.Н.
Published: (2011)
Роль магнитостатического давления в механизме фазовых переходов сотовой доменной структуры пленок феррита-граната
by: Сирюк, Ю.А., et al.
Published: (2013)
by: Сирюк, Ю.А., et al.
Published: (2013)
Similar Items
-
Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
by: Колчин, А.В., et al.
Published: (2015) -
Исследование структуры множества линейных БПИ-автоматов над кольцом Zpk
by: Скобелев, В.В.
Published: (2007) -
Определение области эффективного применения микропрограммного автомата с операционным автоматом переходов
by: Бабаков, Р.М., et al.
Published: (2018) -
Структурная классификация методов синтеза микропрограммного автомата с операционным автоматом переходов
by: Бабаков, Р.М., et al.
Published: (2019) -
Автоматы на абстрактных конечных квазигруппах
by: Скобелев, В.В., et al.
Published: (2017)