信号处理的代数
An algebra for signal processing
Martin-Luther-Universität Halle-Wittenberg（哈勒-维滕贝格马丁路德大学）
AI总结：
本文尝试公理化信号处理，提出基于高斯函数的公理模型，支持精确计算和信号算法属性的自动测试。
摘要：
我们的论文提出了一种公理化信号处理的尝试。长期目标是制定精确计算理想世界中的信号处理算法并证明其性质，然后将这些理想公式解释并直接应用于现实世界的离散数据。我们给出了基于高斯函数的公理模型，这些模型允许精确计算和信号算法属性的自动测试。
英文摘要：
Our paper presents an attempt to axiomatise signal processing. Our long-term goal is to formulate signal processing algorithms for an ideal world of exact computation and prove properties about them, then interpret these ideal formulations and apply them without change to real world discrete data. We give models of the axioms that are based on Gaussian functions, that allow for exact computations and automated tests of signal algorithm properties.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
