Титенко Е. А.

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