Gerasim@Home
Gerasim@Home |
Platformă |
BOINC |
Dimensiunea de descărcare a software -ului |
2 MB |
Dimensiunea datelor încărcate de job |
1 KB |
Cantitatea de date despre job trimisă |
150 KB |
Spațiu pe disc |
2 MB |
Cantitatea de memorie folosită |
10 MB |
GUI |
Nu |
Timp mediu de calcul al sarcinii |
până la 6 ore |
termen limita |
11 zile |
Abilitatea de a utiliza GPU |
Nu |
Gerasim@Home este un proiect rusesc de calcul distribuit voluntar bazat pe platforma BOINC . Proiectul a început în modul de testare în februarie 2008 [1] . O caracteristică distinctivă a părții server a proiectului, dezvoltată de S. Yu. Valyaev, este utilizarea sistemului de operare Windows Server 2008 și a pachetului Microsoft SQL Server cu ASP.NET , în timp ce setul standard de aplicații de la dezvoltatorii BOINC necesită utilizarea sistemului de operare Linux sau Unix . Începând cu 23 iulie 2015, 1999 de utilizatori (890 de computere) din 62 de țări au luat parte la proiect, oferind performanțe de 1-5 teraflopi . Oricine are un computer cu acces la Internet poate participa la proiect instalând pe acesta programul BOINC Manager .
Istoricul proiectului
Proiectul a început în modul de testare în februarie 2008 [1] folosind programul gsm pentru găsirea numerelor prime ca modul de calcul de testare.
În iunie 2010, la Departamentul de Inginerie Calculatoare a Universității de Stat Southwestern , a fost dezvoltat separatorul aplicației de calcul, al cărui scop este de a construi partiții ale schemelor grafice paralele ale algoritmilor de control logic obținut prin diferite metode euristice pentru a compara calitatea soluţiilor obţinute şi elaborează recomandări cu privire la limitele oportunităţii utilizării metodelor. Prima parte a calculelor a fost finalizată în septembrie 2011.
În ianuarie 2013, a fost lansat un experiment [2] pentru a explora posibilitățile de utilizare a unei strategii de sinteză a partițiilor greedy cu o restricție privind alegerea vârfurilor dintr-o vecinătate adiacentă a blocului actual [3] .
În martie 2014, a fost lansată o nouă serie de experimente, al căror scop este testarea aplicării metodelor euristice în legătură cu rezolvarea problemelor cunoscute de teoria grafurilor folosind exemplul problemei găsirii celei mai scurte căi într-un graf și pentru găsirea despărțitori [4] .
În iunie 2014, o serie de experimente au început să exploreze posibilitatea de a utiliza enumerarea aleatoare[5] [6] cu un număr fix de iterații la construirea partițiilor.
În februarie 2015 a fost lansată o continuare a unei serii de experimente, al căror scop este testarea aplicării metodelor euristice în legătură cu rezolvarea problemei găsirii celei mai scurte căi într-un grafic folosind o strategie de returnare [7] , precum și ca metode de simulare a recoacerii [8] , căutare cu limitare de adâncime [9] [ 10] , diverse variații ale algoritmului coloniei de furnici [11] [12] , algoritmului genetic [13] și algoritmului coloniei de albine [14] .
În iunie 2016 a fost lansat un experiment de calcul, al cărui scop este numărarea numărului de pătrate latine diagonale de ordinul 9 (secvența A274171 în OEIS și secvența A274806 în OEIS ) [15] .
În octombrie 2016, în cadrul proiectului a fost lansat un experiment care vizează studierea eficienței metodelor de mers aleatoriu [16] și a unui roi de particule [17] [18] în problema găsirii celei mai scurte căi într-un grafic.
La începutul anului 2017, proiectul a organizat un experiment care vizează determinarea valorilor unui număr de caracteristici combinatorii ale pătratelor diagonale latine și perechile lor ortogonale ( pătrate greco-latine ) de ordinul 8 [19] . În martie 2017, a fost lansat un experiment pentru a obține perechi aleatorii de pătrate latine diagonale ortogonale de ordinul 10 pentru a forma o listă a formelor lor canonice unice [20] . În perioada 3 iunie - 16 iunie 2017, proiectul a numărat numărul de pătrate latine diagonale simetrice de ordinul a 10 [21] . Pe 23 octombrie 2017, proiectul a lansat un experiment care vizează analiza pătratelor care sunt simetrice într-un plan atunci când se construiesc perechi de pătrate latine diagonale ortogonale [22] [23] .
În decembrie 2018, în cadrul proiectului a fost lansat un experiment de studiere a eficacității metodelor euristice în problema colorării graficelor de formă generală [24] .
aplicație separator
Necesitatea de a găsi o partiție care să fie (sub)optimă în ceea ce privește un număr de indicatori de calitate apare la proiectarea sistemelor de control logic utilizate pentru implementarea controlului logic al diferitelor sisteme discrete ( circuite digitale , mașini CNC , linii de asamblare robotizate etc.). La proiectarea unor astfel de sisteme, apar o serie de probleme de optimizare combinatorie multicriteriale pe structuri discrete ( grafice ), care includ problema sintezei de partiţionare a unei scheme grafice date a unui algoritm de control [25] [26] [27] , în conformitate cu pe care ar trebui să funcționeze sistemul de control logic dezvoltat . Găsirea unei soluții exacte (optimul global) în majoritatea cazurilor practice este imposibilă din cauza faptului că problema pusă aparține clasei NP , prin urmare, în practică, acestea se limitează de obicei la utilizarea metodelor euristice care oferă soluții de bună calitate într-un mod acceptabil. timp.
Calitatea soluției găsite este evaluată ca grad de minimizare a indicatorilor de calitate privați, care includ:
- numărul de blocuri de partiție - coincide cu numărul de controlere din sistemul de control logic, afectează direct complexitatea hardware a sistemului de control logic, consumul de energie și caracteristicile de greutate și dimensiune;
![H](https://wikimedia.org/api/rest_v1/media/math/render/svg/75a9edddcca2f782014371f75dca39d7e13a9c1b)
- gradul de duplicare a semnalelor de condiții logice și micro-operații - determină distribuția optimă a vârfurilor diagramei grafice a algoritmului prin blocuri de partiție, afectează numărul de piste care conectează controlerele pe o placă de circuit imprimat sau ca parte a unui circuit integrat (în funcție de metoda aleasă de implementare a sistemului de control logic);
![{\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)
- complexitatea rețelei de conexiuni interblocare - determină numărul necesar de microcomenzi pentru transferul controlului între controlere, afectează adâncimea unor cozi ca parte a subsistemului de comunicații al controlerului;
![\alfa](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
- intensitatea interacțiunilor interbloc - determină numărul mediu de transferuri de control în timpul execuției unui anumit algoritm de control ( traficul de transfer de control inter-controller ), afectează performanța sistemului de control în ansamblu.
![\delta](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5321cfa797202b3e1f8620663ff43c4660ea03a)
Estimarea integrală a calității partiției este calculată ca o sumă ponderată a valorilor normalizate ale indicatorilor parțiali de calitate.
![J](https://wikimedia.org/api/rest_v1/media/math/render/svg/359e4f407b49910e02c27c2f52e87a36cd74c053)
În implementarea practică a unui sistem de control logic, este necesar să se ia în considerare limitările tehnologice, care includ în primul rând:
- numărul de pini de pe corpul microcircuitului pentru primirea semnalelor de condiții logice și emiterea semnalelor de micro-operații ;
![{\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)
- cantitatea de memorie de microinstrucțiuni din controler.
![{\displaystyle W_{max})](https://wikimedia.org/api/rest_v1/media/math/render/svg/baaa70c3b3bfe4e86b85bdf31b0b09080fc3acd7)
Limitarea nu este critică și poate fi exclusă din luare în considerare prin duplicarea controlerelor care au aceleași intrări și rulează același tip de firmware. Pentru a simplifica structura internă a controlerului, se impune o constrângere structurală suplimentară asupra imposibilității de a plasa vârfuri paralele într-un bloc de partiție (controller).
![{\displaystyle Y_{max}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfb7966136c3f407dc20f8f5bd8ab7532fad0555)
Ca metode euristice pentru căutarea partițiilor în experimente de calcul, au participat următoarele:
- metoda lui S.I.Baranov [28] și modificările acesteia [3] — folosește strategia lacomă a formării succesive a blocurilor de partiție;
- metoda de descompunere paralel-secvențială [29] [30] - folosește un număr de transformări echivalente (cicluri de rupere, combinarea secțiunilor liniare ale diagramei grafice a algoritmului, clasificarea relațiilor dintre vârfurile diagramei grafice, construirea unui set de secțiuni de diagrama grafică, construirea blocurilor de partiții bazate pe analiza incluziunilor de tabele);
- metoda de enumerare aleatorie[5] [6] cu un număr dat de iterații.
Metodele sunt caracterizate de complexitatea implementării, de timp și de capacitate semnificativ diferită a algoritmilor de transformare și de calitatea soluțiilor obținute pentru diferite valori ale constrângerilor tehnologice. Când se compară calitatea metodelor, este necesar să se studieze diferite regiuni ale spațiului parametrilor , unde este numărul de vârfuri din compoziția diagramelor grafice ale algoritmilor, ceea ce este o sarcină dificilă din punct de vedere computațional. În procesul de calcule, au fost analizate felii individuale ale spațiului parametrilor, pe baza cărora a fost dezvăluit un comportament semnificativ diferit al metodelor de sintetizare a partițiilor, pe măsură ce valorile restricțiilor tehnologice au fost întărite sau slăbite.
![{\displaystyle \left(X_{max},W_{max},N\dreapta)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f102ddb36aff9ffda1f490c8a77336ac17af26)
![N](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5e3890c981ae85503089652feb48b191b57aae3)
Pentru fiecare punct al feliei selectate din spațiul parametrilor, se construiește un eșantion de algoritmi de control logic paralel cu o structură pseudo-aleatorie, partițiile lor sunt construite prin metoda specificată și se evaluează calitatea, ceea ce necesită câteva minute (mice). valori ) la câteva ore (valori mari ) de timp de calcul. Mostrele rezultate de valori numerice de aproximativ 200 KB fiecare sunt transferate pe serverul de proiect și așteaptă procesarea ulterioară. Cantitatea totală de date primite (excluzând redundanța) a fost de 235 GB, iar costul de calcul a fost de 51,6 exa flops ( 818 GHz-ani). În comparație cu implementarea Core 2 Duo 1,86 GHz dual-core, câștigul de timp obținut prin procesarea paralelă a rețelei a fost de 155x. Post-procesarea rezultatelor obținute [31] [32] a durat aproximativ o zi de timp de calcul și a constat în calcularea valorilor medii ale parametrilor de calitate și a probabilităților de obținere a unei partiții cu valoarea minimă a indicatorului de calitate selectat, în urma cărora s-au obținut hărțile bidimensionale dorite cu un volum total de 96 MB, care pot fi utilizate pentru analiza detaliată a comportamentului metodelor în diferite zone ale spațiului parametrilor.
![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)
aplicație spstarter
În martie 2014, a fost lansată o altă serie de experimente de calcul [4] , a căror caracteristică distinctivă este suportul pentru execuția simultană a mai multor experimente. Pentru testarea metodelor de rezolvare a problemelor de optimizare discretă a fost implementat un modul de calcul adecvat, care este conectat static la aplicația spstarter.exe. Pe lângă aplicația de separare, care face parte din noul modul de calcul, este posibil să se analizeze calitatea soluțiilor la problema de testare a găsirii celei mai scurte căi într-un grafic folosind o serie de abordări ( algoritmul lui Dijkstra , algoritmul greedy, aleatoriu enumerare, enumerare aleatorie ponderată [33] , modificări ale acestora cu suport pentru randamente combinatorii [7] , variații ale algoritmului coloniei de furnici [11] [12] , metoda de recoacere simulată , căutare cu forță brută cu o limită a adâncimii sau numărului de luate în considerare ramurile de copac , algoritmul genetic [13] , algoritmul coloniei de albine [14] , metoda de mers aleatoriu și variațiile metodei roiului de particule ) pentru a le identifica punctele forte și punctele slabe. Cele mai bune rezultate în această problemă au fost demonstrate de metoda coloniei de furnici și de algoritmul genetic [34] [35] , [36] .
Determinarea comportamentului asimptotic al caracteristicilor combinatorii ale structurilor combinatorii pe baza pătratelor latine diagonale
Comportamentul asimptotic al numărului de pătrate latine diagonale (DLS) cu o creștere a dimensiunii lor N față de calculele efectuate în proiect a fost necunoscut. Ca urmare a dezvoltării unui modul de calcul extrem de eficient care utilizează o serie de tehnici de optimizare algoritmică și de nivel înalt [37] [38] [39] [40] [41] [42] , a fost posibilă realizarea unei generații. rata de 6,6 milioane DLC/s, ceea ce a permis determinarea numărului de DLC-uri până la N<10 (secvența A274171 în OEIS și secvența A274806 în OEIS ). Acest lucru a necesitat 3 luni de calcule per grilă cu un debit real de 2–5 TFLOP/s [43] și 3 luni de calcule pe clusterul de calculatoare „Akademik V.M. Matrosov” al Filialei Siberiei a Academiei Ruse de Științe în vederea verificării și confirmării rezultatului obținut [44] .
Principii algoritmice similare au fost folosite pentru a număra numărul de pătrate latine diagonale simetrice de ordinul N<11 [21] și pentru a determina numărul minim și maxim de transversale în pătratele latine diagonale de ordinul N<9 [45] [46] [47] .
Pe lângă determinarea caracteristicilor combinatorii, proiectul caută și colectează forme canonice ale pătratelor latine diagonale ortogonale de ordinul 10 pentru a clasifica structurile combinatorii formate de acestea (grafice pe mulțimea unei relații de ortogonalitate binară) [48] și o încercare de a găsiți un triplu de pătrate latine diagonale ortogonale pe perechi, care este o problemă matematică deschisă. Cea mai eficientă căutare a pătratelor ortogonale de formă generală se realizează folosind transversale prin reducerea problemei inițiale la problema de acoperire exactă cu soluția sa ulterioară folosind algoritmul de conexiune de dans în cadrul metodei Euler-Parker [49] [50] . Începând cu iulie 2020, colecția include peste 10 milioane de forme canonice ODLC de ordinul 10 găsite în proiect.
Realizări științifice
- se obțin limitele zonelor de aplicabilitate ale metodelor de sinteză a partițiilor: zona de restricții slabe pentru metoda lui S. I. Baranov, zona de restricții puternice pentru metoda de descompunere paralel-secvențială (avantaj calitativ);
- se obțin rapoarte ale gradului de optimizare a fiecăruia dintre indicatorii de calitate selectați la optimul condiționat cunoscut pentru acesta, pentru fiecare dintre metode fiind prezentată pierderea procentuală (superioritatea cantitativă);
- se obțin limitele zonelor moarte, în care slăbirea restricțiilor nu afectează îmbunătățirea calității soluțiilor, zona moartă are o lățime diferită pentru diferite metode euristice;
- sunt formulate recomandări pentru dezvoltatorii hardware-ului multicontrolerelor, este de preferat structura unui multicontroller logic cu un număr mare de controlere simple; se arată necesitatea de a lucra în zona restricțiilor puternice, dictate de practică;
- a fost numărat numărul de pătrate latine diagonale de ordinul N<10 (secvența A274171 în OEIS și secvența A274806 în OEIS );
- a fost numărat numărul de pătrate latine diagonale simetrice orizontal de ordinul N<11 (secvența A287649 în OEIS și secvența A292516 în OEIS );
- a fost numărat numărul de pătrate latine diagonale dublu simetrice de ordinul N<10 (secvența A287650 în OEIS și secvența A292517 în OEIS );
- a fost numărat numărul de pătrate latine diagonale de ordinul N<9 simetrice într-un plan (secvența A296060 în OEIS și secvența A296061 în OEIS );
- a fost numărat numărul de perechi reduse (primul rând de pătrate este ordonat, de exemplu, în ordine crescătoare) de pătrate latine diagonale ortogonale de ordinul N<8 (secvența A287651 în OEIS );
- a calculat numărul maxim posibil de pătrate latine diagonale ortogonale la un pătrat latin diagonal de ordinul N<9 (secvența A287695 în OEIS );
- calculul numărului și analiza proprietăților principalelor clase de pătrate latine diagonale de ordinul N<9 (secvența A287764 în OEIS , secvența A299783 în OEIS , secvența A299784 în OEIS , secvența A299785 în OEIS și secvența A29EIS 78 ) 51] [52] ;
- a fost calculat numărul de pătrate latine diagonale simetrice central de ordinul N<10 (secvența A293777 în OEIS și secvența A293778 în OEIS ) [53] [54] ;
- s -a determinat numărul minim și maxim de transversale în pătratele latine diagonale de ordinul N<9 (secvența A287644 în OEIS , secvența A287645 în OEIS , secvența A287647 în OEIS și secvența A287648 în OEIS );
- a fost numărat numărul de pătrate latine pandiagonale de ordinul N cu un prim rând fix (secvența A123565 în OEIS );
- numărul de pătrate latine diagonale ortogonale (ODLS), auto-ortogonale (SODLS), dublu auto-ortogonale (DSODLS) și auto-ortogonale extinse (ESODLS) de ordinul 1-10, precum și pătrate normalizate pentru același tip de ortogonalitate și clasele lor principale (secvența A330391 în OEIS }, secvența A329685 în OEIS , secvența A333366 în OEIS , secvența A309210 în OEIS ) [55] ;
- a fost efectuată o clasificare a structurilor combinatorii care decurg din pătratele latine diagonale de ordinul 1-10 pe mulțimea unei relații de ortogonalitate binară [56] [57] [48] ;
- se arată că caracteristica de ortogonalitate de înregistrare 274 [58] pentru un pseudotriplu de pătrate latine diagonale ortogonale în perechi de ordinul 10, găsită în analiza simetriei plane în DLC, nu poate fi îmbunătățită atât în această clasă de simetrii, cât și în clasa de simetrii pure generalizate şi vecinătăţile lor .
Note
- ↑ 1 2 BOINCstats | Gerasim@Home - Prezentare generală a creditului (link descendent)
- ↑ Separator progres - Pagina 2 - Știință - Forum Gerasim@home (downlink) . Data accesului: 30 ianuarie 2013. Arhivat din original pe 4 februarie 2013. (nedefinit)
- ↑ 1 2 Vatutin E. I., Leonov M. E. Utilizarea unui vecinătate adiacent pentru formarea secvențială greedy de blocuri pentru partiționarea schemelor grafice ale algoritmilor paraleli. Instrumentaţie. 2013. V. 56. Nr. 6. S. 30-35. . Data accesului: 12 octombrie 2013. Arhivat din original la 14 octombrie 2013. (nedefinit)
- ↑ 1 2 Despre proiectul Gerasim@home — Pagina 48 — Gerasim@home — Forum Boinc.ru (link nu este disponibil)
- ↑ 1 2 Vatutin E. I., Kolyasnikov D. V., Martynov I. A., Titov V. S. Metoda de enumerare aleatorie în problema construcției partițiilor de scheme grafice ale algoritmilor paraleli // Procesoare multi-core, programare paralelă, FPGA, semnale ale sistemelor de procesare. Barnaul: Barnaul, 2014, p. 115-125. . Preluat la 13 august 2014. Arhivat din original la 14 august 2014. (nedefinit)
- ↑ 1 2 Vatutin E. I., Kolyasnikov D. V., Titov V. S. Analiza rezultatelor aplicării metodei de enumerare aleatorie în problema găsirii partițiilor de grafice-scheme ale algoritmilor paraleli // Buletinul Universității Federale de Sud. Știința tehnică. 2014. Nr 12 (161). pp. 102-110. . Data accesului: 1 martie 2015. Arhivat din original pe 2 aprilie 2015. (nedefinit)
- ↑ 1 2 Vatutin E. I., Martynov I. A., Titov V. S. O metodă de ocolire a blocajelor în rezolvarea problemelor de optimizare discretă cu constrângeri // Perspektivnye informatsionnye tekhnologii (PIT-2014). Samara: editura Centrului Științific Samara al Academiei Ruse de Științe. p. 313-317. . Consultat la 16 februarie 2015. Arhivat din original pe 16 februarie 2015. (nedefinit)
- ↑ Vatutin E. I., Titov V. S. Optimizarea parametrică a algoritmului de simulare de recoacere pe exemplul de rezolvare a problemei găsirii celui mai scurt drum într-un grafic // Buletinul Universității de Stat Cherepovets. Nr. 6 (67). 2015. S. 13-16. . Consultat la 28 noiembrie 2015. Arhivat din original la 8 decembrie 2015. (nedefinit)
- ↑ Despre proiectul Gerasim@home - Pagina 63 - Gerasim@home - Forum Boinc.ru (link inaccesibil) . Consultat la 16 februarie 2015. Arhivat din original pe 16 februarie 2015. (nedefinit)
- ↑ Vatutin E. I., Martynov I. A., Titov V. S. Analiza rezultatelor utilizării metodei de enumerare cu adâncime limitată în problema găsirii celui mai scurt drum într-un grafic // Procesoare multi-core, programare paralelă, FPGA, sisteme de procesare a semnalului (MPPS' 15). Barnaul, 2015, p. 120-128. . Preluat la 4 august 2015. Arhivat din original la 8 decembrie 2015. (nedefinit)
- ↑ 1 2 Vatutin E.I., Titov V.S. Analiza rezultatelor aplicării algoritmului de colonie de furnici în problema găsirii unei căi într-un grafic în prezența constrângerilor // Buletinul Universității Federale de Sud. Știința tehnică. 2014. Nr 12 (161). pp. 111-120. . Data accesului: 1 martie 2015. Arhivat din original pe 2 aprilie 2015. (nedefinit)
- ↑ 1 2 Vatutin E. I., Titov V. S. Pe o abordare a utilizării algoritmului coloniei de furnici în rezolvarea problemelor de optimizare combinatorie discrete // Intelligent and information systems (Intellect 2015). Tula, 2015, p. 8-13. . Data accesului: 11 decembrie 2015. Arhivat din original pe 5 martie 2016. (nedefinit)
- ↑ 1 2 Vatutin E. I., Titov V. S. Studiul caracteristicilor utilizării unui algoritm genetic în problema găsirii celui mai scurt drum într-un graf în prezența restricțiilor privind densitatea grafului // Procesoare multi-core, programare paralelă, FPGA , sisteme de procesare a semnalului (MPPS - 2016) . Barnaul: editura Universității de Stat din Altai, 2016, pp. 152-159. . Data accesului: 25 iunie 2016. Arhivat din original pe 16 iunie 2016. (nedefinit)
- ↑ 1 2 Vatutin E. I., Titov V. S. Caracteristici ale meta-optimizării algoritmului coloniei de albine în problema găsirii celui mai scurt drum într-un grafic în prezența restricțiilor privind densitatea graficului // Buletinul Universității de Stat de Sud-Vest . Seria: Management, tehnologie informatică, informatică. Instrumente medicale. Nr. 2 (19). 2016. S. 52-65. . Preluat la 7 august 2016. Arhivat din original la 20 august 2016. (nedefinit)
- ↑ Știri despre proiect . Consultat la 25 iunie 2016. Arhivat din original la 17 iulie 2016. (nedefinit)
- ↑ Despre proiectul Gerasim@home - Pagina 94 - Gerasim@home - Forum Boinc.ru (link inaccesibil) . Data accesului: 22 noiembrie 2016. Arhivat din original pe 22 noiembrie 2016. (nedefinit)
- ↑ Despre proiectul Gerasim@home - Pagina 96 - Gerasim@home - Forum Boinc.ru (link inaccesibil) . Data accesului: 22 noiembrie 2016. Arhivat din original pe 22 noiembrie 2016. (nedefinit)
- ↑ Vatutin E.I., Titov V.S. Investigarea aplicării metodei roiului de particule în probleme de optimizare discretă.Buletin de Tehnologii Informatice şi Informatice. Nr. 5 (167). 2018, p. 26–34. DOI: 0.14489/vkit.2018.05.pp.026–034. . Preluat la 4 iunie 2018. Arhivat din original la 15 iulie 2019. (nedefinit)
- ↑ Despre proiectul Gerasim@home - Pagina 98 - Gerasim@home - Forum Boinc.ru (link inaccesibil) . Preluat la 14 martie 2017. Arhivat din original la 15 martie 2017. (nedefinit)
- ↑ Căutați KF ODLC în proiectul Gerasim@home - Gerasim@home - Forum Boinc.ru (link inaccesibil) . Preluat la 14 martie 2017. Arhivat din original la 15 martie 2017. (nedefinit)
- ↑ 1 2 Despre proiectul Gerasim@home - Pagina 103 - Gerasim@home - Forum Boinc.ru (link inaccesibil) . Consultat la 16 iunie 2017. Arhivat din original pe 20 iunie 2017. (nedefinit)
- ↑ Despre proiectul Gerasim@home - Pagina 106 - Gerasim@home - Forum Boinc.ru (link inaccesibil) . Consultat la 29 octombrie 2017. Arhivat din original la 30 octombrie 2017. (nedefinit)
- ↑ Vatutin E.I., Kochemazov S.E., Zaikin O.S., Titov V.S. Investigarea proprietăților pătratelor latine diagonale simetrice. Lucrare la bug-uri // Sisteme intelectuale și informaționale (Intelligence - 2017). Tula, 2017, p. 30–36. . Preluat la 4 decembrie 2017. Arhivat din original la 5 decembrie 2017. (nedefinit)
- ↑ Despre proiectul Gerasim@home - Pagina 117 - Gerasim@home - Forum Boinc.ru (link inaccesibil) . Preluat la 20 decembrie 2018. Arhivat din original la 20 decembrie 2018. (nedefinit)
- ↑ Zotov I. V., Titov V. S., Koloskov V. A. [et al.] Organizarea și sinteza microprogramelor multimicrocontrolere. Kursk: editura „Kursk”, 1999. 368 p. ISBN 5-7277-0253-4
- ↑ Vatutin E. I., Zotov I. V., Titov V. S. [et al.] Probleme combinatorii-logice de sintetizare a partițiilor de algoritmi de control logic paralel în proiectarea multicontrolerelor logice. Kursk, editura Universității Tehnice de Stat din Kursk, 2010. 200 p. ISBN 978-5-7681-0523-5
- ↑ Vatutin E. I. Design of logic multicontrollers. Sinteza partițiilor de grafice-scheme paralele de algoritmi. Saarbrucken : Editura Academică Lambert , 2011. 292 p. ISBN 978-3-8433-1728-3
- ↑ Baranov S. I., Zhuravina L. N., Peschansky V. A. A method for representing parallel graph-schemes of algorithms by sets of sequential graph-schemes // Automation and Computer Science. 1984. Nr 5. S. 74-81.
- ↑ Zotov I. V., Koloskov V. A., Titov V. S. Alegerea partițiilor optime ale algoritmilor în proiectarea rețelelor de microcontrolere // Automation and Computer Science. 1997. Nr 5. S. 51-62.
- ↑ Vatutin E. I., Zotov I. V. O metodă pentru generarea de partiții suboptimale ale algoritmilor de control paralel // Parallel Computing and Control Problems (PACO'04). M.: IPU RAN, 2004. S. 884-917. . Data accesului: 13 mai 2012. Arhivat din original pe 29 martie 2014. (nedefinit)
- ↑ evatutin - Calcule și post-procesare finalizate!
- ↑ evatutin — Post-procesarea rezultatelor analizei strategiei greedy adiacente este finalizată!
- ↑ Vatutin E. I., Dremov E. N., Martynov I. A., Titov V. S. Metoda de enumerare aleatorie ponderată pentru rezolvarea problemelor de optimizare combinatorie discretă // Izvestiya VolGTU. Seria: Electronică, echipamente de măsurare, inginerie radio și comunicații. Nr. 10 (137). Problema. 9. 2014. c. 59-64. . Preluat la 22 iulie 2014. Arhivat din original la 29 iulie 2014. (nedefinit)
- ↑ Vatutin EI Comparația deciziilor Calitatea metodelor euristice cu formarea secvențială a deciziei în problema cea mai scurtă cale a graficului // CEUR Workshop Proceedings. Proceedings of the Third International Conference Computing de înaltă performanță bazat pe BOINC: cercetare și dezvoltare fundamentală (BOINC:FAST 2017). Vol. 1973. Universitatea Tehnică din Aachen, Germania, 2017. pp. 67–76. . Consultat la 29 octombrie 2017. Arhivat din original la 30 octombrie 2017. (nedefinit)
- ↑ Comparația Vatutin E.I. Calitatea deciziilor metodelor euristice cu tehnicile de căutare limitate în adâncime-primă în problema cea mai scurtă cale a graficului // Open Engineering. Vol. 7. Iss. 1. 2017.pp. 428–434. DOI: 10.1515/eng-2017-0041.
- ↑ Vatutin E., Panishchev V., Gvozdeva S., Titov V. Comparison of Decisions Quality of Euristic Methods Based on Modifying Operations in the Graph Shortest Path Problem // Problems of Information Technology. Nu. 1.2020.pp. 3–15. DOI: 10.25045/jpit.v11.i1.01. . Preluat la 16 ianuarie 2020. Arhivat din original la 16 ianuarie 2020. (nedefinit)
- ↑ Vatutin E. I., Zhuravlev A. D., Zaikin O. S., Titov V. S. Caracteristici ale utilizării euristicii de ponderare în problema găsirii pătratelor latine diagonale // Buletinul Universității de Stat de Sud-Vest. Seria: Management, tehnologie informatică, informatică. Instrumente medicale. 2015. Nr 3 (16). S. 18-30. . Preluat la 22 noiembrie 2016. Arhivat din original la 30 martie 2016. (nedefinit)
- ↑ Vatutin EI, Zaikin OS, Zhuravlev AD, Manzuk MO, Kochemazov SE, Titov VS Utilizarea sistemelor de grilă pentru enumerarea obiectelor combinatorii pe exemplu de pătrate latine diagonale // Calcularea distribuită și tehnologiile grilă în știință și educație (GRID'16): carte de rezumate ale celei de-a 7-a conferinţe internaţionale. Dubna: JINR, 2016. p. 114-115. . Consultat la 22 noiembrie 2016. Arhivat din original la 21 septembrie 2017. (nedefinit)
- ↑ Vatutin E. I., Zaikin O. S., Zhuravlev A. D., Manzyuk M. O., Kochemazov S. E., Titov V. S. Despre efectul ordinii de umplere a celulelor asupra ratei de generare a pătratelor latine diagonale // Informații - sisteme de măsurare de diagnostic și control (Diagnosticare - 2016). Kursk: editura SWGU, 2016. S. 33-39. . Data accesului: 22 noiembrie 2016. Arhivat din original pe 22 noiembrie 2016. (nedefinit)
- ↑ Vatutin E. I., Titov V. S., Zaikin O. S., Kochemazov S. E., Valyaev S. Yu., Zhuravlev A. D., Manzyuk M. O. Utilizarea sistemelor de grilă pentru numărarea obiectelor combinatorii pe exemplul pătratelor diagonale latine de ordinul 9 // Tehnologii informaționale și modelare matematică sisteme 2016. Moscova: editura Centrului pentru Tehnologii Informaționale în Design al Academiei Ruse de Științe, 2016. P. 154-157. . Data accesului: 22 noiembrie 2016. Arhivat din original pe 22 noiembrie 2016. (nedefinit)
- ↑ Vatutin E. I., Zhuravlev A. D., Zaikin O. S., Titov V. S. Contabilizarea caracteristicilor algoritmice ale problemei la generarea de pătrate latine diagonale // Izvestiya SWGU. 2016. Nr 2 (65). C. 46-59. . Consultat la 22 noiembrie 2016. Arhivat din original la 21 septembrie 2017. (nedefinit)
- ↑ Vatutin EI, Zaikin OS, Zhuravlev AD, Manzyuk MO, Kochemazov SE, Titov VS Utilizarea sistemelor de grilă pentru enumerarea obiectelor combinatorii pe exemplu de pătrate latine diagonale // CEUR Proceduri ale atelierului. Lucrări selectate ale celei de-a 7-a Conferințe Internaționale Distributed Computing și Grid-technologies în Știință și Educație. 2017 Vol. 1787.pp. 486–490. urn:nbn:de:0074-1787-5. . Consultat la 2 februarie 2017. Arhivat din original pe 2 februarie 2017. (nedefinit)
- ↑ Despre proiectul Gerasim@home - Pagina 94 - Gerasim@home - Forum Boinc.ru (link inaccesibil) . Data accesului: 22 noiembrie 2016. Arhivat din original pe 22 noiembrie 2016. (nedefinit)
- ↑ Vatutin EI, Kochemazov SE, Zaikin OS Aplicarea calculului voluntar și paralel pentru enumerarea pătratelor latine diagonale de ordinul 9 // Proc. a celei de-a unsprezecea conferințe internaționale privind tehnologiile computaționale paralele, voi. 753 din Communications in Computer and Information Science, Springer, 2017, pp. 114–129. DOI: 10.1007/978-3-319-67035-5_9. . Consultat la 9 octombrie 2017. Arhivat din original pe 9 octombrie 2017. (nedefinit)
- ↑ Vatutin EI, Kochemazov SE, Zaikin OS, Valyaev S.Yu. Enumerarea transversalelor pentru pătratele latine diagonale de ordine mică // Lucrările atelierului CEUR. Proceedings of the Third International Conference Computing de înaltă performanță bazat pe BOINC: cercetare și dezvoltare fundamentală (BOINC:FAST 2017). Vol. 1973. Universitatea Tehnică din Aachen, Germania, 2017. pp. 6–14. . Consultat la 29 octombrie 2017. Arhivat din original la 30 octombrie 2017. (nedefinit)
- ↑ Vatutin E.I., Zaikin O.S., Kochemazov S.E., Valyaev S.Yu., Titov V.S. Estimarea numărului de transversale pentru pătratele latine diagonale // Telecomunicații. 2018. Nr 1. P. 12–21. . Consultat la 6 februarie 2018. Arhivat din original pe 7 februarie 2018. (nedefinit)
- ↑ Vatutin EI, Zaikin OS, Kochemazov SE, Valyaev SY Utilizarea calculului voluntar pentru a studia unele caracteristici ale pătratelor latine diagonale // Open Engineering. Vol. 7. Iss. 1. 2017.pp. 453–460. DOI: 10.1515/eng-2017-0052.
- ↑ 1 2 Vatutin EI, Titov VS, Zaikin OS, Kochemazov SE, Manzuk MO, Nikitina NN Orthogonality-based classification of diagonal Latin squares of order 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. pp. 282–287. . Preluat la 5 ianuarie 2019. Arhivat din original la 5 ianuarie 2019. (nedefinit)
- ↑ Vatutin E.I., Belyshev A.D., Kochemazov S.E., Zaikin O.S., Nikitina N.N., Manzyuk M.O. Despre reducerea polinomială a problemelor bazate pe pătratele latine la problema acoperirii exacte // Dispozitive și dispozitive optoelectronice în sistemele de recunoaștere și procesare a imaginilor (Recognition - 2019). Kursk: editura SWGU, 2019, pp. 62–64. . Preluat la 28 mai 2019. Arhivat din original la 28 mai 2019. (nedefinit)
- ↑ Vatutin E., Nikitina N., Belyshev A., Manzyuk M. On polynomial reduction of problems based on diagonal Latin squares to the exact cover problem // CEUR Workshop Proceedings. Proceedings of the Second International Conference Information, Computation, and Control Systems for Distributed Environments (ICCS-DE 2020). Vol. 2638. Universitatea Tehnică din Aachen, Germania, 2020. . Preluat la 17 iulie 2020. Arhivat din original la 18 iulie 2020. (nedefinit)
- ↑ Vatutin E., Belyshev A., Kochemazov S., Zaikin O., Nikitina N. Enumeration of isotopy classs of diagonal Latin squares of small order using voluntarier computing // Supercomputing Days Russia 2018. M.: Moscow State University, 2018. pp. 933–942. . Preluat la 21 decembrie 2018. Arhivat din original la 21 decembrie 2018. (nedefinit)
- ↑ Vatutin E., Belyshev A., Kochemazov S., Zaikin O., Nikitina N. Enumeration of isotopy classs of diagonal Latin squares of small order using voluntarier computing // Communications in Computer and Information Science. Vol. 965. Springer, 2018. pp. 578–586. DOI: 10.1007/978-3-030-05807-4_49. . Preluat la 5 ianuarie 2019. Arhivat din original la 5 ianuarie 2019. (nedefinit)
- ↑ Vatutin E.I., Kochemazov S.E., Zaikin O.S., Manzyuk M.O., Nikitina N.N., Titov V.S. Despre proprietățile simetriei centrale a pătratelor latine diagonale // Sisteme și tehnologii de calcul de înaltă performanță. nr. 1 (8). 2018, p. 74–78. . Consultat la 13 noiembrie 2018. Arhivat din original la 14 noiembrie 2018. (nedefinit)
- ↑ Vatutin EI, Kochemazov SE, Zaikin OS, Manzuk MO, Nikitina NN, Titov VS Central Symmetry Properties for Diagonal Latin Squares // Problems of Information Technology. Nu. 2. 2019.pp. 3-8. DOI: 10.25045/jpit.v10.i2.01. . Consultat la 15 octombrie 2019. Arhivat din original la 15 octombrie 2019. (nedefinit)
- ↑ Vatutin E.I., Belyshev A.D. Determinarea numărului de pătrate latine autoortogonale (SODLS) și dublu autoortogonale diagonale (DSODLS) de ordinele 1–10 // Sisteme și tehnologii de calcul de înaltă performanță. T. 4. Nr 1. 2020. S. 58–63. . Preluat la 19 iulie 2020. Arhivat din original la 19 iulie 2020. (nedefinit)
- ↑ Vatutin E.I., Titov V.S., Zaikin O.S., Kochemazov S.E., Manzyuk M.O. Analiza structurilor combinatorii pe setul raportului de ortogonalitate al pătratelor latine diagonale de ordinul 10 // Tehnologii informaționale și modelare matematică a sistemelor 2017. Moscova: CITP RAS, 2017. pp. 167–170. . Data accesului: 16 februarie 2018. Arhivat din original pe 16 februarie 2018. (nedefinit)
- ↑ Vatutin EI, Titov VS, Zaikin OS, Kochemazov SE, Manzyuk MO, Nikitina NN Orthogonality-based classification of diagonal Latin squares of order 10 // Distributed computing and grid-technologies in science and education (GRID'18): book of abstracts a celei de-a 8-a conferinţe internaţionale. Dubna: JINR, 2018. pp. 94–95. . Consultat la 13 noiembrie 2018. Arhivat din original la 13 noiembrie 2018. (nedefinit)
- ↑ 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.pp. 307–312. DOI: 10.1016/j.endm.2016.09.053. (link indisponibil) . Preluat la 28 mai 2019. Arhivat din original la 22 noiembrie 2016. (nedefinit)
Link -uri
- Site-ul oficial al proiectului
- Proiectul Twitter
- Vatutin E. I., Titov V. S. Comparația metodelor de sinteză a partițiilor de algoritmi de control logic paralel folosind diagrame cu doi parametri // Dispozitive și dispozitive optoelectronice în sisteme de recunoaștere a modelelor, procesare a imaginilor și informații simbolice (Recunoaștere - 2012). Kursk: editura SWGU, 2012, p. 138-140.
- Vatutin E. I., Titov V. S. Comparația metodelor de sinteză a partițiilor de scheme grafice ale algoritmilor paraleli folosind diagrame bidimensionale // Izvestiya SWSU . nr. 3 (42). Kursk : editura SWGU, 2012. S. 66-74.
- Raport în plen „Utilizarea calculului grid pe platforma BOINC pentru a construi partiții ale algoritmilor de control logic paralel” (Kursk, 2012) pe YouTube
- Vatutin E. I., Titov V. S. Utilizarea calculului distribuit voluntar pe platforma BOINC pentru a analiza calitatea partițiilor de grafice-scheme ale algoritmilor paraleli // Parallel Computing and Control Problems (PACO'12) . M.: IPU RAN, 2012.
- Vatutin E. I., Titov V. S. Optimizarea structural-parametrică a sistemelor de control logic folosind calculul distribuit voluntar // Izvestiya SWGU . Seria „Management, Inginerie Calculatoare, Informatică. Instrumente medicale”. Nr. 2. Partea 1. S. 12-17. ISSN 2223-1536.
- Vatutin E.I. Compararea metodelor euristice pentru sintetizarea partițiilor de grafice-scheme ale algoritmilor paraleli folosind calculul distribuit voluntar pe platforma BOINC // BOINC:FAST'13. Petrozavodsk, 2013. pe YouTube
- Descrierea științifică și populară a sarcinii de construire a partițiilor
- Vatutin E. I., Valyaev S. Yu. Modulul de calcul pentru construirea de partiții ale algoritmilor de control logic paralel folosind calculul distribuit voluntar.
- Vatutin EI, Titov VS Calcul distribuit voluntar pentru rezolvarea problemelor de optimizare combinatorie discretă folosind proiectul Gerasim@home // Calcularea distribuită și tehnologiile grid în știință și educație: cartea de rezumate a celei de-a 6-a conferințe internaționale. 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. Modulul de calcul pentru testarea algoritmilor de optimizare combinatorie în problema găsirii celei mai scurte căi într-un grafic folosind calculul distribuit voluntar // Certificat de înregistrare de stat a programului de calculator Nu 2014619797 din 22.09.14.
- Vatutin E. I., Titov V. S. Analiza zonelor de superioritate calitativă a metodelor euristice secvenţiale pentru sinteza partiţiilor în proiectarea multicontrolerelor logice. Instrumentaţie. 2015. V. 58. Nr 2. S. 115-122. DOI: 10.17586/0021-3454-2015-58-2-115-122.
- Rezultatele experimentelor de calcul sub formă grafică
- Raport în plen „Rezolvarea problemelor de optimizare combinatorie discrete folosind sistemele de rețea pe bază voluntară” (Kursk, 2015) pe YouTube
- Vatutin EI, Valyaev S.Yu., Titov VS Comparația metodelor secvențiale pentru obținerea separărilor algoritmilor de control logic paralel folosind calculul voluntar // Proceedings Workshop CEUR. Proceedings of the Second International Conference Computing de înaltă performanță bazat pe BOINC: cercetare și dezvoltare fundamentală (BOINC:FAST 2015). Vol. 1502. Universitatea Tehnică din Aachen, Germania, 2015. P. 37-51. urn: nbn: de:0074-1502-3.
- Vatutin E.I., Valyaev S.Yu., Titov V.S. Analiza rezultatelor aplicării metodei de enumerare aleatorie la construirea partițiilor de scheme grafice ale algoritmilor paraleli în funcție de dimensiunea problemei și puterea constrângerilor // Perspektivnye informatsionnye tekhnologii (PIT 2016). Samara: editura Centrului Științific Samara al Academiei Ruse de Științe, 2016. P. 481-486.
- Numărarea numărului de pătrate latine diagonale folosind calculul distribuit voluntar
- Rezultatele proiectului sub formă grafică (din august 2017)
- Lista diferitelor structuri combinatorii din ordinul 1-8 DLC
- Lista diferitelor structuri combinatorii din DLC de ordinul 10 găsite în proiect
- Vatutin E.I., Kochemazov S.E., Zaikin O.S., Tsiterrav I.I. Estimarea probabilității de a găsi pătrate latine diagonale ortogonale între pătratele latine diagonale de formă generală // Dispozitive și dispozitive optoelectronice în sisteme de recunoaștere a modelelor, procesare a imaginilor și informații simbolice (Recunoaștere - 2018). Kursk: editura SWGU, 2018. S. 72–74.
Discuții despre proiect pe forumuri:
Vezi și
Proiecte de calcul voluntare |
---|
Astronomie |
|
---|
Biologie și medicină |
|
---|
cognitive |
- Sistem de inteligență artificială
- MindModeling@Home
|
---|
Climat |
- APS@Home
- Experimentul BBC privind schimbările climatice
- ClimatePrediction.net
- Proiect de atribuire sezonieră
- Quake Catcher Network - Monitorizare seismică
- Virtual Prairie
|
---|
Matematica |
|
---|
Fizic și tehnic |
|
---|
Multifunctional |
|
---|
Alte |
|
---|
Utilități |
- BOINC
- administrator
- tehnologie client-server
- sistemul de creditare
- Înveliș
- WUPp
|
---|