Зображення обкладинки

Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов

Рассмотрены два фрагмента, LP и LF, логики первого порядка с ограниченными кванторами, используемые для спецификации трансдьюсеров. Логика LP позволяет характеризовать текущее поведение системы на основе ее поведения в прошлом, а LF — на основе поведения в будущем. Определены два вида семантик для э...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2017
Автор:	Чеботарев, А.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Теми:	Кібернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/144770
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 4. — С. 22–36. — Бібліогр.: 14 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
за авторством: Чеботарев, А.Н.
Опубліковано: (2017)

Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
за авторством: Чеботарев, А.Н.
Опубліковано: (2018)

Согласование спецификаций автоматов, представленных в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2016)

Логики квазиарных предикатов первого порядка
за авторством: Шкильняк, С.С.
Опубліковано: (2010)

Определение фиктивных состояний в Σ-автомате, синтезированном по спецификации в языке LP
за авторством: Чеботарев, А.Н.
Опубліковано: (2019)

Использование согласования логических спецификаций автоматов при решении игровых задач
за авторством: Чеботарев, А.Н.
Опубліковано: (2014)

Усовершенствованный метод синтеза автомата по его спецификации в языке L
за авторством: Тимофеев, В.Г., та інші
Опубліковано: (2011)

О некоторых задачах анализа гибридных автоматов
за авторством: Скобелев, В.В., та інші
Опубліковано: (2018)

Верхние оценки несбалансированности дискретных функций, реализуемых последовательностями конечных автоматов
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2019)

Новые функциональные возможности системы обработки естественноязыковых спецификаций и среда ее функционирования
за авторством: Мищенко, Н.М., та інші
Опубліковано: (2018)

Нечеткие спецификации логического вывода в системе Гомеопат
за авторством: Провотар, А.А., та інші
Опубліковано: (2012)

Согласование взаимодействующих автоматов
за авторством: Чеботарев, А.Н.
Опубліковано: (2015)

Моделирование сложных теплофизических систем с применением нечеткой логики
за авторством: Шевченко, А.И., та інші
Опубліковано: (2014)

Топологически свободные подмножества алгебр
за авторством: Зеленюк, Е.Г.
Опубліковано: (1997)

Исследование структуры множества линейных БПИ-автоматов над кольцом Zpk
за авторством: Скобелев, В.В.
Опубліковано: (2007)

О минимизации автоматов алгоритмом Хопкрофта
за авторством: Чеботарев, А.Н.
Опубліковано: (2016)

Математическое моделирование одного класса сложных систем с применением нечеткой логики
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)

Эффективный алгоритм синтеза многовыходных комбинационных автоматов
за авторством: Голов, А.В., та інші
Опубліковано: (1999)

Моделирование потенциально-вихревого течения со свободной границей с применением нечеткой логики
за авторством: Шевченко, А.И., та інші
Опубліковано: (2013)

Методы построения систем анализа и синтеза коммуникационной информации
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2017)

Структурная классификация методов синтеза микропрограммного автомата с операционным автоматом переходов
за авторством: Бабаков, Р.М., та інші
Опубліковано: (2019)

Быстрый рекурсивный алгоритм умножения матриц порядка n = 3q (q > 1)
за авторством: Елфимова, Л.Д.
Опубліковано: (2021)

Численное исследование систем сингулярных интегральных уравнений первого рода и с неопределяемым индексом в задаче о дифракции плоских волн на неподвижном включении
за авторством: Панченко, Б.Е., та інші
Опубліковано: (2020)

Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
за авторством: Чеботарев, А.Н.
Опубліковано: (2010)

Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
за авторством: Чеботарев, А.Н.
Опубліковано: (2013)

О мероморфных решениях дифференциальных уравнений первого порядка
за авторством: Мохонько, А.З.
Опубліковано: (1986)

Стабилизация управляемых линейных систем импульсами первого порядка
за авторством: Неспирный, В.Н.
Опубліковано: (2010)

Структурное представление процесса синтеза управляющих автоматов с операционным автоматом переходов
за авторством: Баркалов, А.А., та інші
Опубліковано: (2011)

Методы обработки эхосигналов, используемые в медицинских голографических системах визуализации
за авторством: Евдокимов, В.Ф., та інші
Опубліковано: (2011)

Синтез автомата, специфицированного в языке L*, путем перехода к спецификации в языке L
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2011)

Некоторые равенства в табличных алгебрах
за авторством: Редько, В.Н., та інші
Опубліковано: (2014)

Об аналоге формулы Коши для линейных систем произвольного дробного порядка
за авторством: Чикрий, А.А., та інші
Опубліковано: (2007)

Показатели и оценки стойкости блочных шифров относительно статистических атак первого порядка
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2006)

Нелокальная задача типа Стефана для гиперболической системы первого порядка
за авторством: Кирилич, В.М.
Опубліковано: (1988)

Some subsets of monadic first order logic (MFO) used for specification and synthesis of У-automata
за авторством: A. N. Chebotarev
Опубліковано: (2017)

Задача без начальных условий для вырождающейся гиперболической системы первого порядка
за авторством: Лавренюк, С.П., та інші
Опубліковано: (2004)

О приведении нетеровой краевой задачи к критическому случаю первого порядка
за авторством: Чуйко, С.М., та інші
Опубліковано: (2014)

Новые материалы и методы, используемые для предотвращения гололедообразования на воздушных ЛЭП (обзор)
за авторством: Кравченко, О.П., та інші
Опубліковано: (2013)

К вопросу о построении периодических решений квазилинейных дифференциальных уравнений первого порядка
за авторством: Елисеенко, М.Н., та інші
Опубліковано: (1983)

Построение асимптотических решений для дифференциальных уравнений первого порядка со случайным запаздыванием
за авторством: Новаковская, Л.И.
Опубліковано: (1989)