Filtry
wszystkich: 24
Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (23)
Wyniki wyszukiwania dla: guarantees
-
Zespół Systemów Automatyki
Potencjał BadawczyW dziedzinie dydaktyki, przez wszystkie lata istnienia, katedra pełniła wiodącą rolę w kształceniu automatyków na wydziale sprawując opiekę nad specjalnościami, których nazwa i przynależność do kierunku studiów zmieniała się kilkakrotnie wraz ze zmianami organizacyjnymi zarówno struktury wydziału jak programu studiów. Ostatecznie, w 1991 roku utworzony został nowy kierunek studiów Automatyka i Robotyka, który pozostaje pod pieczą...
-
Zespół Katedry Systemów Automatyki
Potencjał BadawczyZespół Katedry Systemów Automatyki zajmuje się zarówno teorią, jak i praktyczną realizacją urządzeń sterujących obiektami technicznymi i procesami technologicznymi bez udziału człowieka lub z jego ograniczonym udziałem. Układy i systemy automatyki wkraczają we wszystkie niemal dziedziny życia, zwłaszcza w gospodarkę, przemysł i naukę. Korzyści wynikające z automatyzacji i robotyzacji widać wyraźnie, zwłaszcza w przemyśle (samochodowym,...
-
Zespół Algorytmów i Modelowania Systemów
Potencjał BadawczyStudiowanie problemów i modeli teoriografowych ma na celu badanie złożoności obliczeniowej uogólnień problemu klasycznego kolorowania wierzchołków i krawędzi grafu znajdujących zastosowania w modelowaniu praktycznych problemów oraz badanie nowych miar oceny skuteczności algorytmów. W zakresie szeregowania zadań badania koncentrują się na konstrukcji harmonogramów optymalnych z punktu widzenia długości harmonogramu i średniego czasu...
Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (1)
Wyniki wyszukiwania dla: guarantees
-
Laboratorium Wysokich Napięć
Oferta BiznesowaBadania układów probierczych i pomiarowych stosowanych w technice wysokiego napięcia
Pozostałe wyniki Pokaż wszystkie wyniki (39)
Wyniki wyszukiwania dla: guarantees
-
Self-stabilizing algorithms for graph coloring with improved performance guarantees
PublikacjaW pracy rozważa się rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowy samostabilizujący algorytm kolorowania grafów oparty na konstrukcji drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm z gwarantowaną wielomianową liczbą ruchów, który dokładnie koloruje grafy dwudzielne.
-
state aid for export activities
Dane BadawczeThe dataset encompassed a choice of the most important legal acts, a list of selected Polish and foreign bibliography, together with a list of important individual EC decisions issued on the topic of state aid for export credits in Poland and some UE countries in the period 2001-2019. Thanks to that the reader gets the possibility do acquire basic...
-
Performance of FAN conception of traffic control in IP QoS networks
PublikacjaIn this paper we present the architectural implementation of Flow Aware Networking (FAN), a new approach for realizing QoS guarantees in the Internet. We also propose FAN traffic control algorithm which performs traffic control on flow level. Using the proposed FAN node model, we conduct simulation research to prove if FAN can be a new approach for realizing QoS guarantees. The basis of this research is finding a way to guarantee...
-
On-line Search in Two-Dimensional Environment
PublikacjaWe consider the following on-line pursuit-evasion problem. A team of mobile agents called searchers starts at an arbitrary node of an unknown network. Their goal is to execute a search strategy that guarantees capturing a fast and invisible intruder regardless of its movements using as few searchers as possible. As a way of modeling two-dimensional shapes, we restrict our attention to networks that are embedded into partial grids:...
-
A Control Theoretical Approach to Spectral Factorization is Unstable
PublikacjaLocal stability analysis of a recently proposed recursive feedback-based approach to spectral factorization is performed. The method is found not to give stability guarantees. Interestingly enough, its global behavior often allows one to obtain reasonable approximations of spectral factorizations if a suitable stopping criterion is employed.