Yoyo@casa

yoyo@casa
Plataforma	BOINC
Tamaño de descarga de software	4.5 MB (MUÓN)
Tamaño cargado de datos de trabajo	85 KB (MUÓN)
Cantidad de datos de trabajo enviados	1 KB (MUÓN)
Espacio en disco	20 MB (MUÓN)
Cantidad de memoria utilizada	11 MB (MUÓN)
interfaz gráfica de usuario	ninguno (solo protector de pantalla)
Tiempo promedio de cálculo de tareas	27-43 horas
plazo	5-7 días (MUON)
Posibilidad de usar GPU	No

yoyo@home es un proyecto de computación voluntario adaptado para computar en la plataforma BOINC (Wrapper). Lanzado con el apoyo de la comunidad Rechenkraft.net eV El proyecto actualmente incluye 5 subproyectos [1] :

ECM es un proyecto para factorizar números enteros de varios tipos utilizando curvas elípticas [2] .
Perfect Cuboid es un proyecto para encontrar el cuboide perfecto . El proyecto también busca dos tipos de cuboides casi perfectos (cuboides en los que 6 de las 7 dimensiones son enteras): Borde (un cuboide con solo una cara no entera) y Cara (un cuboide con solo una diagonal frontal no entera) ), así como algunos tipos de cuboides en números complejos: cuboide complejo ideal, cuboides "Crepúsculo" (cuboides en los que solo las caras son números complejos), cuboides "Midnight" (cuboides en los que las caras y las diagonales frontales son números complejos). La búsqueda se realiza a partir de una diagonal espacial entera con una longitud de 10 13 a 2 63 (el límite teórico de la aplicación). El primer objetivo del subproyecto es 2 50 .
evolution@home [3] es un proyecto en el campo de la investigación evolutiva ( ADN humano ).
OGR-28 (del inglés Optimal G olomb R uler ) es un proyecto para encontrar reglas óptimas de Golomb utilizando el cliente de proyecto distribuido.net .

Proyectos completados:

Euler es un proyecto para buscar soluciones a una ecuación diofántica de la forma [4] (generalización de la conjetura de Euler , caso ). $a^{6}+b^{6}=c^{6}+d^{6}+e^{6}+f^{6}+g^{6}$ $(6,2,5)$
Odd Weird Search es un subproyecto para encontrar números impares impares . Por el momento, no se conoce tal número, pero no se ha probado que no existan. Durante la verificación de números hasta el 10 17 , no se identificaron tales números, en el marco del subproyecto se tiene previsto verificar hasta el 10 21 .
Harmonious Trees [5] es un proyecto en el campo de la teoría de grafos , cuyo propósito es probar que cualquier árbol es un gráfico armónico [6] , es decir, permite tal comparación de etiquetas numéricas con vértices que para cualquier borde la suma módulo de etiquetas de vértices incidentes a él es única dentro del árbol [7] . En la actualidad, la validez de la afirmación se ha verificado para todos los árboles con 31 o menos vértices [8] . El subproyecto fue lanzado el 31 de julio de 2011 [9] . $0\l puntos N-1$ $N-1$
Muon [10] es un proyecto de simulación de un colisionador de muones que tiene como objetivo investigar las propiedades de los neutrinos . En el curso de los cálculos utilizando algoritmos genéticos [11] , se simula el proceso de bombardear un objetivo de tantalio en forma de varilla o anillo toroidal giratorio [12] con un haz de protones para obtener un flujo de piones y luego muones y neutrinos / antineutrinos [13] .

Los cálculos dentro del proyecto comenzaron en la plataforma BOINC en agosto de 2007. A partir del 5 de septiembre de 2013 [14] , participan en él 16.747 usuarios (61.094 ordenadores ) de 127 países, proporcionando una potencia de cálculo de 7,65 teraflops . Cualquiera que tenga una computadora conectada a Internet puede participar en el proyecto instalando en ella el programa BOINC .

Lista de subproyectos

Euler

El objetivo del subproyecto es encontrar soluciones a una ecuación diofántica que represente una generalización de la hipótesis de Euler , caso . Para la búsqueda de soluciones se utilizó el algoritmo propuesto [15] por D. Bernstein $\sum_{{i=1}}^{2}x_{i}^{6}=\sum_{{j=1}}^{5}y_{j}^{6}$ $(6,2,5)$ ( inglés DJ Bernstein ) y basado en el pequeño teorema de Fermat y el teorema de Euler-Fermat ( si ) con restricciones en los valores , donde primero se eligió igual a 117 649 y luego aumentó a 250 000. Los cálculos dentro del subproyecto comenzaron en abril 2010 [16] y se completaron el 26 de julio de 2011 [17] . Se dedicó un total de 810 GHz-años (2⋅10 19 FLOPS) de tiempo de cómputo en el cálculo (para el procesador AMD Phenom). Durante los cálculos, se encontraron 196 nuevas soluciones (actualmente se conocen un total de 377 soluciones, una lista completa de las cuales se da en [16] ). Ejemplos de soluciones encontradas dentro del proyecto son: $\left(x^{{p-1}}\equiv 1({\mbox{mod}}\,p)\right)$ $x^{{\varphi (m)))\equiv 1({\mbox{mod}}\,m)$ $MCD(x,m)=1$ $\{x_{i},y_{i}\}<N$ $norte$

191431^{6}+17593^{6}=157188^{6}+12015^{6}+52696^{6}+102648^{6}+179039^{6}

;

190177^{6}+124559^{6}=181611^{6}+102234^{6}+756^{6}+74669^{6}+154966^{6}

;

119314^{6}+55961^{6}=73662^{6}+27822^{6}+63588^{6}+98777^{6}+109886^{6}

; …

La más pequeña de las encontradas es la solución.

1117^{6}+770^{6}=1092^{6}+861^{6}+602^{6}+212^{6}+84^{6}

Para algunos otros casos especiales de generalización de la hipótesis de Euler , también se encontraron soluciones en el marco del proyecto EulerNet [18] .

MCE

ECM es un proyecto para factorizar números enteros de varios tipos usando curvas elípticas.

Muón

El objetivo principal del proyecto es apoyar el diseño de nodos individuales del colisionador de muones Neutrino Factory , cuya construcción está prevista para 2015 en el Reino Unido [19] [20] (hasta hace poco, los colisionadores de muones, como a diferencia de los electrónicos (ver Gran colisionador de electrones y positrones ) o hadrónicos (ver Gran colisionador de hadrones ), se caracterizaron por una luminosidad significativamente menor y, por lo tanto, no se implementaron en la práctica [21] ). Su objetivo principal es obtener haces de neutrinos concentrados e intensos (hasta 10 21 partículas por año [22] ), que se planea transmitir a través de la Tierra (debido a la baja capacidad de los neutrinos que participan solo en interacciones débiles para interactuar con la materia) a detectores remotos ubicados en otros continentes a una distancia de aproximadamente 3500-7500 km [22] .

Los siguientes son considerados como posibles detectores de neutrinos [22] :

Laboratorio Nacional de Gran Sasso , 7400 km, Italia ;
Norsaq , 3400 km, Groenlandia ;
Pikara, 7630 km;
Gaspe, 4280 km, Canadá ;
Baksan , 3375 km, Rusia ;
Planta Piloto de Aislamiento de Residuos , 7513 km , EE.UU.

También se está considerando la posibilidad de construir un colisionador de muones en el laboratorio Fermilab de EE.UU. [23] .

En el curso de los experimentos, se planea estudiar las oscilaciones de neutrinos (transformaciones mutuas de neutrinos de electrones, muones y tau), que luego deberían contribuir al refinamiento de la masa de neutrinos (ahora solo se conocen los límites superiores del valor de masa: ver el Modelo Estándar ) y el mecanismo de violación de la invariancia de CP [24] . Es posible que los experimentos demuestren que los neutrinos son taquiones [25] . El interés por estudiar las propiedades de los neutrinos se debe al hecho de que los neutrinos son una de las partículas más comunes del Universo (aproximadamente una cuarta parte de todas las partículas existentes son neutrinos), y su masa debería tener una fuerte influencia en la evolución del Universo. desde el Big Bang . Además, para mejorar aún más el modelo estándar, se necesita una medición precisa de las propiedades de las partículas para probar las predicciones de teorías alternativas al modelo estándar .

El costo de construir el acelerador Neutrino Factory se estima en $ 1.9 mil millones. Además de estudiar las propiedades de los neutrinos, los haces de protones obtenidos en el acelerador pueden utilizarse, por ejemplo, para neutralizar residuos radiactivos (convertir isótopos radiactivos en isótopos más estables). También se puede utilizar una corriente densa de protones para las necesidades de la microscopía atómica tridimensional ( ing. Microscopía atómica 3D ). Los haces de muones resultantes se pueden utilizar como base para un colisionador de muones capaz de llevar a cabo colisiones de muones de alta energía (20-50 GeV [22] ), similar a cómo los protones o iones de átomos de plomo colisionan en el Gran Colisionador de Hadrones. . Según una serie de indicadores, el colisionador de muones puede ser más eficiente que los colisionadores de electrones o hadrones existentes [21] .

Durante el lanzamiento del programa en la computadora, se simula el proceso de golpear el objetivo con un haz de protones, durante el cual surge una corriente de piones, que luego se convierten en muones:

\pi ^{+}\a \mu ^{+}+\nu _{\mu},~~~\pi ^{-}\a \mu ^{-}+{\bar {\nu ))_{\mu}.

Algunos de los muones entran en otras etapas de aceleración y es deseable obtener el flujo de muones más denso posible. Además, el haz de muones resultante ingresa al anillo acelerador con el propósito de almacenamiento temporal, donde los muones se descomponen en electrones , positrones y neutrinos utilizados para experimentos posteriores:

\mu ^{-}\to e^{-}+{\bar \nu }_{e}+\nu _{\mu},~~~\mu ^{+}\to e^{+}+ \nu _{e}+{\bar \nu}_{\mu}

Esta parte de la instalación es bastante complicada, ya que se requiere formar un haz de muones lo suficientemente denso hasta que se desintegren (la vida útil de los muones es de 2.2⋅10 −6 s) (a modo de comparación, el proceso de inyección, aceleración, limpieza y compresión de los haces en el LHC tarda al menos media hora [26] ). El rendimiento de esta etapa determina el rendimiento de la instalación, que consta de varias etapas aceleradoras, en su conjunto. El uso del programa le permite evaluar la eficiencia de la instalación y optimizarla aún más.

El proyecto está siendo coordinado por Stephen Brooks, miembro del Grupo de Haces Intensos del Laboratorio Rutherford-Appleton del Centro de Ciencia y Tecnología de Aceleradores (ASTeC ) del Reino Unido [ 27 ] . Una de las principales tareas del grupo es el desarrollo de modelos de software para la simulación de aceleradores de partículas cargadas .

evolution@home

Representa el primer y hasta ahora el único proyecto de computación distribuida para resolver la investigación evolutiva. Imita diferentes tipos de población y se centra en el análisis del ADN mitocondrial humano.

OGR-28

Un proyecto matemático destinado a encontrar reglas de Golomb óptimas , que se aplican en radioastronomía , cristalografía de rayos X y teoría de la comunicación . Los primeros gobernantes cuasi-óptimos de órdenes 1, 2,…, 8 fueron encontrados manualmente por Wallace C. Babcock en 1952 . Su optimización se demostró más tarde mediante enumeración (1967-1972). Se descubrieron nuevos candidatos para los rangos óptimos 9,10,…,19 mediante varios métodos matemáticos desde 1967 hasta 1984. Con búsqueda exhaustiva (1972-1994), muchos de ellos fueron confirmados, aunque OGR-9,13,15,16 se abrieron solo mediante búsqueda exhaustiva en una computadora. [28] La optimización de los candidatos conocidos para OGR-20, 21, 22, 23 fue probada por los participantes del proyecto abierto distribuido Golomb Rule Search [29] de 1997 a 1999. Después de la finalización de OGR-23, de mutuo acuerdo, la iniciativa y todos los desarrollos de la búsqueda de la regla de Golomb quedaron bajo el ala de distribution.net. En julio de 2000, el proyecto OGR-24 comenzó oficialmente en distribuido.net.

OGR-24: El 1 de noviembre de 2004, la optimización del gobernante Golomb de orden 24 descubierto en 1967 por John P. Robinson y Arthur J. Bernstein [30] fue confirmada por una búsqueda exhaustiva .
OGR-25: El 24 de octubre de 2008 se demostró la optimalidad de la regla de orden 25 descubierta por MD Atkinson y A. Hassenklover en 1984 [31] .
OGR-26: completado con éxito el 24 de febrero de 2009. Se confirma la regla encontrada por Atkinson y Hassenclover en 1984 [32] .
OGR-27: completado con éxito en 2014. La optimización ha sido probada.
OGR-28: en curso.

Arboles Armoniosos

Un proyecto matemático en el campo de la teoría de grafos, cuyo propósito es demostrar que cualquier árbol es un gráfico armonioso, es decir, permite tal comparación de etiquetas numéricas 0 ... N-1 a vértices que para cualquier borde, la suma módulo N-1 de etiquetas de vértices incidentes a él es única dentro del árbol.

Búsqueda extraña extraña

El proyecto de encontrar números extraños en el rango de a . $10^{{21}}$ $10^{{28}}$

Logros científicos

encontró 196 nuevas soluciones para la generalización de la hipótesis de Euler, caso , en el rango de valores de las variables hasta 250.000 [16] . $(6,2,5)$

Véase también

Notas

↑ Sitio web oficial del proyecto . Consultado el 25 de mayo de 2010. Archivado desde el original el 22 de septiembre de 2017. (indefinido)
↑ Factorizaciones encontradas dentro del proyecto ECM . Consultado el 25 de mayo de 2010. Archivado desde el original el 30 de abril de 2010. (indefinido)
↑ ¡Bienvenido a evolution@home y evolutionary-research! - evolution.ws (enlace no disponible) . Consultado el 25 de mayo de 2010. Archivado desde el original el 25 de agosto de 2006. (indefinido)
↑ Soluciones encontradas dentro del proyecto Euler . Consultado el 25 de mayo de 2010. Archivado desde el original el 8 de mayo de 2010. (indefinido)
↑ Arboles armoniosos/en - Rechenkraft . Consultado el 23 de mayo de 2022. Archivado desde el original el 28 de noviembre de 2020. (indefinido)
↑ Gráfico armonioso - de Wolfram MathWorld . Consultado el 1 de agosto de 2011. Archivado desde el original el 21 de febrero de 2012. (indefinido)
↑ Etiquetado de gráficos | galiano | The Electronic Journal of Combinatorics (enlace no disponible) . Consultado el 1 de agosto de 2011. Archivado desde el original el 31 de enero de 2012. (indefinido)
↑ PDF para 1106.3490v1
↑ Archivo de noticias . Consultado el 27 de julio de 2011. Archivado desde el original el 13 de agosto de 2011. (indefinido)
↑ stephenbrooks.org: Diseño del acelerador de partículas distribuidas Muon1 . Consultado el 25 de mayo de 2010. Archivado desde el original el 1 de mayo de 2017. (indefinido)
↑ Política y P2P: Más información de Muon1 (enlace descendente) . Consultado el 3 de mayo de 2011. Archivado desde el original el 19 de agosto de 2011. (indefinido)
↑ Copia archivada (enlace no disponible) . Fecha de acceso: 31 de mayo de 2010. Archivado desde el original el 22 de noviembre de 2010. (indefinido)
↑ Resultados de la simulación de la obtención de un flujo de muones . Fecha de acceso: 25 de mayo de 2010. Archivado desde el original el 9 de enero de 2010. (indefinido)
↑ Estadísticas de BOINC | yoyo@home - Estadísticas detalladas . Consultado el 5 de septiembre de 2013. Archivado desde el original el 9 de agosto de 2013. (indefinido)
↑ Copia archivada . Consultado el 4 de agosto de 2011. Archivado desde el original el 7 de junio de 2011. (indefinido)
↑ 1 2 3 http://arxiv.org/pdf/1108.0462v1
↑ Archivo de noticias . Consultado el 27 de julio de 2011. Archivado desde el original el 13 de agosto de 2011. (indefinido)
↑ Cálculo de sumas mínimas iguales de potencias similares . Consultado el 23 de mayo de 2022. Archivado desde el original el 9 de diciembre de 2013. (indefinido)
↑ stephenbrooks.org: Información general . Consultado el 26 de mayo de 2010. Archivado desde el original el 20 de junio de 2010. (indefinido)
↑ Hoja de ruta de Neutrino Factory Archivado el 18 de octubre de 2006.
↑ 1 2 Introducción al Grupo de Estudio del Colisionador de Muones . Consultado el 31 de mayo de 2010. Archivado desde el original el 27 de mayo de 2010. (indefinido)
↑ 1 2 3 4 C. R. Prior. Anillos de almacenamiento de muones para una fábrica de neutrinos . Conferencia sobre aceleradores de partículas (PAC'09), Vancouver, Canadá, mayo de 2009. Archivado desde el original el 26 de abril de 2012. (indefinido)
↑ Fermilab | Colisionador de muones . Fecha de acceso: 13 de enero de 2011. Archivado desde el original el 22 de noviembre de 2010. (indefinido)
↑ W.-T. Weng, J. J. Berg, S. Brooks, R. Fernow, J. C. Gallardo, H. G. Kirk, N. Simos. Elección de los parámetros del controlador de protones para una fábrica de neutrinos . Actas de EPAC 2006, Edimburgo, Escocia (EPAC 2006). Archivado desde el original el 26 de abril de 2012. (indefinido)
↑ Muon1-30cuatrillones-20111229 . Consultado el 29 de octubre de 2017. Archivado desde el original el 7 de marzo de 2016. (indefinido)
↑ Flujo de trabajo de colisionador . Consultado el 13 de enero de 2011. Archivado desde el original el 12 de septiembre de 2011. (indefinido)
↑ ASTeC :: Centro de Ciencia y Tecnología Aceleradora (enlace inaccesible)
↑ Tabla de reglas Golomb (enlace descendente) . Consultado el 13 de noviembre de 2014. Archivado desde el original el 16 de abril de 2018. (indefinido)
↑ Búsqueda de regla Golomb
↑ distribuido.net: blogs del personal - 2004 - noviembre - 01
↑ distribuido.net: blogs del personal - 2008 - octubre - 25
↑ distribuido.net: blogs del personal - 2009 - febrero - 24

Enlaces

Lista de proyectos en la plataforma BOINC
Todos los equipos rusos (enlace inaccesible)
Todos los participantes rusos (enlace inaccesible)
Descripción del proyecto Muon en distribuido.ru
SJ Brooks. Optimización de formas de objetivos de producción de piones para la fábrica de neutrinos . Primera Conferencia Internacional de Aceleradores de Partículas (IPAC'10), Kioto, Japón, 24-28 de mayo de 2010. Archivado desde el original el 26 de abril de 2012. (indefinido)
C. Prior, J. J. Berg, M. Meddahi, Y. Mori. El Estudio de Diseño Internacional para una Fábrica de Neutrinos . proc. 11th European Particle Accelerator Conference, pp 2773-2775 (EPAC'08), Génova, Italia, 23-27 de junio de 2008. Archivado desde el original el 26 de abril de 2012. (indefinido)
C. Johnstone, F. Meot, G. H. Rees. Consideraciones generales de diseño de un anillo de almacenamiento de muones de alta intensidad para una fábrica de neutrinos . Actas de EPAC 2006, (EPAC'06), Edimburgo, Escocia, 26-30 de junio de 2006. Archivado desde el original el 26 de abril de 2012. (indefinido)
Shinji Machida. FFAGs como aceleradores de muones para una fábrica de neutrinos . Actas de EPAC 2006, (EPAC'06), Edimburgo, Escocia, 26-30 de junio de 2006. Archivado desde el original el 26 de abril de 2012. (indefinido)
G. H. Rees, C. Johnstone, F. Meot. Anillos de almacenamiento de muones de 20 - 50 GeV para una fábrica de neutrinos . 10th European Particle Accelerator Conference (EPAC'06), Edimburgo, Escocia, 26-30 de junio de 2006. Archivado desde el original el 26 de abril de 2012. (indefinido)
SJ Brooks. Estudios de Optimización Cuantitativa del Muon Front End para una Fábrica de Neutrinos . 9th European Particle Accelerator Conference (EPAC'04), Lucerna, Suiza, 05-09 de julio de 2004. Archivado desde el original el 26 de abril de 2012. (indefinido)
Descripción detallada del proyecto Fábrica de Neutrinos
http://www.isis.stfc.ac.uk/
http://www.hep.princeton.edu/mumu/NSFLetter/
http://elementy.ru/lib/430999
Los resultados de modelar el rendimiento de muones a la salida de varias etapas del acelerador en forma gráfica
Video del proceso de simulación de formación de haces de muones en YouTube
Linac900Removable6c2 con una eficiencia de rendimiento de muones del 3,89 % en YouTube

Discusión del proyecto en los foros:

Proyectos Voluntarios de Informática
Astronomía	Alberto@Home Asteroides@home Constelación Cosmología@casa einstein@casa Vía Láctea@home órbita@casa Búsqueda del planeta SETI@casa POGS de SkyNet
biología y medicina	Biblioteca bioquímica Cels@Inicio ComunidadTSC Correlizador Acoplamiento@Inicio DrugDiscovery@Inicio ADN@Home evo@casa evolución@casa FightAIDS@Home FightMalaria@Home Plegable en casa GPUGrid iGEM@Home Proyecto de celosía Malariacontrol.net Neurona@Home NRG Poema@Home predictor@casa Proteínas@Home RALPH@Inicio ARN mundo Rosetta@casa SIMAP@casa SimOne@casa Supervínculo@Technion Proyecto de investigación del cáncer de dispositivos unidos Volpex@UH fauna@casa
cognitivo	Sistema de Inteligencia Artificial MindModeling@Inicio
Climatizado	APS@Inicio Experimento de Cambio Climático de la BBC ClimaPredicción.net Proyecto de atribución estacional Quake Catcher Network - Monitoreo sísmico pradera virtual
Matemáticas	ABC@casa AQUA@casa Beal@Home Ajedrez960@home Conjetura de Collatz Convector distribuido.net Enigma@Home EulerNet GIMPS NFSNET Proyecto NQueens CamposNuméricos@Inicio OProyecto@Inicio PiHex red principal Ramsey@Inicio Número de cruce rectilíneo SAT@casa Búsqueda de colisión SHA-1 Graz SubconjuntoSuma@Inicio grieta del arco iris diecisiete o busto Rejilla de escritorio SZTAKI Proyecto WEP-M+2 Wieferich@Inicio VGTU@Inicio
Físico y técnico	ATLAS@Inicio BRAT@Inicio CuboidSimulación Eón Hidrógeno@Home Clásica de Leiden LHC@casa Magnetismo@casa µFluidos@casa Muon1DPAD NanoHive@Home SLinCA@Home solar@hogar Spinhenge@casa QMC@Inicio fuego cuántico
De múltiples fines	Cuadrícula de Almere CAS@Inicio EDGeS@Inicio Ibercivis Optima@home Cuadrícula de la comunidad mundial Yoyo@casa
Otro	África@HOME ERUCTAR DepSpid DIMES Ideologías@Home FreeHAL@home Gerasim@Inicio Piratas@Home RenderFarm@Inicio RND@casa Vigilancia en casa YAFU
Utilidades	BOINC gerente tecnología cliente-servidor sistema de crédito Envoltura WUProp