Wyniki wyszukiwania dla: drzewa
-
Environmental reliability model of a bilge water purifying installation
PublikacjaW referacie przedstawiono probabilistyczny model, służący do wyznaczania niezawodności środowiskowej instalacji oczyszczania wód zęzowych z zanieczyszczeń olejowych. Jest to model przyczynowo - skutkowy. Struktura modelu ma formę drzewa zdarzeń i odpowiednich drzew niezdatności. Niezawodność środowiskowa instalacji zdefiniowana została jako prawdopodobieństwo, że w wyniku jej eksploatacji nie nastąpi zagrożenie dla środowiska morskiego....
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublikacjaTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego....
-
Sterowanie procesem eksploatacji okrętowych silników głównych z zastosowaniem diagnostyki technicznej
PublikacjaW referacie przedstawiono podstawowe uwarunkowania dotyczące możliwości zastosowania w praktyce eksploatacyjnej okrętowych układów energetycznych elementów strategii eksploatacji wg stanu technicznego (ang. Condition Based Maintenance). W tym aspekcie omówiono rolę diagnostyki jako narzędzia umożlwiającego podejmowanie racjonalnych, wynikających z aktualnego (lub prognozowanego) stanu technicznego, decyzji eksploatacyjnych oraz...
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublikacjaWe describe a technique that maps unranked trees to their hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to techniques implemented with minimal tree automata, our procedure builds a pseudo-minimal DTA. Pseudo-minimal automata are larger than the minimal ones but in turn the mapping can be arbitrary, so it can be determined prior to the automaton construction. We also provide procedures to build incrementally...
-
Kinematyczne pomiary GNSS na linii kolei wąskotorowej w Koszalinie
PublikacjaW artykule opisano metodę kinematycznych pomiarów geodezyjnych GNSS zastosowaną dla inwentaryzacji trasy kolejowej w terenie silnie zalesionym. W badaniach wskazano możliwości wykorzystania tej metody dla inwentaryzacji układu geometrycznego trasy kolei wąskotorowej w Koszalinie. Opisano najważniejsze różnice pomiędzy koleją o rozstawie szyn 1000 mm a 1435 mm oraz przyszłościowe zagadnienie planowanej rewitalizacji tego odcinka....
-
ZASTOSOWANIE OPROGRAMOWANIA ERP Z ZAKRESU „PLANT MAINTENANCE” NA PRZYKŁADZIE SAP PM JAKO NARZĘDZIA DLA SŁUŻB UTRZYMANIA RUCHU OBIEKTU OFFSHORE
PublikacjaW artykule poruszono kwestię planowania zasobów przedsiębiorstwa z wykorzystaniem oprogramowania ERP. Efektywne planowanie zarządzania całością zasobów przedsiębiorstwa polega głównie na: - zapewnieniu wysokiej jakości produktów, - maksymalizacji ekonomicznego okresu użytkowania parku maszynowego, -maksymalizacji zdolności produkcyjnych, - minimalizacji kosztów utrzymania sprzętu w sprawności operacyjnej, - zapewnieniu bezpiecznych...
-
Matematyczne modelowanie wpływu drzew na uwilgotnienie i odkształcenia gruntów ekspansywnych
PublikacjaGrunty ekspansywne występują na znacznych obszarach Polski. Zmianom wilgotności gruntów ekspansywnych towarzyszą zmiany objętościowe, które mogą być przyczyną awarii płytko posadowionych obiektów budowlanych. Istotnym czynnikiem wpływającym na uwilgotnienie gruntów ekspansywnych jest pobór wody przez drzewa. Rozprawa zawiera opis autorskiej metody numerycznej, mogącej służyć do modelowania zmian wilgotności gruntów oraz wywołanych...
-
Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym
PublikacjaW niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami...
-
Uwarunkowania diagnostyczne sterowania procesem eksploatacji okrętowych silników głównych
PublikacjaZe względu na losowość czynników wymuszających podczas użytkowania urządzeń okrętowych w praktyce eksploatacyjnej okrętowych układów energetycznych wdrażanych jest coraz więcej elementów strategii eksploatacji wg stanu technicznego (ang. Condition Based Maintenance). W referacie przedstawiono wybrane problemy dotyczące diagnostyki jako niezbędnego ogniwa w ciągu czynności związanych z podejmowaniem racjonalnych, podyktowanych...
-
Automatyzacja procesu rehabilitacji dzieci z paralysis cerebralis infantium oraz osteogenesis imperfecta
PublikacjaCelem prac badawczych będących tematem dysertacji jest opracowanie podstaw metodologicznych dla automatycznej platformy eksperckiej asystującej podczas procesu rehabilitacji dzieci chorych na paralysis cerebralis infantium oraz osteogenesis imperfecta. Przedstawione cele rozprawy do realizacji wymagały podejścia wieloetapowego, w którym wykonano szereg prac związanych m.in. z: gromadzeniem odpowiednich danych, selekcją efektywnych...