一种用于求解约束满足问题的基于事件的架构
分布式、并行与集群计算
2017-11-08 v1 硬件体系结构
摘要
约束满足问题(CSPs)通常使用传统的冯·诺依曼计算架构求解。然而,这些架构未能反映许多此类问题的分布式本质,因此不适合求解它们。在本文中,我们提出了一种专门设计用于求解此类问题的混合模拟/数字硬件架构。我们将CSPs建模为使用数字脉冲或事件通信的定型多稳态振荡元素网络。振荡元素使用模拟非随机电路实现。振荡元素间不重复的相位关系驱动了解空间的探索。我们展示了该硬件架构在若干CSPs上能在合理实现假设下产生最先进的性能。我们给出了原型电子芯片的测量结果,以证明所提出架构的物理实现对于实际非理想性是鲁棒的,并验证所提出的理论。
引用
@article{arxiv.1505.01139,
title = {An event-based architecture for solving constraint satisfaction problems},
author = {Hesham Mostafa and Lorenz K. Müller and Giacomo Indiveri},
journal= {arXiv preprint arXiv:1505.01139},
year = {2017}
}
备注
First two authors contributed equally to this work