3262347156

2 Badania naukowe

2.2.3    Zakład Systemów Informatycznych

1.    Temat badawczy : Równoległe i rozproszone algorytmy zarządzania rozproszonymi systemami informatycznymi

2.    Kierownik tematu : prof.dr hab.inż. Jerzy Brzeziński

3.    Główne osiągnięcia.

-    Opracowanie i badania efektywnościowe w zakresie nowych algorytmów odtwarzania stanu w systemach z rozproszoną spekulatywną pamięcią współdzieloną.

-    Przedstawienie modelu koncepcyjnego i implementacji systemu generującego aplikacje mobilne klasy In Case of Emergency.

-    Projekt i implementacja systemu głosowych usług interaktywnych dla środowiska VoIP.

-    Zbadanie efektywności algorytmów rozproszonego renderingu w środowiskach typu open source dla środowiska Windows.

-    Opracowanie metody rekonstrukcji informacji katalogowych dla systemów z replikowaną współdzieloną pamięcią rozproszoną.

-    Analiza użyteczności logiki temporalnej w dziedzinie systemów z rozproszoną pamięcią współdzieloną; wykazanie istnienia błędu w algorytmie Wu i Fuchsa.

-    Prezentacja koncepcji i implementacji rozproszonego systemu uruchomieniowego dla testów jednostkowych.

-    Przedstawienie dwóch algorytmów synchronizacji replik pomiędzy serwerami w systemie rozproszonym, zapewniających spełnienie zadanych przez klienta gwarancji sesji.

-    określenie nowego zastosowania rachunku (języka) Nomadic Piet wraz z jego definicją w kontekście specyfikacji i weryfikacji sieci nakładkowych.

-    Projekt obiektowego rachunku (języka) rozproszonych zadań atomowych.

2.2.4    Zakład Teorii Algorytmów i Systemów Sterowania

1.    Temat badawczy : Sterowanie w systemach dyskretnych

2.    Kierownik tematu : prof.dr hab.inż. Jacek Błażewicz

3.    Główne osiągnięcia.

Badania prowadzono w ramach czterech zadań badawczych.

W ramach zadania badawczego Algorytmy bioinformatyczne przygotowano publikację, w której przedstawiono opracowaną przez autorów specjalistyczną bazę danych służącą do gromadzenia i udostępniania wyników analiz produktów metabolizmu roślin dokonywanych za pomocą spektrometrów masowych. Analizy takie wykonywane są w wielu laboratoriach na całym świecie,