Wyniki wyszukiwania dla: ZWARTE KOLOROWANIE GRAFÓW
-
Joanna Raczek dr inż.
OsobyWykształcenie 1997 -- 2001 Studia inżynierskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2001 -- 2003 Studia magisterskie, Wydział Fizyki Technicznej i Matematyki Stosowanej, Politechnika Gdańska. Kierunek: Matematyka, specjalność: Matematyka Stosowana. 2000 -- 2004 Studia inżynierskie, Wydział Elektroniki, Informatyki i Telekomunikacji,...
-
Conley index in Hilbert spaces and the Leray-Schauder degree
PublikacjaZdefiniowane są liczby Bettiego i charakterystyka Eulera LS-indeksu dla potoków generowanych przez pole zwarte w przestrzeni Hilberta. Główna teza pracy to wzór typu Poincare-Hopfa łączący wspomnianą chatrakterystykę Eulera ze stopniem Leray-Schaudera.
-
Backprojection algorithm for current mode EIT.
PublikacjaW pracy przedstawiono algorytm rekonstrukcyjny dla TEI wykorzystujący informację o rozpływie prądu pomiędzy elektrody pomiarowe zwarte do potencjału wspólnego. Pokazano, że algorytm jest analogiczny do znanego wcześniej algorytmu określanego jako Backprojection. Przedstawiono przykładowe wyniki rekonstrukcji dla obiektu kołowego.
-
Zlewnia Raduni.
PublikacjaZałącznik stanowi synteze monografii pt. Charaterysytka Raduni i jej zlewni w świetle ramowej Dyrektywy Wodnej UE, wydanej jako wydawnictwo zwarte IBW PAN w Gdańsku w ramach Projektu Zamawianego pt. Metodyczne podstawy narodowego planu zintegrowanego rozwoju gospodarki wodnej w Polsce.
-
Compact scheduling of zero-one time operations in multi-stage systems.
PublikacjaRozważamy szeregowanie zwarte na maszynach dedykowanych z zero-jedynkowymi operacjami w modelu otwartym, przepływowym i mieszanym. Harmonogramy zostały zmodelowane przy pomocy pokolorowań krawędzi grafu konfliktów z pewnymi dodatkowymi ograniczeniami. Dowodzimy NP-trudności problemów w przypadku ogólnym oraz prezentujemy przegląd znanych wielomianowych algorytmów szeregujących dla systemów o specyficznej budowie.
-
Pitting corrosion characterization by electrochemical noise measurements on asymmetric electrodes. [DOI 10.1007/s10008-008-0643-y]
PublikacjaObecność korozji wżerowej może być wykryta na podstawie występowania charakterystycznych przebiegów prądu płynącego między dwiema elektrodami, których wyprowadzenia są zwarte. Autorzy proponują nową metodę, która zachowuje informacje o stałej czasowej tych charakterystycznych dla procesów wżerowania przebiegów. Metoda została zastosowana do analizy szumów występujących podczas korozji stali 0H18N9 pod wpływem 1M roztworu FeCl3...
-
Classical coloring of graphs.
PublikacjaRozdział obejmuje klasyczne kolorowanie krawędzi i wierzołków w grafach prostych. Oprócz podstawowych definicji podane zostały najczęściej stosowane metody przybliżone oraz ich właściwości. Dodatkowo rozdział zawiera przegląd znanych benczmarków dla podanych metod w kontekście klasycznego modelu kolorowania.
-
Equitable vertex coloring of graphs
PublikacjaW pracy podajemy wartości sprawiedliwej liczby chromatycznej dla niektórych klas grafów. Podajemy również dwa algorytmy heurystyczne dla sprawiedliwego kolorowania grafów z suboptymalna liczba koloru.
-
Modelling electrical machines using bond graphs for mechatronics system applications.
PublikacjaW artykule przedstawiono modelowanie maszyn elektrycznych metodą grafów wiązań dla potrzeb mechatroniki. Omówiono ogólne założenia modelowania maszyn elektrycznych w ujęciu grafów wiązań, bazującego na modelach wzorcowego sprzężenia transformatorowego i elektromechanicznego. Wykorzystując modele tych sprzężeń przedstawiono w ujęciu grafów wiązań model maszyny indukcyjnej w układzie współrzędnych naturalnych stojana. Model opracowano...
-
Efficient list cost coloring of vertices and/or edges of bounded cyclicity graphs
PublikacjaW artykule rozważamy listowo-kosztowe kolorowanie wierzchołków i krawędzi grafu w modelu wierzchołkowym, krawędziowym, totalnym i pseudototalnym. Stosujemy programowanie dynamiczne w celu otrzymania algorytmów wielomianowych dla drzew. Następnie uogólniamy to podejście na dowolne grafy z ograniczonymi liczbami cyklomatycznymi i na ich multikolorowania.
-
Algorytm samostabilizujący dla problemu kolorowania krawędzi grafu.
PublikacjaReferat ten poświęcony jest kolorowaniu grafów w modelu rozproszonym.Podano samostabilizujący się algorytm kolorowania krawędzi grafu. Jest to prawdopodobnie pierwszy algorytm krawędziowego kolorowania grafów w tym modelu. Rozważania teoretyczne zostały poparte eksperymentami komputerowymi.
-
Spam classification methods besed on users e-mail communication graphs
PublikacjaW artykule poddano analizie grafy zbudowane w oparciu o logi serwerów pocztowych. Węzły grafów reprezentują nadawców i odbiorców wiadomości e-mail natomiast krawędzie przedstawiają procesy wymiany wiadomości e-mail. Analiza grafów pozwala na znalezienie korelacji pomiędzy topologią grafów a relacjami pomiędzy użytkownikami serwisu pocztowego. W oparciu o te relacje zaproponowano algorytm klasyfikujący wymieniane wiadomości e-mail...
-
Path Coloring and Routing in Graphs.
PublikacjaW rozdziale omówione zostały problemy kolorowania ścieżek i routingu w grafach. Podano podstawowe definicje związane z tymi problemami, znane wyniki wraz z dyskusją złożoności obliczeniowej dla grafów ogólnych i dla kilku podstawowych klas grafów oraz zastosowania.
-
Some results on trading model in a consensus list coloring
PublikacjaKonsensusowy model kolorowania grafów - uogólnienie kolorowania listowego, został zdefiniowany przez Mahadeva i Robertsa w 2002 jako użyteczne narzędzie teoretyczne w niektórych zagadnieniach bioinformatycznych. Pozostaje on jednak słabo rozpoznany pod względem własności algorytmicznych. Wykazujemy, że problem kolorowania grafów pełnych w tym modelu jest wielomianowy, co można uogólnić na częściowe k-drzewa przy ustalonym ograniczeniu...
-
The complexity of the L(p,q)-labeling problem for bipartite planar graphs of small degree
PublikacjaW pracy pokazano, że problem L(p,q)-kolorowania przy użyciu ''t'' kolorów jest NP-zupełny nawet w wersji ograniczonej do grafów planarnych dwudzielnych małego stopnia, nawet dla stosunkowo niewielkich wartości ''t''. Jako wniosek z uzyskanych wyników stwierdzono, że problem L(2,1)-kolorowania grafów planarnych przy użyciu 4 kolorów jest NP-zupełny, a także że problem L(p,q)-kolorowania grafów o maksymalnym stopniu 4 jest NP-zupełny...
-
Symulacje algorytmów rozsyłania i plotkowania dla sieci radiowych
PublikacjaAnalizowane były dwa podstawowe problemy komunikacji grupowej w sieciach radiowych - rozsyłanie i plotkowanie. W ramach symulacji zaimplementowanych zostało łącznie kilkanaście algorytmów dla tych problemów. Praca opisuje wyniki symulacji - ilościowe porównanie długości transmisji generowanych przez poszczególne algorytmy dla grafów losowych oraz dla kilku podstawowych klas grafów.
-
Koala graph coloring library: an open graph coloring library for real-world applications
PublikacjaPomimo intensywnej pracy naukowej na polu kolorowania grafów, nie jest znana kompletna i dedykowana biblioteka programistyczna. Celem artykułu jest zaproponowanie architektury takiej biblioteki. Celem jest spełnienie oczekiwań wypływających z rzeczywistych zastosowań, w szczególności spełnienie potrzeb wydajnościowych. Zaimplementowano szereg algorytmów cheurystycznego kolorowania grafów. Przyjętym językiem programowania jest C++....
-
NP-completeness of convex and weakly convex domiating set decision problems.
PublikacjaLiczby dominowania wypukłego i słabo wypukłego są nowymi rodzajami liczb dominowania. W tym artykule pokazujemy, że problemy decyzyjne dominowania wypukłegi i słabo wypukłego są NP-zupełne w przypadku grafów dwudzielnych oraz split grafów. Posługując się zmodyfikowanym algorytmem Washalla możemy w czasie wielomianowym określić, czy dany podzbiór wierzchołków grafu jest spójny bądź słabo spójny.
-
The complexity of the T-coloring problem for graphs with small degree.
PublikacjaW pracy ustalono złożoność obliczeniową problemu optymalnego kolorowania grafów o ustalonym stopniu.
-
Zdzisław Kowalczuk prof. dr hab. inż.
OsobyW 1978 ukończył studia w zakresie automatyki i informatyki na Wydziale Elektroniki Politechniki Gdańskiej, następnie rozpoczął pracę na macierzystej uczelni. W 1986 obronił pracę doktorską, w 1993 habilitował się na Politechnice Śląskiej na podstawie pracy Dyskretne modele w projektowaniu układów sterowania. W 1996 mianowany profesorem nadzwyczajnym, w 2003 otrzymał tytuł profesora nauk technicznych. W 2006 założył i od tego czasu...
-
Weakly connected domination critical graphs
PublikacjaPraca dotyczy niektórych klas grafów krytycznych ze względu na liczbę dominowania słabo spójnego.
-
Rank Coloring of Graphs.
PublikacjaRozdział jest poświęcony uporządkowanemu kolorowaniu grafów. Przedstawiono jego podstawowe własności oraz zastosowania praktyczne.
-
Sum Coloring of Graphs.
PublikacjaRozdział jest poświęcony sumacyjnemu kolorowaniu grafów. Przedstawiono jego podstawowe własności oraz zastosowania praktyczne.
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Problem 8 hetmanów
PublikacjaW eseju spojrzano na problem 8 hetmanów na szachownicy z punktu widzenia teorii grafów
-
Lower bound on the domination number of a tree.
PublikacjaW pracy przedstawiono dolne ograniczenie na liczbę dominowania w drzewach oraz przedstawiono pełną charakterystykę grafów ekstremalnych.
-
Static and dynamic approach of social roles identification using PISNA and subgraphs matching
PublikacjaIdentyfikacja ról w sieci społecznej jest jednym z podstawowych zagadnień analiza takich sieci. W artykule przedstawiamy nowe podejście do tego zagadnienia. Pokazujemy w jaki sposób można dokonać identyfikacji ról poprzez tworzenie specjalnych struktur grafowych tzw. grafów wzorcowych. Przy definiowaniu tychże grafów wspieramy się metodą PISNA. Proponujemy statyczne i dynamiczne podejście do identyfikacji ról. Pokazujemy, w jaki...
-
All graphs with restrained domination number three less than their order
PublikacjaW pracy opisana jest rodzina wszystkich grafów, dla których liczbadominowania zewnętrznego jest o trzy mniejsza od ich rzędu.
-
Wybrane zastosowania niestandardowych modeli kolorowania w szeregowniu dwu-procesowych zadań jednostkowych
PublikacjaNiniejsza praca poświęcona jest wykorzystaniu teorii chromatycznej grafów wszeregowaniu. Koncepcja ta polega na przedstawieniu zbioru zadań w postaci krawędzi tzw. grafu konfliktów.
-
Antypodalna radiowa liczba chromatyczna grafu.
PublikacjaOpisane zostały podstawowe zasady i właściwości antypodalnego kolorowania grafów. Zebrano publikowane w literaturze przedmiotu twierdzenia i uzupełniono wnioskami wynikającymi z własnych badań.
-
Grafy w Imperium Rzymskim
PublikacjaTeoria grafów znalazła zastosowanie w sieciach telekomunikacyjnych, transporcie, bioinformatyce, zarządzaniu i w wielu innych dziedzinach. Ale co ma ona wspólnego z Imperium Rzymskim?
-
Szeregowanie zadań metodami kolorowania grafów.Monografie 37.
PublikacjaNiniejsza praca poświęcona jest wykorzystaniu teorii chromatycznej grafów w szeregowaniu. Koncepcja ta polega na przedstawieniu zbioru zadań w postaci krawędzi tzw. grafu konfliktów.
-
Projektowanie napędów turbinowych OMSII
Kursy OnlinePodział siłowni turbinowych lądowych i morskich. Siłownie turboparowe. Siłownie turbogazowe. Metody projektowania siłowni turbinowych. Teoria grafów w projektowaniu turbin. Metody projektowania turbin 3D. Zastosowanie systemów nadzoru w projektowaniu siłowni turbinowych.
-
Wybrane własności 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. Opisano podstawowe zasady i właściwości ścieżkowego kolorowania grafów. Zaprezentowano wybrane twierdzenia, oparte w dużej mierze na wynikach badań własnych. Omówiono złożoność obliczeniową problemu routingu chromatycznego i kolorowania ścieżek zarówno...
-
Self-stabilizing algorithm for edge-coloring of graphs
PublikacjaReferat ten poświęcony jest kolorowaniu grafów w modelu rozproszonym.Podano samostabilizujący się algorytm kolorowania krawędzi grafu wraz z dowodem poprawności oraz oszacowaniem jego czasu działania.
-
Innowacyjne przestrzenie podziemne jako element kreacji miasta XXI wieku
PublikacjaTemat przewodni Ogólnopolskiej Naukowej Konferencji Doktorantów ''Miasto zwarte / miasto rozproszone'' oraz liczne publikacje o zjawisku ''rozlewania się'' miast, świadczą o żywym zainteresowaniu architektów i urbanistów tym problemem. Równolegle podejmowana jest tematyka związana z przeciwdziałaniem temu zjawisku. Dużo mówi się o intensyfikacji zabudowy, jeszcze więcej o rewitalizacji, czyli odzyskiwaniu dla miasta i potrzeb...
-
Przestrzenie publiczne. Ciągłość i zmiana
PublikacjaGdańskie przestrzenie publiczne mają wyjątkową historię, która pozwala widzieć miasto jako kompletne, zwarte i czytelne. W różnych okresach rozwoju stanowiły one element miejskiej tkanki oraz odpowiedź na potrzeby i aspiracje różnych grup oraz społeczności. Miarą atrakcyjności przestrzeni publicznych nie jest już tylko aspekt estetyczny, lecz czyste powietrze, odporność na różne kataklizmy, dostępność do akwenów i obszarów zielonych....
-
Cztery algorytmy, które wstrząsnęły światem. Część III: Sprzęt czy oprogramowanie
PublikacjaW ostatniej części tryptyku poruszamy problem przyjaznego rysowania grafów oraz prezentujemy algorytmy dla szybkiego mnożenia macierzy. Nasze rozważania kończymy ilustracją postępu w dziedzinie sprzętu i oprogramowania
-
Nauczanie bioinżynierii z zastosowaniem narzędzi informatycznych i metod stosowanych w elektrotechnice oraz grafach wiązań
PublikacjaPrzedstawiono sposoby badań zjawisk zachodzących w krwiobiegu za pomocą obwodów elektrycznych oraz grafów wiązań. Symulacje zjawisk stanowią jeden z elementów nauczania bioinżynierii dla studentów uczelni technicznych.
-
Modelling of distributed-lumped parameter systems by application of modal bond graphs.
PublikacjaZastosowano metodę transmitancji układów o parametrach rozłożonych oraz dekompozycję modalną do modelowania wybranych układów dynamicznych. Zaproponowane podejście pozwala otrzymać dokładne modele niskiego rzędu w postaci grafów wiązań.
-
Modelling of energy flow in electrical machines. A bond graph approach
PublikacjaPrzedstawiono w ujęcia grafów wiązań model przepływu energii/mocy w maszynach elektrycznych pracujących w hybrydowych systemach przetwarzania energii. Jako przykład do rozważań przyjęto system napędu trakcyjnego pojazdów hybrydowych.
-
Consensus models: Computational complexity aspects in modern approaches to the list coloring problem
PublikacjaArtykuł poświęcony jest nowym modelom konsensusowego kolorowania grafów. Artykuł zawiera omówienie trzech takich modeli, analizę ich złożoności obliczeniowej oraz wielomianowy algorytm dla częściowych k-drzew, dla tzw. modelu addytywnego.
-
Musical Metadata Retrieval with Flow Graphs, in Rough Sets and Current Trends in Computing.
PublikacjaW pracy opisano metody wyszukiwania muzyki w Internecie w oparciu o opis semantyczny. W eksperymentach wykorzystano opis muzyczny stosowany w bazie CDDB. Zaprezentowano metodę grafów przepływowych zaproponowaną przez Pawlaka.
-
Minimum vertex ranking spanning tree problem for chordal and proper interval graphs
PublikacjaW pracy rozważamy problem szukania, dla danego grafu prostego, drzewa spinającego, którego uporządkowana liczba chromatyczna jest minimalna. K.~Miyata i inni dowiedli w [Np-hardness proof and an approximation algorithm for the minimum vertex ranking spanning tree problem,Discrete Appl. Math. 154 (2006) 2402-2410], że odpowiedni problem decyzyjny jest NP-trudny już w przypadku pytania o istnienie uporządkowanego 4-pokolorowania....
-
Dyskretne modele niskiego rzędu ciągłych układów przenoszenia napędu.
PublikacjaCelem pracy jest prezentacja zastosowania metody transmitancji układów o parametrach rozłożonych do konstruowania modalnych grafów wiązań dla złożonych układów zawierających jednowymiarowe, jednorodne podukłady o parametrach rozłożonych występujące w układach napędowych.
-
On efficient coloring of chordless graphs
PublikacjaArtykuł omawia zagadnienie optymalnego, wielomianowego rozpoznawania i kolorowania grafów bezcięciwowych. Zawiera dowód tego, że takie grafy są zawsze 4-kolorowalne oraz opis wielomianowego algorytmu, który koloruje je minimalną możliwą liczbą kolorów.
-
Weakly convex and convex domination numbers.
PublikacjaW artykule przedstawione są nowo zdefiniowane liczby dominowania wypukłego i słabo wypukłego oraz ich porównanie z innymi liczbami dominowania. W szczególności, rozważana jest równość liczby dominowania spójnego i wypukłego dla grafów kubicznych.
-
Weakly connected domination subdivision numbers
PublikacjaLiczba podziału krawędzi dla dominowania słabo spójnego to najmniejsza liczba krawędzi jaką należy podzielić, aby wzrosła liczba dominowania słabo wypukłego. W pracy przedstawione są własności liczby podziału krawędzi dla dominowania słabo spójnego dla różnych grafów.
-
Postępy algorytmiki i ich wpływ na rozwój informatyki w Polsce
PublikacjaPublikacja prezentuje najważniejsze polskie i światowe postępy algorytmiki i ich wpływ na rozwój informatyki w Polsce. w szczególności omówiono takie zagadnienia jak badanie pierwszości liczb, programowanie liniowe, płaskie rysowanie grafów i szybkie mnożenie macierzy.
-
Processing of musical metadata employing Pawlak's flow graphs.
PublikacjaW artykule przedstawiono problemy wyszukiwania informacji muzycznej. W eksperymentach posłużono się meta opisem oraz wykorzystano metodę grafów przepływowych Pawlaka. Opisano skonstruowaną bazę nagrań muzycznych. Słowa kluczowe: meta opis, wyszukiwanie informacji muzycznej, baza danych muzycznych
-
Jerzy Konorski dr hab. inż.
OsobyJerzy Konorski otrzymał tytuł mgr inż. telekomunikacji na Poitechnice Gdańskiej, zaś stopień doktora n.t. w dyscyplinie informatyka w Instytucie Podstaw Informatyki PAN. W r. 2007 obronił rozprawę habilitacyjną na Wydziale Elektroniki, Telekomnikacji i Informatyki PG. Jest autorem ponad 150 publikacji naukowych, prowadził projekty naukowo-badawcze finansowane ze środków Komitetu Badań Naukowych, UE, US Air Force Office of Scientific...
-
Cztery algorytmy które wstrząsnęły światem. Część III: Sprzęt czy oprogramowanie
PublikacjaW trzecim odcinku cyklu poruszono problem przyjaznego rysowania grafów oraz zaprezentowano algorytmy dla szybkiego mnożenia macierzy, a więc problemu, który pojawia się w każdej nauce inżynieryjnej. Rozważania ogólne zamknięto ilustracją postępu, jaki dokonał się w zakresie sprzętu liczącego i oprogramowania.
-
Modalne grafy wiązań - podejście wykorzystujące metodę transmitancji układu o parametrach rozłożonych
PublikacjaCelem pracy jest zastosowanie metody transmitancji układu o parametrach rozłożonych do konstruowania modalnych grafów wiązań. Grafy takie wykorzystuje się w modelowaniu układów zawierających jednowymiarowe podukłady o parametrach rozłożonych. W wyniku zaproponowanego podejścia uzyskuje się dalsze zwiększenie dokładności otrzymywanych modeli.
-
Przybliżone hybrydowe modele wybranych układów o parametrach rozłożonych
PublikacjaZaprezentowano metodę budowy modeli w postaci grafów wiązań dla układów za-wierających jednowymiarowe podukłady o parametrach rozłożonych. Wykorzystanodwa znane sposoby budowy przybliżonych modeli o parametrach skupionych dla układów o parametrach rozłożonych: dyskretyzację przestrzenną oraz analizę modalną (modalne grafy wiązań).
-
Harmonions Coloring of Graphs.
PublikacjaProblem kolorowania grafów jest motywowany radionawigacją lotniczą, kompresją obrazów i in. W rozdziale podano podstawowe fakty dotyczące tego modelu kolorowania, a wsród nich dolne i górne oszacowania na liczbę harmoniczną i algorytm o złożoności 0 (mm3) dający bardzo dobre pokolorowania przybliżone.
-
Zastosowania trójkątnych płytek w grafice komputerowej
PublikacjaPraca opisuje metody pokrywania trójkątnymi płytkami dowolnych powierzchni trójwymiarowych reprezentowanych przez siatki trójkątne. Omówione są znane metody konstruowania i układania trójkątnych płytek oraz ich optymalizacja algorytmami kolorowania grafów. Zaproponowana jest ulepszona hybrydowa metoda, umożliwiająca pokrycie dowolnej powierzchni wzorem, który wymaga kierunkowego uporządkowania.
-
An approximation algorithm for maximum P3-packing in subcubic graphs
PublikacjaW pracy podano algorytm 4/3-przyliżony dla trudnego obliczeniowo problemu umieszczania wierzchołkowo rozłącznych dwukrawędziowych ścieżek w grafach o stopniu maksymalnym 3 i stopniu minimalnym 2. Poprawiono tym samym wcześniejsze wyniki dla grafów kubicznych (A. Kelmans, D. Mubayi, Journal of Graph Theory 45, 2004).
-
Duże rozgłoszeniowe pola Closa
PublikacjaW pracy pokazano nowe podejście do blokowalności dużych rozgłoszeniowych pól Closa. Przedstawione zostały także dowody na blokowalność pola C(n,r_1,n^2-1,n,r_2) oraz pola C(n,r_1,n^2,n,r_2), w których użyto ekstremalną teorię grafów i hipergrafów.
-
Scheduling with precedence constraints: mixed graph coloring in series-parallel graphs.
PublikacjaW pracy rozważono problem kolorowania grafów mieszanych, opisujący zagadnienie szeregowania zadań, w którym zależności czasowe zadań mają charakter częściowego porządku lub wzajemnego wykluczania. Dla przypadku, w którym graf zależności jest szeregowo-równoległy, podano algorytm rozwiązujący problem optymalnie w czasie $O(n^3.376 * log n)$.
-
Modelowanie informacją i pozyskiwanie wiedzy.
PublikacjaW rozdziale zaproponowano metody miękkiego modelowania dla wspomagania procesu pozyskania wiedzy. Skoncentrowano się na metodach opartych na teorii grafów skierowanych, drzew decyzyjnych i sieci neuronowych. Omówiono zastosowania metod na przykładach związanych z przepływem informacji w systemach autonomicznych. Wykazano przydatność modelowania miękkiego w procesach pozyskania wiedzy.
-
Projektowanie strategii frezowania złożonych kieszeni w komponentach mechanicznych
PublikacjaPrzedstawiono metody wyznaczania optymalnych sekwencji narzędziowych w projektowaniu strategii frezowania złożonych kieszeni przy wykorzystaniu określonego zestawu narzędziowego. W doborze sekwencji dopuszczalnych uwzględniano eliminację sekwencji nieefektywnych. Alternatywne sekwencje narzędziowe modelowano w postaci ważonych grafów acyklicznych dla generowanych wariantów ścieżek kolejnych narzędzi, dokonując ich oceny kosztowej.
-
Metoda chromatyczna i jej zastosowania techniczne
PublikacjaArtykuł ma charakter przeglądowy. Przedstawiono w nim najważniejsze modele koloryzowania grafów i ich zastosowania w wybranych problemach technicznych. Ponieważ jest to wiodąca tematyka badawcza Katedry Podstaw Informatyki Wydziału ETI Politechniki Gdańskiej, praca służy również upowszechnianiu dorobku naukowego pracowników Katedry oraz osób z nią współpracujących w opisywanej dziedzinie.
-
Geoinformatyka w komunikacji
Kursy OnlineSłuchacz poznaje podstawy Systemów Informacji Przestrzennej - GIS. Uczy się obsługi danych wektorowych w oprogramowaniu GIS. Przeprowadza kontrolę danych na podstawie relacji topologicznych. Student zapoznaje się z analizami sieciowymi, podstawami teorii grafów oraz sposobu działania algorytmów optymalnych ścieżek. Podczas kursu słuchacz nauczy się tworzenia numerycznych modeli terenu.
-
Energy optimisation in resilient self-stabilizing processes
PublikacjaW pracy rozważa się rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowy samostabilizujący algorytm kolorowania grafów oparty na konstrukcji drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm z gwarantowaną wielomianową liczbą ruchów, który dokładnie koloruje grafy dwudzielne.
-
Distance paired domination numbers of graphs
PublikacjaW pracy przedstawione są pewne własności liczb k-dominowania parami w grafach. Wykazane jest, że problem decyzyjny liczby k-dominowania parami jest problemem NP-zupełnym nawet dla grafów dwudzielnych. Przedstawione są ograniczenia górne i dolne dla liczby k-dominowania parami w drzewach i scharakteryzowane drzewa, w których te ograniczenia są osiągnięte.
-
Analiza przybliżonego algorytmu dla problemu szukania drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym.
PublikacjaW pracy rozważamy kombinatoryczny problem MERST polegający na szukaniu, dla danego grafu, drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym. Dla ogólnych grafów problem MERST jest NP-trudny. W pracy zaproponowano nową funkcję dobroci dla pewnego przybliżonego algorytmu rozwiązującego powyższy problem i przeprowadzono doświadczenia komputerowe w celu porównania nowej z wcześniej znaną funkcją dobroci.
-
Jak transportować produkty chemiczne, czyli przypadek wsadowego szeregowania zadań kompatybilnych
PublikacjaPokazano, że pewien problem transportu produktów chemicznych może być sprowadzony do problemu szeregowania identycznych zadań kompatybilnych na wsadowych maszynach jednorodnych i rozwiązany metodami kolorowania grafów. Ponieważ problem ten jest NP-trudny, zbadano przypadki szczególne, które dają się rozwiązać w czasie kwadratowym. Rozważania ogólne są wsparte doświadczeniami komputerowymi zebranymi w trakcie implementacji wybranych...
-
Zastosowanie programów Mathematica i 20-sim do modelowania i analizy układów o parametrach rozłożonych
PublikacjaCelem pracy jest zaprezentowanie zastosowania pojęcia transmitancji układów o parametrach rozłożonych do konstruowania modalnych grafów wiązań dla układów zawierających jednowymiarowe podukłady o parametrach rozłożonych. Zaprezentowano sposób i efekty zastosowania programów Mathematica (do przygotowania parametrów modeli) i programu 20-Sim (do konstruowania modeli i do symulacji) w procesie modelowania i analizy układów zawierających...
-
Euler tour lock-in problem in the rotor-router model
PublikacjaW pracy rozważano model eksploracji grafu nieskierowanego przez pojedynczego agenta, w którym sterowanie agentem odbywa się zgodnie z zasadą ''rotor-router'' (inaczej: ''Propp machine''). Porównano czas stabilizacji agenta do trajektorii w postaci cyklu Eulera dla różnych klas grafów, prowadząc rozważania w kontekście teorii gier. Przydział początkowych portów i wskaźników w modelu jest traktowany jako rozgrywka pomiędzy graczem...
-
Graph decomposition for improving memoryless periodic exploration
PublikacjaW ostatnich latach często badanym problem jest eksploracja anonimowych grafów z lokalnymi etykietami portów przy każdym wierzchołku. Niedawno pokazano [Czyzowicz et al., Proc. SIROCCO'09], że dla każdego grafu istnieje poetykietowanie prowadzące do eksploracji przez automat bezpamięciowy z okresem co najwyżej 13n/3. W niniejszej pracy poprawiamy to ograniczenie do 4n-2, stosując całkowicie nową technikę dekompozycji grafu.
-
Modele typu ''czarna skrzynka'' elektrycznych elementów napędu hybrydowego
PublikacjaOpisano opracowany przy zastosowaniu grafów wiązań (GW) i równań stanu (RS) model pojazdu hybrydowego. Uzasadniono potrzebę stworzenia uproszczonych modeli maszyn elektrycznych i akumulatora elektrochemicznego i przedstawiono koncepcję modelu w postaci "czarnej skrzynki", w którym uwzględniono jedynie związki między parametrami energetycznymi na wejściu i wyjściu elementu. Podano przykłady zastosowania tego podejścia do modelu...
-
Easy and hard instances of arc ranking in directed graphs
PublikacjaArtykuł dotyczy uporządkowanego kolorowania łuków grafów skierowanych. Problem polega na takim przyporządkowaniu liczb łukom digrafu, aby każda skierowana ścieżka łącząca dwa łuki o tej samej liczbie (kolorze) zawierała łuk o kolorze wyższym. Praca podaje liniowy optymalny algorytm dla pewnego szczególnego przypadku, oraz zawiera dowód, iż problem ten jest obliczeniowo trudny dla 3-dzielnych acyklicznych digrafów i stałej liczby...
-
Packing [1,Delta]-factors in graphs of small degree
PublikacjaRozważano problem znalezienia w grafie zadanej liczby k krawędziowo rozłącznych [1,Delta]-faktorów, gdzie Delta oznacza stopień grafu. Problem ten można rozwiązać w czasie liniowym dla k=2, jest on jednak NP-trudny dla każdego k>=3. Pokazano, że wariant minimalizacjny problemu dla k=2 jest NP-trudny dla grafów planarnych podkubicznych, jednak w ogólności istnieje algorytm (42 Delta - 30) / (35 Delta - 21) - aproksymacyjny.
-
Wyznaczanie sygnału sterowania silnikiem dla zadanych parametrów ruchu pojazdu.
PublikacjaW 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...
-
On the complexity of distributed graph coloring with local minimality constraints
PublikacjaArtykuł traktuje o zachłannym kolorowaniu grafów w modelu rozproszonym. Omówiono algorytmy rozproszone, dające w wyniku pokolorowanie spełniające warunki dla pokolorowań sekwencyjnych typu S oraz Largest-First (LF). Udowodniono również, że każda rozproszona implementacja algorytmu S wymaga co najmniej Omega(log n / log log n) rund, a algorytmu LF co najmniej Omega (n^{1/2}) rund, gdzie n oznacza liczbę wierzchołków grafu.
-
Symulacja pracy mechanizmu prasującego pojazdu do usuwania odpadów z pojemników (PUOP)
PublikacjaW pracy przedstawiono analizę pracy wybranego typu mechanizmu prasującego PUOP oraz wpływ różnych konfiguracji elementów składowych tego urządzenia na energochłonność pracy w warunkach przyjętego cyklu obciążenia. W tym celu wykorzystano model mechanizmu prasującego PUOP w formie grafów wiązań oraz wyniki pomiarów ciśnienia roboczego w siłownikach hydraulicznych mechanizmu prasującego w trakcie jednego pełnego cyklu pracy przeprowadzonych...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublikacjaW 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ą...
-
Sztuczne systemy immunologiczne w optymalizacji dyskretnej
PublikacjaSztuczne 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...
-
Model chłodnicy płytowej pracującej w układzie chłodzenia samochodowego silnika spalinowego
PublikacjaW 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,...
-
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.
-
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...
-
Early detection of imminent threats in social relation graphs
PublikacjaWczesne 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...
-
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,...
-
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...
-
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...