Синтез управляющих автоматов с использованием распределенных и параллельных систем
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Синтез управляющих автоматов с использованием распределенных и параллельных систем
|
|
| Creator |
Баркалов, А.А.
Зеленева, И.Я. Гриценко, А.А. |
|
| Subject |
ОПТИМИЗАЦИЯ
ВЕРИФИКАЦИЯ СИНТЕЗ ПАРАЛЛЕЛЬНАЯ СИСТЕМА РАСПРЕДЕЛЕННАЯ СИСТЕМА УПРАВЛЯЮЩИЙ АВТОМАТ |
|
| Description |
В данной работе предлагается метод синтеза управляющих автоматов, основанный на использовании параллельных или распределенных систем. Задача синтеза управляющих автоматов в данном случае подразумевает поиск оптимального решения, его верификацию и собственно синтез для заданной элементной базы. Такая трактовка значительно повышает сложность рассматриваемой задачи, однако позволяет получить эффективное решение, что компенсирует затраты на его поиск.
|
|
| Date |
2012-01-08T12:54:09Z
2012-01-08T12:54:09Z 2012-01-08 |
|
| Type |
Article
|
|
| Identifier |
http://ea.donntu.edu.ua/handle/123456789/3714
|
|