Wyszukiwarka
Wyniki wyszukiwania dla: UMIESZCZANIE GRAFÓW W GRAFACH
-
Kompleksowy model nowej generacji układu chłodzenia silnika spalinowego
PublikacjaPrzedstawiono 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
PublikacjaW 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...
-
Szkoła letnia na WETI
WydarzeniaKatedra Algorytmów i Modelowania Systemów WETI organizuje szkołę letnią pt.: "Gdansk Summer School of Advanced Science on Algorithms for Discrete Optimization" dla osób zainteresowanych algorytmiką i teorią grafów.
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje 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
PublikacjaW 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...
-
Detection of roles of actors in social networks using the properties of actors' neighborhood structure.
PublikacjaArtykuł 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...
-
Wpływ odbiorników energii elektrycznej pojazduna parametry silnika spalinowego
PublikacjaW 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
PublikacjaW 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...
-
Planning cellular machining systems for lean production.
PublikacjaRozważ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...
-
Szkoła letnia na WETI – algorytmy i struktury danych
WydarzeniaKatedra Algorytmów i Modelowania Systemów WETI PG organizuje 3. edycję Międzynarodowej Szkoły Letniej na temat algorytmów i struktur danych dla problemów optymalizacji dyskretnej.
-
Równowaga strategiczna dla zbiorów defensywnych w drzewach
PublikacjaW pracy rozważany jest problem defensywnej równowagi strategicznej dla zbiorów defensywnych w drzewach (spójnych grafach acyklicznych), który polega na znalezieniu dwóch rozłącznych globalnych zbiorów defensywnych. Zagadnienie to znajduje zastosowanie w modelo- waniu problemów komunikacyjnych w sieciach. Dla danego grafu G podzbiór jego wierzchołków S jest zbiorem defensywnym, jeśli dla każdego wierzchołka v należącego do S spełniony...
-
Ocena przydatności systemu AIS w doborze tras rutingowych w sieciach bezprzewodowych o architekturze mesh na obszarze Bałtyku
PublikacjaCelem 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.
PublikacjaPrzedstawiono 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...
-
Modelowanie układów napędowych pojazdów z silnikami spalinowymi
PublikacjaW 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
PublikacjaSystem 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...
-
Heurystyczne algorytmy szeregowania zadań wieloprocesorowych na procesorach dedykowanych
PublikacjaProblem szeregowania zadań wieloprocesorowych na procesorach dedykowanych można zaprezentować przy pomocy modelu kolorowania krawędzi hipergrafów. Hipergrafem nazywamy pewne uogólnienie grafu, w którym krawędzie mogą zawierać dowolnie wiele wierzchołków. Model taki pozwala symulować rozmaite zjawiska praktyczne oraz teoretyczne. Kolorowanie hiperkrawędzi hipergrafów jest uogólnieniem kolorowania krawędzi grafów, zatem jest problemem...
-
Metaheurystyki dla problemu routingu oraz kolorowania ścieżek w grafie.
PublikacjaReferat dotyczy zagadnienia ścieżkowego kolorowania grafu, które stanowi naturalny model dla problemu routingu i przydziału częstotliwości w czysto optycznej sieci światłowodowej. Zagadnienie optymalizacyjne dla zadanego zbioru zgłoszeń polega na minimalizacji największej użytej wartości koloru ścieżki (tzw. liczby chromatycznej zbioru zgłoszeń). Opisano podstawowe zasady i właściwości ścieżkowego kolorowania grafów. Porównano...
-
Gwarantowanie bezpieczeństwa w systemie z połączeniami awaryjnymi
PublikacjaRozważamy zapewnianie bezpieczeństwa przed zewnętrznym intruzem w systemie o topologii drzewa, w którym wprowadzono dodatkowe połączenia awaryjne. Grupa mobilnych autonomicznych agentów musi przechwycić intruza, niezależnie od przyjętej przez niego strategii unikania. W literaturze problem ten jest modelowany jako przeszukiwanie grafów. W pracy zawężamy dotychczasowe oszacowanie na liczbę przeszukiwawczą kaktusów podkubicznych,...
-
The complexity of list ranking of trees
PublikacjaUporządkowane kolorowanie grafu polega na takim etykietowaniu jego wierzchołków, aby każda ścieżka łącząca dwa wierzchołki o tym samym kolorze zawierała wierzchołek o kolorze wyższym. Jeśli każdy wierzchołek posiada dodatkowo listę dozwolonych dla niego etykiet, to mówimy wówczas o uporządkowanym listowym kolorowaniu wierzchołków. W pracy wskazano szereg klas grafów, dla których problem jest trudny: pełne drzewa binarne, drzewa...
-
Synchronization helps robots to detect black holes in directed graphs
PublikacjaPraca 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...
-
Udarowe pękanie hybrydowych kompozytów epoksydowych zbrojonych włóknami szklanymi, węglowymi i aramidowymi
PublikacjaW pracy przeanalizowano obrazy zniszczeń w laminatach hybrydowych węglowo-szklanych i węglowo-szklano-aramidowych wywołanych spadającym ciężarem, biorąc pod uwagę takie czynniki jak energia uderzenia, grubość laminatu, postać zbrojenia hybrydowego. Dla wybranych laminatów przeanalizowano też wpływ obrazu zniszczeń na własność najbardziej wrażliwą na wewnętrzne zniszczenia laminatu - poudarową wytrzymałości na ściskanie. Makroskopowy...
-
Szkoła Letnia na WETI – algorytmy i struktury danych
WydarzeniaKatedra Algorytmów i Modelowania Systemów WETI PG organizuje 2. edycję Międzynarodowej Szkoły Letniej na temat algorytmów i struktur danych dla problemów optymalizacji dyskretnej.
-
Chapter 2: Modelling and analysis of rotor with magnetic bearing system
PublikacjaThe 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....
-
Maximum vertex occupation time and inert fugitive: recontamination does help [online]
PublikacjaRozważ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....
-
The complexity of node blocking for dags
PublikacjaRozważ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...
-
Model of the hydraulic pump powertrain of refuse collection vehicle compaction mechanism
PublikacjaW 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...
-
Wspomagane komputerowo określanie wymaganego poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL
PublikacjaW 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...
-
Capacity efficient shared protection and fast restoration scheme in self-configured optical networks
PublikacjaW artykule zaproponowano nową koncepcję optymalizacji rozdziału zasobów dla przeżywalnych sieci rozległych, która gwarantuje szybkie odtwarzanie usług po wystąpieniu awarii. Wykazano, iż proponowany algorytm, wykorzystujący ideę wierzchołkowego kolorowania grafów, nie powoduje wydłużania ścieżek zabezpieczających - zjawiska charakterystycznego dla powszechnie stosowanych algorytmów optymalizacji. Udowodniono, iż powyższa cecha...
-
Uszeregowania zadań wieloprocesorowych w ogólnych systemach równoległych.
PublikacjaPlanowanie procesorów produkcyjnych czy sterowanie systemami komputerowymi wymaga skonstruowania adekwatnych modeli teoretycznych w celu uzyskania zadowalającego poziomu efektywności stosowanych rozwiązań oraz przeprowadzenia w miarę jak najpełniejszej klasyfikacji problemów ''łatwych'' oraz ''trudnych''obliczeniowo. W pracy rozważane są problemy deterministycznego szeregowania zadań wieloprocesorowych w środowisku maszyn...
-
Detection methods of dynamic spammer's behavior
PublikacjaPoczta elektroniczna ze względu na swoją naturę jest bardzo podatna na zjawisko spamu. Oddzielanie spamu od dobrych wiadomości jest zadaniem żmudnym i pracochłonnym. Dlatego jest rzeczą istotną opracowanie skutecznej metody walki ze spamem uwzględniającej nie tylko aktualne metody działania spamerów, ale również wzięcie pod uwagę dynamicznych aspektów zmieniających się stale ich zachowań.Artykuł opisuje metodę klasyfikacji wiadomości...
-
Application of social relation graphs for early detection of transient spammers
PublikacjaWczesne wykrywanie społecznych zagrożeń i anomalii jest prawdziwym wyzwaniem w dzisiejszch, dynamicznych społeczeństwach. Ludzie tworzą skoplikowane relacje społeczne, które mogą być przedstawione za pomocą różnych typów grafów, których wierzchołki reprezentować mogą aktorów sieci (konkretne osoby lub organizacje) a krawędzie relacje pomiędzy nimi. Analiza tych dynamicznie zmieniających się relacji może wskazywać na niektóre nadciągające...
-
Zespół Katedry Rachunku Prawdopodobieństwa i Biomatematyki
Zespoły Badawcze* modele ryzyka i ich zastosowania * probabilistyczne i grafowe metody w biologii * stochastyczne równania różniczkowe * statystyczna analiza danych * teoria grafów * teoria i zastosowania stochastycznych układów dynamicznych w biologii i medycynie
-
WERYFIKACJA POZIOMÓW NIENARUSZALNOŚCI BEZPIECZEŃSTWA Z UWZGLĘDNIENIEM ASPEKTÓW OCHRONY INFORMACJI
PublikacjaPoszczególnym poziomom SIL projektowanego systemu elektrycznego/elektronicznego/programowalnego elektr onicznego E/E/PE (BPCS lub SIS) odpowiadają ilościowe kryteria probabilistyczne. Dowód spełnienia przez system zabezpieczeń wymagań SIL nazywa się weryfikacją. Model probabilistyczny dowolnego systemu zabezpieczeń SIS można przedstawić za pomocą schematów blokowych niezawodności RBD, grafów Markowa, równań uproszczonych oraz drzew niezdatności...
-
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...
-
Szeregowanie zadań dwuprocesorowych w systemach otwartych
PublikacjaW pracy rozważany jest problem szeregowania zadań dwuoperacyjnych w systemie otwartym (open-shop), z kryterium minimalizacji długości harmonogramu oraz sumy czasów zakończenia wszystkich zadań. Zakładając jednostkowe czasy wykonywania operacji można stosować efektywne metody chromatyczne rozwiązywania problemu, poprzez sprowadzenie go do modelu grafowego oraz zastosowanie w nim wybranego modelu kolorowania, które pozwala uzyskać...
-
Katedra silników spalinowych i sprężarek
PublikacjaPrzedstawiono prace badawcze, działalność dydaktyczną i współpracę międzynarodową prowadzoną w Katedrze Silników Spalinowych i Sprężarek Wydziału Mechanicznego Politechniki Gdańskiej w ciagu ostatnich piętnastu lat (1996-2010). Katedra została utworzona w 1945 r. wraz z powstaniem Wydziału Mechanicznego. Ostatnimi jej kierownikami byli: prof. Marian Cichy (1992-1997), prof. Andrzej Balcerski (1997-2009), dr. hab. inż. Stanisław...
-
Optymalizacja kosztu działania aplikacji na urządzeniach mobilnych wspomaganych przez chmurę obliczeniową
PublikacjaRozprawa doktorska dotyczy problemu optymalnego rozdziału aplikacji na dwa heterogeniczne środowiska – urządzenie mobilne i chmurę obliczeniową – w celu minimalizacji kosztu jej wykonania. W części wstępnej przedstawiona została problematyka dotycząca urządzeń mobilnych, w tym urządzeń IoT (Internet of Things), architektury chmury obliczeniowej, a także istniejące badania związane ze współpracą pomiędzy urządzeniami mobilnymi i...
-
Zespół Algorytmów i Modelowania Systemów
Zespoły BadawczeStudiowanie problemów i modeli teoriografowych ma na celu badanie złożoności obliczeniowej uogólnień problemu klasycznego kolorowania wierzchołków i krawędzi grafu znajdujących zastosowania w modelowaniu praktycznych problemów oraz badanie nowych miar oceny skuteczności algorytmów. W zakresie szeregowania zadań badania koncentrują się na konstrukcji harmonogramów optymalnych z punktu widzenia długości harmonogramu i średniego czasu...