Buchumschlag

Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка

Для двух фрагментов, LP и LF, логики первого порядка с ограниченными кванторами сформулированы и доказаны соответствующие варианты теоремы о спецификации, позволяющие свести процедуру синтеза ∑-автоматов, специфицированных формулами этих логик, к эквивалентному преобразованию формул. Для двох фрагме...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2017
1. Verfasser:	Чеботарев, А.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2017
Schlagworte:	Кібернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/144787
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:	Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка / А.Н. Чеботарев // Кибернетика и системный анализ. — 2017. — Т. 53, № 5. — С. 22–33. — Бібліогр.: 13 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2017)

Логики квазиарных предикатов первого порядка
von: Шкильняк, С.С.
Veröffentlicht: (2010)

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

О некоторых задачах анализа гибридных автоматов
von: Скобелев, В.В., et al.
Veröffentlicht: (2018)

Верхние оценки несбалансированности дискретных функций, реализуемых последовательностями конечных автоматов
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2019)

Согласование взаимодействующих автоматов
von: Чеботарев, А.Н.
Veröffentlicht: (2015)

Моделирование сложных теплофизических систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2014)

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

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

Математическое моделирование одного класса сложных систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

Методы построения систем анализа и синтеза коммуникационной информации
von: Кривонос, Ю.Г., et al.
Veröffentlicht: (2017)

Эффективный алгоритм синтеза многовыходных комбинационных автоматов
von: Голов, А.В., et al.
Veröffentlicht: (1999)

Функциональная эффективность нечетко специфицированных алгоритмов
von: Шинкаренко, В.И.
Veröffentlicht: (2006)

Моделирование потенциально-вихревого течения со свободной границей с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
von: A. N. Chebotarev
Veröffentlicht: (2018)

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

Структурная классификация методов синтеза микропрограммного автомата с операционным автоматом переходов
von: Бабаков, Р.М., et al.
Veröffentlicht: (2019)

Problems of synthesis of &amp;Sigma;-automata specified in languages LP and LF of first order logic
von: A. N. Chebotarev
Veröffentlicht: (2017)

Численное исследование систем сингулярных интегральных уравнений первого рода и с неопределяемым индексом в задаче о дифракции плоских волн на неподвижном включении
von: Панченко, Б.Е., et al.
Veröffentlicht: (2020)

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

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

Проблемы построения интеллектуальных систем. Представление знаний
von: Мейтус, В.Ю.
Veröffentlicht: (2019)

Проблемы построения интеллектуальных систем. Уровни интеллекта
von: Мейтус, В.Ю.
Veröffentlicht: (2018)

О мероморфных решениях дифференциальных уравнений первого порядка
von: Мохонько, А.З.
Veröffentlicht: (1986)

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

Структурное представление процесса синтеза управляющих автоматов с операционным автоматом переходов
von: Баркалов, А.А., et al.
Veröffentlicht: (2011)

Показатели и оценки стойкости блочных шифров относительно статистических атак первого порядка
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2006)

Решение проблемы динамической адаптивности систем искусственного интеллекта, осуществляющих управление динамическими техническими объектами
von: Хиленко, В.В., et al.
Veröffentlicht: (2018)

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

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

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

О приведении нетеровой краевой задачи к критическому случаю первого порядка
von: Чуйко, С.М., et al.
Veröffentlicht: (2014)

Асимптотическое поведение решений и их производных комплексного дифференциального уравнения первого порядка
von: Просенюк, Л.Г., et al.
Veröffentlicht: (1983)

Estimation of desulphurization process of metal in LF by bivariant mechanism
von: S. V. Zhuravljova, et al.
Veröffentlicht: (2015)

К вопросу о построении периодических решений квазилинейных дифференциальных уравнений первого порядка
von: Елисеенко, М.Н., et al.
Veröffentlicht: (1983)

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

Колеблемость решений одного класса функционально-дифференциальных уравнений первого порядка нейтрального типа
von: Иванов, А.Ф., et al.
Veröffentlicht: (1989)

Пропозициональные логики доверия
von: Бурдюк, В.Я.
Veröffentlicht: (2011)

Достижимая верхняя граница sup-нормы произведения элементов кольца усеченных многочленов и ее применение к анализу NTRU-подобных криптосистем
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2021)