Warning: A skin using autodiscovery mechanism, boinc_poland, was found in your skins/ directory. The mechanism will be removed in MediaWiki 1.25 and the skin will no longer be recognized. See https://www.mediawiki.org/wiki/Manual:Skin_autodiscovery for information how to fix this. [Called from Skin::getSkinNames in /data/www/www.boincatpoland.org/htdocs/wiki/includes/Skin.php at line 74] in /data/www/www.boincatpoland.org/htdocs/wiki/includes/debug/Debug.php on line 303

Warning: A skin using autodiscovery mechanism, fratman_enhanced, was found in your skins/ directory. The mechanism will be removed in MediaWiki 1.25 and the skin will no longer be recognized. See https://www.mediawiki.org/wiki/Manual:Skin_autodiscovery for information how to fix this. [Called from Skin::getSkinNames in /data/www/www.boincatpoland.org/htdocs/wiki/includes/Skin.php at line 74] in /data/www/www.boincatpoland.org/htdocs/wiki/includes/debug/Debug.php on line 303

Strict Standards: Declaration of Skinboinc_poland::initPage() should be compatible with Skin::initPage(OutputPage $out) in /data/www/www.boincatpoland.org/htdocs/wiki/skins/boinc_poland.php on line 5
Vtu@home – Wiki B@P Wspieramy naukę

Vtu@home

Z Wiki B@P

Logo VTU@home

Projekt stworzony na Uniwersytecie Wileńskim. Projekt ten został uruchomiony 13 kwietnia 2006 roku przez Aurimasa Norkevičiusa, w celu nauki obsługi BOINC na potrzeby przyszłego projektu. Aplikacja liczyła ile jest liczb pierwszych w zadanym przedziale. Po kilku latach projekt został przeniesiony na Wileński Uniwersytet Techniczny im. Giedymina. Celem projektu stało się stworzenie potężnej platformy dla naukowców w Wilnie, jak również w innych instytucjach akademickich. Projekt jest prowadzony przez grupę naukowców z Wydziału Modelowania Matematycznego, w tym prof. Raimondas Čiegis, dr Vadimas Starikovičiusi i mgr Aurimas Norkevičius.

W lutym 2009 roku uruchomiono pierwszy realny projekt.

Zajmuje się on systemami programowymi (software-intensive systems). Znajdują one zastosowanie w lotnictwie, kolejnictwie, przemyśle motoryzacyjnym, kontroli urządzeń itp. Oprogramowanie, które steruje tymi procesami jest dobrym przykładem dla bezpieczeństwa krytycznych aplikacji. Oczywiste jest że zdolność do wykrywania wad w takich systemach (oprogramowaniu lub urządzeniu) ma zasadnicze znaczenie, dlatego testowanie, weryfikacja i zatwierdzanie są najbardziej istotnymi zagadnieniami w rozwoju tych systemów. Czas pracy procesora i wymaganej pamięci RAM rośnie wykładniczo wraz z wielkością systemu do zweryfikowania. Dlatego BOINC jest takim dobrym rozwiązaniem.

Obecna aplikacja przelicza problem zaproponowany przez naukowców z Kaunas University of Technology (prof. R. Šeinauskas). System posiada 206 wejść i 107 wyjść. Dla każdego sygnału wejściowego (o długości 206, z "0" lub "1" dla każdego wejścia) system wytwarza sygnał (o długości 107, z "0" lub "1" dla każdego wyjścia). Celem jest znalezienie wszystkich (a przynajmniej jak największej liczby) stosunków istniejących w systemie w ramach testów.

Stosowana jest metoda Monte Carlo.

Więcej szczegółów tutaj: [1] (en).

Kliknij poniższy obrazek w celu uzyskania szczegółowych statystyk naszej drużyny:

team_9063_project27.gif

Przydatne linki

Strona główna projektu

Twoje konto

Vtu@home na forum BOINC@Poland

Personel projektu

  • Mgr Aurimas Norkevicius - Twórca i koordynator projektu.
  • Prof. Raimondas Čiegis
  • Dr Vadimas Starikovičius