用树莓派搜寻地外文明
用树莓派搜寻地外文明
子豪兄开篇语:
本文介绍了如何用树莓派微型电脑参与世界上最大的分布式计算平台BOINC上的科学计算项目,特别是其中最著名的搜寻地外文明SETI@home项目。并介绍BOINC平台上涉及生物医学、气候变化、天体物理、密码破译、数学证明领域的分布式科学计算项目及区块链数字货币GridCoin。
如果你没有树莓派电脑,也可以用普通电脑参与SETI@home项目。
二十年前SETI@home设计的分布式计算、数据分发回收、积分奖励系统,正是近几年火热的区块链和数字货币系统的思想萌芽。向本项目的所有贡献者致敬。
原创作者:同济大学开源软件协会 子豪兄Tommy 微信公众号:子豪兄的科研小屋
转载或复制请以 原文超链接形式 并注明出处 子豪兄。
原文地址 http://t.cn/EhTa6GY 发布于2018-10-06
Bilibili视频:科技小制作 - 树莓派的好去处——SETI@Home - by 科技小制作
Bilibili视频:子豪兄教你用树莓派搜寻地外文明
SETI@home项目和伯克利开放式网络计算平台BOINC
SETI@home是1999年加州大学伯克利分校发起的分布式计算项目,旨在发动全球计算机的闲置算力,分析阿雷西博射电望远镜搜集的宇宙射线数据,从不同频段识别可能的文明信号,搜寻地外文明。
经过近20年的运营,SETI@home是迄今为止全球最成功的分布式计算项目,虽然没能找到地外文明的直接证据,但吸引全球志愿者贡献了巨量的算力,算力超过了任何已知的超算电脑,证明了分布式计算系统的强大。
我们的电脑(或者树莓派)上的SETI@home客户端是怎样寻找外星信号的呢?数据从伯克利发到世界各地的电脑上,通过基线滤波(滤掉自然天体发出的宽带频段,聚焦在公认被用于星际通讯的窄带频段)、快速傅里叶变换(将射电望远镜的时域数据转换为频域数据)、啁啾数据(滤掉多普勒效应的影响)、搜索高斯信号(排除地球信号干扰),最终从中寻找可能代表地外文明信号的最佳高斯信号、三连信号,将数据发回伯克利总部,并在屏幕保护界面上显示频率时间能量图。
伯克利在此基础上开发了BOINC伯克利开放式网络计算平台(Berkeley Open Infrastructure for Network Computing),部署了涉及生物医学、气候变化、天体物理、密码破译、数学证明等众多领域的有趣的科研项目(项目详情见后文),其中还包括了中科院计算技术研究所和高能物理研究所的计算项目。
著名作家刘慈欣在他的科幻小说中提到过SETI@home项目,比如《球状闪电》(第七章)和《三体》。在《球状闪电》第七章,讲述了两个科学家把他们要计算的球状闪电数学模型偷梁换柱放到了SETI@home服务器上,试图薅全世界志愿者的算力羊毛,最后事情败露被SETI@home主管发现的故事。而《三体》的整个故事都源于军方射电望远镜搜寻地外文明的绝密项目。
刘慈欣《球状闪电》第七章摘录:完整版
刘慈欣《三体》摘录:
美国和其他北约国家:外星文明探索的科学性和必要性已得到广泛认可,学术空气浓厚;OZMA计划:1960年,美国西维吉尼亚绿堤国家射电天文台。使用2-6米直径的射电望远镜探索外星文明,单通道接收,频率1420兆赫,搜索的目标鲸鱼座π星和波江座ε星,搜索时间约200小时;计划于1972年实施OZMAⅡ-计划,扩大搜索目标和频率和范围;同年计划发射先驱者10号和先驱者11号探测器。各携带有一张带有地球文明信息的金属卡;计划于1977年发射了旅行者1号和旅行者2号探测器,将携带金属唱片;1963年,位于波多黎各的阿雷西博望远镜建成,对外星文明探索意义重大,其收集能量的总面积约为20英亩,大于世界上其他-一切射电望远镜收集能量的面积总和,与计算机系统配合,可同时监视65000个频道,同时具备超大功率的发射功能。
“可如果那个苏联人所设想的Ⅱ和Ⅲ型文明真的存在,我们应该能够听到他们的声音。”
“红岸运行的二十多年,我们什么都没有听到。”
“是,想到红岸和SETI,会不会这一切努力最后证明了一件事:宇宙中真的只在地球上有智慧生命?”叶文洁轻轻叹息一声:“从理论上讲,这可能是一件永远没有结论的事,但从感觉上,我,还有每一个经历过红岸的人,都认同这点了。”
下面这个大数据可视化动画展示了SETI@home项目五分钟之内接受和分发数据的情况,黄色代表发送到世界各地的数据包,蓝色表示分析之后传回伯克利总部的数据包。目前该项目的数据全部来自位于波多黎各的阿雷西博射电望远镜,后续将加入位于西弗吉尼亚的绿岸GBT射电望远镜和位于荷兰的Lofar射电望远镜。
我在初中一年级的时候就曾参与SETI@home项目。2010年我在百度SETI贴吧发的贴子,虽然没人回帖。
在树莓派上安装BOINC并参与SETI@home分布式计算项目
1.在树莓派上安装BOINC客户端
仅需要一行命令即可在树莓派或者Ubuntu操作系统上安装BOINC
sudo apt-get install boinc-client boinc
在跳出的对话框中输入y
和回车↩
,确定下载安装,需要64MB存储空间。
安装成功之后,打开树莓派桌面(或者使用VNC远程桌面),在“系统工具”中点击“BOINC Manager”。
2.选择你想参加的分布式计算项目
选择SETI@home,点击“下一步“
BOINC平台上各领域有趣的分布式计算项目详细介绍见后文。
3.注册新账号或登陆已有账号
4.自动从项目服务器上获取数据,开始计算
现在,你的树莓派就开始自动计算并把数据发回项目服务器了,大功告成。
树莓派性能远不及平常电脑,计算一个数据包需要19个小时,而普通笔记本电脑计算一个数据包仅需3个小时。
而且树莓派上运行SETI@home不能看到本项目标志性的高大上信号处理屏幕保护图片,SETI@home屏幕保护界面解读,你也可以用普通电脑参与SETI@home项目。
通过以下设置修改计算参数,防止CPU资源被全部占用,或CPU过烫
在命令行中输入以下命令查看实时CPU温度,在全速运行计算项目时CPU温度可能会达到100摄氏度以上,应密切注意CPU温度并调整适当计算参数。
vcgencmd measure_temp
5.(本步可跳过)进一步完成账户设定,加入中国的SETI@home计算团队
加入清华大学SETI@home团队(Tsinghua Univeristity)
大功告成,退出浏览器即可。
BOINC平台上各领域有趣的分布式计算项目详细介绍
几个比较经典的项目:
天文及物理
SETI@home:分析阿雷西博射电望远镜的海量数据,寻找可能的地外文明信号。
Einsten@home:分析LIGO和GEO600采集的海量观测数据,寻找引力波存在的证据。分析阿雷西博射电望远镜和费米伽马射线卫星传来的数据寻找脉冲星和中子星。由威斯康星大学密尔沃基分校发起。
Milkyway@home:使用Sloan数字巡天的数据来对银河系进行高精度的三维建模。
LHC@home:大型强子对撞机(LHC)是 CERN(欧洲核子研究组织)的一个粒子加速器装置,也是世界上最大的粒子物理实验室。它是人类现有的用于研究基本粒子特性的最强大的实验装置。LHC@home 的作用主要是对加速器进行模拟,并帮助改进 LHC 及其探测器的设计。
Cosmology@Home:寻找描述宇宙演化的数学模型。由UIUC大学发起。
Asteroids@home:研究小行星形状、自转周期、自转轴信息。
Universe@home:创建宇宙天体数据库,从最初的恒星到奇特的黑洞双星。
地球物理
Climateprediction.net:牛津大学发起,旨在优化现有大气模型对二氧化碳、硫循环等的敏感程度。预测未来全球气候变化。
生物信息学
CAS@home:帮助中国科学家研究蛋白质结构、纳米技术、肿瘤基因组学以及高能物理。由中科院计算技术研究所、中科院高能物理研究所、清华大学牵头发起。
RNA World:旨在识别、 分析、 结构预测和设计建立生物信息学软件的 RNA 分子。源代码全部公开,成果向公众公开。
MindModeling@home:使用计算模拟认知过程模型,以更好地理解人类的思维。
Rosetta@home:进行蛋白质的三维构造研究,设计出新的蛋白质以抗击艾滋病、疟疾、癌症以及阿尔茨海默氏症(老年痴呆症)。由美国华盛顿大学发起。
本项目还开发了一款电子游戏 Foldit,目的是通过让全世界的玩家来折叠、组装蛋白质骨架和氨基酸侧链来发现特定功能的蛋白质。几年前,玩家们用十几天时间破解了科学家们研究长达十五年之久的M-PMV PR蛋白的结构(它与艾滋病病毒使用的逆转录酶有关)。这一结果发表在了著名学术期刊Nature的Structural and Molecular Biology(结构与分子生物学)子刊上。这个游戏也有汉化版,但汉化做的一般。【子豪兄玩游戏】玩蛋白质折叠小游戏,发Nature子刊大论文
GPUGrid.net:利用 NVIDIA 显卡(GPU)来进行全原子的分子动力学模拟。计算生物学的应用给生物医药学带来了新的研究方向。
DENIS@home:通过心脏电生理仿真,研究心脏的电活动。
物联网
Quake Catcher Network:使用连接到智能手机的传感器来检测地震波。由南加利福尼亚大学发起。
Radioactive@home:使用志愿者计算机上的传感器来建立一个免费并持续更新的辐射强度地图。你需要购买一个传感器来加入这个项目。
数学与密码学
PrimeGrid:寻找已知最大的质数。
NFS@home:进行大数的分解质因数。
Collatz Conjecture:研究考拉兹猜想(Collatz conjecture),一个尚未被证明的数学猜想。
Enigma@home:试图破译三条二战期间的纳粹德军加密Enigma电文消息,这些消息于1942年11月25日在北大西洋截获而且一直被认为是不可破解的。该项目采用暴力破解和梯度算法(爬山法)的混合方法试图破译(项目说明)。第一条加密信息于2006年2月20日被成功破译(译文)。第二条加密信息于2006年3月7日被成功破译(译文)。第三条信息尚未被破译。
子豪兄批注:
两条加密电文的译文都是关于当时大西洋潜艇战德军U型潜艇的位置、行动航向、速度、遭受攻击,以及战场风向、天气、能见度等战场情报。
“图灵机”概念创始人、人工智能之父阿兰图灵二战期间秘密受命于英国军方,也在从事破译德军Enigma密码的工作并取得成功,使德军在大西洋的“潜艇狼群战术”破产。卷福主演的电影《模仿游戏》讲述的就是这一段历史。关于二战期间英德两国的潜艇战和密码战,以及数学天才阿兰图灵的传奇人生,推荐观看北京电视台档案栏目:二战英德密码战、罗辑思维《庸众的迫害》。
SETI@home屏幕保护界面解读
BOINC各项目屏幕保护动画
数字货币与BOINC科学计算的结合——GridCoin
众所周知,传统的区块链数字货币(比如比特币、以太坊),为了保证区块的安全和交易速度,引入了挖矿的“工作量证明共识机制”(比特币的产生与挖矿),挖矿本质上是区块链的参与者用计算设备、算力、电力能源换取区块链交易记账权并获取数字货币奖励的过程。挖矿消耗了巨量的电力能源,造成显卡矿机的军备竞赛和矿池“矿霸”的出现,而用于比特币和以太坊挖矿的算力和能源并不能为实体经济产生价值。于是,基于真实科学计算平台BOINC的虚拟货币GridCoin应运而生。GridCoin格雷德币于2013年10月上线,2015年3月改版升级。它依托BOINC(伯克利分布式计算)平台,这个币以去中心化机制,按照科学计算的贡献决定挖矿收益,用算力支持了BOINC平台上涉及生物医学、气候变化、天体物理、密码破译、数学证明、搜寻地外文明等众多领域的有趣的科研项目,解决了比特币挖矿被诟病的浪费能源的问题。创始人Rob Halford三年半以来一直坚持开发,带领一支活跃的开发团队,解决了初期的种种bug,保证了这个币的稳定性和科学计算功能。目前,格雷德币团队在BOINC中的所有十万支团队中近期积分排名第一BOINC全球团队积分排行榜总积分也达到了第六名。
Gridcoin格雷德币的矿工如果只是挖矿记账,而不将算力贡献给BOINC科学计算平台,那么每个BLOCK的回报只有5个格币;如果将算力贡献给BOINC科学计算平台,每个BLOCK的回报根据贡献算力的大小将达到6到150个格币。
Gridcoin格雷德币充分考虑了避免ASIC(专业矿机)的渗入,保证只有个人电脑的CPU和GPU才能挖矿。格币提供更快的交易确认:平均2.5分钟生成一个新区块,采用SCRYPT的POW(工作量证明)算法。
数字货币Grid官方白皮书
知乎:对格雷德币(Gridcoin,GRC)的了解与初步获取方法
子豪兄批注:
二十年前SETI@home设计的分布式计算、数据分发回收、积分奖励系统,正是近几年火热的区块链和数字货币系统的思想萌芽。向本项目的所有贡献者致敬。
除了将挖矿算力和能源用于科学计算的GridCoin,还有很多尝试将挖矿与实体经济结合且获得良好效果的虚拟货币和区块链系统,比如星际文件系统IPFS(分布式区块链文件存储系统)、IOTA(用于物联网)。
本文会在未来继续更新和勘误,最新版以Github上的子豪兄博客合集为准
转载或复制请以 原文超链接形式 并注明出处 子豪兄。
原文地址 http://t.cn/EhTa6GY 发布于2018-10-06
同济大学开源软件协会
重庆大学树莓派爱好者俱乐部、人工智能协会、创新实践中心
扩展阅读与参考文献
Bilibili视频:科技小制作 - 树莓派的好去处——SETI@Home - by 科技小制作
维基百科:SETI@home
BOINC官方主页
BOINC中国分布式总站
BOINC主流计算项目详细介绍
SETI@home官方主页
SETI@home屏幕保护界面解读
BOINC各项目屏幕保护动画
Gridcoin格雷德币是什么|金色百科
知乎:除了比特币,还有哪些区块链的数字货币值得投资?走地鸡的回答
比特币的产生与挖矿?
数字货币Grid官方白皮书
知乎:对格雷德币(Gridcoin,GRC)的了解与初步获取方法
刘慈欣小说《球状闪电》漫画版,作者:锋绘网
罗辑思维第138期《庸众的迫害》
北京电视台档案栏目:二战英德密码战
坐在家中电脑前贡献科研?蛋白质折叠小游戏 Foldit 中文版来啦!
用树莓派搜寻地外文明相关推荐
- 第0讲:树莓派是什么?能做什么?
本文介绍了树莓派微型电脑的概况介绍.强大功能.硬件外设及丰富有趣的开发案例. 让新手最短时间内快速上手,了解树莓派的方方面面及强大应用潜力. 本文配套B站视频--[子豪兄的零基础树莓派教程]第0讲:树 ...
- 自媒体“人工智能小技巧”文章与视频合集(持续更新)
自媒体人工智能小技巧由同济大学在读研究生张子豪于2018年11月创立.包括微信公众号.知乎专栏.简书专栏.Bilibili视频专栏等.致力于用通俗易懂的大白话帮助零基础非计算机专业的初学者快速掌握人工 ...
- “中国天眼”启动地外文明搜索,真的能找到吗?
<科技日报>4月28日报道,「被誉为中国"天眼"的500米口径球面射电望远镜(FAST)正式开启地外文明搜索(SETI).」不少一直关注 FAST 望远镜研究进展的网友 ...
- 关于生命、宇宙和万事万物的42个终极问题
来源:世界科技创新论坛 " 我们的宇宙是否稳定,黑洞熵的起源和温度是什么,爱因斯坦的相对论和标准场论总是有效的吗,时空几何中是否存在奇异的性质,化学.应用物理和科技的极限是什么--&quo ...
- 历史上的今天:ATT 成立;全球最大分布式计算项目正式停止;家酿俱乐部首次会议...
整理 | 王启隆 透过「历史上的今天」,从过去看未来,从现在亦可以改变未来. 今天是 2022 年 3 月 3 日,在 175 年前的今天,1847 年 3 月 3 日,电话的发明人亚历山大·格拉汉姆 ...
- 关于梅森素数定理(网上收集)
一.梅森素数 我们把一个大于1的自然数叫作素数,如果只有1和它本身可以整除它.如果一个比1大的自然数不是素数,我们就叫它合数.1既不是素数,也不是合数. 比如说,你很容易就可以验证7是一个素数:而15 ...
- 分布式计算的详细笔记
分布式计算 1.定义 ==分布式计算是一种计算方法,和集中式计算是相对的==.随着计算技术的发展,有些应用需要非常巨大的计算能力才能完成,如果采用集中式计算,需要耗费相当长的时间来完成.分布式计算将该 ...
- 专访 | 外媒看FAST:刘慈欣说的黑暗森林法则成立吗
▼ 大型年度AI人物评选--2017中国AI英雄风云榜,自荐提名进行中! 奖项设置:技术创新人物TOP 10,商业创新人物TOP 10 表彰人物:华人科学家.学者.企业家.创业者 评委阵容:资深媒体人 ...
- 12件可能改变未来大事:人造生命到致命病毒
●一些自然或者人为的事件有可能突然发生,彻底改变我们这个社会. ●这些事件中有许多将不会如公众期待的那样"顺利"发展. 科学研究不仅扭转了我们对宇宙及我们在宇宙中所处地位的认识,还 ...
最新文章
- ffmpeg architecture(下)
- 遇到的问题及解决方法
- JavaScript称霸
- 网络:为什么会出现大量的time_wait状态
- k8s学习笔记-调度之Affinity
- c语言实参和形参占用存储单元_C语言判断题题库
- k-means算法的matlab代码实现_MATLAB遗传算法及其实现
- 【微型计算机原理与接口技术】80X86微处理器发展与内部结构
- enctype=multipart/form-data 文件上传
- 自己动手丰衣足食-自己动手修改GBA ROM游戏文件
- cad单位_CAD标注样式如何转换公制和英制
- 穿透还原卡和还原软件的代码
- CMSIS 记录与下载
- 拳皇97c语言编码,拳皇97金手指代码
- 如何让你的电脑声音增大500%
- [读论文] Electric Drive Technology Trends, Challenges, and Opportunities for Future Electric Vehicles
- qtxlsx编译报错_QtXlsx编译错误*** [Makefile:37: sub-xlsx-qmake_all] Error 2
- 通信协议学习-485通信(2)
- FreeMarker 网页静态化
- H5 canvas pc 端米字格 写字板
热门文章
- 初识C++之智能指针
- java hypot_Java StrictMath hypot()方法与示例
- Word控件Spire.Doc 【文本】教程(1) ;C#/VB.NET:从 Word 文档中删除文本或图像水印
- 录屏储存失败因为5823_屏幕录制储存失败因为-5823怎么找回
- Z怎样写系统测试报告(A)
- 计算机原理学习(2)-- 存储器和I/O设备和总线
- 关于PostgreSQL执行计划中的Bitmap Heap Scan、Bitmap Index Scan、Recheck Cond
- Api接口的模块化管理
- 用电脑开热点启用电脑无线配置
- 大学英语综合教程四 Unit 3 课文内容英译中 中英翻译