空间、时间与计算中的可逆性：以水声通信为例

波的时间反演数十年来已成功用于通信、传感与成像。我们对水声通信中的应用特别感兴趣，因为它结合了一个可逆过程（允许可逆的软件或硬件实现）与一个可逆介质（允许环境的可逆建模）。本进展报告从可逆计算视角探讨水声时间反演的建模、分析与实现问题。我们展示了利用可逆元胞自动机对时间反演通信过程中的可逆性进行建模与量化的潜力。随后我们给出了基于可逆电路的时间反演硬件实现。