Gerasim@Home
Gerasim@Home |
Plattform |
BOINC |
Storlek för nedladdning av programvara |
2 MB |
Job Data Loaded Storlek |
1 KB |
Mängd jobbdata som skickats |
150 KB |
Diskutrymme _ |
2 MB |
Använd mängd minne |
10 MB |
GUI |
Nej |
Genomsnittlig tid för uppgiftsberäkning |
upp till 6 timmar |
deadline |
11 dagar |
Möjlighet att använda GPU |
Nej |
Gerasim@Home är ett ryskt frivilligt distribuerat datorprojekt baserat på BOINC-plattformen . Projektet startade i testläge i februari 2008 [1] . En utmärkande egenskap hos serverdelen av projektet, utvecklad av S. Yu. Valyaev, är användningen av operativsystemet Windows Server 2008 och Microsoft SQL Server -paketet med ASP.NET , medan standarduppsättningen av applikationer från BOINC-utvecklare kräver användningen av operativsystemet Linux eller Unix . Den 23 juli 2015 deltog 1999 användare (890 datorer) från 62 länder i projektet, vilket gav en prestation på 1-5tera floppar . Alla som har en dator med Internetåtkomst kan delta i projektet genom att installera programmet BOINC Manager på den .
Projekthistorik
Projektet startade i testläge i februari 2008 [1] med hjälp av programmet gsm för att hitta primtal som en testberäkningsmodul.
I juni 2010, vid Department of Computer Engineering vid Southwestern State University , utvecklades beräkningsapplikationsseparatorn, vars syfte är att bygga partitioner av parallella grafscheman av logiska styralgoritmer erhållna med olika heuristiska metoder för att jämföra kvaliteten på de erhållna lösningarna och utveckla rekommendationer om gränserna för ändamålsenligheten med att använda metoder. Den första delen av beräkningarna slutfördes i september 2011.
I januari 2013 lanserades ett experiment [2] för att undersöka möjligheterna att använda en girig partitionssyntesstrategi med en begränsning av valet av hörn från en intilliggande stadsdel av det nuvarande blocket [3] .
I mars 2014 lanserades en ny serie experiment, vars syfte är att testa tillämpningen av heuristiska metoder i förhållande till att lösa kända problem inom grafteorin med hjälp av exemplet med problemet att hitta den kortaste vägen i en graf och för att hitta partitioner [4] .
I juni 2014 började en serie experiment för att undersöka möjligheten att använda slumpmässig uppräkning[5] [6] med ett fast antal iterationer när man konstruerar partitioner.
I februari 2015 lanserades en fortsättning på en serie experiment, vars syfte är att testa tillämpningen av heuristiska metoder i förhållande till att lösa problemet med att hitta den kortaste vägen i en graf med hjälp av en returstrategi [7] , samt som metoder för att simulera glödgning [8] , sökning med djupbegränsning [9] [10] , olika varianter av myrkolonialgoritmen [11] [12] , den genetiska algoritmen [13] och bikolonialgoritmen [14] .
I juni 2016 lanserades ett beräkningsexperiment, vars syfte är att räkna antalet diagonala latinska kvadrater av ordning 9 (sekvens A274171 i OEIS och sekvens A274806 i OEIS ) [15] .
I oktober 2016 lanserades ett experiment i projektet som syftade till att studera effektiviteten av slumpmässiga promenadmetoder [16] och en svärm av partiklar [17] [18] i problemet att hitta den kortaste vägen i en graf.
I början av 2017 organiserade projektet ett experiment som syftade till att bestämma värdena för ett antal kombinatoriska egenskaper hos diagonala latinska kvadrater och deras ortogonala par ( grekisk-latinska kvadrater ) av ordningen 8 [19] . I mars 2017 lanserades ett experiment för att erhålla slumpmässiga par av ortogonala diagonala latinska kvadrater av ordning 10 för att bilda en lista över deras unika kanoniska former [20] . Från 3 juni till 16 juni 2017 räknade projektet antalet symmetriska diagonala latinska kvadrater i storleksordningen 10 [21] . Den 23 oktober 2017 lanserade projektet ett experiment som syftade till att analysera kvadrater som är symmetriska i ett plan när man konstruerar par av ortogonala diagonala latinska kvadrater [22] [23] .
I december 2018 lanserades ett experiment i projektet för att studera effektiviteten av heuristiska metoder i problemet med färgläggning av grafer av allmän form [24] .
separatorapplikation
Behovet av att hitta en partition som är (sub)optimal när det gäller ett antal kvalitetsindikatorer uppstår när man designar logiska styrsystem som används för att implementera logisk styrning av olika diskreta system ( digitala kretsar , CNC-maskiner , robotiska monteringslinjer, etc.). Vid design av sådana system uppstår ett antal kombinatoriska multikriterieoptimeringsproblem på diskreta strukturer ( grafer ), vilka inkluderar problemet med syntes av partitionering av ett givet grafschema för en kontrollalgoritm [25] [26] [27] , i enlighet med vilket det utvecklade logiska styrsystemet ska fungera. Att hitta en exakt lösning (global optimum) är i de flesta praktiska fall omöjligt på grund av det faktum att problemet tillhör NP-klassen , därför är de i praktiken vanligtvis begränsade till att använda heuristiska metoder som ger lösningar av god kvalitet i en acceptabel tid.
Kvaliteten på den hittade lösningen utvärderas som graden av minimering av privata kvalitetsindikatorer, som inkluderar:
- antal partitionsblock - sammanfaller med antalet styrenheter i det logiska styrsystemet, påverkar direkt hårdvarukomplexiteten hos det logiska styrsystemet, dess strömförbrukning och vikt- och storleksegenskaper;
![H](https://wikimedia.org/api/rest_v1/media/math/render/svg/75a9edddcca2f782014371f75dca39d7e13a9c1b)
- graden av duplicering av signaler av logiska förhållanden och mikrooperationer - bestämma den optimala fördelningen av hörnen i grafdiagrammet för algoritmen genom partitionsblock, påverka antalet spår som ansluter styrenheterna på ett kretskort eller som en del av ett integrerad krets (beroende på den valda metoden för att implementera det logiska styrsystemet);
![{\displaystyle \gamma _{X}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/110906c7cb23ad33057984a32917f044e7a9f453)
![{\displaystyle \gamma _{Y}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2950276a8d5e1eadcd3f37b232a0410a4f169ebb)
- komplexiteten hos nätverket av interblockanslutningar - bestämmer det erforderliga antalet mikrokommandon för att överföra kontroll mellan styrenheter, påverkar djupet av vissa köer som en del av styrenhetens kommunikationsdelsystem;
![\alfa](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
- intensiteten av interblock-interaktioner - bestämmer det genomsnittliga antalet kontrollöverföringar under exekveringen av en given kontrollalgoritm (inter -controller control transfer traffic ), påverkar prestandan för kontrollsystemet som helhet.
![\delta](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5321cfa797202b3e1f8620663ff43c4660ea03a)
Den integrerade uppskattningen av kvaliteten på partitionen beräknas som en viktad summa av de normaliserade värdena för partiella kvalitetsindikatorer.
![J](https://wikimedia.org/api/rest_v1/media/math/render/svg/359e4f407b49910e02c27c2f52e87a36cd74c053)
I den praktiska implementeringen av ett logiskt kontrollsystem är det nödvändigt att ta hänsyn till tekniska begränsningar, som främst inkluderar:
- antalet stift på mikrokretskroppen för att ta emot signaler om logiska förhållanden och utfärda signaler om mikrooperationer ;
![{\displaystyle X_{max))](https://wikimedia.org/api/rest_v1/media/math/render/svg/704e42b5cbaddf810e2cbeb54b385f874835a3f3)
![{\displaystyle Y_{max}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfb7966136c3f407dc20f8f5bd8ab7532fad0555)
- mängden mikroinstruktionsminne i styrenheten.
![{\displaystyle W_{max))](https://wikimedia.org/api/rest_v1/media/math/render/svg/baaa70c3b3bfe4e86b85bdf31b0b09080fc3acd7)
Begränsningen är inte kritisk och kan uteslutas från övervägande genom att duplicera styrenheter som har samma ingångar och kör samma typ av firmware. För att förenkla styrenhetens interna struktur, införs en ytterligare strukturell begränsning för omöjligheten att placera parallella hörn i ett partitionsblock (kontroller).
![{\displaystyle Y_{max}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfb7966136c3f407dc20f8f5bd8ab7532fad0555)
Som heuristiska metoder för att söka efter partitioner i beräkningsexperiment deltog följande:
- metoden av S.I. Baranov [28] och dess modifieringar [3] - använd den giriga strategin att successivt bilda partitionsblock;
- metod för parallell-sekventiell sönderdelning [29] [30] - använder ett antal ekvivalenta transformationer (brytningscykler, kombinera linjära sektioner av grafdiagrammet för algoritmen, klassificera relationer mellan hörn i grafdiagrammet, bygga en uppsättning sektioner av algoritmen grafdiagrammet, byggpartitionsblock baserade på analys av tabellinneslutningar);
- slumpmässig uppräkningsmetod[5] [6] med ett givet antal iterationer.
Metoderna kännetecknas av väsentligt olika implementeringskomplexitet, tids- och kapacitetskomplexitet för transformationsalgoritmer och kvaliteten på de lösningar som erhålls för olika värden av tekniska begränsningar. När man jämför kvaliteten på metoder är det nödvändigt att studera olika regioner av parameterutrymmet , där är antalet hörn i sammansättningen av grafdiagram av algoritmer, vilket är en beräkningsmässigt svår uppgift. I beräkningsprocessen analyserades individuella skivor av parameterutrymmet, på grundval av vilket ett signifikant annorlunda beteende hos metoderna för att syntetisera partitioner avslöjades när värdena för tekniska begränsningar stärktes eller försvagades.
![{\displaystyle \left(X_{max},W_{max},N\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f102ddb36aff9ffda1f490c8a77336ac17af26)
![N](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3)
För varje punkt i den valda delen av parameterutrymmet konstrueras ett urval av parallella logiska styralgoritmer med en pseudo-slumpmässig struktur, deras partitioner konstrueras med den angivna metoden och kvaliteten bedöms, vilket kräver från flera minuter (liten värden ) till flera timmar (stora värden ) av beräkningstid. De resulterande proven av numeriska värden på cirka 200 KB vardera överförs till projektservern och väntar på vidare bearbetning. Den totala mängden mottagen data (exklusive redundans) var 235 GB, och beräkningskostnaden var 51,6 exa floppar ( 818 GHz-år). Jämfört med dual-core Core 2 Duo 1,86 GHz-implementeringen, var tidsvinsten som uppnåddes av nätparallell bearbetning 155x. Efterbearbetning av de erhållna resultaten [31] [32] tog ungefär en dag av beräkningstid och bestod i att beräkna medelvärdena för kvalitetsparametrarna och sannolikheterna för att erhålla en partition med minimivärdet för den valda kvalitetsindikatorn, som ett resultat av vilket de önskade tvådimensionella kartorna med en total volym på 96 MB erhölls, vilka kan användas för detaljerad analys av metoders beteende i olika områden av parameterutrymmet.
![N](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3)
![N](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3)
![{\displaystyle \gamma _{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/caf2e6d6984dc3ef9963ec7e44329a8a2c755df5)
![{\displaystyle \rho _{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/183d84ada93046855ac24d01e4f65e795dbf3e1c)
spstarter-applikation
I mars 2014 lanserades ytterligare en serie beräkningsexperiment [4] , vars utmärkande kännetecken är stöd för samtidig utförande av flera experiment. För att testa metoder för att lösa diskreta optimeringsproblem implementerades en lämplig beräkningsmodul, som är statiskt kopplad till spstarter.exe-applikationen. Förutom separatorapplikationen, som är en del av den nya beräkningsmodulen, är det möjligt att analysera kvaliteten på lösningar på testproblemet att hitta den kortaste vägen i en graf med hjälp av ett antal tillvägagångssätt ( Dijkstras algoritm , girig algoritm, slumpmässigt uppräkning, viktad slumpmässig uppräkning [33] , deras modifieringar med stöd för kombinatoriska returer [7] , variationer av myrkolonialgoritmen [11] [12] , simulerad glödgningsmetod , brute-force-sökning med en gräns för djupet eller antalet övervägde trädgrenar , genetisk algoritm [13] , bikolonialgoritm [14] , slumpmässig vandringsmetod och varianter av partikelsvärmmetoden ) för att identifiera deras styrkor och svagheter. De bästa resultaten i detta problem visades av myrkolonimetoden och den genetiska algoritmen [34] [35] , [36] .
Bestämning av det asymptotiska beteendet hos kombinatoriska egenskaper hos kombinatoriska strukturer baserat på diagonala latinska kvadrater
Det asymptotiska beteendet hos antalet diagonala latinska kvadrater (DLS) med en ökning av deras dimension N till de beräkningar som utfördes i projektet var okänt. Som ett resultat av utvecklingen av en mycket effektiv beräkningsmodul som använder ett antal algoritmiska och högnivåoptimeringstekniker [37] [38] [39] [40] [41] [42] var det möjligt att uppnå en generation hastighet på 6,6 miljoner DLC/s, vilket gjorde det möjligt att bestämma antalet DLC:er upp till N<10 (sekvens A274171 i OEIS och sekvens A274806 i OEIS ). Detta krävde 3 månaders beräkningar per rutnät med en reell genomströmning på 2–5 TFLOP/s [43] och 3 månaders beräkningar på datorklustret ”Akademik V.M. Matrosov” från den sibiriska grenen av den ryska vetenskapsakademin för att verifiera och bekräfta det erhållna resultatet [44] .
Liknande algoritmiska principer användes för att räkna antalet symmetriska diagonala latinska kvadrater av ordningen N<11 [21] och för att bestämma det minsta och maximala antalet transversaler i diagonala latinska kvadrater av ordningen N<9 [45] [46] [47] .
Förutom att bestämma kombinatoriska egenskaper söker och samlar projektet in kanoniska former av ortogonala diagonala latinska kvadrater av ordning 10 för att klassificera de kombinatoriska strukturer som bildas av dem (grafer på mängden av en binär ortogonalitetsrelation) [48] och ett försök att hitta en trippel av parvisa ortogonala diagonala latinska rutor, vilket är ett öppet matematiskt problem. Den mest effektiva sökningen efter ortogonala kvadrater av en allmän form utförs med hjälp av transversaler genom att reducera det ursprungliga problemet till det exakta täckningsproblemet med dess efterföljande lösning med hjälp av den dansande anslutningsalgoritmen inom ramen för Euler-Parker-metoden [49] [50] . Från och med juli 2020 innehåller samlingen mer än 10 miljoner ODLC kanoniska former av order 10 som finns i projektet.
Vetenskapliga landvinningar
- gränserna för tillämplighetsområdena för partitionssyntesmetoder erhålls: området med svaga begränsningar för metoden S. I. Baranov, området med starka begränsningar för metoden för parallellsekventiell nedbrytning (kvalitativ fördel);
- förhållanden mellan graden av optimering för var och en av de valda kvalitetsindikatorerna till det villkorliga optimum som är känt för det erhålls, för var och en av metoderna visas den procentuella förlusten (kvantitativ överlägsenhet);
- gränserna för de döda zonerna erhålls, där försvagningen av restriktioner inte påverkar förbättringen av kvaliteten på lösningar, den döda zonen har en annan bredd för olika heuristiska metoder;
- rekommendationer för utvecklare av hårdvaran för multicontrollers är formulerade, strukturen för en logisk multicontroller med ett stort antal enkla kontroller är att föredra; nödvändigheten av att arbeta inom området med starka restriktioner, dikterade av praxis, visas;
- antalet diagonala latinska kvadrater av ordningen N<10 räknades (sekvens A274171 i OEIS och sekvens A274806 i OEIS );
- antalet horisontellt symmetriska diagonala latinska kvadrater av ordningen N<11 räknades (sekvens A287649 i OEIS och sekvens A292516 i OEIS );
- antalet dubbelsymmetriska diagonala latinska kvadrater av ordningen N<10 räknades (sekvens A287650 i OEIS och sekvens A292517 i OEIS );
- antalet diagonala latinska kvadrater av ordningen N<9 symmetriska i ett plan räknades (sekvens A296060 i OEIS och sekvens A296061 i OEIS );
- antalet reducerade (första raden av rutor är ordnad, till exempel i stigande ordning) par av ortogonala diagonala latinska kvadrater av ordningen N<8 har räknats (sekvens A287651 i OEIS );
- beräknade det maximala antalet diagonala latinska kvadrater ortogonala mot en diagonal latinsk kvadrat av ordningen N<9 (sekvens A287695 i OEIS );
- beräkningen av antalet och analysen av egenskaperna hos huvudklasserna av diagonala latinska kvadrater av ordningen N<9 (sekvens A287764 i OEIS , sekvens A299783 i OEIS , sekvens A299784 i OEIS , sekvens A299785 i OEIS och sekvens A299787 ) [ i OEIS 51] [52] ;
- antalet centralt symmetriska diagonala latinska kvadrater av ordningen N<10 beräknades (sekvens A293777 i OEIS och sekvens A293778 i OEIS ) [53] [54] ;
- det minsta och maximala antalet transversaler i diagonala latinska kvadrater av ordningen N<9 bestämdes (sekvens A287644 i OEIS , sekvens A287645 i OEIS , sekvens A287647 i OEIS och sekvens A287648 i OEIS );
- antalet pandiagonala latinska kvadrater av ordning N med en fast första rad räknades (sekvens A123565 i OEIS );
- antalet ortogonala (ODLS), självortogonala (SODLS), dubbelt självortogonala (DSODLS) och utökade självortogonala (ESODLS) diagonala latinska kvadrater av ordningen 1-10, samt normaliserade kvadrater för samma typ av ortogonalitet och deras huvudklasser (sekvens A330391 i OEIS }, sekvens A329685 i OEIS , sekvens A333366 i OEIS , sekvens A309210 i OEIS ) [55] ;
- en klassificering av kombinatoriska strukturer som härrör från diagonala latinska kvadrater av ordningen 1-10 på uppsättningen av en binär ortogonalitetsrelation [56] [57] [48] utfördes ;
- det visas att rekordortogonalitetskarakteristiken 274 [58] för en pseudotrippel av parvisa ortogonala diagonala latinska kvadrater av ordning 10, som finns i analysen av plansymmetri i DLC, inte kan förbättras både i denna klass av symmetrier och i klassen av symmetri. rena generaliserade symmetrier och deras grannskap.
Anteckningar
- ↑ 1 2 BOINCstats | Gerasim@Home - Kreditöversikt (nedlänk)
- ↑ Separator progress - Sida 2 - Vetenskap - Forum Gerasim@home (nedlänk) . Datum för åtkomst: 30 januari 2013. Arkiverad från originalet den 4 februari 2013. (obestämd)
- ↑ 1 2 Vatutin E. I., Leonov M. E. Användning av en intilliggande grannskap för girig sekventiell bildning av block för partitionering av grafscheman för parallella algoritmer. Instrumentation. 2013. V. 56. Nr 6. S. 30-35. . Datum för åtkomst: 12 oktober 2013. Arkiverad från originalet 14 oktober 2013. (obestämd)
- ↑ 1 2 Om Gerasim@home-projektet — Sida 48 — Gerasim@home — Boinc.ru Forum (länk ej tillgänglig)
- ↑ 1 2 Vatutin E. I., Kolyasnikov D. V., Martynov I. A., Titov V. S. Slumpmässig uppräkningsmetod i problemet med att konstruera partitioner av grafscheman för parallella algoritmer // Flerkärniga processorer, parallell programmering, FPGA, bearbetning av systemsignaler. Barnaul: Barnaul, 2014, s. 115-125. . Hämtad 13 augusti 2014. Arkiverad från original 14 augusti 2014. (obestämd)
- ↑ 1 2 Vatutin E. I., Kolyasnikov D. V., Titov V. S. Analys av resultaten av att tillämpa den slumpmässiga uppräkningsmetoden i problemet med att hitta partitioner av grafscheman för parallella algoritmer // Bulletin of the Southern Federal University. Teknisk vetenskap. 2014. Nr 12 (161). sid. 102-110. . Datum för åtkomst: 1 mars 2015. Arkiverad från originalet 2 april 2015. (obestämd)
- ↑ 1 2 Vatutin E. I., Martynov I. A., Titov V. S. En metod för att kringgå dödlägen för att lösa diskreta optimeringsproblem med begränsningar // Perspektivnye informatsionnye tekhnologii (PIT-2014). Samara: förlag för Samara Scientific Center vid den ryska vetenskapsakademin. sid. 313-317. . Hämtad 16 februari 2015. Arkiverad från originalet 16 februari 2015. (obestämd)
- ↑ Vatutin E. I., Titov V. S. Parametrisk optimering av glödgningssimuleringsalgoritmen på exemplet att lösa problemet med att hitta den kortaste vägen i en graf // Bulletin of the Cherepovets State University. nr 6 (67). 2015. S. 13-16. . Hämtad 28 november 2015. Arkiverad från originalet 8 december 2015. (obestämd)
- ↑ Om Gerasim@home-projektet - Sida 63 - Gerasim@home - Boinc.ru Forum (otillgänglig länk) . Hämtad 16 februari 2015. Arkiverad från originalet 16 februari 2015. (obestämd)
- ↑ Vatutin E. I., Martynov I. A., Titov V. S. Analys av resultaten av att använda den djupbegränsade uppräkningsmetoden i problemet med att hitta den kortaste vägen i en graf // Flerkärniga processorer, parallell programmering, FPGA, signalbehandlingssystem (MPPS' 15). Barnaul, 2015, s. 120-128. . Hämtad 4 augusti 2015. Arkiverad från originalet 8 december 2015. (obestämd)
- ↑ 1 2 Vatutin E.I., Titov V.S. Analys av resultaten av att tillämpa myrkolonialgoritmen i problemet med att hitta en väg i en graf i närvaro av begränsningar // Bulletin of the Southern Federal University. Teknisk vetenskap. 2014. Nr 12 (161). sid. 111-120. . Datum för åtkomst: 1 mars 2015. Arkiverad från originalet 2 april 2015. (obestämd)
- ↑ 1 2 Vatutin E. I., Titov V. S. Om en metod för att använda myrkolonialgoritmen för att lösa diskreta kombinatoriska optimeringsproblem // Intelligenta och informationssystem (Intellect 2015). Tula, 2015, s. 8-13. . Tillträdesdatum: 11 december 2015. Arkiverad från originalet 5 mars 2016. (obestämd)
- ↑ 1 2 Vatutin E. I., Titov V. S. Studie av funktionerna i att använda en genetisk algoritm i problemet med att hitta den kortaste vägen i en graf i närvaro av restriktioner för grafens densitet // Flerkärniga processorer, parallell programmering, FPGA:er , signalbehandlingssystem (MPPS - 2016) . Barnaul: förlag vid Altai State University, 2016, s. 152-159. . Datum för åtkomst: 25 juni 2016. Arkiverad från originalet 16 juni 2016. (obestämd)
- ↑ 1 2 Vatutin E. I., Titov V. S. Funktioner för metaoptimering av bikolonialgoritmen i problemet med att hitta den kortaste vägen i en graf i närvaro av restriktioner för grafens densitet // Bulletin of the South-Western State University . Serie: Management, datateknik, informatik. Medicinsk instrumentering. nr 2 (19). 2016. S. 52-65. . Hämtad 7 augusti 2016. Arkiverad från originalet 20 augusti 2016. (obestämd)
- ↑ Projektera nyheter . Hämtad 25 juni 2016. Arkiverad från originalet 17 juli 2016. (obestämd)
- ↑ Om Gerasim@home-projektet - Sida 94 - Gerasim@home - Boinc.ru Forum (otillgänglig länk) . Datum för åtkomst: 22 november 2016. Arkiverad från originalet 22 november 2016. (obestämd)
- ↑ Om Gerasim@home-projektet - Sida 96 - Gerasim@home - Boinc.ru Forum (otillgänglig länk) . Datum för åtkomst: 22 november 2016. Arkiverad från originalet 22 november 2016. (obestämd)
- ↑ Vatutin E.I., Titov V.S. Undersökning av tillämpningen av partikelsvärmmetoden i diskreta optimeringsproblem Bulletin of Computer and Information Technologies. nr 5 (167). 2018, s. 26–34. DOI: 0.14489/vkit.2018.05.pp.026–034. . Hämtad 4 juni 2018. Arkiverad från originalet 15 juli 2019. (obestämd)
- ↑ Om Gerasim@home-projektet - Sida 98 - Gerasim@home - Boinc.ru Forum (otillgänglig länk) . Hämtad 14 mars 2017. Arkiverad från originalet 15 mars 2017. (obestämd)
- ↑ Sök efter KF ODLC i Gerasim@home-projektet - Gerasim@home - Boinc.ru Forum (otillgänglig länk) . Hämtad 14 mars 2017. Arkiverad från originalet 15 mars 2017. (obestämd)
- ↑ 1 2 Om Gerasim@home-projektet - Sida 103 - Gerasim@home - Boinc.ru Forum (otillgänglig länk) . Hämtad 16 juni 2017. Arkiverad från originalet 20 juni 2017. (obestämd)
- ↑ Om Gerasim@home-projektet - Sida 106 - Gerasim@home - Boinc.ru Forum (otillgänglig länk) . Hämtad 29 oktober 2017. Arkiverad från originalet 30 oktober 2017. (obestämd)
- ↑ Vatutin E.I., Kochemazov S.E., Zaikin O.S., Titov V.S. Undersökning av egenskaper hos symmetriska diagonala latinska rutor. Arbete med buggar // Intellektuella och informationssystem (Intelligence - 2017). Tula, 2017, s. 30–36. . Hämtad 4 december 2017. Arkiverad från originalet 5 december 2017. (obestämd)
- ↑ Om Gerasim@home-projektet - Sida 117 - Gerasim@home - Boinc.ru Forum (otillgänglig länk) . Hämtad 20 december 2018. Arkiverad från originalet 20 december 2018. (obestämd)
- ↑ Zotov I. V., Titov V. S., Koloskov V. A. [et al.] Organisation och syntes av mikroprograms multimikrokontroller. Kursk: förlag "Kursk", 1999. 368 s. ISBN 5-7277-0253-4
- ↑ Vatutin E. I., Zotov I. V., Titov V. S. [et al.] Kombinatoriskt-logiska problem med att syntetisera partitioner av parallella logiska styralgoritmer i designen av logiska multikontroller. Kursk, förlag vid Kursk State Technical University, 2010. 200 sid. ISBN 978-5-7681-0523-5
- ↑ Vatutin E. I. Design av logiska multikontroller. Syntes av partitioner av parallella grafscheman av algoritmer. Saarbrucken : Lambert Academic Publishing , 2011. 292 s. ISBN 978-3-8433-1728-3
- ↑ Baranov S. I., Zhuravina L. N., Peschansky V. A. En metod för att representera parallella grafscheman av algoritmer genom uppsättningar av sekventiella grafscheman // Automation and Computer Science. 1984. Nr 5. S. 74-81.
- ↑ Zotov I. V., Koloskov V. A., Titov V. S. Valet av optimala partitioner av algoritmer vid utformningen av mikrokontrollernätverk // Automation and Computer Science. 1997. Nr 5. S. 51-62.
- ↑ Vatutin E. I., Zotov I. V. En metod för att generera suboptimala partitioner av parallella styralgoritmer // Parallell Computing and Control Problems (PACO'04). M.: IPU RAN, 2004. S. 884-917. . Tillträdesdatum: 13 maj 2012. Arkiverad från originalet 29 mars 2014. (obestämd)
- ↑ evatutin - Beräkningar och efterbearbetning klar!
- ↑ evatutin — Efterbearbetning av resultaten av analysen av den intilliggande giriga strategin är klar!
- ↑ Vatutin E. I., Dremov E. N., Martynov I. A., Titov V. S. Viktad slumpmässig uppräkningsmetod för att lösa diskreta kombinatoriska optimeringsproblem // Izvestiya VolGTU. Serie: Elektronik, mätutrustning, radioteknik och kommunikation. nr 10 (137). Problem. 9. 2014. c. 59-64. . Hämtad 22 juli 2014. Arkiverad från originalet 29 juli 2014. (obestämd)
- ↑ Vatutin EI Jämförelse av beslut Kvaliteten på heuristiska metoder med sekventiell bildning av beslutet i grafen Kortaste vägen Problem // CEUR Workshop Proceedings. Proceedings of the Third International Conference BOINC-baserad High Performance Computing: Fundamental Research and Development (BOINC:FAST 2017). Vol. 1973. Aachens tekniska universitet, Tyskland, 2017. s. 67–76. . Hämtad 29 oktober 2017. Arkiverad från originalet 30 oktober 2017. (obestämd)
- ↑ Vatutin E.I. Jämförelse av beslut Kvaliteten på heuristiska metoder med begränsade djup-första söktekniker i grafen Kortaste vägproblem // Open Engineering. Vol. 7. Iss. 1. 2017.s. 428–434. DOI: 10.1515/eng-2017-0041.
- ↑ Vatutin E., Panishchev V., Gvozdeva S., Titov V. Jämförelse av beslut Kvaliteten på heuristiska metoder baserade på modifiering av operationer i grafen Kortaste vägen Problem // Problem med informationsteknologi. Nej. 1.2020.pp. 3–15. DOI: 10.25045/jpit.v11.i1.01. . Hämtad 16 januari 2020. Arkiverad från originalet 16 januari 2020. (obestämd)
- ↑ Vatutin E. I., Zhuravlev A. D., Zaikin O. S., Titov V. S. Funktioner för att använda viktningsheuristik i problemet med att hitta diagonala latinska rutor // Bulletin of the South-Western State University. Serie: Management, datateknik, informatik. Medicinsk instrumentering. 2015. Nr 3 (16). S. 18-30. . Hämtad 22 november 2016. Arkiverad från originalet 30 mars 2016. (obestämd)
- ↑ Vatutin EI, Zaikin OS, Zhuravlev AD, Manzuk MO, Kochemazov SE, Titov VS Använda rutsystem för att räkna upp kombinatoriska objekt på exempel på diagonala latinska kvadrater // Distribuerad beräknings- och rutnätsteknik inom vetenskap och utbildning (GRID'16): bok av sammandrag från den 7:e internationella konferensen. Dubna: JINR, 2016. sid. 114-115. . Hämtad 22 november 2016. Arkiverad från originalet 21 september 2017. (obestämd)
- ↑ Vatutin E. I., Zaikin O. S., Zhuravlev A. D., Manzyuk M. O., Kochemazov S. E., Titov V. S. Om effekten av cellfyllningsordning på genereringshastigheten för diagonala latinska kvadrater // Information - mätning av diagnostik- och kontrollsystem (Diagnostik - 2016). Kursk: SWGUs förlag, 2016. S. 33-39. . Datum för åtkomst: 22 november 2016. Arkiverad från originalet 22 november 2016. (obestämd)
- ↑ Vatutin E. I., Titov V. S., Zaikin O. S., Kochemazov S. E., Valyaev S. Yu., Zhuravlev A. D., Manzyuk M. O. Användning av rutnätssystem för att räkna kombinatoriska objekt på exemplet med diagonala latinska kvadrater av ordningen 9 // Informationsteknologier och mattemodeller systems 2016. Moskva: förlag av Center for Information Technologies in Design of the Russian Academy of Sciences, 2016. P. 154-157. . Datum för åtkomst: 22 november 2016. Arkiverad från originalet 22 november 2016. (obestämd)
- ↑ Vatutin E. I., Zhuravlev A. D., Zaikin O. S., Titov V. S. Redovisning för algoritmiska egenskaper hos problemet vid generering av diagonala latinska kvadrater // Izvestiya SWGU. 2016. Nr 2 (65). C. 46-59. . Hämtad 22 november 2016. Arkiverad från originalet 21 september 2017. (obestämd)
- ↑ Vatutin EI, Zaikin OS, Zhuravlev AD, Manzyuk MO, Kochemazov SE, Titov VS Använda rutsystem för att räkna upp kombinatoriska objekt på exempel på diagonala latinska rutor // CEUR Workshop procedurer. Utvalda artiklar från den 7:e internationella konferensen distribuerade datorer och nätteknologier inom vetenskap och utbildning. 2017 Vol. 1787.pp. 486–490. urn:nbn:de:0074-1787-5. . Hämtad 2 februari 2017. Arkiverad från originalet 2 februari 2017. (obestämd)
- ↑ Om Gerasim@home-projektet - Sida 94 - Gerasim@home - Boinc.ru Forum (otillgänglig länk) . Datum för åtkomst: 22 november 2016. Arkiverad från originalet 22 november 2016. (obestämd)
- ↑ Vatutin EI, Kochemazov SE, Zaikin OS Använder frivillig och parallell beräkning för att räkna upp diagonala latinska kvadrater av ordningen 9 // Proc. av The Eleventh International Conference on Parallel Computational Technologies, Vol. 753 av Communications in Computer and Information Science, Springer, 2017, s. 114–129. DOI: 10.1007/978-3-319-67035-5_9. . Hämtad 9 oktober 2017. Arkiverad från originalet 9 oktober 2017. (obestämd)
- ↑ Vatutin EI, Kochemazov SE, Zaikin OS, Valyaev S.Yu. Uppräkning av transversalerna för diagonala latinska kvadrater av liten ordning // CEUR Workshop Proceedings. Proceedings of the Third International Conference BOINC-baserad High Performance Computing: Fundamental Research and Development (BOINC:FAST 2017). Vol. 1973. Aachens tekniska universitet, Tyskland, 2017. s. 6–14. . Hämtad 29 oktober 2017. Arkiverad från originalet 30 oktober 2017. (obestämd)
- ↑ Vatutin E.I., Zaikin O.S., Kochemazov S.E., Valyaev S.Yu., Titov V.S. Uppskattning av antalet transversaler för diagonala latinska kvadrater // Telekommunikation. 2018. Nr 1. S. 12–21. . Hämtad 6 februari 2018. Arkiverad från originalet 7 februari 2018. (obestämd)
- ↑ Vatutin EI, Zaikin OS, Kochemazov SE, Valyaev SY Använda volontärberäkningar för att studera några funktioner hos diagonala latinska kvadrater // Open Engineering. Vol. 7. Iss. 1. 2017.s. 453–460. DOI: 10.1515/eng-2017-0052.
- ↑ 1 2 Vatutin EI, Titov VS, Zaikin OS, Kochemazov SE, Manzuk MO, Nikitina NN Ortogonalitetsbaserad klassificering av diagonala latinska kvadrater av ordningen 10 // CEUR Workshop Proceedings. Vol. 2267. Proceedings of the VIII International Conference "Distributed Computing and Grid-technologies in Science and Education" (GRID 2018). Dubna, JINR, 2018. s. 282–287. . Hämtad 5 januari 2019. Arkiverad från originalet 5 januari 2019. (obestämd)
- ↑ Vatutin E.I., Belyshev A.D., Kochemazov S.E., Zaikin O.S., Nikitina N.N., Manzyuk M.O. Om polynomreduktionen av problem baserade på latinska kvadrater till problemet med exakt täckning // Optoelektroniska enheter och enheter i bildigenkänning och bildbehandlingssystem (Recognition - 2019). Kursk: SWGUs förlag, 2019, s. 62–64. . Hämtad 28 maj 2019. Arkiverad från originalet 28 maj 2019. (obestämd)
- ↑ Vatutin E., Nikitina N., Belyshev A., Manzyuk M. Om polynomreduktion av problem baserade på diagonala latinska kvadrater till det exakta omslagsproblemet // CEUR Workshop Proceedings. Proceedings of the Second International Conference Information, Computation and Control Systems for Distributed Environments (ICCS-DE 2020). Vol. 2638. Tekniska universitetet i Aachen, Tyskland, 2020. . Hämtad 17 juli 2020. Arkiverad från originalet 18 juli 2020. (obestämd)
- ↑ Vatutin E., Belyshev A., Kochemazov S., Zaikin O., Nikitina N. Uppräkning av isotopiklasser av diagonala latinska kvadrater av liten ordning med hjälp av volontärberäkning // Supercomputing Days Russia 2018. M.: Moscow State University, 2018. pp. 933–942. . Hämtad 21 december 2018. Arkiverad från originalet 21 december 2018. (obestämd)
- ↑ Vatutin E., Belyshev A., Kochemazov S., Zaikin O., Nikitina N. Uppräkning av isotopiklasser av diagonala latinska kvadrater av liten ordning med hjälp av volontärberäkning // Communications in Computer and Information Science. Vol. 965. Springer, 2018. s. 578–586. DOI: 10.1007/978-3-030-05807-4_49. . Hämtad 5 januari 2019. Arkiverad från originalet 5 januari 2019. (obestämd)
- ↑ Vatutin E.I., Kochemazov S.E., Zaikin O.S., Manzyuk M.O., Nikitina N.N., Titov V.S. Om egenskaperna hos den centrala symmetrin hos diagonala latinska kvadrater // Högpresterande datorsystem och -teknologier. nr 1 (8). 2018, s. 74–78. . Hämtad 13 november 2018. Arkiverad från originalet 14 november 2018. (obestämd)
- ↑ Vatutin EI, Kochemazov SE, Zaikin OS, Manzuk MO, Nikitina NN, Titov VS Central Symmetry Properties for diagonal Latin Squares // Problems of Information Technology. Nej. 2. 2019.s. 3-8. DOI: 10.25045/jpit.v10.i2.01. . Hämtad 15 oktober 2019. Arkiverad från originalet 15 oktober 2019. (obestämd)
- ↑ Vatutin E.I., Belyshev A.D. Bestämning av antalet självortogonala (SODLS) och dubbelt självortogonala diagonala latinska kvadrater (DSODLS) av order 1–10 // Högpresterande datorsystem och -teknologier. T. 4. Nr 1. 2020. S. 58–63. . Hämtad 19 juli 2020. Arkiverad från originalet 19 juli 2020. (obestämd)
- ↑ Vatutin E.I., Titov V.S., Zaikin O.S., Kochemazov S.E., Manzyuk M.O. Analys av kombinatoriska strukturer på ortogonalitetsförhållandet av diagonala latinska kvadrater av ordningen 10 // Informationsteknologier och matematisk modellering av system 2017. Moskva: CITP RAS, 2017. s. 167–170. . Datum för åtkomst: 16 februari 2018. Arkiverad från originalet 16 februari 2018. (obestämd)
- ↑ Vatutin EI, Titov VS, Zaikin OS, Kochemazov SE, Manzyuk MO, Nikitina NN Ortogonalitetsbaserad klassificering av diagonala latinska kvadrater av ordning 10 // Distribuerad beräknings- och rutnätsteknik inom vetenskap och utbildning (GRID'18): bok med abstracts av den 8:e internationella konferensen. Dubna: JINR, 2018. s. 94–95. . Hämtad 13 november 2018. Arkiverad från originalet 13 november 2018. (obestämd)
- ↑ Zaikin O., Zhuravlev A., Kochemazov S., Vatutin E. On the Construction of Triples of Diagonal Latin Squares of Order 10 // Electronic Notes in Discrete Mathematics. Vol. 54C. 2016.s. 307–312. DOI: 10.1016/j.endm.2016.09.053. (inte tillgänglig länk) . Hämtad 28 maj 2019. Arkiverad från originalet 22 november 2016. (obestämd)
Länkar
- Officiell webbplats för projektet
- Projekt Twitter
- Vatutin E. I., Titov V. S. Jämförelse av metoder för att syntetisera partitioner av parallella logiska styralgoritmer med tvåparameterdiagram // Optoelektroniska enheter och enheter i system för mönsterigenkänning, bildbehandling och symbolisk information (Recognition - 2012). Kursk: SWGUs förlag, 2012, s. 138-140.
- Vatutin E. I., Titov V. S. Jämförelse av metoder för att syntetisera partitioner av grafscheman för parallella algoritmer med hjälp av tvådimensionella diagram // Izvestiya SWSU . nr 3 (42). Kursk : förlag av SWGU, 2012. S. 66-74.
- Plenarrapport "Using grid computing på BOINC-plattformen för att bygga partitioner av parallella logiska styralgoritmer" (Kursk, 2012) på YouTube
- Vatutin E. I., Titov V. S. Använder frivillig distribuerad beräkning på BOINC-plattformen för att analysera kvaliteten på partitioner av grafscheman för parallella algoritmer // Parallel Computing and Control Problems (PACO'12) . M.: IPU RAN, 2012.
- Vatutin E. I., Titov V. S. Strukturell-parametrisk optimering av logiska styrsystem med hjälp av frivillig distribuerad beräkning // Izvestiya SWGU . Serien ”Management, Computer Engineering, Informatics. Medicinsk instrumentering". Nr 2. Del 1. S. 12-17. ISSN 2223-1536.
- Vatutin E.I. Jämförelse av heuristiska metoder för att syntetisera partitioner av grafscheman för parallella algoritmer med hjälp av frivillig distribuerad beräkning på BOINC-plattformen // BOINC:FAST'13. Petrozavodsk, 2013. på YouTube
- Vetenskaplig och populär beskrivning av uppgiften att bygga skiljeväggar
- Vatutin E. I., Valyaev S. Yu. Beräkningsmodul för att konstruera partitioner av parallella logiska styralgoritmer med hjälp av frivillig distribuerad beräkning.
- Vatutin EI, Titov VS Frivillig distribuerad datoranvändning för att lösa diskreta kombinatoriska optimeringsproblem med hjälp av Gerasim@home-projektet // Distribuerad datoranvändning och grid-teknologier inom vetenskap och utbildning: bok med sammanfattningar från den 6:e internationella konferensen. Dubna: JINR, 2014. PP. 60-61. ISBN 978-5-9530-0387-2.
- Vatutin E. I., Valyaev S. Yu., Dremov E. N., Martynov I. A., Titov V. S. Beräkningsmodul för att testa kombinatoriska optimeringsalgoritmer i problemet med att hitta den kortaste vägen i en graf med hjälp av frivillig distribuerad beräkning // Certifikat för statlig registrering av datorprogrammet Nej 2014619797 daterad 22/09/14.
- Vatutin E. I., Titov V. S. Analys av områden med kvalitativ överlägsenhet av sekventiella heuristiska metoder för partitionssyntes vid design av logiska multikontroller. Instrumentation. 2015. V. 58. Nr 2. S. 115-122. DOI: 10.17586/0021-3454-2015-58-2-115-122.
- Resultat av beräkningsexperiment i grafisk form
- Plenarrapport "Solving Discrete Combinatorial Optimization Problems Using Grid Systems on a Voluntary Basis" (Kursk, 2015) på YouTube
- Vatutin EI, Valyaev S.Yu., Titov VS Jämförelse av sekventiella metoder för att få separationer av parallella logiska kontrollalgoritmer med hjälp av volontärberäkning // CEUR Workshop Proceedings. Proceedings of the Second International Conference BOINC-baserad High Performance Computing: Fundamental Research and Development (BOINC:FAST 2015). Vol. 1502. Tekniska universitetet i Aachen, Tyskland, 2015. S. 37-51. urna: nbn: de:0074-1502-3.
- Vatutin E.I., Valyaev S.Yu., Titov V.S. Analys av resultaten av tillämpningen av den slumpmässiga uppräkningsmetoden vid konstruktion av partitioner av grafscheman för parallella algoritmer beroende på problemets dimension och styrkan av begränsningar // Perspektivnye informatsionnye tekhnologii (PIT 2016). Samara: förlag för Samara Scientific Center vid den ryska vetenskapsakademin, 2016. S. 481-486.
- Räkna antalet diagonala latinska kvadrater med hjälp av frivillig distribuerad beräkning
- Projektresultat i grafisk form (från och med augusti 2017)
- Lista över olika kombinatoriska strukturer från DLC order 1-8
- Lista över olika kombinatoriska strukturer från DLC av ordning 10 som finns i projektet
- Vatutin E.I., Kochemazov S.E., Zaikin O.S., Tsiterrav I.I. Uppskattning av sannolikheten att hitta ortogonala diagonala latinska kvadrater bland diagonala latinska kvadrater av allmän form // Optoelektroniska enheter och enheter i system för mönsterigenkänning, bildbehandling och symbolisk information (Recognition - 2018). Kursk: SWGUs förlag, 2018. S. 72–74.
Diskussion om projektet i forumen:
Se även
Frivilliga datorprojekt |
---|
Astronomi |
|
---|
Biologi och medicin |
|
---|
kognitiv |
- System för artificiell intelligens
- MindModeling@Home
|
---|
Klimat |
- APS@Home
- BBC:s klimatförändringsexperiment
- ClimatePrediction.net
- Seasonal Attribution Project
- Quake Catcher Network - Seismisk övervakning
- Virtual Prairie
|
---|
Matte |
|
---|
Fysiska och tekniska |
|
---|
Multipurpose |
|
---|
Övrig |
|
---|
Verktyg |
- BOINC
- chef
- klient-server-teknik
- kreditsystem
- Omslag
- WUProp
|
---|