Best results in : Research Potential Pokaż wszystkie wyniki (2)
Search results for: FORMALNA SPECYFIKACJA
-
Zespół Mechaniki i Wytrzymałości Materiałów
Research PotentialStatyka i dynamika złożonych układów mechanicznych i biomechanicznych
-
Katedra Inżynierii Sanitarnej
Research PotentialKatedra realizuje swoje zadania badawcze w takim zakresie jak opracowywanie metody podczyszczania lub oczyszczania ścieków przemysłowych oraz ich pomiary. Drugą gałęzią zainteresowań są modele matematyczne i symulacje procesów oczyszczania ścieków i zagospodarowania osadów, opracowywanie symulacji strategii eksploatacyjnych i działań modernizacyjnych.
Other results Pokaż wszystkie wyniki (1)
Search results for: FORMALNA SPECYFIKACJA
-
Towards automating repairs of IT systems
PublicationThis paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...