SETI@home: differenze tra le versioni

Versione delle 17:28, 21 ott 2012

Versione attuale delle 15:17, 2 feb 2025

(48 versioni intermedie di 35 utenti non mostrate)

Riga 3:

|Logo =

|Screenshot = Setiathomeversion4point45.png

|Didascalia = unaUna schermata del software SETI@home

|Sviluppatore = Università della California, Berkeley

|UltimaVersione =

Riga 18:

|SoftwareLibero = sì

|Lingua =

|SitoWeb = [http://setiathome.ssl.berkeley.edu/ setiathome.ssl.berkeley.edu]

}}

'''SETI@home''' (“SETI at home") è un progetto di [[calcolo distribuito]] volontario che usa [[computer]] connessi ad [[internet]] ospitato dalla Space Sciences Laboratory all'[[Università della California, - Berkeley]], negli [[Stati Uniti d'America|Stati Uniti]]. SETI è l'acronimo di ''Search for Extra-Terrestrial Intelligence'' e il suo scopo è analizzare segnali [[Radio (elettronica)|radio]] in cerca di segni di [[Intelligenza extraterrestre|intelligenze extraterrestri]]. Questa è una delle molte attività intraprese nel progetto [[SETI]]. Il [[software]] SETI@home è stato rilasciatodistribuito al pubblico il 17 maggio [[1999]].

In passato è stato il progetto di calcolo distribuito con il maggior numero di partecipanti ed è stato riconosciuto dal [[Guinness dei primati]] come il più grande calcolo nella storia.

Il 3 marzo [[2020]] è stata annunciata l'interruzione, entro la fine del mese, della fornitura di dati "di calcolo" ai partecipanti al progetto per l'impossibilità, da parte dei ricercatori, di gestire la fase di analisi dei dati generati dal calcolo distribuito<ref>{{cita news| url = https://www.punto-informatico.it/setihome-ferma-ricerca-vita-aliena/ |titolo = SETI@home ferma la ricerca di vita aliena |pubblicazione = punto-informatico.it |giorno = 4 | mese = marzo | anno =2020|accesso = 4 marzo 2020}}</ref>.

==Ricerca scientifica==

I due obiettivi originali di SETI@home sono:

# Svolgere un'utile ricerca scientifica sostenendo un'analisi osservazionale per rilevare vita intelligente al di fuori didella Terra.

# Dimostrare la fattibilità e la praticabilità del concetto di calcolo volontario.

Line 32 ⟶ 33:

Il primo di questi obiettivi invece, attualmente, non è stato raggiunto: nessun evidente segnale di vita intelligente extra terrestre è stato rilevato tramite SETI@home. Tuttavia l'analisi osservazionale è tuttora in corso.

SETI@home ricerca possibili prove di trasmissioni radio da intelligenze extraterrestri utilizzando i dati di osservazione del [[radiotelescopio di Arecibo]]. I dati vengono raccolti mentre il telescopio è utilizzato per altri programmi scientifici. I dati vengono poi digitalizzati, immagazzinati ed inviati ai server di SETI@home. Successivamente, i dati, vengono divisi in piccoli pezzi in frequenza e tempo, ed analizzati grazie al software per cercare i segnali (cioè le variazioni di segnale che non possono essere attribuite al rumore e che contengono informazioni).

Il punto cruciale di SETI@home è di far analizzare ogni blocco di dati, tra i milioni di blocchi risultanti, dai computer dei volontari e poi avere indietro il risultato dell'analisi. In questo modo, quello che sembra un problema molto oneroso in termini di analisi dei dati è ridotto ad un problema molto più ragionevole grazie all'aiuto di una grande comunità di volontari.

Line 43 ⟶ 44:

Ci sono molti modi in cui un segnale ETI (intelligenza extra terrestre) può essere influenzato dal mezzo interstellare e dal moto relativo della sua origine, rispetto alla Terra. Il segnale potenziale è dunque trasformato in una serie di modi per garantire la massima probabilità di distinguerlo dal rumore presente nello spazio. Per esempio, un altro pianeta è molto probabile che sia in movimento ad una velocità ed accelerazione rispetto alla terra, e questo cambierà la frequenza, nel corso del tempo, del potenziale “segnale”. Questo tipo di verifica è fatta in parte dal software di SETI@home.

Il processo di elaborazione è un po' come sintonizzare la radio su vari canali osservando il misuratore di potenza del segnale. Se la potenza del segnale sale, merita attenzione. Più tecnicamente, si tratta di ununa sacconotevole quantità di elaborazioni del segnale digitale,. Tali elaborazioni constano per lo più di [[Trasformata di Fourier|trasformate discrete di Fourier]] a, vari tassi [[chirp]] e durate.

==Tecnologia==

Line 50 ⟶ 51:

Il software di analisi può cercare segnali con circa un decimo della potenza richiesta nelle precedenti indagini, perché fa uso di un algoritmo di calcolo intensivo chiamato integrazione coerente, che nessun altro ha avuto la potenza di calcolo necessaria per implementare.

I dati vengono uniti in un database usando i computer di SETI@home a Berkeley. Le [[Interferenza (telecomunicazioni)|interferenze]] sono eliminate e vari algoritmi sono applicati per cercare i segnali più interessanti.

Grazie alle indagini di ricerca [[Breakthrough Initiatives]], promosse nel 2015, Seti@Home ha accesso anche ai dati di altri radiotelescopi, come il [[Radiotelescopio di Green Bank|Green Bank]].

===Software===

Il [[software]] di calcolo distribuito di SETI@home può essere eseguito sia come [[Salvaschermo|screensaver]] sia continuamente mentre l'utente è aal lavoro, utilizzando la potenza di elaborazione che altrimenti sarebbe inutilizzata.

La prima piattaforma software, ora denominata “SETI@home Classic” è stata utilizzata dal 17 maggio 1999 al 15 dicembre 2005. Questo programma consentiva di eseguire solo SETI@home; fu sostituito da Berkeley Open Infrastructure for Network Computing (BOINC), il quale permette agli utenti di contribuire anche ad altri progetti di calcolo distribuito contemporaneamente all'esecuzione di SETI@home.

L'interruzione dell'uso della piattaforma SETI@home Classic ha reso inadatti alla partecipazione al progetto i computer [[Macintosh]] più vecchi che usano versioni pre-[[Mac OS]] X come sistema operativo.

Il 3 maggio 2006 sono state rilasciatepubblicate nuove unità di lavoro per una nuova versione di SETI@home chiamata “SETI@home Enhanced”. Dal momento che attualmente i computer hanno più potenza computazionale di quando il progetto iniziò, questa nuova versione è più sensibile di un fattore due per i segnali Gaussiani ed altri tipi di impulsi rispetto al software originale SETI@home (BOINC).

Questa nuova applicazione è stata ottimizzata per essere più veloce su alcune unità di lavoro rispetto a versioni precedenti. Tuttavia, alcune unità di lavoro (le migliori, scientificamente parlando) saranno significativamente più lunghe.

Inoltre, alcune distribuzioni delle applicazioni di SETI@home sono state ottimizzate perattraverso particolariestensioni tipicome dile CPU.SSEx Esseo sonole indicate come “eseguibili ottimizzati”AVX, e sono più veloci su sistemi che includonosupportano quelquesto tipo di CPU. A partire dal 2007, molte di queste applicazioni sono state ottimizzate per i processori [[Intel]] (ed i loro rispettivi set di istruzioni)estensioni.

I risultati dell'elaborazione dati sono normalmente trasmessi automaticamente quando il computer è riconnesso ad internet; può essere anche impostato che si connetta ad internet quando ne ha bisogno.

Un secondo software adottato dal progetto è [[Astropulse]], utilizzato per rilevare altre sorgenti come pulsar ad alte velocità di rotazione, esplosioni primordiali di buchi neri o fenomeni astrofisici non ancora conosciuti. La distribuzione delle unità di lavoro che utilizzano Astropulse è iniziata a metà luglio 2008 per i computer con maggiore capacità di calcolo.

'''GPU'''

Seti@home è stato uno dei primi progetti a far uso delle [[GPGPU|gpu]] (schede video) dei volontari attraverso un client sia [[CUDA|Cuda]] che [[OpenCL]]: questo ha permesso un aumento esponenziale della potenza computazionale a disposizione.

'''Android'''

Da qualche anno il progetto supporta anche il calcolo su dispositivi android (come smartphone e tablet) e su dispositivi all-in-one (come Raspberry). La poca potenza di calcolo messa a disposizione singolarmente da questi apparati viene compensata dall'alto numero degli apparati stessi e dal loro basso costo, rispetto ad un computer completo.

==Statistiche==

Con più di 5,2 milioni di partecipanti in tutto il mondo, SETI@home si attesta come il progetto di calcolo distribuito con attualmente più partecipanti. Dal suo lancio il 17 maggio 1999, il progetto ha sviluppato oltre 2 milioni di anni di tempo di elaborazione. Il 26 settembre 2001 aveva svolto un totale di 10^²¹ operazioni in [[Numero in virgola mobile|virgola mobile]]. Come detto in precedenza è riconosciuta dal [[Guinness World Records]] come il più grande calcolo nella storia. Con più di 278,832152˙832 computer attivi in 234 paesi, al 1712 novembre 20092017 SETI@home ha la capacità di calcolo di 769994 [[FLOPS|TeraFLOPS]]. Come confronto, Cray Jaguar, il quale al 26 settembre 2009 è ilnella [[supercomputerTOP500]], piùsi veloceposizionerebbe alintorno mondo,alla raggiunge120ª 2331 TeraFLOPSposizione.

===Aspetto competitivo===

Gli utenti di SETI@home hanno iniziato velocementepresto a competere con gli altri in termini di numero di unità di lavoro completate. Sono state create squadre per unire gli sforzi di più utenti individuali. La competizione è continuata e si è allargata con l'introduzione di BOINC.

Come in ogni competizione, sono stati fattirilevati tentativi perdi [[gaming the system|ingannare il sistema]] deifacendosi attribuire crediti per lavoro che non è statomai eseguito. Per combattere gliquesto fenomeno di inganni''cheating'', il sistema di SETI@home invia ogni unità di lavoro a più computer, un valore noto come “replica iniziale” (attualmente 2). I crediti sono concessi solo perquando ognitutte le unità di lavoro ritornatauguali sono restituite {{chiarire|una volta che il numero minimo di risultati è ritornato ede il numero dei risultati raggiunge un valore conosciuto come “quorum minimo” (attualmente 2)}}.

Se, a causa di erroriimbrogli (presentazione di calcolodati “falsi”) o imbroglidi presentandoerrori datidi “falsi”calcolo, i risultati non sono d'accordocollimano, unità di lavoro identiche vengono spedite altreper unitàl'elaborazione diad lavoroaltri identicheutenti, finché non viene raggiunto il quorum minimo. I crediti finali concessi a tutte le macchine che inviano un risultato corretto sono gli stessi, e sono pari al numero di crediti più basso richiesto da ogni macchina. I crediti richiesti da ogni macchina per la stessa unità di lavoro spesso variavariano a causa di differenze molto piccole dell'aritmetica in virgola mobile di diversi processori.

Alcuni utenti hanno installato ed eseguito SETI@home nei computer sul loro posto di lavoro (un atto conosciuto come “Borging”“borging”, dopo ldall'assimilazione guidata daidei [[Borg (Star Trek)|Borg]] di [[Star Trek]]). In alcuni casi, utenti di SETI@home hanno utilizzato indebitamente risorse aziendali per guadagnare unità di lavoro, e si conoscono almeno due individuicasi sonodi statipersone licenziatilicenziate per aver eseguito SETI@home nel sistema di produzione aziendale.

Altri utenti, invece, accumulano larghe quantità di computer insieme per creare delle vere e proprie “SETI“[[Server farms”farm|SETI farm]]”, leche, qualidi tipicamentesolito, consistono innel raggruppamento di un gran numero di computer formaticostituiti solamentesolo da [[scheda madre]], [[CPU]], [[RAM]] ede [[alimentatore elettrico|alimentatore]], disposti su scaffali e, che eseguono il calcolo su piattaforme [[Linux]] o vecchie versioni di [[Windows]].

==Minacce al progetto==

Line 77 ⟶ 86:

===Possibile chiusura dell'osservatorio di Arecibo===

AttualmenteStoricamente, SETI@home si procuraè sempre procurato i dati dall'osservatorio di Arecibo, impianto gestito dal National Astronomy ad Ionosphere Center ed amministrato dalla [[Cornell University]]. Il budget in calo per l'osservatorio ha causato una carenza di fondi non risollevati da altre fonti come donatori privati, [[NASA]], altre istituzioni di ricerca straniere, oppure organizzazioni private non-profit come SETI@home.

La [[National Science Foundation]] haaveva chiaritostabilito chela Arecibo chiuderàchiusura nel 2011 senza fondi, e quindi anche il flusso dei dati per SETI@home cesseràsarebbe cessato in questa situazione, ma ulteriori fondi hanno permesso la continuazione del progetto.

Negli anni successivi la [[National Science Foundation|NSF]] anche a seguito della riduzione dell'utilità del piatto ha ridotto drasticamente<ref>{{Cita web |url=https://www.nsf.gov/mps/ast/env_impact_reviews/arecibo/final_rod_11152017.pdf |titolo=AST Facilities - Environmental Reviews - Arecibo Observatory |sito=nsf.gov |lingua=en |formato=pdf |accesso=26 novembre 2017}}</ref> i fondi ad Arecibo e ad altre strutture, considerando i futuri investimenti quali il [[Large Synoptic Survey Telescope]].

L'operatività del radiotelescopio è cessata a novembre 2020, a causa dei danni procurati da un terremoto a gennaio 2020 e dei successivi cedimenti strutturali, sino al crollo della parte sospesa della struttura il 1 dicembre 2020.

===Progetti alternativi di calcolo distribuito===

Quando fu lanciato il progetto c'erano pochi modi alternativi per donare computertempo timedi elaborazione ai progetti di ricerca. Tuttavia, ci sono adesso [[Lista dei progetti di calcolo distribuito|molti altri progetti]] che competono per queste risorse.

===Finanziamenti===

Attualmente non ci sono fondi governativi per le ricerche di SETI, ed i fondi privati sono sempre limitati. Il Berkeley Space Science Lab ha trovato il modo di lavorare con solo un piccolo budget ed il progetto ha ricevuto donazioni che hanno consentito di andare ben oltre la sua durata originaria, ma ancora il progetto deve competere per i limitati fondi con altri progetti scientifici spaziali.

Annualmente vengono lanciate raccolte fondi per aiutare il progetto a sostenere i costi vivi delle attrezzature di ricerca.

Il 16 dicembre 2007 SETI ha dichiarato la sua modesta situazione finanziaria e per questo ha sollecitato donazioni per 476.000$ necessari per continuare nel 2008.

===Client non ufficiali===

Molti singoli individui ed aziende hanno fatto cambiamenti non ufficiali alla parte distribuita del software per provare ad ottenere risultati più velocemente, ma questo ha compromesso l'integrità di tutti i risultati. Come risultato, il software doveva essere aggiornato per rendere più facile la rilevazione di tali cambiamenti, e scoprire i client inaffidabili. Ciò significa che i client che restituiscono dati differenti e quindi errati non sono accettati, così si evita di corrompere il database dei risultati. BOINC si basa su un controllo incrociato per convalidare i dati ma i client inaffidabili devono essere identificati per evitare la situazione in cui due di questi restituiscano gli stessi dati invalidi e quindi corrompano il database. UnAlcune clientdelle noncaratteristiche ufficialeintrodotte moltodai popolareclient permettenon agliufficiali utenti(come, diper trarreesempio, vantaggiol'utilizzo dadi speciali caratteristiche dei loro processori comeestensioni [[Streaming SIMD Extensions|SSE]]), [[SSE2]],sono [[SSE3]]poi estate [[SSE4]]adottate perdagli avereapplicativi unaufficiali più veloce elaborazione. L'unico lato negativo di questo è che se l'utente selezione caratteristiche che il proprio processore non supporta, le probabilità di risultati corrotti o crash sale significativamente. Sono disponibili tools gratuiti che indicano qualie sono le caratteristiche supportatetuttora dalin processoreuso.

==Risultati==

Mentre il progetto non ha rilevato alcun segnale ETI, ha invece identificato molti obiettivi candidati (posizioni nel cielo), dove i picchi in intensità non sono facilmente spiegabili come rumore, per ulteriori analisi. Il segnale candidato maggiormente significante è stato annunciato il 1º settembre 2004, e chiamato [[Sorgente radio SHGb02+14a]].

L'astronomo Seth Shostak ha affermato nel 2004 che si aspetta di ottenere un segnale e la prova conclusiva di un contatto alieno tra il 2020 ed il 2025, sulla base dell'[[equazione di Drake]]. Questo implica che uno sforzo prolungato può portar beneficio a SETI@home, nonostante gli anni di attività senza successo nella rilevazione di segnali ETI. Mentre il progetto non ha raggiunto lo scopo di trovare intelligenze extra terrestri, ha provato alla comunità scientifica che i progetti di calcolo distribuito possono essere accolti come valido strumento di analisi, che spesso batte i più grandi supercomputer.

La grande quantità di dati raccolti, d'altro canto, ha permesso di svolgere ricerche scientifiche riguardanti, per esempio, la [[radiazione cosmica di fondo]] dell'universo o la catalogazione di oggetti stellari.

Mentre il progetto non ha raggiunto lo scopo di trovare intelligenze extra terrestri, ha provato alla comunità scientifica che i progetti di calcolo distribuito possono essere accolti come valido strumento di analisi, che spesso batte i più grandi supercomputer. Tuttavia, non è stato ancora dimostrato che l'ordine di grandezza in eccesso dei computer utilizzati, molti fuori casa, (l'intento originale era di usare 50.000&nbsp;– 100.000 personal computer) abbia giovato scientificamente al progetto.

==Note==

* Carrigan, Richard A., Jr. (2003). "The Ultimate Hacker: SETI Signals May Need to Be Decontaminated". Astronomical Society of the Pacific: 519.

* Sample, Ian (2005). "[http://technology.guardian.co.uk/news/story/0,16559,1650296,00.html Scientists be on guard...]". Guinness World Records. The Guardian. Retrieved 2005-11-25.

<references/>

==Voci correlate==

* [[Calcolo distribuito]]

* [[Lista dei progetti di calcolo distribuito]]

* [[Citizen science]]

* [[SETI]]

* [[Produzione paritaria]]

== Altri progetti ==

{{Interprogetto}}

{{interprogetto|commons=Category:SETI@Home}}

== Collegamenti esterni ==

* {{Collegamenti esterni}}

* {{en}} [http://www.seti.org SETI Institute]

* {{en}}cita [web|http://setiathomewww.berkeleyseti.edu org|SETI@home Classic]Institute|lingua=en}}

* {{cita web|https://setiathome.berkeley.edu/|SETI@home Classic|lingua=en}}

* {{en}}cita [httpweb|https://boinc.berkeley.edu/ |Berkeley Open Infrastructure for Network Computing (BOINC)]|lingua=en}}

{{Vita extraterrestre}}

{{portale|astronomia|software libero}}

[[Categoria:Astronomia osservativa]]

[[Categoria:BOINC]]

[[Categoria:Citizen science]]

[[ar:ستي@هاوم]]

[[az:SETI@home]]

[[bg:SETI@Home]]

[[ca:SETI@home]]

[[cs:SETI@home]]

[[de:SETI@home]]

[[en:SETI@home]]

[[eo:SETI@home]]

[[es:SETI@home]]

[[fa:اس‌ای‌تی‌آی@هم]]

[[fi:SETI@home]]

[[fr:SETI@home]]

[[he:SETI@home]]

[[ja:SETI@home]]

[[ko:SETI@home]]

[[lt:SETI@home]]

[[nl:SETI@home]]

[[nn:SETI@home]]

[[no:SETI@home]]

[[pl:SETI@home]]

[[pt:SETI#SETI@HOME]]

[[ru:SETI@home]]

[[sk:SETI@home]]

[[th:SETI@home]]

[[tr:SETI@home]]

[[zh:SETI@home]]