Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/3714
Название: Синтез управляющих автоматов с использованием распределенных и параллельных систем
Авторы: Баркалов, А.А.
Зеленева, И.Я.
Гриценко, А.А.
Ключевые слова: ОПТИМИЗАЦИЯ
ВЕРИФИКАЦИЯ
СИНТЕЗ
ПАРАЛЛЕЛЬНАЯ СИСТЕМА
РАСПРЕДЕЛЕННАЯ СИСТЕМА
УПРАВЛЯЮЩИЙ АВТОМАТ
Дата публикации: 8-янв-2012
Краткий осмотр (реферат): В данной работе предлагается метод синтеза управляющих автоматов, основанный на использовании параллельных или распределенных систем. Задача синтеза управляющих автоматов в данном случае подразумевает поиск оптимального решения, его верификацию и собственно синтез для заданной элементной базы. Такая трактовка значительно повышает сложность рассматриваемой задачи, однако позволяет получить эффективное решение, что компенсирует затраты на его поиск.
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/3714
Располагается в коллекциях:Наукові публікації кафедри комп'ютерної інженерії

Файлы этого ресурса:
Файл Описание РазмерФормат 
Barkalov-Zeleneva-Grytsenko.doc535 kBMicrosoft WordПросмотреть/Открыть


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