时间状态机：使用时间记忆来连接基于时间的图计算
摘要：将计算机科学领域中使用的一种名为race logic的逻辑家族与数学领域中的热带代数建立联系，可以系统化开发race logic。通过将热带代数的数学原理与race logic计算相结合，设计了时间编码的热带电路，并作为表达基于时间的高级算法的框架。这种抽象结合了时间记忆，可以将前馈计算划分为阶段并将其组织成状态机，从而对race logic进行系统化的推广。我们利用基于模拟电路的时间记忆设计了这样一个状态机，它完全根据时间编码的波前进行操作。我们实现了Dijkstra算法的一个版本来评估这个时间状态机。这个演示展示了时间计算拓展其表达能力的前景，将能够实现显著的能量和吞吐量优势。
作者：Advait Madhavan, Matthew Daniels, Mark Stiles
论文ID：2009.14243
分类：Emerging Technologies
分类简称：cs.ET
提交时间：2021-05-12