Wyniki wyszukiwania - BazTech

1

Wielkoskalowe i zautomatyzowane testowanie przypuszczenia Beal'a

Świerczewski Ł.

Biuletyn Naukowy Wrocławskiej Wyższej Szkoły Informatyki Stosowanej. Informatyka

|

2016

|

vol. 16

19--32

PL

Praca prezentuje aspekt adaptacji oraz wykorzystywania algorytmów zaprezentowanych w publikacji [1] na platformie do obliczeń rozproszonych BOINC [2]. Dodatkowo wykonano testy skalowalności przyśpieszenia oprogramowania na takich platformach jak Intel Xeon Phi 5110P [3] oraz platformie wykorzystującej Versatile SMP Foundation Advanced Platform firmy ScaleMP (rozwiązanie klasy vSMP [4][5]). Dzięki długotrwałym obliczeniom udało się znaleźć 47 rozwiązań przystających prawidłowo modulo 264. Żadne z uzyskanych rozwiązań nie jest jednak prawidłowe w przestrzeni całego zbioru liczb naturalnych, a co za tym idzie nie odnaleziono poprawnego kontrprzykładu dla przypuszczenia Beal'a.

EN

This paper presents adaptation aspect and use of algorithms presented in publication [1] on distributed computing platform BOINC. What is more, there were made some test of software acceleration scalability on such platforms like Intel Xeon Phi 5110P and platform that uses Versatile SMP Foundation Advanced Platform made by ScaleMP. Thanks to long-lasting computation 47 solutions correctly congruent modulo 264 were found. None of the solutions obtained is not correct in the space around the set of natural numbers and what’s connected to that, any correct counterexample for Beal’s Conjecture was not found.

2

Efficient implementation of branch-and-bound method on desktop grids

Tlan B., Posypkin M.

Computer Science

|

2014

|

Vol. 15 (3)

239--252

EN

The Berkeley Open Infrastructure for Network Computing (BOINC) is an open-source middleware system for volunteer and desktop grid computing. In this paper, we propose BNBTEST, a BOINC version of the distributed branch-and-bound method. The crucial issues of the distributed branch-and-bound method are traversing the search tree and loading the balance. We developed a subtask packaging method and three different subtask distribution strategies to solve these.

3

Parallel and distributed implementation of optimization algorithms in fe analyses

Handrik M., Vasko M., Kopas P.

Zeszyty Naukowe. Transport / Politechnika Śląska

|

2012

|

z. 76

67--74

EN

The aim of this paper is analysis of optimization algorithms in terms of their possible solutions in parallelization and distributed computing systems. Main goal is using of evolutionary algorithms and implementation of parallel algorithms. As the software platform for application of distributed optimization algorithms is using software package BOINC. For evaluation of the objective function is used FEM program ADINA.

PL

Artykuł analizuje algorytmy optymalizacyjne pod kątem ich możliwości obliczeń równoległych oraz rozproszonych systemów obliczeniowych. Ukierunkowany jest przede wszystkim na algorytmy ewolucyjne oraz ich implementację równoległą. Jako platforma softwarowa do zastosowania rozproszonego systemu obliczeniowego algorytmu zostało zastosowane oprogramowanie pośredniczące BOINC. W celu oceny funkcji docelowej został zastosowany w MES program ADINA.

4

Using BOINC desktop grid to solve large scale SAT problems

Posypkin M., Semenov A., Zaikin O.

Computer Science

|

2012

|

Vol. 13 (1)

25-34

EN

Many practically important combinatorial problems can be efficiently reduced to a problem of Boolean satisfiability (SAT). Therefore, the implementation of distributed algorithms for solving SAT problems is of great importance. In this article we describe a technology for organizing desktop grid, which is meant for solving SAT problems. This technology was implemented in the form of a volunteer computing project SAT@home based on a popular BOINC platform.