Buchumschlag

Согласование взаимодействующих автоматов

Проблема согласования автоматов состоит в том, чтобы спроектировать систему, поведение которой при ее взаимодействии со средой будет удовлетворять заданным требованиям независимо от возможного поведения среды. Приведен ряд теоретических результатов, используемых при решении проблемы согласования, и...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Кибернетика и системный анализ
Datum:	2015
1. Verfasser:	Чеботарев, А.Н.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут кібернетики ім. В.М. Глушкова НАН України 2015
Schlagworte:	Кибернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/124902
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:	Согласование взаимодействующих автоматов / А.Н. Чеботарев // Кибернетика и системный анализ. — 2015. — Т. 51, № 5. — С. 13-25. — Бібліогр.: 14 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

О мере изменения состояния коллектива взаимодействующих элементарных автоматов в дискретной среде
von: Курганский, А.Н.
Veröffentlicht: (2012)

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

Эквивалентность двумерных многоленточных автоматов
von: Григорян, А.А., et al.
Veröffentlicht: (2008)

Теория обобщенных линейных автоматов
von: Рысцов, И.К.
Veröffentlicht: (2009)

Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
von: Борисенко, В.И.
Veröffentlicht: (2015)

Проверка эквивалентности программ с помощью двухленточных автоматов
von: Захаров, В.А.
Veröffentlicht: (2010)

О сложности анализа автоматов над конечным кольцом
von: Скобелев, В.В., et al.
Veröffentlicht: (2010)

О некоторых множествах автоматов над конечным кольцом
von: Скобелев, В.Г.
Veröffentlicht: (2011)

Помехоустойчивые коды переменной длины на основе конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

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

О двух типах нелинейных автоматов над конечным кольцом
von: Скобелев, В.В.
Veröffentlicht: (2009)

Метод декодирования помехоустойчивого кода переменной длины на основе конечных автоматов
von: Завадский, И.А.
Veröffentlicht: (2015)

Проектирование реактивных алгоритмов путем решения уравнений над автоматами
von: Чеботарев, А.Н.
Veröffentlicht: (2012)

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

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

Композиционный подход к проектированию реактивных алгоритмов
von: Чеботарев, А.Н.
Veröffentlicht: (2013)

О классе формул языка L*, специфицирующих автоматы с конечной памятью
von: Чеботарев, А.Н.
Veröffentlicht: (2010)

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

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

Усовершенствованный метод синтеза автомата по его спецификации в языке L
von: Тимофеев, В.Г., et al.
Veröffentlicht: (2011)

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

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

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

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

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

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

Усовершенствованный тест k-мерности для булевых функций
von: Алексейчук, А.Н., et al.
Veröffentlicht: (2013)

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

Верификация программ: состояние, проблемы, результаты. I
von: Крывый, С.Л., et al.
Veröffentlicht: (2013)

Верификация программ: состояние, проблемы, результаты. II
von: Крывый, С.Л., et al.
Veröffentlicht: (2014)

Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
von: Глибовец, А.Н., et al.
Veröffentlicht: (2014)

Интеллектуальные технологии высокопроизводительных вычислений
von: Сергиенко, И.В., et al.
Veröffentlicht: (2010)

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

Самосогласованное описание системы взаимодействующих фононов
von: Полуэктов, Ю.М.
Veröffentlicht: (2015)

Пассивное согласование в измерительных цепях термоэлектрических датчиков
von: Луценко, В.Ю., et al.
Veröffentlicht: (2012)

ПАССИВНОЕ СОГЛАСОВАНИЕ В ИЗМЕРИТЕЛЬНЫХ ЦЕПЯХ ТЕРМОЭЛЕКТРИЧЕСКИХ ДАТЧИКОВ
von: Луценко, В.Ю., et al.
Veröffentlicht: (2012)

Миграция взаимодействующих атомов в поверхностном монослое
von: Долгов, А.С., et al.
Veröffentlicht: (2013)

Согласование конфигураций сложных организационно-технических систем развития отраслей аграрного сектора
von: Трыгуба, А.Н., et al.
Veröffentlicht: (2020)

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