Filtry
wszystkich: 570
-
Katalog
- Publikacje 304 wyników po odfiltrowaniu
- Czasopisma 8 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 33 wyników po odfiltrowaniu
- Wynalazki 2 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 206 wyników po odfiltrowaniu
- Wydarzenia 7 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: GRAMATYKA GRAFOWA
-
Języki i gramatyki formalne
PublikacjaRozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.
-
Algorytmy radiowego kolorowania grafów. XIII Krajowa Konferencja Automatyzacji Procesów Dyskretnych.
PublikacjaW pracy opisane są podstawowe zasady i właściwości radiowego kolorowania grafów. Podane są oszacowania radiowej liczby chromatycznej grafu w przypadku ogólnym, dla ścieżek i cykli oraz dokładne wartości radiowej liczby chromatycznej dla grafów pełnych k-dzielnych, kół i dwugwiazd. Zamieszczono także przykładowe wyniki porównania dobroci suboptymalnych, sekwencyjnych algorytmów radiokolorowania grafów.
-
Zastosowanie gramatyk grafowych do rozpoznawania i interpretacji diagramów
PublikacjaW pracy przedstawiono formalizm gramatyk grafowych oraz jego wykorzystanie do rozpoznawania i interpretacji złożonych dwuwymiarowych struktur. Podano przykład zastosowania gramatyki grafowej do interpretacji schematów blokowych, formułując specyficzne dla nich reguły produkcji. Pokazano też możliwość zastosowania gramatyk grafowych do wspomagania procesu rozpoznawania oraz interpretacji partytur muzycznych
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Spłaszczanie grafów
PublikacjaW eseju poruszono problem rysowania grafów na płaszczyźnie.
-
Geomatyka i Inżynieria
Czasopisma -
Studii de Gramatica Contrastiva
Czasopisma -
Krajowa Rada Sądownictwa
Czasopisma -
Cyrkularne kolorowanie grafów
PublikacjaRozdział zawiera definicje oraz większość znanych własności cyrkularnego ko-lorowania grafów w wersji wierzchołkowej oraz krawędziowej. Podano znanezwiązki tego rodzaju kolorowania z innymi modelami kolorowania grafów. Wpracy zawarto także przykłady możliwych zastosowań cyrkularnego kolorowaniaw szeregowaniu zadań.
-
Sprawiedliwe kolorowanie grafów
PublikacjaKolorowanie sprawiedliwe jest kolorowaniem klasycznym z dodatkowym ograni-czeniem: chcemy, aby krotności użycia kolorów różniły się co najwyżej o je-den. W pracy przedstawiamy wyniki dotyczące sprawiedliwego kolorowania wie-rzchołków, krawędzi oraz obu tych elementów jednocześnie. Ponieważ problemjest NP-zupełny w ogólnym przypadku, poszukuje się algorytmów przybliżonych.Przedstawiamy dwa takie algorytmy.
-
Harmoniczne kolorowanie grafów
PublikacjaW rozdziale omówiono tzw. harmoniczne kolorowanie grafów, które jest odmia-ną klasycznego kolorowania wierzchołków grafów. Podano najważniejsze własno-ści tego sposobu kolorowania grafów i jego potencjalne zastosowanie w radio-komunikacji lotniczej i projektoaniu funkcji mieszających. Podano równieżtzw. algorytm degresywny, który koloruje każdy graf za pomocą liczby kolorównie przekraczającej w dwójnasób harmonicznej liczby...
-
Kontrastowe kolorowanie grafów
PublikacjaNiniejszy rozdział omawia kontrastowe kolorowanie grafów. Podana zostałajego definicja i podstawowe własności, zastosowania oraz złożoność oblicze-niowa problemów rozważanych w ramach tej dziedziny.
-
Klasyczne kolorowanie grafów
PublikacjaRozdział obejmuje klasyczne kolorowanie krawędzi i wierzołków w grafach pro-stych. Oprócz podstawowych definicji podane zostały najczęściej stosowanemetody przybliżone oraz ich właściwości. Dodatkowo rozdział zawiera przeglądznanych benczmarków dla podanych metod w kontekście klasycznego modelu kolo-rowania.
-
Rozproszone kolorowanie grafów
PublikacjaW pracy rozważany jest rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowe, rozproszone algorytmy kolorowania grafów wraz z dokładną analizą teoretyczną i wynikami eksperymentów obliczeniowych.
-
Listowe kolorowanie grafów
PublikacjaW klasycznym modelu kolorowania grafów,kolor przydzielany wierzchołkowi jestograniczony przez regułę zakazującą pokolorowania dwóch sąsiednich wierz-chołków tym samym kolorem. Kolorowanie listowe wprowadza dodatkowe ograni-czenie: każdy wierzchołek posiada z góry określony zbiór dopuszczalnych ko-lorów. Rozważamy jak duża może być różnica pomiędzy liczbą chromatyczną ilistową liczbą chromatyczną oraz dla jakich klas grafów...
-
Sumacyjne kolorowanie grafów
PublikacjaW tym rozdziale, oprócz szczegółowego zaprezentowania koncepcji sumy chroma-tycznej, jej własności oraz wyników z nią związanych, dokonano analizy zło-żoności problemu sumacyjnego kolorowania dla wybranych klas grafów, w szcze-gólności rozróżniono klasy grafów, dla których problem sumacyjnego kolorowa-nia można rozwiązać w czasie wielomianowym oraz przypadki NP-trudne.
-
Rozproszone kolorowanie grafów
PublikacjaW pracy zaprezentowano nowy rozproszony algorytm kolorowania grafów. Przeprowadzone eksperymenty pokazują, że daje on lepsze wyniki niż znany wcześniej algorytm trywialny.
-
Wielokapilarna chromatografia gazowa
PublikacjaPrzedstawiono budowę i charakterystykę analityczną nowego typu kolumn dochromatografii gazowej. Omówiono cechy odróżniając wielokapilarne kolumny dochromatogragii gazowej od innych typów kolumn chromatograficznych. Wskazanona możliwości ich zastosowania oraz korzyści wynikające z ich wykorzystania.
-
Grafica-Journal of Graphic Design
Czasopisma -
Regulacja grupowa w systemie elektroenergetycznym.
PublikacjaW węzłach wytwórczych i przesyłowych w celu zapewnienia prawidłowego procesu regulacji napięć i sterowania rozpływem mocy biernej w systemie należy dążyć do zastosowania układów regulacji grupowej napięcia i mocy biernej. Układ regulacji grupowej powinien swoim sterowaniem (nadrzędnym) obejmować wszystkie układy regulacji biorące udział w procesie regulacji U i Q w danym węźle. W referacie przedstawiono wymagania dla układów regulacji...
-
Liczba wiązania grafów krawędziowych
PublikacjaLiczba wiązania b(G) grafu G jest mocą najmniejszego zbioru krawędzi, których usunięcie z grafu G prowadzi do grafu o liczbie dominowania większej niż gamma(G). Pokazujemy ogólne ograniczenia dla liczby wiązania grafu krawędziowego dowolnego grafu spójnego i grafu pełnego. Ponadto rozważamy liczbę wiązania grafów krawędziowych dla szczególnych przypadków drzew.
-
Zwarte końcówkowe kolorowanie grafów
PublikacjaPraca dotyczy jednego z nowych modeli kolorowania grafów, tzw. zwartego końcówkowego kolorowania. Praca zawiera definicję modelu, informacje o jego zastosowaniach, dolne i górne oszacowania na liczbę kolorów oraz wartości dokładne zwartego końcówkowego indeksu dla wybranych klas grafów: ścieżek, cykil, gwiazd, kół, grafów pełnych i innych.
-
Hiperheurystyki w kolorowaniu grafów
PublikacjaHiperheurystyki to jeden z nowych trendów w technice obliczeniowej. Można je zdefiniować jako algorytmy, które wykorzystują zdefiniowany zbiór prostych heurystyk do znalezienia przybliżonego rozwiązania. Celem algorytmu jest znalezienie takiej sekwencji uruchamiania tych prostych operacji, która będzie dawała najlepsze rozwiązanie dla danej instancji problemu lub danej klasy instancji problemu. W pracy zdefiniowano heurystyki dla...
-
Uporządkowane kolorowanie wierzchołków grafów
PublikacjaW pracy przedstawiamy stosunkowo nowy model kolorowania grafów, mianowicie kolorowanie uporządkowane. Po scharakteryzowaniu potencjalnych zastosowań tego modelu przedstawiamy liniowy algorytm kolorowania grafów w sposób przybliżony. Pokazujemy klasy grafów, które ten algorytm koloruje optymalnie i klasy grafów, dla których błąd pokolorowania może być dowolnie duży. Przedstawiamy również doświadczenia komputerowe zebrane w trakcie...
-
Metaheurystyki w kolorowaniu grafów
PublikacjaW rozdziale opisano cztery metaheurystyki wykorzystywane w problemie koloro-wania grafów: symulowane wyżarzanie, przeszukiwanie tabu, algorytmy gene-tyczne, algorytmy mrówkowe. Skupiono się głównie na zagadnieniach wykorzys-tania tych metod w badanym problemie.
-
Ramseyowskie pokolorowanie grafów pełnych
PublikacjaW rozdziale przedstawiono znane wartości, własności a także oszacowania kla-sycznych i nieklasycznych liczb Ramseya; przedstawiono także przykłady ichzastosowań.
-
Elektrociepłownia gazowa we Władysławowie
PublikacjaPrzedstawiono bliżej układ technologiczny elektrociepłowni we Władysławowie opartej na działaniu turbin gazowych zasilanych gazem odpadowym towarzyszącemu ropie naftowej wydobywanej z dna morskiego.
-
Krajowa Polityka Miejska jako wyraz miastopoglądu?
PublikacjaPo dwóch latach pracy w październiku 2015 Krajowa Polityka Miejska została przyjęta przez rząd RP, jako krok w stronę skoordynowania działań, w odpowiedzi na wyzwania stojące przed polskimi miastami. Jest to nowe podejście, choć Polska nie jest jedynym krajem na świecie stosującym to narzędzie koordynacji zarządzania miastami. W Krajowej Polityce Miejskiej zebrano wyniki ekspertyz rządowych. Jej ustalenia mają kierunkować zarówno...
-
Planarność i zewnętrzna planarność grafów
PublikacjaNiech G będzie niepustym grafem prostym. Graf, który można przedstawić na płaszczyźnie w taki sposób, że żadne dwie krawędzie nie przecinają się nazywamy grafem płaskim, natomiast graf nazywamy planarnym, gdy jest on izomorficzny do grafu płaskiego. Jeśli dodatkowo wszystkie jego wierzchołki leżą na obszarze zewnętrznym, graf nazywamy zewnętrznie planarnym. Indeksem krawędziowym grafu G nazywamy najmniejsze k takie, że k-ty iterowany...
-
Chromatografia gazowa. Teoria i praktyka.
PublikacjaChromatografia gazowa jest jedną z najważniejszych metod analitycznych mających zastosowanie w wielu dziedzinach, a chromatograf gazowy ? najbardziej rozpowszechnionym przyrządem analitycznym w laboratoriach na świecie. Oto najpełniejsze w języku polskim opracowanie poświęcone chromatografii gazowej napisane przez wybitnych polskich specjalistów z dziedziny chemii analitycznej. Przedstawiono w nim istotę chromatografii gazowej,...
-
Obliczanie prawdopodobieństwa spójności grafów losowych
PublikacjaZaproponowano metodę wykorzystania systemu Comcute do przeliczania prawdopodobieństwa grafów losowych. Obliczenia te mają zbyt dużą złożoność, aby dla dużych grafów przeprowadzać je na pojedynczym komputerze.
-
Cyrkularny indeks chromatyczny grafów kubicznych
PublikacjaW pracy omówiono własności cyrkularnego indeksu chromatycznego grafów kubicznych. Po zdefiniowaniu tego rodzaju kolorowania zbadano, które ze znanych wyników dla klasycznego kolorowania krawędzi grafów kubicznych można przenieść na rozważany model kolorowania. Dodatkowo podano nietrywialne oszacowanie na cyrkularny indeks chromatyczny dla nieskończonej rodziny grafów kubicznych klasy 2.
-
Teoria grafów wczoraj i dziś
PublikacjaW pracy naszkicowano kamienie milowe teorii grafów poczynając od pierwszego artykułu Eulera na temat mostów w Królewcu z połowy 18. wieku. Następnie opisano słynny problem 4 barw i jego wariacje. Pracę kończy charakterystyka najnowszych wyzwań teorii 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,...
-
Zastosowanie algorytmów rojowych do kolorowania grafów
PublikacjaPrzedstawiamy sposób adaptacji heurystycznej metody przeszukiwania PSO (ang. Particle Swarm Optimization) do znajdowania suboptymalnych pokolorowań wierzchołkowych grafów prostych. Prezentujemy sposób przeprowadzenia eksperymentów obliczeniowych oraz ich wyniki.
-
Mieszalnikowa instalacja gazowa w IMP - PAN
PublikacjaW pracy zaproponowana została wstępna koncepcja układu odpowiedzialnego za doprowadzanie paliwa syngazowego (syngaz) do silnika o zapłonie iskrowym. Stworzony układ gazowy ma umożliwić zasilanie dwóch agregatów prądotwórczych – zespołu prądotwórczego ZGT-60/D/MA/PE o mocy ciągłej , oraz drugiego, mniejszego o mocy z 3 cylindrowym silnikiem AD 3.152 –Perkins. Przedstawiona została propozycja wytwarzania niskokalorycznych gazów...
-
Czynniki ludzkie a energetyka gazowa – wybrane zagadnienia
PublikacjaTechnologie wykorzystania gazu jako nośnika energii wzbudzają wiele zainteresowania. Powstają coraz to nowe inwestycje tj. blok gazowo – parowy Stalowa Wola czy też Gazoport w Świnoujściu. Poszukuje się alternatywy dla technologii węglowych poprzez podejmowane próby zgazowania węgla czy wydobycia i wykorzystania gazu z łupków. Dynamiczne otoczenie i potrzeba adaptacji rozwiązań funkcjonujących poza granicą kraju wymusza potrzebę...
-
Sprawiedliwe i półsprawiedliwe pokolorowania grafów kubicznych
PublikacjaW pracy rozpatrywane są sprawiedliwe i półsprawiedliwe pokolorowania grafów kubicznych. Pokazano, że w odróżnieniu od tego pierwszego, który jest łatwy, problem istnienia pokolorowań półsprawiedliwych jest NP-zupełny w szerokim zakresie parametrów grafów.
-
Samostabilizujące się algorytmy wierzchołkowego kolorowania grafów.
PublikacjaArtykuł jest poświęcony kolorowaniu grafów w modelu rozproszonym. Podano schemat konstruowania samostabilizujących się algorytmów wierzchołkowego kolorowania grafów z możliwością nadawania wierzchołkom priorytetów. W oparciu o tę technikę skonstruowano samostabilizujący się algorytm LF który został szczegółowo opisany. Przeprowadzono również testy komputerowe porównując algorytm LF ze znanymi wcześniej algorytmami samostabilizującymi.
-
Szeregowanie zadań sprzężonych metodą kolorowania grafów
PublikacjaRozważono problem szeregowania zadań sprzężonych na pojedynczym procesorze w obecności ograniczeń kolejnościowych. Zidentyfikowano przypadki wielomianowe dla tego zagadnienia NP-trudnego.
-
O pewnym zastosowaniu uporządkowanego kolorowania grafów
PublikacjaPraca opisuje związki pomiędzy problemami uporządkowanego kolorowania wierzchołków grafów oraz szukania drzewa eliminacji o minimalnej wysokości dla danego grafu. Stąd wynika przydatność tytułowego problemu przy równoległej faktoryzacji macierzy metodą Cholsky´ego.
-
Sekwencyjne algorytmy antypodalnego kolorowania radiowego grafów.
PublikacjaPraca zawiera charakterystykę suboptymalnych algorytmów antypodalnego kolorowania grafów, stanowiących adaptację algorytmów sekwencyjnych S, SL, LF stosowanych przy klasycznym kolorowaniu grafów. Dla tych algorytmów wskazano grafy dość trudne i trudne do pokolorowania (HC i SHC). Porównano ich funkcję dobroci i rozpiętości uzyskiwanych pokolorowań dla grafów o różnej gęstości krawędziowej.
-
Grafowy model macierzy ultrametrycznej i jego zastosowania w filogenezie i t-kolorowaniu
PublikacjaW pracy podano definicję macierzy ultrametrycznej i jej reprezentację grafową. Macierz ta jest wykorzystywana głównie w filogenezie, do budowy drzew ultrametrycznych. W pracy opisano jeden z algorytmów słuzący do konstrukcji takich drzew. Ponadto, omówiono inne możliwe zastosowania modelu grafowego macierzy, tym razem dla problemu przydziału częstotliwości dla nadajników. Zaproponowano również rozwiązanie tego problemu w szczególnym...
-
Modele i metody kolorowania grafów. Część I
PublikacjaNiniejszy artykuł jest pierwszą częścią 2-odcinkowego cyklu przeglądowego na temat modeli i metod kolorowania grafów. Przedstawiono w nim najważniejsze, z punktu widzenia zastosowań, modele kolorowania grafów. W szczególności pokazano co można kolorować w grafie i jak to można kolorować. Ponieważ kolorowanie we wszystkich odmianach i wariantach jest NP-trudne, podajemy oszacowania na liczbę chromatyczną oraz potencjalne zastosowania...
-
Kompletna dwuwymiarowa chromatografia gazowa - nowoczesne narzędzie analityczne
PublikacjaW pracy przedstawiono informacje o:- zasadzie działania wielowymiarowego chromatografu gazowego;- opisie procesu rozdzielania dla techniki GCxGC;- budowie modulatorów jako niezbędnego elementu zestawu do GCxGC.
-
Modelowanie maszyn synchronicznych w ujęciu grafów wiązań
PublikacjaW pracy przedstawiono w sposób jednolity modelowanie maszyn synchronicznych (MS) metodą grafów wiązań (GW) dla potrzeb symulacji szeroko pojętych systemów energetycznych i systemów napędowych, w szczególności systemów o naturze hybrydowej. Omówiono ogólne założenia modelowania MS w oparciu o koncepcję dwóch sprzężeń podstawowych - wzorcowego sprzężenia transformatorowego i wzorcowego sprzężenia elektromechanicznego. Model MS opracowano...
-
Modele i metody kolorowania grafów. Część II
PublikacjaNiniejszy artykuł jest drugą częścią 2-odcinkowego cyklu przeglądowego na temat modeli i metod kolorowania grafów. Przedstawiono w nim najważniejsze, z punktu widzenia zastosowań, modele kolorowania grafów. W szczególności pokazano różne kryteria i ograniczenia modyfikujące kolorowanie klasyczne. Ponieważ kolorowanie we wszystkich tych odmianach i wariantach jest NP-trudne, podano oszacowania na liczbę chromatyczną (indeks chromatyczny)...
-
Kogeneracja gazowa vs rynek mocy w Polsce
Publikacjaprzedstawiono prolemy rozwoju kogenerfacji gazowej w Polsce w aspekcie tworzonego rynku mocy.
-
Liczby Ramseya on-line dla różnych klas grafów
PublikacjaRozpatrujemy grę rozgrywaną na nieskończonej liczbie wierzchołków, w której każda runda polega na wskazaniu krawędzi przez jednego gracza - Budowniczego oraz pokolorowaniu jej przez drugiego gracza - Malarkę na jeden z dwóch kolorów, czerwony lub niebieski. Celem Budowniczego jest zmuszenie Malarki do stworzenia monochromatycznej kopii wcześniej ustalonego grafu H w jak najmniejszej możliwej liczbie ruchów. Zakładamy, że gracze...
-
Optymalne pokolorowania średnicowe dla wybranych klas grafów
PublikacjaW pracy opisano wybrane właściwości szczególnego przypadku radiowego kolorowania grafów, zwanego kolorowaniem średnicowym. Podano zasadę działania algorytmu optymalnego kolorowania średnicowego i oszacowania liczby średnicowej grafu w przypadku ogólnym oraz dla ścieżek i cykli. Korzystając z podanego algorytmu, znaleziono dokładne wartości liczby średnicowej dla ścieżek i cykli niewielkiej długości, co pozwoliło na obalenie wcześniej...
-
Cykliczny system otwarty i cyrkularne kolorowanie grafów.
PublikacjaW pracy rozważany jest cykliczny system otwarty - modyfikacja otwartego systemu procesów dedykowanych polegająca na założeniu, że praca jest wykonywana w ruchu ciągłym, czyli kolejne cykle pracy wykonywane są bezpośrednio po sobie. Rozważana jest złożoność obliczeniowa problemów związanych z układaniem harmonogramu w systemach tego typu.