本报讯（记者陈彬）10月14日，清华大学计算机科学与技术系教授张悠慧团队、精密仪器系教授施路平团队与合作者在《自然》发文，首次提出“类脑计算完备性”以及软硬件去耦合的类脑计算系统层次结构。该研究填补了类脑计算系统领域完备性理论与相应的类脑计算系统层次结构方面的空白。

在通用计算领域有两个著名概念——“图灵完备性”和“冯·诺依曼体系结构”。其中，前者用来衡量计算系统是否能够用来解决任何计算性问题，后者则是通用计算机运作的体系结构，该结构具有存储部件与计算部件分离、程序与数据统一存储等特性。

“图灵完备性与冯·诺依曼体系结构可以使通用计算领域在软件层、编译层和硬件层具有统一的范式。”张悠慧告诉《中国科学报》。然而在类脑计算研究领域，由于相关研究尚处于起步阶段，到目前为止，国际上还没有形成公认的技术标准与方案。

“通俗来讲，完备性可以回答系统能够完成什么、功能边界在哪里等问题。研究完备性，可以为软硬件系统的解耦合、划分不同研究领域间的任务分工与接口提供理论基础。”张悠慧表示，希望“类脑计算完备性”研究能够为类脑计算系统领域的发展提供一个“准绳”。

在研究过程中，研究团队针对类脑计算特性，提出了对计算过程和精度约束更低的“类脑计算完备性”概念，并且设计了相应的类脑计算机层次结构——图灵完备的软件模型、类脑计算完备的硬件体系结构，以及位于两者之间的编译层。通过相关算法，任意图灵可计算函数都可以转换为类脑计算完备硬件上的模型。

“这意味着类脑计算系统也可以支持通用计算，极大地扩展了类脑计算系统的应用领域，也使类脑计算软硬件各自独立发展成为可能。”施路平说。

（陈彬）