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

Использование согласования логических спецификаций автоматов при решении игровых задач

Игровые модели широко используются при решении задач реализуемости, синтеза и верификации реактивных систем. Для решения таких задач в статье рассматривается автоматный подход, основанный на понятии согласованности автоматов или их логических спецификаций. Соответствующие методы существенно отличают...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

Индивидуально-паретовские равновесия для игровых задач с побочными интересами участников
за авторством: Смольяков, Э.Р.
Опубліковано: (2015)

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

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

Эквивалентность двумерных многоленточных автоматов
за авторством: Григорян, А.А., та інші
Опубліковано: (2008)

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

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

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

Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
за авторством: Борисенко, В.И.
Опубліковано: (2015)

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

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

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

Помехоустойчивые коды переменной длины на основе конечных автоматов
за авторством: Завадский, И.А.
Опубліковано: (2015)

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

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

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

Топологическая обработка информации системами искусственного интеллекта при решении логических задач
за авторством: Демёхин, В.В., та інші
Опубліковано: (2008)

Топологическая обработка информации системами искусственного интеллекта при решении логических задач
за авторством: Demyokhin, V. V., та інші
Опубліковано: (2008)

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

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

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

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

Использование коллектива агентов для распознавания неориентированных графов
за авторством: Стёпкин, А.В.
Опубліковано: (2015)

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

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

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

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

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

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

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

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

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

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

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

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

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