Согласование взаимодействующих автоматов
Проблема согласования автоматов состоит в том, чтобы спроектировать систему, поведение которой при ее взаимодействии со средой будет удовлетворять заданным требованиям независимо от возможного поведения среды. Приведен ряд теоретических результатов, используемых при решении проблемы согласования, и...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2015 |
| Main Author: | Чеботарев, А.Н. |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2015
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/124902 |
| 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: | Согласование взаимодействующих автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 13-25. — Бібліогр.: 14 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Согласование спецификаций автоматов, представленных в языке L
by: Чеботарев, А.Н.
Published: (2016)
by: Чеботарев, А.Н.
Published: (2016)
Использование согласования логических спецификаций автоматов при решении игровых задач
by: Чеботарев, А.Н.
Published: (2014)
by: Чеботарев, А.Н.
Published: (2014)
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008)
by: Григорян, А.А., et al.
Published: (2008)
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
by: Борисенко, В.И.
Published: (2015)
by: Борисенко, В.И.
Published: (2015)
Проверка эквивалентности программ с помощью двухленточных автоматов
by: Захаров, В.А.
Published: (2010)
by: Захаров, В.А.
Published: (2010)
О сложности анализа автоматов над конечным кольцом
by: Скобелев, В.В., et al.
Published: (2010)
by: Скобелев, В.В., et al.
Published: (2010)
О некоторых множествах автоматов над конечным кольцом
by: Скобелев, В.Г.
Published: (2011)
by: Скобелев, В.Г.
Published: (2011)
Помехоустойчивые коды переменной длины на основе конечных автоматов
by: Завадский, И.А.
Published: (2015)
by: Завадский, И.А.
Published: (2015)
Анализ структуры класса линейных автоматов над кольцом Zpk
by: Скобелев, В.В.
Published: (2008)
by: Скобелев, В.В.
Published: (2008)
О двух типах нелинейных автоматов над конечным кольцом
by: Скобелев, В.В.
Published: (2009)
by: Скобелев, В.В.
Published: (2009)
Метод декодирования помехоустойчивого кода переменной длины на основе конечных автоматов
by: Завадский, И.А.
Published: (2015)
by: Завадский, И.А.
Published: (2015)
Анализ фиктивности состояний автомата, синтезированного по спецификации, преобразованной из языка L* в язык L
by: Чеботарев, А.Н.
Published: (2013)
by: Чеботарев, А.Н.
Published: (2013)
Композиционный подход к проектированию реактивных алгоритмов
by: Чеботарев, А.Н.
Published: (2013)
by: Чеботарев, А.Н.
Published: (2013)
Преобразование спецификации автомата в языке в автоматно эквивалентную спецификацию в языке L
by: Чеботарев, А.Н.
Published: (2010)
by: Чеботарев, А.Н.
Published: (2010)
Проектирование реактивных алгоритмов путем решения уравнений над автоматами
by: Чеботарев, А.Н.
Published: (2012)
by: Чеботарев, А.Н.
Published: (2012)
О классе формул языка L*, специфицирующих автоматы с конечной памятью
by: Чеботарев, А.Н.
Published: (2010)
by: Чеботарев, А.Н.
Published: (2010)
О минимизации автоматов алгоритмом Хопкрофта
by: Чеботарев, А.Н.
Published: (2016)
by: Чеботарев, А.Н.
Published: (2016)
Усовершенствованный метод синтеза автомата по его спецификации в языке L
by: Тимофеев, В.Г., et al.
Published: (2011)
by: Тимофеев, В.Г., et al.
Published: (2011)
Синтез ∑-автоматов, специфицированных в логических языках LP и LF первого порядка
by: Чеботарев, А.Н.
Published: (2018)
by: Чеботарев, А.Н.
Published: (2018)
Проблемы синтеза ∑-автоматов, специфицированных в языках LP и LF логики первого порядка
by: Чеботарев, А.Н.
Published: (2017)
by: Чеботарев, А.Н.
Published: (2017)
Некоторые подмножества монадической логики первого порядка (MFO), используемые для спецификации и синтеза ∑-автоматов
by: Чеботарев, А.Н.
Published: (2017)
by: Чеботарев, А.Н.
Published: (2017)
Улучшенная верхняя граница для относительного расстояния между булевой функцией и множеством k-мерных функций
by: Алексейчук, А.Н.
Published: (2015)
by: Алексейчук, А.Н.
Published: (2015)
Об эффективности метода вероятностно нейтральных битов в статистическом криптоанализе синхронных поточных шифров
by: Алексейчук, А.Н., et al.
Published: (2016)
by: Алексейчук, А.Н., et al.
Published: (2016)
Алгебраически вырожденные приближения булевых функций
by: Алексейчук, А.Н., et al.
Published: (2014)
by: Алексейчук, А.Н., et al.
Published: (2014)
Верхние оценки несбалансированности билинейных аппроксимаций раундовых функций блочных шифров
by: Алексейчук, А.Н., et al.
Published: (2010)
by: Алексейчук, А.Н., et al.
Published: (2010)
Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
by: Глибовец, А.Н., et al.
Published: (2014)
by: Глибовец, А.Н., et al.
Published: (2014)
Верификация программ: состояние, проблемы, результаты. II
by: Крывый, С.Л., et al.
Published: (2014)
by: Крывый, С.Л., et al.
Published: (2014)
Верификация программ: состояние, проблемы, результаты. I
by: Крывый, С.Л., et al.
Published: (2013)
by: Крывый, С.Л., et al.
Published: (2013)
О криптографических свойствах нового национального стандарта шифрования Украины
by: Алексейчук, А.Н., et al.
Published: (2016)
by: Алексейчук, А.Н., et al.
Published: (2016)
Пассивное согласование в измерительных цепях термоэлектрических датчиков
by: Луценко, В.Ю., et al.
Published: (2012)
by: Луценко, В.Ю., et al.
Published: (2012)
ПАССИВНОЕ СОГЛАСОВАНИЕ В ИЗМЕРИТЕЛЬНЫХ ЦЕПЯХ ТЕРМОЭЛЕКТРИЧЕСКИХ ДАТЧИКОВ
by: Луценко, В.Ю., et al.
Published: (2012)
by: Луценко, В.Ю., et al.
Published: (2012)
Согласование конфигураций сложных организационно-технических систем развития отраслей аграрного сектора
by: Трыгуба, А.Н., et al.
Published: (2020)
by: Трыгуба, А.Н., et al.
Published: (2020)
Согласование высоковольтного источника питания с электронно-лучевой установкой
by: Шидловская, Н.А., et al.
Published: (2010)
by: Шидловская, Н.А., et al.
Published: (2010)
Самосогласованное описание системы взаимодействующих фононов
by: Полуэктов, Ю.М.
Published: (2015)
by: Полуэктов, Ю.М.
Published: (2015)
Многомерный статистический анализ влияния глобальных угроз на безопасность стран мира
by: Померанцева, Т.Н., et al.
Published: (2010)
by: Померанцева, Т.Н., et al.
Published: (2010)
Системное согласование данных разной природы в мультидисциплинарных исследованиях
by: Згуровский, М.З., et al.
Published: (2011)
by: Згуровский, М.З., et al.
Published: (2011)
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри
by: Визовитин, Н.В., et al.
Published: (2015)
by: Визовитин, Н.В., et al.
Published: (2015)
О сложности вычисления параметров устойчивости в задачах булева программирования
by: Михайлюк, В.А., et al.
Published: (2015)
by: Михайлюк, В.А., et al.
Published: (2015)
Построение гамильтонова пути в графах перестановочных многогранников
by: Донец, Г.А., et al.
Published: (2010)
by: Донец, Г.А., et al.
Published: (2010)
Вычислительные алгоритмы для линейных балансовых моделей межотраслевого эколого-экономического взаимодействия
by: Недашковский, Н.А., et al.
Published: (2010)
by: Недашковский, Н.А., et al.
Published: (2010)
Similar Items
-
Согласование спецификаций автоматов, представленных в языке L
by: Чеботарев, А.Н.
Published: (2016) -
Использование согласования логических спецификаций автоматов при решении игровых задач
by: Чеботарев, А.Н.
Published: (2014) -
Эквивалентность двумерных многоленточных автоматов
by: Григорян, А.А., et al.
Published: (2008) -
Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
by: Борисенко, В.И.
Published: (2015) -
Проверка эквивалентности программ с помощью двухленточных автоматов
by: Захаров, В.А.
Published: (2010)