对计算机若干问题的讨论

本文回顾了传统计算机赖以发展的几个理论支撑点以及它们的深远意义,与此同时,初步探讨了传统计算机的进一步发展所遇到的困难。我们认为这些困难实质上是受到确定性算法下的求解过程这样一种算法思想的局限,而这些局限又都和上述的理论直接有关。所以,我们在文中就面向超高速、大规模计算和面向知识处理两个未来计算机发展的方向初步讨论了应该和可能在哪些方面对上述的问题进行突破,而所有这些突破都归结为要探求非确定性算法下的验证过程。为了支持非确定性的验证过程这一算法设想,我们提出了以智能存储单元为基础的未来计算机的概念模型,并且初步讨论了关于智能存储单元的概念模型及其功能定义。