Pulse / 了解
新闻
将科学与技术进展放在背景中理解。
焦点文章
分析机——巴贝奇与洛夫莱斯发明计算机
1837年，数学家查尔斯·巴贝奇设计了分析机：一种使用穿孔卡片编程的机械计算机，拥有可存储1,000个50位数字的内存，并能执行条件分支。1843年，阿达·洛夫莱斯发表了历史上第一个算法——用于计算伯努利数的程序。这台机器从未完整建成，但在ENIAC问世整整一个世纪之前，它已经包含了通用计算机的完整架构。
阅读文章最新文章
图灵机——计算机科学的理论基础
1936年，Alan Turing发表“On Computable Numbers”，定义了一种能够执行一切有效可计算过程的抽象机器，为计算机科学奠定理论基础，并证明存在不可判定问题。
瓦特蒸汽机——工业革命的动力之源
1769年，詹姆斯·瓦特为采用独立冷凝器的蒸汽机申请专利。通过将热效率从约1%提高到约5%，他使纽科门蒸汽机的性能提升约三倍——为工业革命提供了关键的机械动力。
标准模型——描述几乎所有已知粒子的理论
粒子物理标准模型在20世纪70年代基本成形，它分类已知基本粒子，并描述四种基本相互作用中的三种。