1946年，在宾夕法尼亚大学诞生的第一台电子数字积分计算机是（）。