可逆计算/Reversible Computing

可逆计算（英语：Reversible Computing），是一种计算模，它的计算过程是可逆的。在这种计算模中，使用的能量很低，熵的增加会最小化，换句话说，它几乎不会产生额外的热。
在可逆计算模中，转换函数的前一个状态，与下一个状态之间的关系，是一对一的反函数。因此，它的逻辑门，除了产生出我们想要的答案之外，还需要包含许多额外的位元，用以记忆运算的历史。最早提出可逆计算的先驱，是IBM的工程师罗夫·兰道尔（Rolf Landauer）。

计算模型（computational model）是计算科学中的一个数学模型，它使用大量的计算资源来用计算机模拟研究一个复杂系统的行为。被研究的系统通常是一个复杂的非线性系统，这种系统不易取得简单、直观的解析解。相比于推导数学分析来解决问题，它是通过在计算机中调整系统参数并研究实验结果的差异来完成模型。模型的操作理论可以从这些实验来推断/推导。

常见的计算模型有天气预报模型、地球模拟器模型、飞行模拟器模型、分子蛋白质折叠模型和神经网络模型。