Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/77777
Название: Программа OSW для вычисления оптимального синхронизирующего слова для частичного детерминированного автомата.
Номер патента: 2019663027
Авторы: Шабана, Х. М. Д.
Дата публикации: 2019-10-08
Аннотация: Программа направлена на поиск оптимального синхронизирующего слова для синхронизируемого частичного детерминированного автомата. Она проводит экспериментальное исследование до достижения оптимальности. В программе три подпрограммы, которые выполняются последовательно. Первая отвечает за случайную генерацию частичных детерминированных автоматов и представляет операцию автомата в виде вектора, а затем отправляет это вектор во вторую подпрограмму. Основной задачей второй подпрограммы является кодирование задачи проверки возможности синхронизации полученного автомата словом заданной длины в задачу выполнимости в формате DIMACS. После этого данные передаются в SAT-решатель. SAT-решатель дает положительный результат в том и только в том случае, если у автомата есть синхронизирующее слово заданной длины. Выходные данные решателя отправляются в последнюю подпрограмму, которая отвечает за накопление и последующую обработку результатов эксперимента. Тип реализующей ЭВМ: IBM PC-совмест. ПК; ОС: Windows, Unix, Linux и др.
Ключевые слова: COMPUTER SOFTWARE
ПРОГРАММА ДЛЯ ЭВМ
URI: http://elar.urfu.ru/handle/10995/77777
Идентификатор РИНЦ: 41183739
Идентификатор PURE: 12883183
Вид РИД: Регистрация программы для ЭВМ
Патентообладатель: Федеральное государственное автономное образовательное учреждение высшего образования «Уральский федеральный университет имени первого Президента России Б. Н. Ельцина»
Располагается в коллекциях:Патенты и изобретения

Файлы этого ресурса:
Файл Описание РазмерФормат 
2019663027.pdf192,63 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.