Search
Filters
total: 288
Search results for: DRZEWO SPINAJĄCE
-
Variability of physico-chemical parameters in precipitation in Poland (1996-1999)
PublicationW publikacji przedstawiono wyniki badań przeprowadzonych w latach 1996-1999, dotyczących analizy próbek osadów atmosferycznych zebranych w trzech miejscach pobierania próbek. Zostały one porównane z wynikami otrzymanymi w pięciu innych miejscach na terenie Polski, rozmieszczonych zarówno na terenach objętych ochroną, takich jak parki narodowe, jak również narażonych na silny wpływ zanieczyszczeń pochodzących z aglomeracji miejskich...
-
Semiempirical analysis of electron scattering cross sections in N2O and CO2.
PublicationPorównano współczynniki transportu wyznaczone doświadczalnie w eksperymentach rojowych z wyznaczonymi teoretycznie z rozwiązania równania Boltzmana dla N2O i CO2. Badano wpływ przekrojów czynnych na wzbudzenia wibracyjne w tych gazach, w zakresie niskich energii na zgodność tych współczynników transportu.
-
Electron scattering on N2O - from cross section to diffusion coefficients.
PublicationW pracy przedstawiono wyniki pomiarów współczynników transportu: stosunek współczynnika dyfuzji w kierunku prostopadłym do pola elektrycznego do ruchliwości, stosunek współczynnika dyfuzji podłużnej do ruchliwości oraz prędkość dryfu elektronów w funkcji zredukowanego pola elektrycznego. Współczynniki zmierzono metodą Townsenda-Huxley´a a prędkość dryfu otrzymano wykorzystując metodę Bradbury - Nielsena. Zmierzone współczynniki...
-
Electron-difusion coefficiens in N2O
PublicationW pracy przedstawiono wyniki pomiarów stosunku współczynników dyfuzji poprzecznych i podłużnych do ruchliwości i prędkość dryfu elektronów jako funkcję zredukowanego pola elektrycznego w N2O. Współczynniki dyfuzji wyznaczono stosując metodę Towsenda-Huxleya; prędkość dryfu otrzymano używając techniki Bradbury-Nielsen. Całkowitych i częściowych przekrojów czynnych użyto do obliczenia współczynników metodą numeryczną.
-
Fast rns scaling of signed numbers based on the chinese remainder theorem
PublicationPrzedstawiono architekturę szybkiego skalera resztowego dla liczb ze znakiem dla modułów 5-bitowych opartego na chińskim twierdzeniu o resztach. W architekturze zastosowano wyznaczanie projekcji ortogonalnych przy użyciu funkcji logicznych 5 zmiennych, sumator kodulo m/k oraz wejściowy konwerter do systemu resztowego. Operacja modulo m/k jest wykonywana przy zastosowaniu drzewa 4-operandowych sumatorów modulo 2m/k i końcowego...
-
An environmental risk measure of ships
PublicationW referacie wyszczególniono najistotniejsze rodzaje zanieczyszczeń emitowanych przez statki do środowiska naturalnego. Przeprowadzono krótką dyskusję norweskiej propozycji indeksacji środowiskowej statków. Zaproponowano probabilistyczny model do oceny ryzyka stwarzanego przez statki względem środowiska morskiego. Jest to model strategii liniowej. Wiąże w jedną wartość liczbową prawdopodobieństwa uwolnienia zanieczyszczeń ze statku...
-
An implementation of deterministic tree automata minimization
PublicationWstępujący, deterministyczny, skończony automat drzewiasty (DTA) może być używany jako struktura danych do przechowywania zbiorów nieuporządkowanych drzew bez narzuconej liczby poddrzew. Takie automaty są zwykle rzadsze niż automaty działające na napisach i dlatego należy zwrócić szczególną uwagę na ich wydajną minimalizację. W dostępnej literaturze jest jednak ciężko znaleźć proste i szczegółowe opisy procedury minimalizacji....
-
Gazetteer compression technique based on substructure recognition
PublicationAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
Jadwiga Mechlińska-Drewko dr
People -
Alternative sources of energy from agricultural biomass - an European perspective
PublicationNośniki energii pochodzące z rolnictwa dzielą się na nośniki pierwotne oraz nośniki wtórne. Nośniki pierwotne to drewno, słoma oraz osady ściekowe (analogiczne do torfu niskiego). Nośniki wtórne to biogaz, bioetanol, biodiesel, biowodór oraz gaz pirolityczny. Omawia się zasoby energetyczne biomasy w Unii Europejskiej.
-
An improved high-speed residue-to-binary converter based on the chinese remainder theorem
Publicationw pracy zaprezentowano nowy szybki konwerter z systemu resztowego do systemu binarnego. Projekcje ortogonalne wyznaczane są przy użyciu funkcji logicznych pięciu zmiennych. Suma projekcji obliczana jest z zastosowaniem drzewa Wallace'a. Wektor sumy i wektor przeniesienia są dzielone na segmenty tak aby liczba reprezentowana łącznie przez obydwa segmenty o młodszych wagach nie przekraczała zakresu systemu resztowego,M. Bity segmentów...
-
Generatory labiryntów: modyfikacje algorytmu komórkowego i analiza właściwości generowanej klasy
PublicationWyróżniamy trzy podstawowe algorytmy generujące labirynty, których grafowa reprezentacja ma postać drzew: błądzenia losowego, budowania ścian i komórkowy[1]. W pracy przedstawione zostaną modyfikacje algorytmu komórkowego, które potrafią wygenerować tę samą klasę labiryntów, co podstawowa wersja algorytmu, przy jednoczesnej zmianie parametrów opisujących ich wygląd (preferencja kierunku wyjścia, średnia liczba wyjść z pokoju, średnia...
-
ATTEMPT AT EVALUATING THE INFLUENCE OF BENDING STRESS ON SHAFT WEAR PROCESSES IN WATER LUBRICATED SLIDING BEARING WITH A RUBBER BUSHING
PublicationWater lubricated bearings find increasingly wide application in shipbuilding or hydro–power industry, the popularity stemming from their numerous advantages. Unfortunately, as it turns out, water lubricated bearings do not always meet expectations, as on occasion they become subject to intense, premature wear which requires costly repair. One of the still unexplained phenomena is the process of excessive bearing wear, in particular...
-
BADANIA NUMERYCZNE ZDERZENIA AUTOBUSU W UKŁADZIE BARIERA I KRATOWNICOWA KONSTRUKCJA WSPORCZA
PublicationZdarzenia spowodowane wypadnięciem pojazdu z trasy stanowią 20 – 30 % ogółu zdarzeń niebezpiecznych na drogach. Najczęściej występującymi przeszkodami i niebezpiecznymi obiektami przy drodze, w które uderza wypadający z niej pojazd są: bariery na autostradach i drogach ekspresowych oraz drzewa, słupy i znaki drogowe na innych szlakach. Do opracowania metody projektowania, tj. doboru lokalizacji i rodzaju urządzeń bezpieczeństwa...
-
Badania numeryczne zderzenia autobusu w układzie bariera i kratownicowa konstrukcja wsporcza
PublicationZdarzenia spowodowane wypadnięciem pojazdu z trasy stanowią 20 – 30 % ogółu zdarzeń niebezpiecznych na drogach. Najczęściej występującymi przeszkodami i niebezpiecznymi obiektami przy drodze, w które uderza wypadający z niej pojazd są: bariery na autostradach i drogach ekspresowych oraz drzewa, słupy i znaki drogowe na innych szlakach. Do opracowania metody projektowania, tj. doboru lokalizacji i rodzaju urządzeń bezpieczeństwa...
-
Porównanie protokołów umożliwiających samorekonfigurację sieci Ethernet.
PublicationPrzedstawiono protokoły warstwy łącza danych stosowane w sieciach Ethernet wtym: algorytm drzewa opinającego - przeciwdziałający krążeniu ramek w sieci LAN (protokół ten z jednej strony ogranicza całkowitą przepustowość sieci, zdrugiej zaś umożliwia automatyczną rekonfigurację sieci w przypadku uszkodzenia łączy lub węzłów); algorytm agregacji łączy - umożliwiający zwiększenie transferu danych między przełącznikami bez zwiększania...
-
Analiza prądu relaksacji izotermicznej w polietylenie kablowym.
PublicationPraca zawiera wyniki badań wpływu procesu starzenia się izolacji polietylenowej kabla na parametry prądu relaksacji izotermicznej. Zauważono, że w miarę postępującej degradacji izolacji wzrastają składowe prądu związane z dłuższymi czasami uwalniania się nośników ładunku. Stwierdzono możliwość znaczącego wzrostu prądu relaksacji wskutek powstawania drzewek elektrycznych w polietylenie kablowym.
-
Wpływ kolejności dozowania surowców oraz sił ścinających na właściwości mieszanin polietylen dużej gęstości/miał gumowy, wytwarzanych przy użyciu współbieżnej wytłaczarki dwuślimakowej
PublicationKompozycje termoplastyczne polietylenu dużej gęstości (PE-HD) z udziałem 50 % mas. miału gumowego (GTR), wytwarzano przy użyciu współbieżnej wytłaczarki dwuślimakowej. Scharakteryzowano wpływ kolejności dozowania surowców oraz sił ścinających generowanych podczas intensywnego mieszania na parametry pracy wytłaczarki, wartości masowego wskaźnika szybkości płynięcia, statyczne właściwości mechaniczne (wytrzymałość na rozciąganie,...
-
Experimental and theoretical study of protonated water cluster
PublicationZa pomocą metody rojowej zbadano powstanie i dryf dodatnio naładowanych klastrów wody H+(H20)n n=1-7. Oszacowano energie dysocjacji. Prace uzupełniają obliczenia kwantowe konfiguracji wybranych klastrów. Dokonano obliczeń kilkunastu konfiguracji zjonizowanych klastrów.
-
Oddziaływanie napięcia na poziom ładunku w obszarze wady polietylenu sieciowanego
PublicationW pracy przedstawiono wyniki pomiarów swobodnego ładunku elektrycznego wprowadzanego w obszar drzewka elektrycznego w polietylenie sieciowanym za pomocš oddziaływania różnych rodzajów napięcia - stałego, przemiennego oraz udarów łaczeniowych nakładanych na napięcie przemienne. Na podstawie pomiarów pršdów depolaryzacyjnych stwierdzono przy obu biegunowociach udarów łšczeniowych występowanie w obszarze wady ładunków ujemnych.
-
The influence of switching impulses on degradation of polyethylene insulation
PublicationW pracy omówiono czas inkubacji i wzrostu drzewka elektrycznego rozwijającego się w izolacji polietylenowej usieciowanej w układzie ostrze - płyta uziemiona. Badania przeprowadzono przy udarach łączeniowych nałożonych na napiecie przemienne (napięcie skojarzone). Wyniki badań wskazują na istotny wpływ ładunku przestrzennego wprowadzanego napięciem udarowym na inkubację i propagację drzewienia elektrycznego.
-
Chemometric analysis of rainwater and throughfall at several sites in Poland.
PublicationPróbki pobrano w stacjach w różnych rejonach Polski. Stacje te były umieszczone na terenach specjalnie chronionych (Wielkopolski Park Narodowy i Ojcowski Park Narodowy) oraz na niechronionych formacjach leśnych (leśnictwo Stara Piła). Celem badań było porównanie parametrów występujących w opadach atmosferycznych pod względem podobieństwa charakterystyki miejsca a także podobieństw i różnic związanych z przejściem wody opadowej...
-
Marcin Drewko mgr inż.
People -
Sterowanie predykcyjne hydrauliką i jakością wody w SW
PublicationEfektywne sterowanie hydrauliką i jakością systemu wodociągowego (SW) wymaga zintegrowanej wiedzy o nim oraz zaawansowanych algorytmów sterowania. Ponieważ związek między hydrauliką a jakością wody jest jednostronny (hydraulika, poprzez rozpływ wody w sieci ma wpływ na jej jakość), to problem sterowania systemem wodociągowym należy rozpatrywać w odniesieniu do tych dwóch aspektów.
-
Model predictive controller for integrated wastewater treatment systems.
PublicationSterowanie optymalizujace systemem oczyszczania ścieków (WWTS) pozwala na zmniejszenie kosztów operacyjnych przy jednoczesnym spełnieniu narzuconych ograniczeń na wypływające ścieki, jednak wymaga zaawansowanych technologii sterowania. Sterowanie predykcyjne z modelem (MPC) jest bardzo użyteczną technologią sterowania takimi systemami. MPC doskonale radzi sobie z obecnością ogrniczeń na wielkości wyjściowe, wielowymiarowością problemu...
-
Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych
PublicationBezpieczeństwo jest pożądaną cecha systemów przemysłowych, transportowych i innych typów. A ponieważ do sterowania tymi systemami powszechnie stosuje się systemy komputerowe, jest ono również ważną cechą oprogramowania. Analiza bezpieczeństwa oprogramowania jest jednak, ze względu na jego niematerialność, trudniejsza od typowej analizy. Ponadto, ze względu na skomplikowane reguły sterujące oraz naturę kontrolowanych systemów, bezpieczeństwo...
-
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....
-
Jerzy Łabanowski prof. dr hab. inż.
People -
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublicationAnaliza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią...
-
Identity verification based on mouse movements
PublicationW pracy przedstawiono ideę systemu zabezpieczeń biometrycznych opartego na sposobie poruszania myszą. Pomiary odczytywane z myszy są przykładem cech behawioralnych, które w przeciwieństwie do fizjologicznych są bardzo niestabilne. Opisano zbiór cech, które można wydobyć z danych pochodzących z myszy. Przeprowadzono eksperymenty dla danych zebranych od trzynastu użytkowników. Zaprezentowano wyniki uwierzytelniania za pomocą metody...
-
Wpływ drzewienia elektrycznego na prądy polaryzacyjne i depolaryzacyjne w izolacji polietylenowej
PublicationW pracy przedstawiono wyniki badań prądów polaryzacyjnych i depolaryzacyjnych układu ostrze - płyta uziemiona w polietylenie sieciowanym (XLPE). Zastosowano próbki XLPE z igłą o promieniu ostrza 5 mm symulującą typowe niejednorodności występujące w procesie wytwarzania izolacji kablowej. Analizowano przebieg prądów polaryzacyjnych i depolaryzacyjnych dla różnego stopnia starzenia próbek izolacji, charakteryzującego się inną długością...
-
Wiklinowe uprawy energetyczne
PublicationW Polsce spalanie ponad 100 mln t węgla rocznie ma znaczne konsekwencje ekologiczne, głównie w południowej Polsce. Przekroczono tu granice chłonności środowiska na produkty spalania węgla. Za paliwo przyszłości uważa się drewno wiklinowe z plantacji energetycznych. Wskazuje się na znaczny rozwój tych upraw w warunkach polskich. Tworzy się nowy rynek surowców i pracy na wsi.
-
Możliwości wykorzystania biomasy do produkcji energii na przykładzie Szwecji.
PublicationPrzedstawiono wykorzystanie biomasy do produkcji energii w Szwecji gdzie w1999 roku udział biomasy stanowił 14%. Większa część biomasy jest wykorzystywana w przemyśle drzewnym (63%) oraz jako paliwo w systemach ciepłowniczych (23%). Dominującym rodzajem biomasy jest drewno pochodzące z lasów oraz z przemysłu drzewnego. Znaczący wpływ na wzrost zużycia biomasy miała struktura paliw i polityka podatkowa państwa.
-
Wykorzystanie metody elementów skończonych do symulacji czujników elektrochemicznych na bazie elektrolitów stałych
PublicationW pracy przedstawiono budowę i działanie oprogramowania wykorzystu-jącego metodę elementów skończonych przeznaczonego do symulacji czujników elektrochemicznych na bazie elektrolitów stałych. Program pozwala na graficzne konstruowanie siatki, określanie warunków brzego-wych oraz analizę uzyskiwanych wyników symulacji. Program został wykorzystany do określenia rozkładu potencjału zespolonego w spolary-zowanej strukturze czujnika...
-
Kalibracja i walidacja metody Mathara za pomocą Metody Elementów Skończonych
PublicationMetoda pomiaru naprężeń powierzchniowych przy pomocy rozet tensometrycznych i kontrolowanych odwiertów (metoda otworkowa) jest stosowana powszechnie w odniesieniu do stali izotropowych oraz silnie anizotropowych laminatów, natomiast nie została rozpoznana jej stosowalność do umiarkowanie anizotropowych stopów metali. W artykule opisane jest odniesienie wyników pomiarów wykonanych na płytach ze stali duplex do modelu numerycznego...
-
Synteza, badania strukturalne i spektroskopowe kompleksów cynku i kadmu z ligandem tris(2,6-diizopropylofenoksy)silanotiolanowym
PublicationW pracy doktorskiej przedstawiono nowy związek krzemo-siarkowy tris(2,6-diizopropylofenoksy)silanotiolanowy (TDST) zastosowany do syntezy modelowych kompleksów cynku i kadmu, które modelują bezpośrednio środowisko jonu metalu w β anhydrazie węglanowej oraz dehydrogenazie alkoholowej. Zastosowanie związku krzemo-siarkowego tris(2,6-diizopropylofenoksy)silanotiolanowy (TDST) jako liganda do syntezy modelowych kompleksów cynku i kadmu...
-
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...
-
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...
-
Osiedle Naturia/Toruń
PublicationOsiedle Jar, zlokalizowane na leśnych terenach powojskowych, to niezwykle atrakcyjny i dynamicznie rozwijający się obszar budownictwa mieszkaniowego w Toruniu. W jego północnej części, w miejscu ograniczonym ulicami Strobanda, Grasera i Watzenrodego powstaje zanurzony w zieleni zespół wielorodzinnych budynków mieszkalnych autorstwa KURYŁOWICZ & ASSOCIATES - egzemplifikacja modernistycznego modelu zespołu mieszkalnego złożonego...
-
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
PublicationW referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...
-
Marek Czachor prof. dr hab.
People -
Influence of wood steam drying process on fracture toughness and shear yield strength determination
PublicationPrzedstawiono wyniki badań wiązkości (energii właściwej na tworzenie nowej powierzchni) oraz naprężeń ścinających w strefie skrawania drewna dębowego i sosnowego na podstawie mocy skrawania przy przecinaniu piłami. Badane drewno było wcześniej suszone w specjalnej eksperymentalnej suszarni w otoczeniu pary. Zaobserwowano, że tego typu suszenie powoduje znaczne skrócenie czasu suszenia, jednakże, wspomniane właściwości mechaniczne...
-
Experimental study on earthquake-induced pounding between structural elements made of different building materials
PublicationCelem artykułu jest pokazanie wyników dwóch eksperymentów dotyczących zderzeń pomiędzy elementami wykonanymi z różnych materiałów budowlanych, takich jak: stal, beton, drewno i ceramika. Pierwszy z nich polegał na zrzucaniu kul na płaską powierzchnię, drugi dotyczył zderzeń modeli konstrukcji poddanych wymuszeniom sejsmicznym na stole wstrząsowym. Wyniki testów pokazują, iż wpływ materiału elementów kolidujących ze sobą na zachowanie...
-
Analiza impulsów prądowych towarzyszących rozwojowi drzewienia elektrycznego.
PublicationW referacie dokonano analizy impulsów prądowych towarzyszących rozwojowi drzewienia elektrycznego przy udarach nakładanych na napięcie przemienne. Obserwowano wyładowania niezupełne (wnz) w kanale drzewka w czasie narastania udaru. Ładunek pułapkowany w izolacji powodował wyładowania w czasie stanu przejściowego oraz przy napięciu przemiennym, dla którego wnz przy braku przepięć nie występują. Wyniki badań wskazują na istotny...
-
Electrochemical study of lithium insertion into carbon-rich polymer-derived silicon carbonitride ceramics
PublicationW pracy przedstawiono materiał ceramiczny, bogaty w węgiel krzemo azotek węgla (SiCN), otrzymany na drodze pirolizy w zakresie temperatur od 1100 do 1700°C. Badania elektrochemiczne insercji litu wykazały, że materiał elektrodowy na bazie SiCN może być obiecujący jako anoda w bateriach litowych. Próbka otrzymana w 1300°C cechuje się pojemnością 392 mAh/g i jest stabilna aktywna elektrochemicznie w trakcie interkalacji i deinterkalacji...
-
Karol Flisikowski dr inż.
PeopleKarol Flisikowski works as Associate Professor at the Department of Statistics and Econometrics, Faculty of Management and Economics, Gdansk University of Technology. He is responsible for teaching descriptive and mathematical statistics (in Polish and English), as well as scientific research in the field of social statistics. He has been a participant in many national and international conferences, where he has presented the results...
-
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...
-
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...
-
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...
-
Szeregowanie rozrzedzonych systemów zadań jednostkowych 1- i 2-procesorowych w oknach czasowych
PublicationSzeregowanie jednostkowych zadań 1- i 2-procesorowych z dodatkowym ograniczeniem w postaci zróżnicowanych okien czasowych, w których zadania te mogą być wykonywane zamodelowano przy pomocy listowego kolorowania i multikolorowania krawędzi grafów. Kryteria jakości harmonogramu: maksymalny koszt wykonania zadania w jednostce czasu oraz suma tychże kosztów po wszystkich zadaniach można przedstawić rozszerzając kolorowanie listowe...