Cтраница 2
Неспособность к проверке и вводу из нескольких источников одновременно является ключевым моментом доказательства Патила ограниченности P / V-систем. Проблема состоит в том, что пока вы захватываете один ресурс, другой процесс может захватить второй ресурс, что приводит к тупику. Такой проблемы для графов вычислений не существует, так как источники не используются совместно процессами - не может быть двух узлов, разделяющих входные дуги. [16]
Доказательство Патила [ 2331 свидетельствует о том, что это включение собственное: существуют задачи ( например, задача о курильщиках сигарет), которые можно решить в сетях Петри, но нельзя с использованием только Р - и V-операций. Однако P / V-системы являются достаточно мощным средством, чтобы включать модели графов вычислений [177] и модели конечных автоматов. [17]
При реализации СЦФ r - го порядка требуется вычисление только трансформант ранга не более г. Поэтому сигнальные графы скользящих БПУ для ЦФ r - го порядка будут иметь более усеченный характер по сравнению с графами полных скользящих БПУ. За счет этого получается дополнительная экономия объема вычислительных операций при анализе спектра Уолша, которая тем больше, чем больше N. При этом в некоторой степени сокращается и число хранимых промежуточных данных. В качестве примера на рис. 5.6.3 приведен граф вычисления спектра Уолша в СЦФ 1-го порядка с помощью скользящего БПУ 1-го рода прореживания по времени. [18]