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

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

Приведены методы синтеза ∑-автоматов по спецификации в языке LP с детерминированной семантикой и в языке LF с недетерминированной семантикой. В основе этих методов лежит эквивалентное преобразование формулы вида ∀tF(t) в так называемую нормальную форму, структура которой соответствует графу переходо...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Synthesis of &amp;Sigma;-automata specified in the first-order logical languages LP and LF
за авторством: A. N. Chebotarev
Опубліковано: (2018)

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

Problems of synthesis of &amp;Sigma;-automata specified in languages LP and LF of first order logic
за авторством: A. N. Chebotarev
Опубліковано: (2017)

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

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

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

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

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

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

Синтез логических многополюсников с заданной динамикой выходных процессов
за авторством: Левин, В.И.
Опубліковано: (2012)

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

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

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

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

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

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

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

Estimation of desulphurization process of metal in LF by bivariant mechanism
за авторством: S. V. Zhuravljova, та інші
Опубліковано: (2015)

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

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

Excitation of lf ion oscillations in the systems with relativistic electron beam
за авторством: Balakirev, V.A., та інші
Опубліковано: (2005)

Обратная нестационарная задача рассеяния для гиперболической системы n уравнений первого порядка на полуоси
за авторством: Искендеров, Н.Ш.
Опубліковано: (1991)

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

Гидродинамическая теория экспериментального определения скорости эфирного ветра на основе эффекта первого порядка
за авторством: Хорошун, Л.П.
Опубліковано: (2013)

Поведение на бесконечности решений дифференциально-операторного уравнения первого порядка в банаховом пространстве
за авторством: Горбачук, В.М.
Опубліковано: (1988)

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

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