Please use this identifier to cite or link to this item: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/3714
Title: Синтез управляющих автоматов с использованием распределенных и параллельных систем
Authors: Баркалов, А.А.
Зеленева, И.Я.
Гриценко, А.А.
Keywords: ОПТИМИЗАЦИЯ
ВЕРИФИКАЦИЯ
СИНТЕЗ
ПАРАЛЛЕЛЬНАЯ СИСТЕМА
РАСПРЕДЕЛЕННАЯ СИСТЕМА
УПРАВЛЯЮЩИЙ АВТОМАТ
Issue Date: 8-Jan-2012
Abstract: В данной работе предлагается метод синтеза управляющих автоматов, основанный на использовании параллельных или распределенных систем. Задача синтеза управляющих автоматов в данном случае подразумевает поиск оптимального решения, его верификацию и собственно синтез для заданной элементной базы. Такая трактовка значительно повышает сложность рассматриваемой задачи, однако позволяет получить эффективное решение, что компенсирует затраты на его поиск.
URI: http://ea.donntu.edu.ua/handle/123456789/3714
Appears in Collections:Наукові публікації кафедри комп'ютерної інженерії

Files in This Item:
File Description SizeFormat 
Barkalov-Zeleneva-Grytsenko.doc535 kBMicrosoft WordView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.