Filtry
wszystkich: 1434
-
Katalog
- Publikacje 904 wyników po odfiltrowaniu
- Czasopisma 4 wyników po odfiltrowaniu
- Osoby 53 wyników po odfiltrowaniu
- Wynalazki 79 wyników po odfiltrowaniu
- Projekty 12 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 10 wyników po odfiltrowaniu
- Aparatura Badawcza 8 wyników po odfiltrowaniu
- Kursy Online 343 wyników po odfiltrowaniu
- Wydarzenia 15 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: URZĄDZENIA ELEKRONICZNE
-
Strefa przybrzeżna - projekt dyplomowy II
Kursy OnlinePortowe terminale kontenerowe Jednostki pływające przystosowane do przewozu kontenerów. Wpływ parametrów kontenerowców na ukształtowanie terminali. ładunki obsługiwane w terminalach kontenerowych. Definicja i klasyfikacja kontenerów. Wpływ parametrów ładunków na ukształtowanie terminali. Konstrukcje hydrotechniczne stanowisk obsługi kontenerowców. Urządzenia przeładunkowe do obsługi kontenerów na stanowiskach cumowniczych i urządzenia...
-
Urządzenia pokładowe I, WiL, Oce, sem.4,letni 23/24 (PG_00045057)
Kursy Online -
Kotły energetyczne, W/C/L, E, sem.6, letni 23/24
Kursy OnlineCelem przedmiotu jest nabycie przez studentów wiedzy związanej z określaniem podstawowych wielkości dotyczących kotłów energetycznymi oraz przebiegiem procesu spalania występujących w tych urządzeniach
-
Quasi-ciągły pomiar geometrii rozjazdów kolejowych
PublikacjaW czasie budowy nowych torów i rozjazdów kolejowych, jak również w procesie ich utrzymania, należy wykonać odpowiednie pomiary i ocenić stan geometrii badanej infrastruktury. Pomiary te mogą być wykonane z wykorzystaniem jednego z trzech systemów pomiarowych: pojazdami pomiarowymi, maszynami do budowy i utrzymania lub urządzeniami lekkimi i ręcznymi. W artykule przedstawiona została metoda pomiarów szerokości toru i przechyłki...
-
Problemy wytwarzania i testowania kondensatorów z folii metalizowanej
PublikacjaKondensatory są powszechnie stosowanymi elementami biernymi w układach i urządzeniach elektronicznych, elektrotechnicznych oraz energetycznych. Stąd, istotnym jest, aby koszty produkcji były możliwie jak najniższe równocześnie przy zachowaniu ich wysokiej niezawodności. W pracy przedstawiono problemy napotykane podczas wytwarzania oraz testowania kondensatorów produkowanych na bazie folii polipropylenowych metalizowanych. Szczegółowo...
-
Wykorzystanie wymiennych kart pamięci Flash w mikroprocesorowych rejestratorach danych pomiarowych
PublikacjaW artykule przedstawiono możliwość wykorzystania kart pamięci Flash w mikroprocesorowych urządzeniach rejestracji danych pomiarowych. Dokonano przeglądu najpopularniejszych kart oraz omówiono ich właści-wości. Na przykładzie kart MMC i SD opisano sposób odczytu i zapisu danych przy wykorzystaniu interfejsu SPI. Rozważono różne struktury zapisu danych. W oparciu o wykonany prototyp rejestratora oszacowano zapotrzebowanie na zasoby...
-
NUMERYCZNY MODEL OBLICZENIOWY OBIEGU TURBINY KLASY 300 MW
PublikacjaNiniejszy artykuł stanowi opis modelu obiegu cieplnego turbiny o mocy 360MW, utworzonego w preprocesorze numerycznego programu obliczeniowego onazwie DIAGAR. Zadaniem opisywanego modelu jest odtwarzanie zjawisk fizycznych zachodzących w poszczególnych urządzeniach składowych obiegu, zarówno podczas poprawnej (sprawnej) pracy bloku energetycznego, jak i w przypadku pojawienia się niesprawności. Utworzony...
-
Control systems with programmable controllers - teaching aspects.
PublikacjaSterowniki programowalne są obecnie podstawowymi urządzeniami wykorzystywanymi w systemach sterowania i dlatego od absolwentów uczelni technicznych, a szczególnie absolwentów wydziałów elektrycznych, oczekuje się posiadania przynajmniej podstawowej wiedzy o sterownikach programowalnych i ich zastosowaniach. W pracy przedstawiono wybrane aspekty wprowadzenia do dydaktyki przedmiotu ''Systemy sterowania ze sterownikami programowalnymi''...
-
Micromouse robot - technical design and construction
PublikacjaW ostatnich latach obserwuje się intensywny rozwój robotyki. Roboty znajdują zastosowanie w różnych gałęziach przemysłu i życiu codziennym. Ich projektowanie wymaga interdyscyplinarnej wiedzy obejmującej obszary mechaniki, elektroniki, metrologii, automatyki i informatyki. W artykule przedstawiono poszczególne etapy wykonania robota typu Micromouse. Jest to specyficzne urządzenie, którego zadaniem jest zbadanie labiryntu, dotarcie...
-
Scent emitting multimodal computer interface for learning enhancement
PublikacjaKomputerowy interfejs aromatyczny stanowi ważne uzupełnienie procesu stymulacji polisensorycznej. Stymulacja ta odgrywa kluczową rolę w terapii i kształceniu dzieci z zaburzeniami rozwoju (np. w przypadku autyzmu czy ADHD). Opracowany interfejs może stać się elementem wyposażenia tzw. sal doświadczania świata, ale może być także stosowany niezależnie stanowiąc znaczące wzbogacenie komputerowych programów edukacyjnych. Dzięki możliwości...
-
Synchronizacja półkul mózgowych z wykorzystaniem mechanizmu biofeedback
PublikacjaW niniejszej pracy zaproponowane zostały dwa indywidualne podejścia do budowy systemu wspomagającego synchronizację półkul mózgowych przy pomocy mechanizmu biofeedback. Dla obu rozwiązań wykorzystane zostało urządzenie wykorzystujące bezprzewodowy system rejestracji sygnałów EEG. W pierwszym podejściu sprawdzono wpływ dudnień różnicowych na stan synchronizacji z zastosowaniem statystycznych metod analizy. W drugiej metodzie zbadane...
-
Robot typu Micromouse – wykonanie, sterowanie i optymalizacja
PublikacjaW ostatnich latach obserwuje się intensywny rozwój robotyki. Roboty znajdują zastosowanie w różnych gałęziach przemysłu i życiu codziennym. Ich projektowanie wymaga interdyscyplinarnej wiedzy obejmującej obszary mechaniki, elektroniki, metrologii, automatyki i informatyki. W artykule przedstawiono poszczególne etapy wykonania robota typu Micromouse. Jest to specyficzne urządzenie, którego zadaniem jest zbadanie labiryntu, dotarcie...
-
Optimal selection of the sawdust separation device for a narrow-kerf sawing machine PRW15-M
PublikacjaW pracy przedstawiono granulometryczną analizę rozkładu wiórów i pyłu drzewnego otrzymanego w procesie przecinania suchych pryzm sosnowych na pilarce ramowej wielopiłowej PRW15-M. Wielkości wiórów mieściły się w granicach od 84,7 μm do nawet 14 mm. Te ostatnie są elementami będącymi efektem rozszczepiania dolnej powierzchni pryzmy przez wychodzące z niej ostrza piły. Większośc wiórów z najmniejszych frakcji ma postać sześciennych...
-
Aktualny stan prac nad napędem hybrydowym pojazdów na Politechnice Gdańskiej.
PublikacjaOpisano prace związane z modernizacją eksperymentalnego pojazdu hybrydowego PH-MAK oraz stanowiska badawczego, którego głównym elementem jest hamownia podwoziowa. Modernizacja pojazdu objęła, między innymi, wymianę gaźnikowego silnika spalinowego na zasilany wtryskowo silnik Lombardini LGW 523 MPI, zastosowanie akumulatorów żelowych nowej generacji i zakup sterownika baterii akumulatorów Badicheq, który umożliwia dokładny pomiar...
-
Carbon Nanotubes Chemically Derivatized with Redox Systems as Mediators for Biofuel Cell Applications
PublikacjaEnzymatyczne bioogniwa paliwowe to urządzenia wykorzystujące enzymy do przemiany energii chemicznej w elektryczną. Zyskana w ten sposób energia może służyć do zasilania wszczepialnych urządzeń (np. czujników glukozy, rozruszników serca). Przedstawiono sposób otrzymywania i właściwości bioelektrod, w których wykorzystano nanorurki węglowe modyfikowane mediatorami enzymatycznych reakcji redoks. Do nanorurek przyłączano zarówno mediatory...
-
Carbon Nanotubes Chemically Derivatize with Redox Systems as Mediators for Biofel Cell Applicatoions
PublikacjaEnzymatyczne bioogniwa paliwowe to urządzenia wykorzystujące enzymy do przemiany energii chemicznej w elektryczną. Zyskana w ten sposób energia może służyć do zasilania wszczepialnych urządzeń (np. czujników glukozy, rozruszników serca).Przedstawiono sposób otrzymywania i właściwości bioelektrod, w których wykorzystano nanorurki węglowe modyfikowane mediatorami enzymatycznych reakcji redoks. Do nanorurek przyłączano zarówno mediatory...
-
Koncepcja wartościowania działania urządzeń energetycznych siłowni okrętowych
PublikacjaPrzedstawiono propozycję wartościowania (ilościowego określenia) działania dowolnego urządzenia siłowni okrętowych, w którym zachodzą oddziaływania energetyczne w określonym czasie. Działanie to rozumiane jest jako przekazywanie energii w ustalonym czasie, w którym zachodzi przetwarzanie lub przenoszenie energii w formie pracy bądź ciepła. Zaproponowana ilościowa interpretacja działania urządzeń energetycznych, jest podobna do...
-
Carbon nanotubes chemically derivatized with rebox systems as mediators for biofuel cell applications
PublikacjaEnzymatyczne bioogniwa paliwowe to urządzenia wykorzystujące enzymy do przemiany energii chemicznej w elektryczną. Zyskana w ten sposób energia może służyć do zasilania wszczepialnych urządzeń (np. czujników glukozy, rozruszników serca).Przedstawiono sposób otrzymywania i właściwości bioelektrod, w których wykorzystano nanorurki węglowe modyfikowane mediatorami enzymatycznych reakcji redoks. Do nanorurek przyłączano zarówno mediatory...
-
Klasyfikacja segmentów obrazu na litery i nielitery
PublikacjaArtykuł przedstawia metody oceny podobieństwa figur do liter opracowane dla potrzeb urządzenia do lokalizacji i odczytu napisów z przeznaczeniem dla osób niewidomych. Ocena dotyczy kształtów segmentów znajdowanych na obrazie zawierającym potencjalny tekst (np. witryna sklepu, drzwi z wizytówką, autobus z numerem linii). Celem tej oceny jest wyodrębnienie segmentów obrazu reprezentujących tekst i przekazanie ich do systemu rozpoznawania...
-
Gazowa mikrosiłownia domowa z modułem ORC - doświadczenia z badania prototypu
PublikacjaArtykuł zawiera rozważania nad ideą wykorzystania obiegu parowego ORC (Organic Rankine Cycle) do skojarzonej produkcji ciepła i energii elektrycznej dla pokrycia potrzeb indywidualnego odbiorcy. Dokonano w nim podsumowania dotychczasowych prac prowadzonych przez Autorów, które zaowocowały budową demonstracyjno-badawczego stanowiska mikro-CHP z technologią ORC w skali „domowej”, współpracującą z komercyjnym kotłem gazowym. W publikacji...
-
Zwiększanie zasięgu szerokopasmowej komunikacji morskiej z wykorzystaniem heterogenicznego systemu transmisji wieloskokowej
PublikacjaNa obszarach znajdujących się poza zasięgiem zainstalowanej na lądzie infrastruktury dostępowej system netBaltic wykorzystuje mechanizmy heterogenicznej, samoorganizującej się sieci kratowej o transmisji wieloskokowej. Rozwiązanie to umożliwia jednostkom wyposażonym w terminale systemu zachowanie możliwości komunikacji zarówno z infrastrukturą lądową, jak i innymi jednostkami daleko poza zasięgiem bezpośredniej komunikacji, zapewnianej...
-
System przetwarzania i wizualizacji sygnału mowy dla potrzeb lingwistycznych = System of speech signal processing and visualisation of the results
PublikacjaW artykule przedstawiono sposób przetwarzania i wizualizacji sygnału mowy w formie prostego w obsłudze i relatywnie niedrogiego urządzenia do nagrywania sygnału akustycznego oraz przetwarzania cyfrowego wyselekcjonowanych fragmentów i wizualizacji uzyskanych rezultatów przekształceń. Zastosowano do tego celu komputer z kartą dźwiękową. Przetwarzanie cyfrowe oraz wizualizacja dokonywana była w oparciu o program MATLAB bezpośrednio...
-
Mechatronika w napędach spalinowych i hybrydowych
Kursy OnlineWykład omawia konfiguracje układów napędowych pojazdów z napędami tradycyjnymi i alternatywnymi. Zwraca się uwagę na zastosowanie podzespołów sterowanych elektronicznie zarówna w silnikach (głównie osprzęt silnika) jak i przekładniach i napędach elektrycznych. Omawiane są układy chłodzenia w napędach jak i wykorzystania ciepła odpadowego.
-
Implementacja uogólnionego algorytmu szczególnego próbkowania dla wyznaczania harmonicznej podstawowej w środowisku LabVIEW.
PublikacjaPraca dotyczy opisu oraz implementacji uogólnionego algorytmu szczególnego próbkowania dla wyznaczania amplitudy harmonicznej podstawowej w środowisku LabVIEW. Algorytm szczególnego próbkowania umożliwia wyodrębnienie informacji o wartości amplitudy harmonicznej podstawowej ze spróbkowanego, odkształconego sygnału przy zastosowaniu stosunkowo prostych środków technicznych. Aplikacja może mieć zastosowanie w urządzeniach pomiarowych...
-
Problemy wytwarzania i testowania kondensatorów z folii metalizowanej
PublikacjaKondensatory są powszechnie stosowanymi elementami biernymi wukładach i urządzeniach elektronicznych, elektrotechnicznych oraz energetycznych. Stąd, istotnym jest, aby koszty produkcji były możliwie jak najniższe równocześnie przy zachowaniu ich wysokiej niezawodności. W pracy przedstawiono problemy napotykane podczas wytwarzania oraz testowania kondensatorów produkowanych na bazie folii polipropylenowych metalizowanych. Szczegółowo...
-
Synthesis and electrochemical characterization of poly(3,4-ethylenedioxythiophene) modified by iron hexacyanocobaltate
PublikacjaPraca dotyczy sposobu syntezy oraz elektrochemicznej charakterystyki materiału kompozytowego złożonego z poli(3,4-etylenodioksytiofenu) i heksacyjanokobaltanu(III) żelaza(II). Wybrany materiał badany był przy użyciu spektroskopii impedancyjnej, chronopotencjometrii oraz woltamperometrii cyklicznej w kontakcie z elektrolitem wodnym (KCl) oraz aprotycznym (LiPF6 w mieszaninie węglanu etylenu i węglanu propylenu). Materiał charakteryzuje...
-
Efektywność energetyczna systemów chłodniczych pracujących z dwutlenkiem węgla jako czynnikiem roboczym
PublikacjaArtykuł dotyczy zagadnienia efektywności energetycznej układów chłodniczych pracujących z dwutlenkiem węgla jako czynnikiem roboczym. W celu szczegółowego przeanalizowania potencjału zastosowania dwutlenku węgla, jako czynnika roboczego w urządzeniach chłodniczych, przeprowadzone zostały obliczenia dla kilku modeli układów chłodniczych. Do przeprowadzenia analizy wybrano trzy układy chłodnicze, tj. układ transkrytyczny, układ kaskadowy...
-
Trends in environmental analytics and monitoring
PublikacjaObserwuje się ciągły wzrost zainteresowania procedurami analitycznymi i odpowiednimi urządzeniami kontrolno-pomiarowymi, które mogą znaleźć zastosowanie w badaniach środowiskowych. W tym rozdziale przedstawiono podstawowe informacje dotyczące zadań analityki i monitoringu środowiskowego oraz głównych kierunków rozwojowych w tym zakresie. Przedstawiono szczegółowe informacje nt. niektórych z tych trendów, które można podzielić na...
-
Kompatybilność EM urządzeń zintegrowanych 21/22
Kursy OnlineMateriały wykładowe i laboratoryjne z przedmiotu Kompatybilność EM urządzeń zintegrowanych Studia magisterskie - semestr 3, kierunek elektronika
-
Regulacja automatyczna urządzeń ciepłowniczych [2021/22]
Kursy Onlinestudia stacjonarne, II stopień studiów - magisterskie, stacjonarne, sem 3, Energetyka
-
Inżynieria Materiałowa i Konstrukcja Urządzeń 2023
Kursy Online -
Bezpieczeństwo użytkowania urządzeń elektrycznych [2023/24]
Kursy Online -
Kompatybilność EM urządzeń zintegrowanych 22/23
Kursy OnlineMateriały wykładowe i laboratoryjne z przedmiotu Kompatybilność EM urządzeń zintegrowanych Studia magisterskie - semestr 3, kierunek elektronika
-
Bezpieczeństwo użytkowania urządzeń elektrycznych [2024/25]
Kursy Online -
Eksploatacja siłowni i urządzeń okrętowych, PG_00045226
Kursy OnlineSpecjalność: Środki Transportu Wodnego (WOiO), I stopnia - inżynierskie, stacjonarne, 2019/2020 - letni (obecnie sem. 4)
-
Kompatybilność EM urządzeń zintegrowanych 23/24
Kursy OnlineMateriały wykładowe i laboratoryjne z przedmiotu Kompatybilność EM urządzeń zintegrowanych Studia magisterskie - semestr 3, kierunek elektronika
-
Inżynieria Materiałowa i Konstrukcja Urządzeń 2024
Kursy Online -
Zespół Katedry Automatyki
Zespoły BadawczeMikroprocesorowe urządzenia pomiarowo-rejestrujące i systemy monitorowania wykorzystujące technologie sieciowe, systemy sterowania urządzeniami i procesami technologicznymi. Systemy sterowania w obiektach energetyki odnawialnej, skupionych i rozproszonych. Modelowanie i symulacja obiektów dynamicznych, procesów oraz systemów sterowania i kontroli; projektowanie interfejsów operatorskich. Systemy elektroenergetyczne i automatyki...
-
Katedra Automatyki i Energetyki
Zespoły BadawczeMikroprocesorowe urządzenia pomiarowo-rejestrujące i systemy monitorowania wykorzystujące technologie sieciowe, systemy sterowania urządzeniami i procesami technologicznymi. Systemy sterowania w obiektach energetyki odnawialnej, skupionych i rozproszonych. Modelowanie i symulacja obiektów dynamicznych, procesów oraz systemów sterowania i kontroli; projektowanie interfejsów operatorskich. Systemy elektroenergetyczne i automatyki...
-
Adaptacyjny system oświetlania dróg oraz inteligentnych miast
PublikacjaPrzedmiotem rozprawy jest zbadanie praktycznej możliwości wykrywania w czasie rzeczywistym anomalii w systemie oświetlenia drogowego w oparciu o analizę danych ze inteligentnych liczników energii. Zastosowanie inteligentnych liczników energii elektrycznej (Smart Meter) w systemach oświetlenia drogowego stwarza nowe możliwości w zakresie automatycznej diagnostyki takich niepożądanych zjawisk jak awarie lamp, odstępstwa od harmonogramu...
-
Materials for energy storage devices
Kursy OnlineKurs dotyczy zagadnień inżynierii materiałowej, elektrochemii, fizykochemii nanotechnologii materiałów stosowanych w budowaniu urządzeń elektrochemicznych do magazynowania i konwersji energii w urządzeniach. Prowadzony jest w języku angielskim.
-
Modelowanie systemów energetycznych
Kursy OnlineCelem przedmiotu jest nabycie przez studentów umiejętności modelowania systemów energetycznych występujących w elektrowniach i elektrociepłowniach przemysłowych. Analiza i ocena procesów występujących w poszczególnych urządzeniach obiegu cieplnego.
-
Usługi on-line w kontekście mobilnym - jakościowe badanie obserwacyjne
PublikacjaArtykuł przedstawia wyniki badania obserwacyjnego, majacego na celu zidentyfikowanie czynników kształtujących u użytkowników chęć skorzystania z usług on-line za pomocą urządzeń mobilnych takich jak smartfon, tablet lub laptop. Przeprowadzono badania obserwacyjne, w których użytkownicy (7 osób) przez 14 dni notowali swoją aktywność w zakresie korzystania z usług on-line z dostępnych urządzeń w powiązaniu z czynnikami uznawanymi...
-
Napędy hydrostatyczne jako maszyny bezpieczne i energooszczędne
PublikacjaProjektanci i producenci napędu hydrostatycznego nie dysponują możliwością dokładnego określania jego sprawności energetycznej zmieniającej się szeroko w polu pracy napędzanego urządzenia a więc w pełnym zakresie zmiany prędkości i obciążenia silnika hydraulicznego oraz lepkości zastosowanego czynnika roboczego. Dotyczy to zarówno określania strat i sprawności maszyn wyporowych (pompy i silnika hydraulicznego) zastosowanych w układzie...
-
Napędy hydrostatyczne jako maszyny bezpieczne i energooszczędne
PublikacjaProjektanci i producenci napędu hydrostatycznego nie dysponują możliwością dokładnego określania jego sprawności energetycznej zmieniającej się szeroko w polu pracy napędzanego urządzenia a więc w pełnym zakresie zmiany prędkości i obciążenia silnika hydraulicznego oraz lepkości zastosowanego czynnika roboczego. Dotyczy to zarówno określania strat i sprawności maszyn wyporowych (pompy i silnika hydraulicznego) zastosowanych w układzie...
-
Hydrostatic drives as safe and energy saving machines. The drive investigation method compatible diagram of power increase opposite to the direction of power flow
PublikacjaProjektanci i producenci napędu hydrostatycznego nie dysponują możliwością dokładnego określania jego sprawności energetycznej zmieniającej się szeroko w polu pracy napędzanego urządzenia a więc w pełnym zakresie zmiany prędkości i obciążenia silnika hydraulicznego oraz lepkości zastosowanego czynnika roboczego. Dotyczy to zarówno określania strat i sprawności maszyn wyporowych (pompy i silnika hydraulicznego) zastosowanych w układzie...
-
Problems of PAH quantification by GC-MS method using isotope-labelled standards.
PublikacjaChromatografia gazowa w połączeniu ze spektromerią mas (GC-MS) jest obecnie rutynowo stosowaną metodą w analityce środowiskowej do oznaczania śladowych ilości zanieczyszczeń organicznych. Stosowanie detektora mas sprawia, że wygodnym wzorcem wewnętrznym są stabilne izotopowo analogi oznaczanych związków. Związki te są wykorzystywane do śledzenia i kompensacji strat analitów podczas wykonywania określonych operacji związanych z...
-
Model konstrukcyjny i sterowanie robotami mobilnymi w środowisku z przeszkodami
PublikacjaW dzisiejszych czasach mobilne roboty autonomiczne zyskują coraz większą popularność, zarówno w środowiskach przemysłowych jak i w konsumenckich. Mają one głównie na celu ułatwianie pracy człowieka poprzez przejęcie części jego obowiązków. Z racji różnorodności środowisk, w jakich mogą one pracować, korzystają z algorytmów omijania przeszkód w celu osiągnięcia swobody poruszania się. Artykuł przedstawia model konstrukcyjny oraz...
-
Przegląd technologii baz danych - stan obecny
PublikacjaW rozdziale przedstawiono sposoby klasyfikowania baz danych. Ponadto przeprowadzono ogólny przegląd dostępnych obecnie na rynku rozwiązań, z uwzględnieniem podziału na zastosowania małe i duże oraz na bazy komercyjne i bezpłatne. Powyższy przegląd pokazuje, że technologia baz danych stale się rozwija i próbuje dostosować do zmieniających się oczekiwań potencjalnych użytkowników. Kierunki rozwoju to coraz częstsze próby wykorzystania...
-
Semi-Markovian models of the process of technical state changes of technical objects.
PublikacjaNajistotniejszym problemem eksploatacji wszystkich obiektów technicznych (urządzeń) jest problem racjonalnego (a zwłaszcza optymalnego) decyzyjnego sterowania procesem zmian stanów technicznych tych obiektów. Sterowanie takie może być realizowane w przypadku zastosowania między innymi modelu wspomnianego procesu zmian stanów. Mając to na uwadze, w opracowaniu tym przedstawiono formalny opis procesu eksploatacji obiektów technicznych...