Search results for: drzewa
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublicationTrust 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....
-
Otoczenie drogi źródłem zagrożeń dla uczestników ruchu drogowego
PublicationDrzewa bezpośrednio przy krawędzi jezdni, a za drzewami skarpy rowów odwadniających, uniemożliwiają poruszanie się niechronionych użytkowników dróg poboczem. Brak zdefiniowanej w polskich warunkach technicznych strefy bezpieczeństwa drogi powoduje duże konflikty z organizacjami ekologicznymi przy próbie usunięcia drzew z bezpośredniego otoczenia dróg. W związku z tym należy poszukiwać kompromisu pomiędzy bezpieczeństwem uczestników...
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublicationWe 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
PublicationW 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....
-
Sterowanie procesem eksploatacji okrętowych silników głównych z zastosowaniem diagnostyki technicznej
PublicationW 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...
-
Matematyczne modelowanie wpływu drzew na uwilgotnienie i odkształcenia gruntów ekspansywnych
PublicationGrunty 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...
-
ZASTOSOWANIE OPROGRAMOWANIA ERP Z ZAKRESU „PLANT MAINTENANCE” NA PRZYKŁADZIE SAP PM JAKO NARZĘDZIA DLA SŁUŻB UTRZYMANIA RUCHU OBIEKTU OFFSHORE
PublicationW 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...
-
Uwarunkowania diagnostyczne sterowania procesem eksploatacji okrętowych silników głównych
PublicationZe 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...
-
Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym
PublicationW 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...
-
Automatyzacja procesu rehabilitacji dzieci z paralysis cerebralis infantium oraz osteogenesis imperfecta
PublicationCelem 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...