ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню

11
Содержание
том 60 / НОЯБРЬ, 2017
СТАТЬЯ
УДК 004.384:004.272:004.414.2

ВЫЯВЛЕНИЕ ИЗОМОРФНЫХ ВХОЖДЕНИЙ R-ВЫРАЖЕНИЙ ПРИ ПОСТРОЕНИИ ПАРАЛЛЕЛЬНЫХ АЛГОРИТМОВ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ

Ватутин Э. И.
Курский государственный технический университет, кафедра вычислительной техники;


Зотов И. В.
Курский государственный технический университет, кафедра вычислительной техники; профессор


Титов В. С.
Юго-Западный государственный университет, кафедра вычислительной техники, Курск; профессор, заведующий кафедрой


Читать статью полностью 

Аннотация. Представлен алгоритм выяснения отношения изоморфизма R-выражений (сечений параллельного алгоритма), основанный на ряде их особых свойств и ориентированный на аппаратную реализацию. Приведено описание устройства (акселератора) на его основе, позволяющего проводить проверку отношения изоморфизма за линейное время.
Ключевые слова:

логический мультиконтроллер, синтез, параллельный алгоритм логического управления, разбиение, оптимизация, ориентированные деревья.