О синтезе эффективного алгоритма над множеством алгоритмов вычисления свертки

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