根据以下描述，给出一个恰当的提问以对应于一个答案：1945
早期的计算机有固定的程序。更改其功能需要重新布线和重新构造机器。随着存储程序计算机的提议，这种情况发生了变化。存储程序计算机通过设计包括指令集，并且可以在存储器中存储详细说明计算的一组指令（程序）。存储程序计算机的理论基础由AlanTuring在1936年的论文中提出。1945图灵加入国家物理实验室，开始研发电子存储程序数字计算机。他1945年的报告“拟议的电子计算器”是这种设备的第一个规范。宾夕法尼亚大学的JohnvonNeumann也在1945年发表了关于EDVAC的报告初稿。
AlanTuring什么时候加入国家物理实验室？