论文标题
将时间行为引入计算科学
Introducing temporal behavior to computing science
论文作者
论文摘要
冯·诺伊曼（Von Neumann）提出的抽象正确地反映了70年前的最新状态。 尽管它省略了计算机组件之间的数据传输时间，但它是数十年来经典计算的绝佳基础。 但是，现代计算机组件和体系结构需要考虑其时间行为：当代系统中的数据传输时间可能高于其处理时间。 使用经典范式使一些问题无法解释，从极高的功耗到对人工神经网络的长期培训，再到一些尖端超级计算机项目的失败。 本文将目前介绍到现在缺少及时的行为（一种时间逻辑）到计算中，同时保持稳固的计算科学基础。 仔细的分析发现，考虑到组件和建筑原则的及时行为，神秘问题有一个微不足道的解释。 必须修改一些经典的设计原理，并且时间逻辑使我们能够设计一个更强大，更有效的计算。
The abstraction introduced by von Neumann correctly reflected the state of the art 70 years ago. Although it omitted data transmission time between components of the computer, it served as an excellent base for classic computing for decades. Modern computer components and architectures, however, require to consider their temporal behavior: data transmission time in contemporary systems may be higher than their processing time. Using the classic paradigm leaves some issues unexplained, from enormously high power consumption to days-long training of artificial neural networks to failures of some cutting-edge supercomputer projects. The paper introduces the up to now missing timely behavior (a temporal logic) into computing, while keeps the solid computing science base. The careful analysis discovers that with considering the timely behavior of components and architectural principles, the mystic issues have a trivial explanation. Some classic design principles must be revised, and the temporal logic enables us to design a more powerful and efficient computing.
