Search
Search results for: TEORIA ALGORYTMÓW,PRZESZUKIWANIE GRAFÓW,TEORIA GRAFÓW,ZŁOŻONOŚĆ OBLICZENIOWA
-
Wyznaczanie sygnału sterowania silnikiem dla zadanych parametrów ruchu pojazdu.
PublicationW pracy zaprezentowano model układu napędowego pojazdu w formie grafów wiązań i równań stanu. Przedstawiono również model oporów ruchu pojazdu. Wyszczególniono parametry sterowania pojazdem oraz parametry określające ruch pojazdu. W pracy zawarto schemat wyznaczania parametru sterowania silnikiem, którego uzyskanie dla zadanych parametrów ruchu pojazdu jest niezbędnym elementem badań symulacyjnych i weryfikacyjnych opracowywanych...
-
Różnorodność jako wartość kultury organizacyjnej na przykładzie pięciu największych korporacji transnarodowych świata
PublicationW artykule podjęto próbę zobrazowania istoty różnic kultur narodowych dla prowadzenia biznesu międzynarodowego. W części drugiej przedstawiona została ewolucyjna teoria korporacji transnaro-dowych w powiązaniu z modelami zarządzania międzykulturowego. Wysunięto tezę, że jedynie w modelu współpracy kulturowej szczególny nacisk kładzie się na kwestie różnorodności. Jedynie ten model pozwala korporacjom skutecznie działać w warunkach...
-
Wykorzystanie wnioskowania logicznego w planowaniu i sterowaniu produkcją
PublicationEfektywną realizację zmain, również w procesie planowania i sterowania produkcją, wspomagają odpowiednie metody i narzędzia. W artykule przedstawiono etapy realizacji pełnej zmiany według Logicznego Wnioskowania, zgodnej z teoria Ograniczeń. Scharakteryzowano też cel i zakres stosowania poszczególnych narzędzi Logicznego Wnioskowania w realizacji zmainy procesu planowania i sterowania produkcją. Artykuł prezentuje ponadto powiązania...
-
Thermodynamically consistent nonlocal theory of ductile damage
PublicationPrzedstawiono termodynamicznie zgodną, słabo-nielokalną teorię zniszczenia plastycznego. Wykorzystano klasyczne dynamiczne zasady zachowania pędu i momentu pędu w przestrzeni fizycznej i materialnej. Przyjęto równania konstytutywne i zdefiniowano ich niezmienniczą formę i termodynamicznie dopuszczalną postać. Wykazano, że fizyczne i materialne siły i naprężenia składają się z dwóch części, niedyssypatywnego składnika otrzymanego...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych - każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych – każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
MADGE Morse theoretical methods in Analysis, Dynamics, and Geometry.
ProjectsProject realized in Divison of Dynamical Systems according to Umowa o realizację i finansowanie projektu badawczego agreement from 2024-10-01
-
Agnieszka Rek-Lipczyńska dr inż. arch.
Peopledr inż. arch. Agnieszka Rek-Lipczyńska 1. Edukacja i dane biograficzne: ur. 11.07.1975 r. w Radomiu 1998 – mgr inż. arch. – Politechnika Szczecińska, Wydział Budownictwa i Architektury 2. Stopnie i tytuły naukowe: 2011 dr– Wydział Architektury w Gliwicach, Politechnika Śląska 3. Stanowiska i funkcje: 2008 asystent, Katedra Rysunku Malarstwa i Rzeźby, WBiA 2012 adiunkt, ZTA,HiKZ, IAiPP,...
-
Wielkogabarytowe hydrodynamiczne łożyska wzdłużne
PublicationW monografii przedstawiono problemy konstrukcyjne i badawcze hydrodynamicznych łożysk wzdłużnych o dużych średnicach. Łożyska takie stanowią istotne i niezwykle odpowiedzialne podzespoły hydrogeneratorów elektrowni wodnych. Z uwagi na rozmiary (średnice przekraczają niekiedy 5 metrów) i złożoność zjawisk łożyska te wymagają specjalnej postaci konstrukcyjnej, a ich dokładna analiza obliczeniowa przysparza wiele problemów. Dodatkowo...
-
Model chłodnicy płytowej pracującej w układzie chłodzenia samochodowego silnika spalinowego
PublicationW artykule przedstawiono zastosowanie chłodnic płytowych w nowoczesnych układach chłodzenia silników spalinowych. uzasadniono potrzebę budowy modelu chłodnicy pozwalającego na przeprowadzenie badań symulacyjnych w nieustalonych warunkach pracy silnika samochodowego. Jako metodę modelowania przyjęto metodę grafów wiązań i równań stanu. Przyjęta metoda pozwala na powiązanie modelu chłodnicy z elementami systemu energetycznego silnik-pojazd,...
-
Sztuczne systemy immunologiczne w optymalizacji dyskretnej
PublicationSztuczne systemy immunologiczne to modele komputerowe oparte na niektórych właściwościach systemu odpornościowego kręgowców. Znajdują one szereg zastosowań m. in. w optymalizacji dyskretnej. Praca ta przedstawia informacje na temat trzech modeli obliczeniowych inspirowanych funkcjonowaniem układu immunologicznego, ich podstaw biologicznych i moŜliwych zastosowań. Artykuł zawiera opis algorytmu selekcji klonalnej w wersji optymalizacyjnej...
-
Kompleksowy model nowej generacji układu chłodzenia silnika spalinowego
PublicationPrzedstawiono tendencje w konstrukcji układów chłodzenia i dostępne komercyjne metody modelowania pracy układu chłodzenia. Przeprowadzono obliczenia symulacyjne temperatury cieczy komercyjnym programem komputerowym AmeSIM i porównano wyniki z pomiarami wykonanymi na hamowni podwoziowej. Opisano wybrane procesy wymiany ciepła występujące w układach chłodzenia. Przedstawiono ogólny model elementu cieplnego w postaci grafów wiązań...
-
program verification strategy and edge ranking of graphs
PublicationW artykule rozważamy model, w którym zakładamy, że dany jest zbiór asercji/testów dla pewnych bloków programu. Celem jest znalezienie optymalnej, tzn. wymagającej wykonania minimalnej liczby testów strategii wyszukiwania błędu w kodzie programu. Pomimo założenia w modelu, iż program posiada dokładnie jeden błąd, rozważania można uogólnić na testowanie kodu z dowolną liczbą błędów. Analizujemy teoretyczne własności tego modelu oraz...
-
Centrum Zastosowań Matematyki
PublicationProjekt Centrum Zastosowan Matematyki realizowany jest przy Wydziale Fizyki Technicznej i Matematyki Stosowanej Politechniki Gdanskiej od wrzesnia 2013 do sierpnia 2015 roku. W drodze konkursu organizowanego przez Narodowe Centrum Badan i Rozwoju uzyskał on dofinansowanie w wysokosci niemal dwa miliony złotych ze srodków Europejskiego Funduszu Społecznego. Zadania projektu obejmuja: stworzenie platformy internetowej, organizacje cyklu...
-
Generation of vorticity mode by sound in Bingham plastic
PublicationBadanie dotyczy interakcji między modami akustycznymi i nieakustycznymi (tj. mody wirowe) dla klasy płynów nienewtonowskich zwanych płynami Binghama. Zostały wyprowadzone momentalne równania opisujące interakcje między modami. Uwzględnione zostały efekty nieliniowe w polu intensywnego dźwięku. Otrzymane równania opisują dynamikę zarówno akustycznych jak i wirowych modów (i mogą być stosowane zarówno do periodycznych i aperiodycznych...
-
Detection of roles of actors in social networks using the properties of actors' neighborhood structure.
PublicationArtykuł opisuje metodę identyfikacji ról aktorów sieci społecznej. Metoda ta może być szczególnie przydatna w sieciach społecznych, o których posiadamy ograniczoną wiedzę, głównie zawężoną do lokalnych powiązań pomiędzy aktorami. Przedstawiona w artykule metoda korzysta z grafu relacji społecznych, algorytmu identyfikacji ról oraz zbioru grafów wzorców relacji. Rozwiązanie zostało przetestowane w społeczności użytkowników serwisu...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Model of speed-varing rotor for mechatronic systems analysis and design
PublicationW artykule przedstawiono sposób modelowania złożonych układów mechatronicznych w oparciu o metodę grafów wiązań. Celem zilustrowania metody posłużono się przykładem liczbowym, w którym rozważano wirnik obracający się ze zmienną prędkością kątową. Prezentowana metodyka doskonale nadaje się do modelowania układów o zróżnicowanej naturze fizycznej. Otrzymany model ma charakter obiektu o pewnej liczbie wejść i wyjść, który można w...
-
Planning cellular machining systems for lean production.
PublicationRozważano zagadnienie projektowania struktur systemów obróbki o zdeterminowanych możliwościach technologicznych, odpowiadających wymaganiom oszczędnej produkcji. Przedstawiono model matematyczny wyznaczania struktur systemów grupowego wytwarzania, wykorzystujący zasady formalizmu relacji i grafów rozmytych. Zawarto wyniki badań symulacyjnych efektywności procesów wytwarzania określonego spektrum przedmiotowego, przebiegających...
-
Wpływ odbiorników energii elektrycznej pojazduna parametry silnika spalinowego
PublicationW artykule przedstawiono model systemu energetycznego pojazdu napędzanego silnikiem spalinowym w postaci grafów wiązań (GW). W modelu tym uwzględniono szczególnie część elektryczną systemu składającą się z generatora, akumulatora elektrochemicznego i odbiorników energii elektrycznej. Podano zależności na podstawowe parametry systemu energetycznego w konwencji GW. W oparciu o przedstawioną w pracy [11] wielowymiarową charakterystykę...
-
Model procesu hamowania w pojeździe hybrydowym
PublicationW tradycyjnym procesie hamowania cała energia kinetyczna pojazdu jest rozpraszana do otoczenia w postaci energii cieplnej. W pojazdach hybrydowych istnieje możliwość odzyskania części tej energii przez przekazanie do akumulatorów i wykorzystania jej do napędu pojazdu. W pracy przedstawiono model energetyczny procesu hamowania pojazdu hybrydowego w układzie szeregowym, stosując metodę grafów wiązań (GW). Stosując konwencję GW podano...
-
Searching by heterogeneous agents
PublicationIn this work we introduce and study a pursuit-evasion game in which the search is performed by heterogeneous entities. We incorporate heterogeneity into the classical edge search problem by considering edge-labeled graphs: once a search strategy initially assigns labels to the searchers, each searcher can be only present on an edge of its own label. We prove that this problem is not monotone even for trees and we give instances...
-
Estymacja współrzędnych kątowych w radarze trójwspółrzędnym z elektronicznym skanowaniem wiązki i obracaną anteną planarną
PublicationW rozprawie zawarto historię radiolokacji oraz sposób obróbki sygnałów i danych radarowych przed etapem estymacji. Przedstawiono oraz przetestowano klasyczne metody estymacji współrzędnych wraz ze wskazaniem ich słabych oraz mocnych stron. Zaproponowano uodpornione warianty estymatorów największej wiarygodności, które pozwolił poprawić jakość oszacowania przy estymacji elewacji w warunkach propagacji wielodrogowej, redukując jednocześnie...
-
Modelowanie układów napędowych pojazdów z silnikami spalinowymi
PublicationW analizie struktur układów napędowych pojazdów wykorzystano metodę Grafów Wiązań, która daje możliwość modelowania elementów o różnej naturze fizycznej. Jest to bardzo istotne przy analizie energetycznej systemów o złożonej i zróżnicowanej strukturze energetycznej, np. w przypadku pojazdów samochodowych z klasycznym lub hybrydowym układem napędowym. W pracy przedstawiono również przykłady popularnych programów komputerowych do...
-
Systemy aktywizacji, przetwarzania i wizualizacji danych AIS na potrzeby projektu netBaltic
PublicationSystem AIS (Automatic Identification System), zaprojektowany dla zapewnienia bezpieczeństwa żeglugi, służy do przekazywania w swoich komunikatach, wymienianych między jednostkami pływającymi, istotnych informacji geolokalizacyjnych. Znaczenie tych informacji wydaje się duże w kontekście planów budowy testowej instalacji, szerokopasmowej sieci teleinformatycznej netBaltic na morzu. W artykule przedstawiono wyniki dotyczące budowy...
-
Ocena przydatności systemu AIS w doborze tras rutingowych w sieciach bezprzewodowych o architekturze mesh na obszarze Bałtyku
PublicationCelem artykułu jest przybliżenie wyników jednego z kierunków prac prowadzonych w Katedrze Teleinformatyki Wydziału ETI Politechniki Gdańskiej w ramach projektu NetBaltic. Zaprezentowano w nim wstępne wyniki dotyczące systemu akwizycji danych oraz oceny przydatności systemu AIS do dynamicznego modelowania grafów powiązań między statkami, z uwzględnieniem zasięgów zapewnianych przez wybrane technologie sieciowe, a także określania...
-
Bilans energetyczny w pojeździe hybrydowym z napędem szeregowym.
PublicationPrzedstawiono model pojazdu hybrydowego z napędem szeregowym sformułowany przy użyciu grafów wiązań (GW) i równań stanu (RS). Podano składowe bilansu energetycznego hybrydowego układu napędowego i zdefiniowano najważniejsze sprawności, które mogą posłużyć do oceny ogólnej sprawności eksploatacji pojazdu. Krótko opisano pojazd hybrydowy zbudowany w Politechnice Gdańskiej w celu przeprowadzenia weryfikacji eksperymentalnej modelu...
-
Julita Wasilczuk dr hab.
PeopleBorn on 5th of April, 1965 in Gdansk. In 1987-1991 studied the economics of transport, at the University of Gdansk. At 1993 she started to work at the Faculty of Management and Economics. In 1997 received a PhD at the faculty, in 2006 habilitation at the Faculty of Management, University of Gdansk. Since 2009 Associate Professor at Gdansk University of Technology. In 2010-2012 Associate Professor of Humanistic High School at Gdansk. The...
-
Generation of vorticity motion by sound in a chemically reacting gas and inversion of acoustic streaming in the non-equilibrium regime
PublicationBadanie dotyczy nieliniowych pobudzeń modu wirowego wywoływanych przez straty momentu pędu w gazie, w którym zachodzą reakcje chemiczne. Zostało wyprowadzone chwilowe dynamiczne równanie dla modu wirowego. Zawiera ono nieliniową siłę akustyczną co pokazuje, że powodem interakcji między modami akustycznym i wirowym jest nieliniowość. Równanie pozwala jako przyczynę ruchu wirowego rozważać zarówno dźwięk okresowy, jak i aperiodyczny....
-
Miasto nocą: zaburzenia snu a praca zmianowa i stres zawodowy wśród policjantów
PublicationStreszczenie. Jedną z miar subiektywnej jakości życia jest dobry sen. Cebulowa teoria szczęścia postuluje zależność pomiędzy dobrostanami cząstkowymi. Celem studium była ocena zaburzeń snu wśród policjantów z miejskich komisariatów Policji w zależności od cech pracy (stres zawodowy) i jej organizacji (zmianowość). Rezultaty pokazały, że większe problemy ze snem mieli policjanci pracujący wyłącznie na zmianach dziennych niż pracujący...
-
Early detection of imminent threats in social relation graphs
PublicationWczesne wykrywanie zagrożeń i anomalii w sieciach społecznych jest dziś prawdziwym wyzwaniem. Ludzie w realnym świecie tworzą wiele złożonych relacji społecznych, które mogą być przedstawione za pomocą grafów, w których węzły reprezentują aktorów (pojedyncze osoby lub organizacje) a krawędzie wskazują na powiązania pomiędzy nimi. Analiza nieustannie zmieniających się relacji pomiędzy aktorami może wskazać konkretne nadciągające...
-
Klasyfikacja algorytmów wyboru usług w architekturze SOA
PublicationWytwarzanie aplikacji w architekturze zorientowanej na usługi wymaga zastosowania odpowiednich algorytmów wyboru usług, które będą zapewniały wytworzenie aplikacji o wymaganych parametrach jakościowych. Biorąc pod uwagę, że problem wyboru usług ma wykładniczą złożoność obliczeniową, stosowne są zarówno algorytmy dokładne jak i przybliżone. W pracy przedstawiono porównanie i analizę istniejących algorytmów wyboru usług w kompozycji...
-
Konstrukcje powierzchniowe
e-Learning CoursesKonstrukcje tarczowe i płytowe – teoria, zastosowania w MES. Zginanekonstrukcje powłokowe – teorie liniowe i nieliniowe, zastosowania MES, Błonowe konstrukcjepowłokowe – teoria, modelowanie w MES, problemy obliczeń liniowych i nieliniowych, problemywykonawcze. Dźwigary siatkowe – teoria i właściwe modelowanie w MES, problemy wstępnego napięcia.Przykłady realizacji zaawansowanych konstrukcji powierzchniowych
-
Podstawy elektrotechniki i elektroniki 1 [2020/21]
e-Learning CoursesKurs dla studentów sem. 2 na kierunku Energetyka studiów stacjonarnych I stopnia. elementy teorii pola elektromagnetycznego, teoria obwodów elektrycznych. Wykład+ćwiczenia.
-
Synchronization helps robots to detect black holes in directed graphs
PublicationPraca zawiera nowe wyniki dla problemu poszukiwania czarnej dziury w grafie skierowanym przez zbiór agentów. Czarna dziura jest węzłem niszczącym wszystkich wchodzącej do niej agentów. Pokazano, że w przypadku, gdy stopień wejściowy czarnej dziury wynosi D, do przeszukania grafu skierowanego w modelu synchronicznym wystarcza O(D 2^D) agentów. Wartość ta jest bliska znanemu z literatury oszacowaniu dolnemu Omega (2^D). W pracy pokazano...
-
Analityczne podejście do problematyki łukowania rozjazdów kolejowych
PublicationW pracy nawiązano do książki Władysława Rzepki pt. „Rozjazdy łukowe w planie i profilu”, będącej od ponad 50 lat w naszym kraju podstawowym opracowaniem traktującym o problematyce rozjazdów łukowych. Wskazano, że zawarta tam teoria została dostosowana do ówczesnych możliwości obliczeniowych. Jak się wydaje, podstawową wadę przedstawionych rozwiązań stanowi niejednoznaczność przyjęcia układu odniesienia. W niniejszej pracy przedstawiono...
-
Intencje przedsiębiorcze studentów – analiza międzynarodowa oparta na rozszerzonym modelu Ajzena
PublicationPoszukiwanie czynników wpływających na rozpoczęcie działalności gospodarczej doczekało się opisu w wielu publikacjach. Nie ma wątpliwości, że czynnikiem kluczowym w procesie przedsiębiorczym są intencje, a dzięki pracom I. Ajzena wiadomo także, jakie grupy czynników wpływają na intencje. Jednak jego teoria planowanego zachowania wydaje się być niewystarczająca. Celem rozdziału było opracowanie propozycji rozszerzenia teorii Ajzena....
-
Kinetyka i kataliza - 2023/2024
e-Learning CoursesKierunek - Chemia, semestr 5. Zadania, testy sprawdzające wiedzę, teoria dotycząca kinetyki reakcji chemicznych jak i zjawisk fizycznych towarzyszącym procesom katalitycznym.
-
Kinetyka i kataliza - 2022/2023
e-Learning CoursesKierunek - Chemia, semestr 5. Zadania, testy sprawdzające wiedzę, teoria dotycząca kinetyki reakcji chemicznych jak i zjawisk fizycznych towarzyszącym procesom katalitycznym.
-
Kinetyka i kataliza - 2021/2022
e-Learning CoursesKierunek - Chemia, semestr 5. Zadania, testy sprawdzające wiedzę, teoria dotycząca kinetyki reakcji chemicznych jak i zjawisk fizycznych towarzyszącym procesom katalitycznym.
-
Kinetyka i kataliza - 2024/2025
e-Learning CoursesKierunek - Chemia, semestr 5. Zadania, testy sprawdzające wiedzę, teoria dotycząca kinetyki reakcji chemicznych jak i zjawisk fizycznych towarzyszącym procesom katalitycznym.
-
Metody inteligencji obliczeniowej w zarządzaniu produkcją
PublicationW rozdziale zaprezentowany został przegląd metod inteligencji obliczeniowej stosowanych w zarządzaniu produkcją. Rozdział rozpoczyna się definicją problemu harmonogramowania zadań wraz z wprowadzeniem standardowej nomenklatury stosowanej w literaturze poświęconej temu zagadnieniu. We wstępie zwrócono uwagę na złożoność problemów harmonogramowania zadań i potrzebę stosowania algorytmów generujących dopuszczalne rozwiązania przybliżone....
-
Chapter 2: Modelling and analysis of rotor with magnetic bearing system
PublicationThe paper is concerned with rotor magnetic bearing system modelling. Such system is a relatively complex electromechanical system and can be considered as typical mechatronic one. The port-based modelling of physical systems has been used to obtain discrete-continuous model of considered system. Proposed approach enables to obtain reduced low-order lumped parameter representation of the system including gyroscopic interactions....
-
WYRAŻANIE NIEDOKŁADNOŚCI POMIARU – BŁĄD CZY NIEPEWNOŚĆ?
PublicationMinęło ponad 20 lat od wprowadzenia dokumentu Guide to the Expression of Uncertainty in Measurements i Międzynarodowego słownika metrologii, w których to dokumentach przedstawiono odpowiednio metodologię wyznaczania niepewności pomiaru oraz terminologię metrologiczną. Współczesne liczne publikacje z tej tematyki w sztandarowych czasopismach metrologicznych dowodzą, że teoria ta na dobre zagościła w technice. Z tego względu w każdym...
-
Układy dynamiczne w analizie zachowania się geosyntetyków w kolejowych konstrukcjach inżynierskich
PublicationW analizie współpracy geosyntetyków z elementami konstrukcji inżynierskiej możemy je traktować jako membrany sprężyste lub powłoki posadowione na różnych rodzajach podłoża. Modelowanie układu rzeczywistego oznacza jego idealizację pod kątem uwzględnienia tych cech ośrodka i jego elementów, które wydają się najistotniejsze z punktu widzenia analizowanego problemu. Zbudowany zostanie model fizyczny, a następnie matematyczny przedstawiony...
-
Samooczyszczanie się gruntów z substancji organicznej.
PublicationŚcieki opuszczające oczyszczalnię mogą być poddawane doczyszczaniu na filtrach gruntowych, gdzie są usuwane zanieczyszczenia organiczne występujące w postaci koloidów i roztworów. W przypadku nadmiernego obciażenia filtrów gruntowych ładunkiem substancji organicznej doprowadzonej ze ściekami nastapić może odtlenienie gruntu, a w konsekwencji zaburzenie zachodzących procesów mineralizacji. Należy ustalić dopuszczalne dawki zanieczyszczeń...
-
The complexity of node blocking for dags
PublicationRozważamy następującą grę (pomiędzy dwoma graczami) kombinatoryczną o nazwie ''node blocking''. Dany jest graf skierowany. Każdy wierzchołek może być zajęty przez co najwyżej jeden token. Wyróżniamy dwa kolory tokenów, biały i czarny, każdy gracz może przemieszczać tylko własne tokeny. Gracze wykonują ruchy naprzemiennie. Ruch polega na wyborze dowolnego tokena własnego koloru i przesunięciu go na dowolnego niezajętego przez inny...
-
Maximum vertex occupation time and inert fugitive: recontamination does help [online]
PublicationRozważamy problem przeszukania danego grafu prostego G w celu przechwycenia niewidocznego i leniwego uciekiniera. Parametrem optymalizacyjnym, który minimalizujemy jest maksymalny czas (liczba tur strategii przeszukiwania), podczas których wierzchołek może być strzeżony (okupowany przez strażnika). Strategia monotoniczna to taka, która nie dopuszcza sytuacji, w której uciekinier dociera do wierzchołka, który wcześniej został oczyszczony....
-
Wspomagane komputerowo określanie wymaganego poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL
PublicationW referacie przedstawiony został autorski moduł oprogramowania ProSIL wspomagający zarządzanie bezpieczeństwem funkcjonalnym. W module ProSILen wykorzystuje się metody matrycy oraz grafów ryzyka. Referat nawiązuje w swej tematyce do zagadnień związanych z etapem określania specyfikacji wymagań bezpieczeństwa dla zidentyfikowanych funkcji bezpieczeństwa realizowanych przez systemy E/E/PE. Składa się ona z dwóch podstawowych grup...
-
Model of the hydraulic pump powertrain of refuse collection vehicle compaction mechanism
PublicationW pracy przedstawiono symulację pracy układu napędowego pompy hydraulicznej mechanizmu prasującego śmieciarki oraz wpływ różnych konfiguracji elementów składowych tego urządzenia na zużycie paliwa silnika napędowego w warunkach przyjętego cyklu obciążenia. W tym celu wykorzystano model układu napędowego pompy hydraulicznej mechanizmu prasującego śmieciarki w formie grafów wiązań oraz wyniki pomiarów ciśnienia roboczego w siłownikach...