Yoyo@home

yoyo@home
Platform	BOINC
Software download størrelse	4,5 MB (MUON)
Jobdata indlæst størrelse	85 KB (MUON)
Mængden af sendt jobdata	1 KB (MUON)
Diskplads _	20 MB (MUON)
Brugt mængde hukommelse	11 MB (MUON)
GUI	ingen (kun pauseskærm)
Gennemsnitlig opgaveberegningstid	27-43 timer
deadline	5-7 dage (MUON)
Mulighed for at bruge GPU	Ingen

yoyo@home er et frivilligt databehandlingsprojekt tilpasset til databehandling på BOINC (Wrapper) platformen. Lanceret med støtte fra Rechenkraft.net eV -fællesskabet Projektet omfatter i øjeblikket 5 delprojekter [1] :

ECM er et projekt til at faktorisere heltal af forskellig art ved hjælp af elliptiske kurver [2] .
Perfect Cuboid er et projekt for at finde den perfekte cuboid . Projektet er også på udkig efter to typer af næsten perfekte cuboids (kuboider, hvor 6 ud af 7 dimensioner er heltal): Edge (en kuboid med kun en ikke-heltalsflade) og Face (en cuboid med kun en ikke-heltals frontdiagonal ), samt nogle typer af cuboider i komplekse tal: ideelle komplekse cuboid, "Twilight" cuboids (rummefelter, hvor kun flader er komplekse tal), "Midnight" cuboids (rummefelter, hvor flader og frontdiagonaler er komplekse tal). Søgningen udføres fra en rumlig heltalsdiagonal med en længde fra 10 13 til 2 63 (applikationens teoretiske grænse). Delprojektets første mål er 2 50 .
evolution@home [3] er et projekt inden for evolutionær forskning ( human DNA ).
OGR -28 (fra den engelske Optimal G olomb R uler ) er et projekt til at finde optimale Golomb-linealer ved hjælp af distributed.net - projektklienten .

Afsluttede projekter:

Euler er et projekt, der skal søge efter løsninger til en diofantisk ligning af formen [4] (generalisering af Euler-formodningen , kasus ). $a^{6}+b^{6}=c^{6}+d^{6}+e^{6}+f^{6}+g^{6}$ $(6,2,5)$
Odd Weird Search er et underprojekt til at finde ulige ulige tal . I øjeblikket kendes ikke et sådant antal, men det er ikke bevist, at de ikke eksisterer. Under verifikationen af numre op til 10 17 blev der ikke identificeret sådanne numre; inden for rammerne af delprojektet er det planlagt at kontrollere op til 10 21 .
Harmonious Trees [5] er et projekt inden for grafteori , hvis formål er at bevise, at ethvert træ er en harmonisk graf [6] , det vil sige, at det tillader en sådan sammenligning af numeriske etiketter til toppunkter, at for enhver kant sum modulo af mærker af hjørner, der falder ind dertil, er unik i træet [7] . På nuværende tidspunkt er gyldigheden af udsagnet verificeret for alle træer med 31 eller færre hjørner [8] . Delprojektet blev søsat den 31. juli 2011 [9] . $0\ldots N-1$ $N-1$
Muon [10] er et muonkollider- simuleringsprojekt, der har til formål at undersøge neutrinoers egenskaber . I løbet af beregninger ved hjælp af genetiske algoritmer [11] simuleres processen med at beskyde et tantalmål i form af en stang eller en roterende toroidring [12] med en protonstråle for at opnå en pionflux og derefter muoner og neutrinoer / antineutrinoer [13] .

Beregninger inden for projektet startede på BOINC-platformen i august 2007. Den 5. september 2013 [14] deltager 16.747 brugere (61.094 computere ) fra 127 lande i det, hvilket giver en computerkraft på 7,65 teraflops . Alle, der har en computer forbundet til internettet , kan deltage i projektet ved at installere BOINC -programmet på den .

Liste over delprojekter

Euler

Målet med delprojektet er at finde løsninger på en diofantligning, der repræsenterer en generalisering af Euler-hypotesen , case . For at søge efter løsninger brugte vi algoritmen foreslået [15] af D. Bernstein $\sum _{{i=1}}^{2}x_{i}^{6}=\sum _{{j=1}}^{5}y_{j}^{6}$ $(6,2,5)$ ( engelske DJ Bernstein ) og baseret på Fermats lille sætning og Euler-Fermat sætningen ( if ) med restriktioner på værdierne , hvor den først blev valgt lig med 117.649, og derefter steget til 250.000. Beregninger inden for delprojektet startede i april 2010 [16] og blev afsluttet den 26. juli 2011 [17] . I alt 810 GHz-år (2⋅10 19 FLOPS) computertid blev brugt på beregningen (for AMD Phenom-processoren). Under beregningerne blev der fundet 196 nye løsninger (i alt 377 løsninger kendes pt., hvoraf en komplet liste er givet i [16] ). Eksempler på løsninger fundet inden for projektet er: $\left(x^{{p-1}}\equiv 1({\mbox{mod}}\,p)\right)$ $x^{{\varphi (m)))\equiv 1({\mbox{mod}}\,m)$ $GCD(x,m)=1$ $\{x_{i},y_{i}\}<N$ $N$

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}

; …

Den mindste blandt de fundet er løsningen

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

For nogle andre specielle tilfælde af generalisering af Euler-hypotesen blev der også fundet løsninger inden for rammerne af EulerNet- projektet [18] .

ECM

ECM er et projekt, der skal faktorisere heltal af forskellig art ved hjælp af elliptiske kurver.

Muon

Hovedmålet med projektet er at støtte designet af individuelle noder af Neutrino Factory muon collider , som er planlagt til at blive bygget i 2015 i Storbritannien [19] [20] (indtil for nylig, muon collider, som i modsætning til elektroniske (se Large Electron-Positron Collider ) eller hadronic (se Large Hadron Collider ), var karakteriseret ved en væsentlig lavere lysstyrke og blev derfor ikke implementeret i praksis [21] ). Dens hovedmål er at opnå fokuserede intense neutrinostråler (op til 10 21 partikler om året [22] ), som er planlagt til at blive transmitteret gennem Jorden (på grund af den lave evne hos neutrinoer, der kun deltager i svage interaktioner til at interagere med stof) til fjerndetektorer placeret på andre kontinenter i en afstand på cirka 3500-7500 km [22] .

Følgende betragtes som mulige neutrino-detektorer [22] :

National Laboratory of Gran Sasso , 7400 km, Italien ;
Norsaq , 3400 km, Grønland ;
Pykara, 7630 km;
Gaspe, 4280 km, Canada ;
Baksan , 3375 km, Rusland ;
Waste Isolation Pilot Plant , 7513 km, USA .

Muligheden for at bygge en myonkollider på Fermilab- laboratoriet i USA overvejes også [23] .

I løbet af eksperimenterne er det planlagt at studere neutrino-oscillationer (gensidige transformationer af elektron-, myon- og tau-neutrinoer), som senere skulle bidrage til forfining af neutrinomassen (nu kendes kun øvre grænser for masseværdien - se standardmodellen ) og mekanismen for overtrædelse af CP-invarians [24] . Det er muligt, at eksperimenter vil bevise, at neutrinoer er tachyoner [25] . Interessen for at studere neutrinoers egenskaber er drevet af det faktum, at neutrinoer er en af de mest almindelige partikler i universet (ca. en fjerdedel af alle eksisterende partikler er neutrinoer), og deres masse burde have en stærk indflydelse på universets udvikling siden Big Bang . For yderligere at forbedre standardmodellen er der desuden behov for nøjagtig måling af partikelegenskaber for at teste forudsigelserne af alternative teorier til standardmodellen .

Omkostningerne ved at bygge Neutrino Factory-acceleratoren er anslået til 1,9 milliarder dollars. Ud over at studere neutrinoers egenskaber kan protonstråler opnået ved acceleratoren fx bruges til at neutralisere radioaktivt affald (gør radioaktive isotoper til mere stabile). En tæt strøm af protoner kan også bruges til behovene for tredimensionel atommikroskopi ( eng . 3D atommikroskopi ). De resulterende myonstråler kan bruges som grundlag for en myonkolliderer, der er i stand til at udføre kollisioner af højenergi-muoner (20-50 GeV [22] ), svarende til hvordan protoner eller ioner af blyatomer kollideres ved Large Hadron Collider . Ifølge en række indikatorer kan myonkollideren være mere effektiv end de eksisterende elektron- eller hadronkolliderer [21] .

Under lanceringen af programmet på computeren simuleres processen med at ramme målet med en protonstråle, hvor der opstår en strøm af pioner, som efterfølgende bliver til myoner:

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

Nogle af myonerne går ind i yderligere acceleratorstadier, og det er ønskeligt at opnå den tættest mulige muonflux. Ydermere går den resulterende myonstråle ind i acceleratorringen med henblik på midlertidig opbevaring, hvor myoner henfalder til elektroner , positroner og neutrinoer, der bruges til efterfølgende eksperimenter:

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

Denne del af installationen er ret kompliceret, da det er nødvendigt at danne en tilstrækkelig tæt myonstråle, indtil de henfalder (myonens levetid er 2,2⋅10 −6 s) (til sammenligning processen med injektion, acceleration, rensning og kompressionsstråler på LHC tager mindst en halv time [26] ). Effektiviteten af dette trin bestemmer effektiviteten af installationen, som består af et antal acceleratortrin, som helhed. Brug af programmet giver dig mulighed for at evaluere effektiviteten af installationen og foretage dens yderligere optimering.

Projektet koordineres af Stephen Brooks, som er medlem af Intense Beams Group i Rutherford-Appleton Laboratory i Storbritanniens Accelerator Science and Technology Center (ASTeC ) [ 27 ] . En af gruppens hovedopgaver er udvikling af softwaremodeller til simulering af ladede partikelacceleratorer .

evolution@home

Repræsenterer det første og hidtil eneste distribuerede computerprojekt til at løse evolutionær forskning. Det efterligner forskellige typer befolkning og fokuserer på analysen af humant mitokondrie-DNA.

OGR-28

Et matematisk projekt rettet mod at finde optimale Golomb-linealer , som anvendes i radioastronomi , røntgenkrystallografi og kommunikationsteori . De første kvasi-optimale herskere af orden 1,2,...,8 blev manuelt fundet af Wallace C. Babcock i 1952 . Deres optimalitet blev senere bevist ved opregning (1967−1972). Nye kandidater til de optimale intervaller 9,10,...,19 blev opdaget ved forskellige matematiske metoder fra 1967 til 1984. Med udtømmende søgning (1972-1994) blev mange af dem bekræftet, selvom OGR-9,13,15,16 kun blev åbnet ved hjælp af udtømmende søgning på en computer. [28] Optimiteten af kendte kandidater til OGR-20, 21, 22, 23 blev bevist af deltagerne i det åbne distribuerede projekt Golomb lineal search [29] fra 1997 til 1999. Efter færdiggørelsen af OGR-23, efter gensidig aftale, kom initiativet og alle udviklinger af Golomb-herskersøgning under distributed.nets vinger. I juli 2000 startede OGR-24-projektet officielt på distributed.net.

OGR-24: Den 1. november 2004 blev optimaliteten af den 24. ordens Golomb-hersker opdaget i 1967 af John P. Robinson og Arthur J. Bernstein [30] bekræftet ved en udtømmende søgning .
OGR-25: Den 24. oktober 2008 blev optimaliteten af orden 25 linealen opdaget af MD Atkinson og A. Hassenklover i 1984 [31] bevist .
OGR-26: afsluttet med succes 24. februar 2009. Linealen fundet af Atkinson og Hassenclover i 1984 [32] er bekræftet .
OGR-27: afsluttet med succes i 2014. Optimalitet er bevist.
OGR-28: i gang.

Harmoniske træer

Et matematisk projekt inden for grafteori, hvis formål er at bevise, at ethvert træ er en harmonisk graf, det vil sige, at det tillader en sådan sammenligning af numeriske etiketter 0 ... N-1 til toppunkter, der for enhver kant, summen af modulo N-1 af mærker af toppunkter, der falder ind på den, er unik i træet.

Odd Weird Search

Projektet med at finde mærkelige tal i intervallet fra til . $10^{{21}}$ $10^{{28}}$

Videnskabelige resultater

fundet 196 nye løsninger til generalisering af Euler-hypotesen, case , i intervallet af værdier af variable op til 250.000 [16] . $(6,2,5)$

Se også

Noter

↑ Projektets officielle hjemmeside . Hentet 25. maj 2010. Arkiveret fra originalen 22. september 2017. (ubestemt)
↑ Faktoriseringer fundet i ECM-projektet . Hentet 25. maj 2010. Arkiveret fra originalen 30. april 2010. (ubestemt)
↑ Velkommen til evolution@home og evolutionær-forskning! - evolution.ws (utilgængeligt link) . Hentet 25. maj 2010. Arkiveret fra originalen 25. august 2006. (ubestemt)
↑ Løsninger fundet inden for Euler-projektet . Hentet 25. maj 2010. Arkiveret fra originalen 8. maj 2010. (ubestemt)
↑ Harmonious Trees/da - Rechenkraft . Hentet 23. maj 2022. Arkiveret fra originalen 28. november 2020. (ubestemt)
↑ Harmonious Graph - fra Wolfram MathWorld . Hentet 1. august 2011. Arkiveret fra originalen 21. februar 2012. (ubestemt)
↑ Grafetikettering | Gallian | The Electronic Journal of Combinatorics (ikke tilgængeligt link) . Hentet 1. august 2011. Arkiveret fra originalen 31. januar 2012. (ubestemt)
↑ PDF til 1106.3490v1
↑ Nyhedsarkiv . Hentet 27. juli 2011. Arkiveret fra originalen 13. august 2011. (ubestemt)
↑ stephenbrooks.org: Muon1 Distributed Particle Accelerator Design . Hentet 25. maj 2010. Arkiveret fra originalen 1. maj 2017. (ubestemt)
↑ Politik & P2P: Flere Muon1-oplysninger (downlink) . Hentet 3. maj 2011. Arkiveret fra originalen 19. august 2011. (ubestemt)
↑ Arkiveret kopi (link ikke tilgængeligt) . Dato for adgang: 31. maj 2010. Arkiveret fra originalen 22. november 2010. (ubestemt)
↑ Simuleringsresultater af opnåelse af en myonflux . Dato for adgang: 25. maj 2010. Arkiveret fra originalen 9. januar 2010. (ubestemt)
↑ BOINCstats | yoyo@home - Detaljeret statistik . Hentet 5. september 2013. Arkiveret fra originalen 9. august 2013. (ubestemt)
↑ Arkiveret kopi . Hentet 4. august 2011. Arkiveret fra originalen 7. juni 2011. (ubestemt)
↑ 1 2 3 http://arxiv.org/pdf/1108.0462v1
↑ Nyhedsarkiv . Hentet 27. juli 2011. Arkiveret fra originalen 13. august 2011. (ubestemt)
↑ Beregning af mindste lige store summer af samme magt . Hentet 23. maj 2022. Arkiveret fra originalen 9. december 2013. (ubestemt)
↑ stephenbrooks.org: Generel information . Hentet 26. maj 2010. Arkiveret fra originalen 20. juni 2010. (ubestemt)
↑ Neutrino Factory køreplan Arkiveret 18. oktober 2006.
↑ 1 2 Introduktion til Muon Collider Study Group . Hentet 31. maj 2010. Arkiveret fra originalen 27. maj 2010. (ubestemt)
↑ 1 2 3 4 C. R. Forud. Muon opbevaringsringe til en Neutrino Factory . Particle Accelerator Conference (PAC'09), Vancouver, Canada, maj 2009. Arkiveret fra originalen den 26. april 2012. (ubestemt)
↑ Fermilab | Muon Collider . Dato for adgang: 13. januar 2011. Arkiveret fra originalen 22. november 2010. (ubestemt)
↑ W.-T. Weng, J. J. Berg, S. Brooks, R. Fernow, J. C. Gallardo, H. G. Kirk, N. Simos. Valg af protondriverparametre til en neutrinofabrik . Proceedings of EPAC 2006, Edinburgh, Skotland (EPAC 2006). Arkiveret fra originalen den 26. april 2012. (ubestemt)
↑ Muon1-30quadrillion-20111229 . Hentet 29. oktober 2017. Arkiveret fra originalen 7. marts 2016. (ubestemt)
↑ Collider arbejdsgang . Hentet 13. januar 2011. Arkiveret fra originalen 12. september 2011. (ubestemt)
↑ ASTeC :: Accelerator Science and Technology Center (utilgængeligt link)
↑ Golomb lineal tabel (downlink) . Hentet 13. november 2014. Arkiveret fra originalen 16. april 2018. (ubestemt)
↑ Golomb linealsøgning
↑ distributed.net: personaleblogs - 2004 - november - 01
↑ distributed.net: personaleblogs - 2008 - oktober - 25
↑ distributed.net: personaleblogs - 2009 - februar - 24

Links

Liste over projekter på BOINC platformen
Alle russiske hold (utilgængeligt link)
Alle russiske deltagere (utilgængeligt link)
Beskrivelse af Muon-projektet på distributed.ru
SJ Brooks. Optimering af pionproduktionsmålformer til neutrinofabrikken . 1st International Particle Accelerators Conference (IPAC'10), Kyoto, Japan, 24.-28. maj 2010. Arkiveret fra originalen den 26. april 2012. (ubestemt)
C. Prior, J. J. Berg, M. Meddahi, Y. Mori. Det internationale designstudie for en neutrinofabrik . Proc. 11th European Particle Accelerator Conference, s. 2773-2775 (EPAC'08), Genova, Italien, 23.-27. juni 2008. Arkiveret fra originalen den 26. april 2012. (ubestemt)
C. Johnstone, F. Meot, G.H. Rees. Generelle designovervejelser for en højintensiv Muon-opbevaringsring til en neutrinofabrik . Proceedings of EPAC 2006, (EPAC'06), Edinburgh, Skotland, 26.-30. juni 2006. Arkiveret fra originalen den 26. april 2012. (ubestemt)
Shinji Machida. FFAG'er som Muon-acceleratorer til en neutrinofabrik . Proceedings of EPAC 2006, (EPAC'06), Edinburgh, Skotland, 26.-30. juni 2006. Arkiveret fra originalen den 26. april 2012. (ubestemt)
G.H. Rees, C. Johnstone, F. Meot. 20-50 GeV Muon-opbevaringsringe til en neutrinofabrik . 10th European Particle Accelerator Conference (EPAC'06), Edinburgh, Skotland, 26.-30. juni 2006. Arkiveret fra originalen den 26. april 2012. (ubestemt)
SJ Brooks. Kvantitative optimeringsundersøgelser af Muon-frontenden til en neutrinofabrik . 9th European Particle Accelerator Conference (EPAC'04), Lucerne, Schweiz, 05.-09. juli 2004. Arkiveret fra originalen den 26. april 2012. (ubestemt)
Detaljeret beskrivelse af Neutrino Factory-projektet
http://www.isis.stfc.ac.uk/
http://www.hep.princeton.edu/mumu/NSFLetter/
http://elementy.ru/lib/430999
Resultaterne af modellering af myonen giver ved output fra forskellige acceleratortrin i grafisk form
Video af simuleringsprocessen for muonstråledannelse på YouTube
Linac900Removable6c2 med 3,89 % muon-udbytteeffektivitet på YouTube

Diskussion af projektet i foraene:

Frivillige computerprojekter
Astronomi	Albert@Hjem Asteroids@home Konstellation Cosmology@home einstein@home MilkyWay@home Orbit@home Planet Quest SETI@home theSkyNet POGS
Biologi og medicin	Biokemisk Bibliotek Cels@Home CommunityTSC Korrelizer Docking@Home DrugDiscovery@Home DNA@Home evo@home evolution@home FightAIDS@Home FightMalaria@Home Folding@home GPUGrid iGEM@Home Gitterprojekt Malariacontrol.net Neurona@Home NRG Digt@Hjem predictor@home Proteins@Home RALPH@Home RNA verden Rosetta@home SIMAP@home SimOne@home Superlink@Technion United Devices Cancer Research Project Volpex@UH wildlife@home
kognitive	Kunstig intelligens system MindModeling@Home
Klima	APS@Home BBC Climate Change Experiment ClimatePrediction.net Sæsonbestemt tilskrivningsprojekt Quake Catcher Network - Seismisk overvågning Virtuel prærie
Matematik	ABC@home AQUA@home Beal@Home Chess960@home Collatz formodning Konvektor distributed.net Enigma@Home EulerNet GIMPS NFSNET NQueens projekt NumberFields@Home OProject@Home PiHex primegrid Ramsey@Home Retlineært krydsningsnummer SAT@home SHA-1 Kollisionssøgning Graz SubsetSum@Home regnbue revne Sytten eller Buste SZTAKI Desktop Grid WEP-M+2 projekt Wieferich@Home VGTU@Home
Fysisk og teknisk	ATLAS@Home BRaTS@Home CuboidSimulation eOn Hydrogen@Home Leiden klassisk LHC@home Magnetisme@hjem µVæske@home Muon1DPAD NanoHive@Home SLinCA@Home solar@home Spinhenge@home QMC@Home QuantumFIRE
Multifunktionel	Almere Grid CAS@Home EDGeS@Home Ibercivis Optima@home World Community Grid Yoyo@home
Andet	Afrika@HJEM BURP DepSpid DIMES Ideologias@Home FreeHAL@home Gerasim@Home Pirates@Home RenderFarm@Home RND@home Surveill@Home YAFU
Hjælpeprogrammer	BOINC Manager klient-server teknologi kreditsystem Indpakning WUProp