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

Синтез автомата, специфицированного множеством дизъюнктов

Предложен подход к синтезу автомата, специфицированного логической формулой в конъюнктивной нормальной форме (к.н.ф.). Хотя при этом используется метод синтеза автомата по формуле, представленной в дизъюнктивной нормальной форме (д.н.ф.), при синтезе не требуется преобразование к.н.ф. в д.н.ф. Благо...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2003
Автор:	Чеботарев, А.Н.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут програмних систем НАН України 2003
Теми:	Формальные методы в программировании
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/1294
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Синтез автомата, специфицированного множеством дизъюнктов / А.Н. Чеботарев // Проблеми програмування. — 2003. — N 2. — С. 58—64. — Бібліогр.: 6 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

Реализация алгоритма преобразования неординарной сети Петри в ординарную
за авторством: Усатюк, О.В., та інші
Опубліковано: (2004)

Автоматическая система анализа и верификации телекоммуникационной системы, описанной на языке MSC, с помощью формализма сетей Петри
за авторством: Матвеева, Л.Е.
Опубліковано: (2004)

Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
за авторством: Bača, J., та інші
Опубліковано: (2004)

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

Допустимые преобразования автомата, взаимодействующего со средой
за авторством: Чеботарев, А.Н., та інші
Опубліковано: (2010)

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

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

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
за авторством: Крывый, С.Л., та інші
Опубліковано: (2008)

Синтез чотирирівневої схеми суміщеного автомата
за авторством: Баркалов, О.О., та інші
Опубліковано: (2019)

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

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

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

Обобщение критерия Гермейера в задаче принятия решений в условиях неопределенности с нечётким множеством состояний природы
за авторством: Мащенко, С.О.
Опубліковано: (2012)

Синтез совмещенного микропрограммного автомата в базисе FPGA
за авторством: Баркалов, А.А., та інші
Опубліковано: (2015)

Синтез суміщеного автомата зі зменшенням площі нано-ПЛМ
за авторством: Баркалов, О.О., та інші
Опубліковано: (2020)

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

Анализ free-running автомата над конечным кольцом
за авторством: Скобелев, В.В.
Опубліковано: (2010)

Задача математического программирования с нечетким множеством индексов ограничений
за авторством: Мащенко, С.О.
Опубліковано: (2013)

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

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

Стабилизация нелинейной системы с ограничивающим множеством в виде треугольника
за авторством: Грушковская, В.В., та інші
Опубліковано: (2009)

Уменьшение числа LUT-элементов в схеме автомата Мура
за авторством: Баркалов, А.А., та інші
Опубліковано: (2013)

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

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

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

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

Анализ автомата Спротта над конечным кольцом
за авторством: Скобелев, В.Г.
Опубліковано: (2010)

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

Оптимизация логической схемы автомата Мура на CPLD
за авторством: Баркалов, А.А., та інші
Опубліковано: (2007)

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

Реализация схемы совмещенного автомата в базисе FPGA
за авторством: Баркалов, А.А., та інші
Опубліковано: (2016)

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

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

Аналіз free-running автомата над кінцевим кільцем
за авторством: Skobelev, V. V.
Опубліковано: (2010)

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

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

Уменьшение числа LUT-элементов в схеме совмещенного автомата
за авторством: Баркалов, А.А., та інші
Опубліковано: (2016)

Максимизирующие альтернативы в задаче принятия решений с целевым нечетким множеством типа-2
за авторством: Мащенко, С.О.
Опубліковано: (2019)

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