SETI@home

今天一早，作为出门前常规的浏览工作，我点进了我的BOINC客户端，看到了一则老消息——我不怎么检查这个客户端的运行，只是偶尔去看看——说SETI@home将不再发放任务了。

突然有点感伤。

我是2000年1月27日加入的SETI@home项目，它是美国加州伯克利大学的BOINC（Berkeley Open Infrastructure for Network Computing，伯克利用于网络计算之开放架构）最早的项目之一。

BOINC项目鼓励各位拥有电脑且联网的人自主加入，参加各项有趣的科学计算。它的原理是，计算机有很多时间是“空闲”的——最常见的比如你在打字的时候必然有的间隔、长期不操作鼠标键盘的空闲时间，经过恰当的软件设计，这样的空闲时间可以用来进行一些很耗时间的科学计算。一台电脑的空闲时间和计算力有限，但是全球那么多挂在互联网上的电脑综合起来，空闲时间和计算力就会很可怕，可以有效地作为超算的补充算力。

根据维基的介绍，BOINC的第一个项目就是SETI@Home。伯克利大学在SETI@Home的基础上，将其通用化从而成为一个平台来为其他分布式计算应用提供相应的任务分发、计算、提交等功能。目前，在该平台上进行计算的科学项目包括：数学、语言、医药、分子生物、气象、环境以及宇宙学等。

SETI@Home的全称是Search for Extraterrestrial Intelligence at home（在家搜索地外智慧，或者俗称为“搜索外星人”）。目前我还参加了：

• Einstein@Home：搜索来自脉冲星的微弱天体物理信号，信号来自LIGO引力波探测器、Arecibo射电望远镜以及费米伽马射线卫星等。
• Rosetta@Home：对蛋白质结构进行预测。
• Amicable Numbers：搜索友好数。

所谓“友好数”是说一个自然数的真因子之和等于另一个数；而另一个数的真因子之和等于第一个数。最小的友好数对是$(220, 284)$。因为$220$的真因子包括$1,2,4,5,10,11,20,22,44,55,110$，加起来是$284$。而$284$的真因子包括$1,2,4,71,142$，加起来正好是$220$。详情请见维基百科相关词条。

最近一直在看一本数论的教材：Number Theory Through Inquiry。

数学我不算学得很好，但至少一直读到研究生的时候都能保持A，所以一直保持了对数学的兴趣。

我对SETI@home还是挺有贡献的——虽然至今未能找到一个外星人！但是我在我参加的组中，贡献值排名第三，还在2008年12月12日捐赠了25美金。

按照官网的说法，这个项目目前进入“冬眠”状态，不再发放新的任务而全力进入后台数据分析，并乐观地希望能找到ET！

希望这个项目能早点回归！