Filters
total: 529
filtered: 301
-
Catalog
- Publications 301 available results
- Journals 8 available results
- Publishing Houses 2 available results
- People 31 available results
- Inventions 2 available results
- Projects 3 available results
- Research Teams 3 available results
- Research Equipment 2 available results
- e-Learning Courses 170 available results
- Events 7 available results
Chosen catalog filters
Search results for: GRAMATYKA GRAFOWA
-
Języki i gramatyki formalne
PublicationRozdział 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.
PublicationW 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
PublicationW 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
PublicationW eseju poruszono problem rysowania grafów na płaszczyźnie.
-
Rozproszone kolorowanie grafów
PublicationW 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.
-
Cyrkularne kolorowanie grafów
PublicationRozdział 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
PublicationKolorowanie 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
PublicationW 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
PublicationNiniejszy 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
PublicationRozdział 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.
-
Listowe kolorowanie grafów
PublicationW 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
PublicationW 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
PublicationW 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
PublicationPrzedstawiono 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.
-
Regulacja grupowa w systemie elektroenergetycznym.
PublicationW 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...
-
Hiperheurystyki w kolorowaniu grafów
PublicationHiperheurystyki 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...
-
Zwarte końcówkowe kolorowanie grafów
PublicationPraca 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.
-
Liczba wiązania grafów krawędziowych
PublicationLiczba 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.
-
Uporządkowane kolorowanie wierzchołków grafów
PublicationW 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
PublicationW 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
PublicationW 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
PublicationPrzedstawiono 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?
PublicationPo 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...
-
Obliczanie prawdopodobieństwa spójności grafów losowych
PublicationZaproponowano 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.
-
Planarność i zewnętrzna planarność grafów
PublicationNiech 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.
PublicationChromatografia 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,...
-
Teoria grafów wczoraj i dziś
PublicationW 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.
-
Cyrkularny indeks chromatyczny grafów kubicznych
PublicationW 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.
-
Zastosowanie algorytmów rojowych do kolorowania grafów
PublicationPrzedstawiamy 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.
-
Sprawiedliwe i półsprawiedliwe pokolorowania grafów kubicznych
PublicationW 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.
-
Mieszalnikowa instalacja gazowa w IMP - PAN
PublicationW 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
PublicationTechnologie 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ę...
-
Szeregowanie zadań sprzężonych metodą kolorowania grafów
PublicationRozważ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
PublicationPraca 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.
PublicationPraca 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.
-
Samostabilizujące się algorytmy wierzchołkowego kolorowania grafów.
PublicationArtykuł 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.
-
Grafowy model macierzy ultrametrycznej i jego zastosowania w filogenezie i t-kolorowaniu
PublicationW 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
PublicationNiniejszy 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
PublicationW 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ń
PublicationW 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
PublicationNiniejszy 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)...
-
Modelowanie maszyn synchronicznych w ujęciu grafów wiązań
PublicationW referacie 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...
-
Zachłanne algorytmy kolorowania grafów w modelu rozproszonym
PublicationW artykule porównano cztery rozproszone algorytmy kolorowania grafów. Zaprezentowano wyniki eksperymentów komputerowych, w których badano liczbę rund i kolorów uzyskanych dla grafów losowych.
-
Kogeneracja gazowa vs rynek mocy w Polsce
Publicationprzedstawiono prolemy rozwoju kogenerfacji gazowej w Polsce w aspekcie tworzonego rynku mocy.
-
Optymalne pokolorowania średnicowe dla wybranych klas grafów
PublicationW 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.
PublicationW 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.
-
Ograniczone (p1, p2,...,pk) kolorowanie wierzchołków grafów.
PublicationProblem ograniczonego (p1,...,pk) kolorowania grafów polega na poszukiwaniu odpowiedzi na pytanie, czy istnieje takie pokolorowanie wierzchołków grafu , że krotności użycia poszczególnych barw są równe ustalonym progom p1,...,pk. W ogólnym przypadku problem ten, jako uogólnienie klasycznego kolorowania grafów pozostaje NP-zupełnym. W pracy przedstawiamy wyniki dotyczące ograniczonego kolorowania split grafów, kografów oraz...
-
Algorytm przybliżony dla cyrkularnego kolorowania krawędzi grafów
PublicationW artykule autorzy proponują algorytm przybliżony dla cylkularnego kolorowania krawędzi grafu. Przedstawione są oszacowania na złożoność obliczeniową tego algorytmu, a także wyniki testów na grafach o małej liczbie wierzchołków jak i na grafach losowych.
-
Uogólnione algorytmy zachłanne w kontrastowym kolorowaniu grafów.
PublicationNiniejszy referat poświęcony jest uogólnionym algorytmom zachłannym. Zawiera ich opis, krótką analizę ich własności oraz wyniki testów komputerowych którym zostały poddane.
-
Modelowanie układów napędu elektrycznego metodą grafów wiązań
PublicationW pracy przedstawiono wybrane elementy metody grafów wiązań w zastosowaniu do modelowania i symulacji dynamiki układów napędu elektrycznego (UNE). Przykładowe badania symulacyjne wykonano z zastosowaniem programu 20-sim. Celem pracy jest także popularyzacja metody grafów wiązań wśród inżynierów elektryków zajmujących się UNE.