SETI@home

SETI@Home
Логотип программы SETI@Home
Скриншот программы SETI@Home
Тип Распределённые вычисления
Разработчик Калифорнийский университет в Беркли
Языки интерфейса Многоязычная, включая русский
Первый выпуск 17 мая 1999
Аппаратная платформа Кроссплатформенное программное обеспечение
Последняя версия 7.6.22 (30 декабря 2015)
Тестовая версия 7.2.42 (28 февраля 2014)
Состояние Завершен
Лицензия LGPL (как часть BOINC)
Сайт setiathome.berkeley.edu
Логотип Викисклада Медиафайлы на Викискладе

SETI@home (от англ. Search for Extra-Terrestrial Intelligence at Home — поиск внеземного разума на дому́) — научный некоммерческий проект добровольных вычислений на платформе BOINC, созданный исследовательским центром SETI при Калифорнийском университете в Беркли, использующий свободные вычислительные ресурсы на компьютерах добровольцев[1] для анализа радиосигналов, полученных проектом SETI. Проект поддерживается лабораторией космических наук Калифорнийского университета в Беркли и является частью всемирных инициатив SETI.

SETI@home был впервые представлен широкой общественности 17 мая 1999 года[2][3][4]. Он занял на тот момент третье по масштабу место среди ведущихся на тот момент исследований, использующих распределенные вычисления через Интернет, после проекта поиска простых чисел Мерсенна, запущенного в 1996 году и поддержанного distributed.net в 1997 году. Наряду с MilkyWay@home и Einstein@Home это третий крупный проект такого типа, исследующий явления межзвездного пространства как свою основную цель.

За 20 лет работы проекта были обработаны все имеющиеся данные. 31 марта 2020 года SETI@home прекратил рассылать пользователям новые задания. Проект заморожен[5][6].

O проекте

Схематичное изображение процесса анализа радиосигнала

Один из подходов поиска внеземных цивилизаций SETI Radio Searches[7], использует радиотелескопы для поиска узкополосных радиосигналов из космоса. Предположительно, внеземная цивилизация будет использовать радиосвязь (земные радиостанции можно поймать из ближайших звёздных систем на хороший приёмник). Если в радиосигнале будут периодически повторяющиеся элементы, их будет несложно обнаружить, рассчитав для записи с радиоприёмника преобразование Фурье. Эти повторяющиеся сигналы предположительно должны иметь искусственную природу и, соответственно, их обнаружение косвенно подтвердит присутствие внеземной технологии. Сигналы, получаемые радиотелескопом, преимущественно состоят из шума, производимого небесными объектами, радиоэлектроникой, спутниками, телевизионными вышками и радарами. Современные проекты по ПВР (Поиск Внеземного Разума или SETI) в радиодиапазоне используют цифровые технологии для анализа данных. Для Radio SETI требуется невероятная вычислительная мощность, потому что расчёт преобразования Фурье — крайне ресурсоёмкая задача, а в данном случае она помножена на огромное количество поступающей информации.

Научные исследования

Двумя исходными целями SETI@home являлись:

  • проделать полезную научную работу, поддерживая наблюдательный анализ поиска разумной внеземной жизни;
  • доказать жизнеспособность и практичность концепции добровольных вычислений.

Считается, что вторая из этих целей целиком и полностью достигнута. В настоящее время среда BOINC, разработанная на основе SETI@home, обеспечивает поддержку многих проектов, требующих интенсивных вычислений, по широкому кругу дисциплин.

Первая из этих целей до сих пор не достигнута и не дала окончательных результатов: SETI@home не было собрано никаких доказательств сигналов внеземного разума. Однако исследования продолжаются, основываясь на той идее, что используемый наблюдательный метод корректен. В остальной части этой статьи речь идет конкретно о первоначальных наблюдениях и анализе SETI@home. Подавляющее большинство неба (более 98%) еще предстоит исследовать, и каждая точка в небе должна многократно исследоваться, если есть минимальный шанс обнаружения искомого сигнала.

Детали анализа

SETI@home ищет возможные доказательства радиосигналов от внеземного разума, используя данные наблюдений с радиотелескопа Аресибо и телескопа Грин-Бэнк[8]. Необходимые данные собираются в фоновом режиме, в то время как сами телескопы используются для других научных программ. Данные, получаемые с облучателя[9] радиотелескопа, записываются с высокой плотностью на магнитную ленту (заполняя примерно одну 35-гигабайтную DLT плёнку в день).

Затем данные разбиваются на мелкие фрагменты по частоте и времени и анализируются программным обеспечением в поиске любых сигналов - вариаций, которые нельзя отнести к шуму, и, следовательно, содержащих информацию. При обработке данные с каждой ленты разбиваются[10] на 33000 блоков по 1049600 байт, что составляет 1,7 секунды времени записи с телескопа. Затем 48 блоков конвертируются в 256 заданий на расчёт, которые рассылаются не менее чем на 1024 компьютера участников проекта.

Используя распределенные вычисления, SETI@home отправляет миллионы фрагментов данных для анализа на локальные домашние компьютеры, а затем эти компьютеры сообщают о результатах. После обработки результаты передаются компьютером участника проекта в Space Sciences Laboratory (SSL) Калифорнийского университета, Беркли (США), с помощью программного обеспечения BOINC.

Каждый пользователь персонального компьютера, имеющий доступ к Интернету, может подключиться к проекту (такой подход даёт беспрецедентную вычислительную мощность, обусловленную большим количеством компьютеров, участвующих в обработке данных). Таким образом, сложная проблема анализа данных сводится к разумному использованию заемных компьютерных ресурсов с помощью большого интернет-сообщества.

Программное обеспечение ищет пять типов сигналов, отличающих их от шума[11]:

  • сигналы с пиками в спектрах мощности;
  • сигналы с гауссовыми кривыми мощности передачи, возможно представляющими главный лепесток диаграммы основного луча радиоисточника;
  • сигналы с триплетами - тремя пиками мощности подряд;
  • импульсные сигналы, которые могут представлять собой узкополосную цифровую передачу;
  • сигналы особой формы, обнаруженной с помощью автокорреляционной функции.

Существует много вариантов, как на сигнал внеземного разума может повлиять межзвездная среда, а также движение источника его происхождения по отношению к Земле. Таким образом, потенциальный «сигнал» обрабатывается многими способами (хотя и не абсолютно всеми методами обнаружения или сценариями), чтобы обеспечить наивысшую вероятность отличить его от мерцающего шума, уже присутствующего во всех направлениях космического пространства. Например, другая планета скорее всего будет двигаться со скоростью и ускорением по отношению к Земле, и это будет сдвигать частоту потенциального «сигнала». Проверка на это путём обработки "сигнала" в некоторой степени выполняется SETI@home.

Процесс несколько напоминает настройку радио на различные каналы, при этом необходимо просматривать измеритель силы сигнала. Если сила сигнала растет, это обращает на себя внимание. Технически оно включает большое количество обработки цифрового сигнала, в основном дискретными преобразованиями Фурье при различной линейно-частотной модуляции.

История

В предыдущих проектах SETI Radio Searches[12] использовались специализированные суперкомпьютеры, установленные на радиотелескопах и анализировавшие огромный объём поступающей информации. В 1994 году[13] Дэвид Геди работающий в программе SERENDIP Калифорнийского Университета в Беркли[14] предложил[15] использовать виртуальный суперкомпьютер, состоящий из большого числа имеющих доступ к Интернету ПК и организовал проект SETI@home для проверки этой идеи. Научный план который разработали Дэвид Геди и Крейг Каснофф из Сиэтла был представлен на пятой международной конференции по биоастрономии в июле 1996 года[16].

  • SETI@home стартовал 17 мая 1999 года. Эта версия, именуемая в дальнейшем SETI@Home Classic[17], просуществовала до 15 декабря 2005 года[2].
  • Далее проект продолжается только с использованием платформы BOINC.
  • С 3 мая 2006 года используется клиентское программное обеспечение SETI@home Enhanced[18].

Финансирование проекта

Финансирование проекта осуществляется в основном Planetary Society — некоммерческой организацией, деятельность которой посвящена исследованию солнечной системы и поиску внеземного разума. Planetary Society является основным спонсором SETI@home. Также большой вклад имеют пожертвования от участников проекта[19] и бесплатная передача оборудования от спонсоров. Кроме того, имеются финансовые поступления от продажи товаров с атрибутикой проекта[20].

Программное обеспечение

Клиентское программное обеспечение с открытым исходным кодом[21] (GNU General Public License) и каждый желающий участник проекта может внести свой вклад не только в расчёты, но и в разработку и тестирование программного обеспечения. Поэтому клиентское обеспечение доступно для большинства из популярных операционных систем и типов центральных процессоров.

Развитие проекта

На 17 декабря 2012 года проект является наиболее популярным на платформе BOINC[22] — общее число участников проекта составляет более 1,4 млн.[23]. По объёму вычислений в день по состоянию на 25 марта 2012 года проект занимал пятую позицию с результатом 1,6 петафлопс[источник не указан 4639 дней], уступая проектам Folding@home, PrimeGrid, DistRTGen и MilkyWay@home[источник не указан 4639 дней].

Результаты используются также и для исследования других астрономических объектов[24].

Дальнейшее продолжение и дополнение к проекту SETI@Home — проект AstroPulse (Beta)[25] (астрономические исследования).

Для AstroPulse (Beta) существуют клиенты[26] для GNU/Linux (в том числе и для 64-разрядных версий) и Microsoft Windows.

27 января 2009 года было объявлено о создании нового открытого проекта[27][28] — setiQuest[29]. Как ожидается, в его основу лягут исходные коды SETI@Home, которые должны быть переданы сообществу под открытой лицензией во втором квартале 2010 года.

Результаты

По основной цели определены лишь несколько необычных радиосигналов, наиболее известный из них — радиосигнал SHGb02+14a. Тем не менее, SETI@home показал научному сообществу, что проекты распределенных вычислений, использующие подключенные к Интернету компьютеры, могут быть эффективным инструментом анализа, даже превосходящим некоторые из лучших мировых суперкомпьютеров[30][31].

В июле 2008 года на платформе SETI@home был запущен смежный проект Astropulse, больше ориентированный на выявление других источников радиосигналов, например, первичных чёрных дыр, быстро вращающихся пульсаров и пока ещё неизвестных астрофизических явлений[32].

Было предложено, что одним из способов обнаружения быстрых радиовсплесков может стать использование подобных SETI@home проектов и архивов полученных ими данных[33].

Вызовы времени

У проекта есть определенные проблемы с жизнеспособностью.

Для любого длительного проекта существуют факторы, которые могут привести к его завершению. Некоторые из них описаны ниже.

Закрытие обсерватории Аресибо

SETI@home получало свои данные из обсерватории Аресибо, используемой Национальным астрономическим и ионосферным центром и управляемой SRI International.

Уменьшение операционного бюджета для обсерватории создало дефицит средств, которые не пополнялись из таких источников, как частные жертвователи, НАСА, другие зарубежные исследовательские учреждения и частные некоммерческие организации, такие как SETI@home. 10 августа 2020 года зеркало телескопа было серьёзно повреждено лопнувшим тросом, пробившим дыру длиной около 100 футов (30 метров). 7 ноября 2020 произошёл разрыв одного из основных стальных поддерживающих тросов телескопа, разбив часть зеркала. 19 ноября 2020 Национальный научный фонд объявил о закрытии главного радиотелескопа в обсерватории Аресибо. 1 декабря 2020 года радиотелескоп разрушился в результате износа несущей конструкции.

Тем не менее, в долгосрочной перспективе для многих участников проекта SETI, любой пригодный для использования радиотелескоп мог бы взять на себя функции Аресибо, так как все системы проекта могут быть географически перемещены.

Альтернативные проекты с распределенными вычислениями

Когда проект был только запущен, существовало всего несколько альтернатив передачи компьютерного времени исследовательским проектам. Однако сегодня существует много других проектов, которые конкурируют за это время.

Политика, ограничивающая использование компьютеров на предприятиях

В одном задокументированном случае человек был уволен за явное импортирование и использование программного обеспечения SETI@home на компьютерах, используемых для штата Огайо[34].

Финансирование

В настоящее время государственное финансирование исследований SETI отсутствует, а частное финансирование всегда ограничено. Лаборатория космических наук Беркли нашла способы работы с небольшими бюджетами, и проект получил пожертвования, позволяющие ему выйти далеко за рамки своей первоначальной запланированной продолжительности, но ему по-прежнему приходится конкурировать за ограниченные средства с другими проектами SETI и другими проектами в области космической науки.

В заявлении 16 сентября 2007 года о пожертвованиях SETI@home публику проинформировали о скромных средствах, на которые существует проект, и призвали собрать пожертвования в размере 476 000 долларов США, необходимые для продолжения деятельности в 2008 году.

Неофициальное программное обеспечение

Ряд частных лиц и компаний внесли неофициальные изменения в распределенную часть программного обеспечения, чтобы попытаться получить более быстрые результаты, но это скомпрометировало целостность всех результатов[35]. В результате программное обеспечение должно было быть обновлено, чтобы было легче обнаружить такие изменения и обнаружить ненадежных клиентов. BOINC будет работать на неофициальных клиентах; однако клиенты, которые возвращают разные и, следовательно, некорректные данные, не допускаются, и так предотвращается повреждение базы данных результатов. BOINC полагается на перекрестную проверку для проверки данных[36], при этом ненадежных клиентов нужно идентифицировать, чтобы избежать ситуаций, когда два из них сообщают одни и те же недопустимые данные и, следовательно, повреждают базу данных. Очень популярный неофициальный клиент (lunatic) позволяет пользователям использовать специальные функции, предоставляемые их процессорами, такими как SSE, SSE2, SSE3, SSSE3, SSE4.1 и AVX, чтобы обеспечить более быструю обработку. Единственным недостатком этого является то, что если пользователь выбирает функции, которые их процессор или процессоры не поддерживают, шансы на плохие результаты и сбои значительно возрастают. Инструменты, находящиеся в свободном доступе (такие как CPU-Z), могут сообщить пользователям, какие функции поддерживаются их процессорами.

Сбои оборудования и ошибки базы данных

SETI@home сегодня - это тестовая площадка для дальнейшей разработки не только BOINC, но и других технологий аппаратного и программного обеспечения. Учитывая нагрузки SETI@home, эти экспериментальные технологии могут быть более сложными, чем ожидалось, поскольку базы данных SETI не имеют типичных учетных и коммерческих данных или подобных структур. Использование нетипичных баз данных часто приводит к большим накладным расходам на обработку и к риску повреждения базы данных при сбое в её работе. Аппаратные средства, программное обеспечение и сбои базы данных могут вызвать (и вызывают) коллапсы при участии в проекте.

Проект приходилось несколько раз отключать, чтобы перейти на новые базы данных, способные обрабатывать более массивные наборы данных. Аппаратный сбой может оказаться существенной причиной прекращения проекта, поскольку такой сбой часто сочетается с повреждением базы данных.

Фильмография

  • «Через „Кротовую нору“ с Морганом Фрименом. Мы одни или нет?» (англ. Through the Wormhole with Morgan Freeman. Are We Alone?) — научно-популярный фильм, снятый Discovery в 2010 г.

См. также

Примечания

  1. Правила и политика SETI@home. Дата обращения: 19 августа 2006. Архивировано 20 августа 2006 года.
  2. 1 2 SETI@home Classic In Memoriam. Дата обращения: 31 марта 2007. Архивировано 8 марта 2007 года.
  3. ET, phone SETI@home! (1 октября 2006). Дата обращения: 17 августа 2018. Архивировано из оригинала 1 октября 2006 года.
  4. APOD: May 17, 1999 - How to Search for Aliens. apod.nasa.gov. Дата обращения: 17 августа 2018. Архивировано 3 марта 2018 года.
  5. For 21 years, millions of people helped a university search for alien life. Now it's time to analyze the results. Дата обращения: 13 апреля 2020. Архивировано 22 апреля 2020 года.
  6. SETI@home hibernation. Дата обращения: 20 марта 2020. Архивировано 8 марта 2020 года.
  7. The Planetary Society, Проекты SETI Radio Searches. Дата обращения: 30 марта 2007. Архивировано из оригинала 18 февраля 2007 года.
  8. Berkeley SETI (англ.). seti.berkeley.edu. Дата обращения: 17 августа 2018. Архивировано 31 июля 2018 года.
  9. Science status page. Дата обращения: 30 марта 2007. Архивировано 22 марта 2007 года.
  10. Server status page. Дата обращения: 30 марта 2007. Архивировано 24 марта 2007 года.
  11. About SETI@home page 4. seticlassic.ssl.berkeley.edu. Дата обращения: 17 августа 2018. Архивировано из оригинала 9 сентября 2019 года.
  12. The Planetary Society, История SETI
  13. Компьютер на службе науки, интервью директора SETI@Home и BOINC Дэвида П. Андерсона Архивировано 30 августа 2011 года.
  14. The UC Berkeley SETI Program, SERENDIP (Search for Extraterrestrial Radio Emissions from Nearby Developed Intelligent Populations) Архивировано 5 сентября 2011 года.
  15. Предложение об организации SETI@home. Дата обращения: 7 сентября 2006. Архивировано 21 декабря 2008 года.
  16. Ильин Ю. SETI для внеземного разума: 24 часа на поиски\\[[MEMBRANA]], 12 марта 2003. Дата обращения: 30 августа 2011. Архивировано из оригинала 7 октября 2011 года.
  17. SETI@Home Classic. Дата обращения: 7 сентября 2006. Архивировано из оригинала 1 сентября 2006 года.
  18. SETI@home Enhanced. Дата обращения: 30 марта 2007. Архивировано 16 февраля 2007 года.
  19. SETI@home Donation History Since 1 Apr 2008. Дата обращения: 15 сентября 2006. Архивировано 23 апреля 2006 года.
  20. t shirts seti cover up at setiathome-store.com Архивная копия от 4 января 2012 на Wayback Machine[неавторитетный источник] (недоступная ссылка с 22-11-2015 [3311 дней])
  21. Porting and optimizing SETI@home. Дата обращения: 31 марта 2007. Архивировано 22 марта 2007 года.
  22. BOINCstats/BAM! Дата обращения: 18 декабря 2013. Архивировано 22 октября 2013 года.
  23. Детальная статистика SETI@Home. Дата обращения: 18 декабря 2013. Архивировано 21 декабря 2013 года.
  24. Архивированная копия. Дата обращения: 15 сентября 2006. Архивировано из оригинала 11 ноября 2005 года.
  25. SETI@home/AstroPulse Beta. Дата обращения: 15 сентября 2006. Архивировано 2 сентября 2006 года.
  26. Applications. Дата обращения: 29 марта 2007. Архивировано 1 апреля 2007 года.
  27. Join the Quest | Seti Quest. Дата обращения: 31 января 2010. Архивировано 31 января 2010 года.
  28. SETI переходит в open source / Open source / Хабрахабр. Дата обращения: 30 сентября 2016. Архивировано 7 августа 2016 года.
  29. Homepage | Seti Quest. Дата обращения: 31 января 2010. Архивировано 1 февраля 2010 года.
  30. "BOINC combined - Credit overview" Архивная копия от 22 января 2013 на Wayback Machine. BOINCstats
  31. Sullivan, et al.: Seti@Home" Архивная копия от 21 декабря 2008 на Wayback Machine. Seticlassic.ssl.berkeley.edu.
  32. Astropulse FAQ. Setiathome.berkeley.edu. Дата обращения: 17 мая 2009. Архивировано 29 апреля 2009 года.
  33. Lorimer D., Bailes M., McLaughlin M. [et al.] A bright millisecond radio burst of extragalactic origin (англ.). Australia Telescope National Facility (октябрь 2007). Дата обращения: 2 июня 2014. Архивировано 16 ноября 2020 года.
  34. O'Reilly Media - Technology and Business Training (англ.). www.oreillynet.com. Дата обращения: 17 августа 2018. Архивировано 13 мая 2013 года.
  35. "The SETI@Home Problem". archive.is. 2012-07-15. Архивировано 15 июля 2012. Дата обращения: 17 августа 2018.
  36. SecurityIssues – BOINC. boinc.berkeley.edu. Дата обращения: 17 августа 2018. Архивировано 5 июня 2011 года.

Ссылки