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

Усовершенствованный метод синтеза автомата по его спецификации в языке L

Запропоновано модифікацію алгоритму синтезу автомата за його логічною специфікацією. В основі цього алгоритму лежить процедура розщеплення компонентів диз’юнктивної форми. Удосконалення методу спрямовані на зменшення кількості найбільш складних процедур, що використовуються в процесі синтезу, та на...

Повний опис

Збережено в:

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

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Синтез автомата, специфицированного множеством дизъюнктов
за авторством: Чеботарев, А.Н.
Опубліковано: (2003)

Моделирование движений рук, мимики и артикуляции лица человека для синтеза и визуализации жестовой информации
за авторством: Кривонос, Ю.Г., та інші
Опубліковано: (2011)

Усовершенствованный метод выявления «горячих точек» в изделиях микроэлектроники
за авторством: Popov, V. M., та інші
Опубліковано: (2008)

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

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

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

Быстрый клеточный метод умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2008)

Объединенный клеточный метод умножения матриц
за авторством: Елфимова, Л.Д.
Опубліковано: (2013)

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

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

Адаптивный метод гибридного обучения эволюционирующей нейро-фаззи системы
за авторством: Бодянский, Е.В., та інші
Опубліковано: (2015)

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

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

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

О некоторых научных результатах Ю. М. Ермольева и его школы в области современной теории оптимизации
за авторством: Кнопов, П.С., та інші
Опубліковано: (2011)

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

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

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

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

Новый подход к декомпозиции булевых функций. 4. Неразделительная декомпозиция: метод p,q-разбиения
за авторством: Рыцар, Б.Е.
Опубліковано: (2009)