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