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
-
Parallel query processing and edge ranking of graphs
PublicationArtykuł poświęcony jest problemowi szukania drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym. Jednym z zastosowań jest poszukiwanie optymalnych harmonogramów w równoległym przetwarzaniu zapytań w relacyjnych bazach danych. Podajemy nowe oszacowanie funkcji dobroci przybliżonego algorytmu autorstwa Makino, Uno i Ibaraki wraz z rezultatami testów komputerowych przeprowadzonych dla grafów losowych.
-
Parallel scheduling by graph ranking
PublicationNr dokum.: 73017Praca dotyczy jednego z nieklasycznych modeli kolorowania grafów - uporządkowanego kolorowania. Celem było uzyskanie wyników, które mogo być wykorzystane w praktycznych zastosowaniach tego modelu, do których należą: równoległe przetwarzanie zapytań w relacyjnych bazach danych, równoległa faktoryzacja macierzy metodą Choleskiego, równoległa asemblacja produktu z jego części składowych. W pracy wskazano uogólnienia...
-
On greedy graph coloring in the distributed model
PublicationArtykuł traktuje o zachłannym kolorowaniu grafów w modelu rozproszonym. Zaprezentowano nowy probabilistyczny algorytm dający w wyniku pokolorowanie LF. Udowodniono, że jakakolwiek rozproszona implementacja LF wymaga co najmniej D rund, gdzie D jest maksymalnym stopniem wierzchołka w grafie.
-
Parallel tabu search for graph coloring problem
PublicationTabu search is a simple, yet powerful meta-heuristic based on local search that has been often used to solve combinatorial optimization problems like the graph coloring problem. This paper presents current taxonomy of patallel tabu search algorithms and compares three parallelization techniques applied to Tabucol, a sequential TS algorithm for graph coloring. The experimental results are based on graphs available from the DIMACS...
-
A self-stabilizing algorithm for finding a spanning tree in a polynomial number of moves
PublicationW 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 znajdowania drzewa spinającego. Zgodnie z naszą wiedzą jest to pierwszy algorytm dla tego problemu z gwarantowaną wielomianową liczbą ruchów.
-
Komparacja układów kombinowanych turbina gazowa - turbina parowa oraz silnik o zapłonie samoczynnym - turbina parowa w pływających elektrowniach morskich
PublicationPrzedstawiono porównania układów kombinowanych w pływających elektrowniach morskich. Do rozważań przyjęto układ kombinowany turbina gazowa - turbina parowa i porównano go z układem kombinowanych silnik o zapłonie samoczynnym (Marine Diesel Engine). Porównano uzyskane dodatkowe moce, sprawności z wykorzystaniem ciepłą zawartego w spalinach wylotowych z silnika tłokowego lub turbiny gazowej. Przyjęto kilka typów turbin gazowych oraz...
-
Kapilarna chromatografia gazowa fazy nad-powierzchniowej – HS-CGC w badaniach składu lotnych produktów hydrolizy biomasy ligno-celulozowej – BMLC
PublicationW pracy przedstawiono sposoby obróbki biomasy ligno-celulozowej, których celem jest rozpulchnienie struktury surowca i zwiększenie dostępności struktur dla czynników hydrolizujących. Na podstawie przeglądu literatury wskazano na możliwe do zidentyfikowania związki obecne w hydrolizatach z biomasy ligno-celulozowej. Opracowano metodykę oraz zbadano możliwość oznaczania lotnych produktów hydrolizy chemicznej z wykorzystaniem techniki...
-
Kolorowanie grafów z ograniczeniami na liczbę wierzchołków w określonym kolorze = Graph coloring model with restrictions on cardinalities of vertexes in particular color
PublicationW artykule rozważamy problem takiego kolorowania grafów, w którym klasy kolorów mają ograniczoną z góry moc. Zagadnie to znajduje ciekawe zastosowania praktyczne i jest naturalnym uogólnieniem problemu kolorowania grafów. W artykule ustalamy złożoność obliczeniową dla grafów pełnych $r$-dzielnych i dla kilku innych prostych klas grafów oraz dla problemu dwukolorowania.
-
Klasyfikacja tekstu przy użyciu grafowych sieci neuronowych
PublicationWspółczesnym algorytmom analizy tekstu wciąż daleko do ludzkiego poziomu jego zrozumienia. Jednym z wyzwań jest znajdowanie przez maszynę związków pomiędzy odległymi fragmentami tekstu. Próbą rozwiązania tego problemu są grafowe reprezentacje tekstu, które bardzo dobrze sprawdzają się w przedstawianiu złożonych zależności. W tekście opisane zostały dwie metody grafowej reprezentacji tekstu oraz algorytm grafowych konwolucyjnych...
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Prawie 300 lat teorii powstałej blisko Gdańska
PublicationW niniejszym numerze inaugurujemy nową kolumnę popularnonaukową w dziale Edukacja. Będzie ona zawierała szkice poświęcone grafom i algorytmom dyskretnym
-
Efficient list cost coloring of vertices and/or edges of some sparse graphs
PublicationRozważane jest kolorowanie wierzchołków i krawędzi grafów w modelach klasycznym, totalnym i pseudototalnym z uwzględnieniem dodatkowego ograniczenia w postaci list dostępnych kolorów. Proponujemy wielomianowy algorytm oparty na paradygmacie programowania dynamicznego dla grafów o strukturze drzewa. Wynik ten można uogólnić na grafy o liczbie cyklomatycznej ograniczonej z góry przez dowolnie wybraną stała.
-
Edge ranking and searching in partial orders
PublicationArtykuł jest poświęcony problemowi konstrukcji optymalnej (wymagającej minimalnej ilości porównań/zapytań) strategii wyszukiwania elementu w częściowym porządku. W pracy wskazano związki pomiędzy tym problemem oraz uporządkowanym kolorowaniem krawędzi grafów, co implikuje liniowy algorytm dla częściowych porządków o strukturze drzewa. Pokazano również, że znalezienie optymalnej strategii jest problemem obliczeniowo trudnym dla...
-
The gas corrosion of the cobalt base layer at elevated temperature
PublicationPrzedstawiono badania odporności na utlenianie i korozję w gorących gazach spalinowych napawanych laserowo warstw wykonanych ze stopu na bazie kobaltu.
-
Sterowanie systemu elektroenergetycznego zasilanego układem kombinowanym silnik spalinowy - turbina gazowa = Control of electric power system suplied with combined diesel engine and gas turbine
PublicationPoddano badaniom symulacyjnym układ sterowania automatyc znego elektroenergetycznego systemu wydzielonego, zasilanego prądnicami napędzanymi przez wysokoprężny silnik spalinowy oraz turbinę gazową. Przebieg procesów symulacyjnych zależy głównie od nastawień regulatora częstotliwości systemu elektroenergetycznego. Od ustawień regulatora silnika tłokowego zależy mniej niż w przypadku turbiny gazowej. Nie odgrywa istotnej roli sposób...
-
Bond graph modeling of the new generation engine cooling systems = Zastosowanie metody grafów wiązań do modelowania nowej generacji układów chłodzenia silników spalinowych
PublicationW referacie szczegółowo opisano modele wymiany ciepła i przepływów w układzie chłodzenia. Metoda grafów wiązań okazała się szczególnie użyteczną dla modelowania skomplikowanych systemów energetycznych o różnych postaciach energii. Jako przykładu użyto obiegu chłodzenia silnika badawczego na hamowni silnikowej.
-
Wpływ technologii przetwarzania na właściwości użytkowe stali trudno ścieralnych typu HARDOX. II Krajowa Konferencja ''Nowe Materiały, Nowe Technologie w Przemyśle Okrętowym i Maszynowym.
PublicationW referacie przedstawiono zagadnienia dotyczące technologii przetwarzania stali HARDOX, jak również zalecenia odnośnie spawania złączy stali HARDOX w zależności od grubości materiału, miejsca spawania, rodzaju spawania, rodzaju złącza, materiałów spoiwa. Dodatkowo przedstawiono zalecenia dotyczące obróbki skrawaniem stali HARDOX 400 w porównaniu do stali WELDOX 500 i WEL-DOX 700.
-
The European Union's Water Framework Directive - A new challenge in monitoring water quality. Ramowa Dyrektywa Wodna Unii Europejskiej - Nowe wyzwanie w monitoringu jakości wody
PublicationMonitoring jakości wody polega zwykle na punktowym pobieraniu próbek z użyciem odpowiednich próbników, po którym następuje etap analizy w celu określenia stężenia zanieczyszczeń. Pomimo wielu zalet, metoda ta ma ograniczenia w zakresie badania rozkładu czasowego i przestrzennego zanieczyszczeń oraz w zakresie oceny biodostępności zanieczyszczeń. Wdrożenie Ramowej Dyrektywy Wodnej (2000/60/EC)w krajach Unii Europejskiej będzie wymagało...
-
Efficient parallel query processing by graph ranking
PublicationW artykule analizujemy przybliżony algorytm dla problemu szukania drzewa spinającego o minimalnym uporządkowanym indeksie chromatycznym, co znajduje zastosowanie w równoległym przetwarzaniu zapytań w relacyjnych bazach danych. Podajemy nowe oszacowanie uporządkowanego indeksu chromatycznego drzewa, które prowadzi do uzyskania lepszej funkcji dobroci wspomnianego algorytmu.
-
Analiza odręcznych schematów blokowych z oceną ich estetyki
PublicationKsiążka dotyczy problematyki rozpoznawania, analizy i estetyzacji ręcznie rysowanych diagramów. W szczególności skupiono się na schematach blokowych. W książce poruszono trzy główne grupy zagadnień: przetwarzania wstępnego, segmentacji i rozpoznawania obrazów, automatycznej analizy i interpretacji schematów z wykorzystaniem podejścia lingwistycznego i formalizmu gramatyk grafowych oraz zagadnienia związane z oceną estetyki prezentowania...
-
Koncepcja zapewnienia interoperacyjności w rozproszonych systemach uczelnianychW : Perspektywy Rozwoju e-Uczelni w Kontekście Globalnej Informatyzacji; - e-uczelnia, konferencja krajowa; 14-15 maja 2009, Gdańsk. - [skrypt prezentacji]
Publication...
-
Directed laplacian kernels for link analysis
PublicationPrzedstawiono zastosowanie algorytmów opartych o funkcje jądra do problemu analizy linków i cytowań. Zaproponowano nowe funkcje jądra zbudowane na operatorze Laplace'a dla grafów skierowanych. Odzwierciedlają one powiązanie pomiędzy węzłami grafu jako funkcję długości łączących je ścieżek oraz istotności odwiedzanych po drodze węzłów. Eksperymenty z nowymi funkcjami jądra przeprowadzono na zbiorze cytowań pobranych z publikacji...
-
Modelling of energy flow in mechatronic systems. A bond graph approach
PublicationW referacie przedstawiono w sposób jednoliy modelowanie systemów mechatroniki metodą grafów wiązań (GW) w aspekcie symulacji przepływu energii. Omówiono ogólne założenia modelowania w ujęciu GW. Modelowanie przepływu energii rozważano na przykładzie napędu pojazdu hybrydowego PH-MAK.
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublicationW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami o magnesach trwałych (BMMT). W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model SBMT w ujęciu GW dla potrzeb modelowania...
-
System wspomagający zarządzanie Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki GdańskiejW : Perspektywy Rozwoju e-Uczelni w Kontekście Globalnej Informatyzacji; - e-uczelnia, konferencja krajowa; 14-15 maja 2009, Gdańsk. - [skrypt prezentacji]
PublicationW artykule przedstawiono założenia projektowe, architekturę i implementację systemu przeznaczonego do wspomagania zarządzania wydziałem wyższej uczelni. System jest realizowany dla Wydziału Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, w technologiach typu open-source. Artykuł opisuje poszczególne komponenty systemu oraz aspekty technologiczne jego budowy. Opisano założenia przyjęte na początku projektu, architekturę...
-
Modelling of ic engine coolant system with permanent magnet brushless motor - bond graphs approach
PublicationW pierwszej części referatu przedstawiono strukturę i podstawy modelowania w ujęciu grafów wiązań nowoczesnego (nowej generacji) systemu chłodzenia silnika spalinowego. Istotną cechą rozważnego systemu chłodzenia jest zastosowanie zintegrowanego układu: pompa cieczy chłodzącej-bezszczotkowy silniki prądu stałego (BSPS, ang. BDCM). W kolejnych częściach referatu przedstawiono: podstawy modelowania całego systemu chłodzenia, model...
-
Modeling pragmatics for visual modeling language evaluation
PublicationPodczas oceny użyteczności języków modelowania wizualnego istnieje potrzeba uwzględnienia ich pragmatyki. Języki modelowania wizualnego mogą być stosowane w różnym kontekście, co powoduje różnice w wymaganiach, które są im stawiane. Jawny opis kontekstu użycia ułatwia precyzyjną ocenę. Pragmatyka składa się ze zbioru profili, które opisują konkretne konteksty użycia. W referacie podjęto próbę zastosowania modeli zadań do opisu...
-
Realizacja multimedialnego przewodnika po kampusie Politechniki Gdańskiej na bazie usług LBSW : Perspektywy Rozwoju e-Uczelni w Kontekście Globalnej Informatyzacji; - e-uczelnia, konferencja krajowa; 14-15 maja 2009, Gdańsk. - [skrypt prezentacji]
PublicationOpisano koncepcję definiowania funkcjonalności elektronicznego, bezprzewodowego, multimedialnego przewodnika eGIT. Scharakteryzowano jego architekturę w ujęciu warstwowym i komponentowym. Przedstawiono zagadnienie wykorzystania w aplikacji usług webowych oferujących podanie aktualnej lokalizacji użytkownika. Udostępnienie tych usług pozwala na wytwarzanie aplikacji oferujących odmienne funkcjonalności w zależności od aktualnego...
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublicationW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami elektrycznymi o magnesach trwałych. W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model silnika bezszczotkowego...
-
Bond-graphs based modelling of hybrid energy systems with permanent magnet brushless machines
PublicationW referacie przedstawiono metodę grafów wiązań (GW) w zastosowaniu do modelowania hybrydowych systemów energetycznych z bezszczotkowymi maszynami elektrycznymi o magnesach trwałych. W części pierwszej referatu omówiono ogólne formalizm GW. Następnie przedstawiono kolejno: ogólną strukturę modelu hybrydowego systemu energetycznego w ujęciu GW; założenia modelowania maszyn elektrycznych w ujęciu GW, model silnika bezszczotkowego...
-
Makrogenerator translatorów MC²
PublicationArtykuł prezentuje stworzony przez autorów makrogenerator translatorów MC². Makrogenerator ten po otrzymaniu definicji języka staje się translatorem tego języka. Język definiuje się podając jego składnię (produkcje gramatyki zapisane w notacji BNF) oraz znaczenie poszczególnych konstrukcji składniowych tj. opis przekształceń tekstu odpowiadającego danej konstrukcji składniowej na tekst w pewnym języku bazowym (makrodefinicje)....
-
Opinia naukowo-techniczna dotycząca nośności pali wierconych fi 1500 mm wykonanych pod podpory wiaduktu C-4 na podstawie badań statycznych. Budowa Północnego Obejścia Krakowa w ciągu Drogi Krajowej nr 94 na odcinku Węzeł Radzikowskiego - Węzeł Modlnica.
PublicationOpinia dotycząca nośności pali wierconych o średnicy 1500 mm wykonanych pod podpory wiaduktu C-4 w ciągu Drogi Krajowej nr 94 na odcinku Węzeł Radzikowskiego - Węzeł Modlnica na podstawie próbnych obciążeń statycznych.
-
Technical and economical analysis of combined cycles of gas turbine -steam turbine on pipeline compressor stations. Part II - Economic analysis
PublicationW pracy przedstawiono zagadnienie nadbudowy zespołów turbosprężarkowych, znajdujących się na tłoczni gazu ziemnego, odzyskowymi blokami parowymi. W analizie tego przedsięwzięcia wzięto pod uwagę kilka wariantów konfiguracji układu parowego oraz kilka wariantów uwzględniających zmienność obciążenia turbin gazowych napędzających kompresory. Dla układu parowego dobrano wszystkie podstawowe parametry, a następnie wykonano obliczenia...
-
Technical and economical analysis of combined cycles of gas turbine - steam turbine on pipeline compressor stations. Part I - Technical analysis
PublicationW pracy przedstawiono zagadnienie nadbudowy zespołów turbosprężarkowych, znajdujących się na tłoczni gazu ziemnego, odzyskowymi blokami parowymi. W analizie tego przedsięwzięcia wzięto pod uwagę kilka wariantów konfiguracji układu parowego oraz kilka wariantów uwzględniających zmienność obciążenia turbin gazowych napędzających kompresory. Dla układu parowego dobrano wszystkie podstawowe parametry, a następnie wykonano obliczenia...
-
Technical and economical analysis of combined cycles of gas turbine - steam turbine on pipeline compressor stations. Part II - Economic analysis
PublicationW pracy przedstawiono zagadnienie nadbudowy zespołów turbosprężarkowych, znajdujących się na tłoczni gazu ziemnego, odzyskowymi blokami parowymi. W analizie tego przedsięwzięcia wzięto pod uwagę kilka wariantów konfiguracji układu parowego oraz kilka wariantów uwzględniających zmienność obciążenia turbin gazowych napędzających kompresory. Dla układu parowego dobrano wszystkie podstawowe parametry, a następnie wykonano obliczenia...
-
Aspekty techniczno-ekonomiczne postulowanego rozwoju zastosowania turbin gazowych w polskiej elektroenergetyce. Prace IMiUE i ITC P. Śl.**2002 s. 167-177, 3 rys. bibliogr. 12 poz. II Konferencja Naukowo-Techniczna 2002 ENERGETYKA GAZOWA [Szczyrk].
PublicationRozważając możliwość zastosowania turbin gazowych w polskiej elektroenerge-tyce, zwrócono uwagę na wpływ aktualnej struktury wytwarzania energii elek-trycznejna perspektywy zastosowania turbin gazowych. Pod tym względem, pod-dano analizie z jednej strony elektrownie zawodowe, z drugiej strony, elek-trownie komunalne i przemysłowe.
-
Opinia naukowo-techniczna dotycząca nośności pali wierconych fi 1500 mm wykonanych pod podpory wiaduktu C-3 (jezdnia prawa) na podstawie badań statycznych. Budowa Północnego Obejścia Krakowa w ciągu Drogi Krajowej nr 94 na odcinku Węzeł Radzikowskiego - Węzeł Modlnica.
PublicationOpinia dotycząca nośności pali wierconych o średnicy 1500 mm wykonanych pod podpory wiaduktu C-3 (jezdnia prawa) w ciągu Drogi Krajowej nr 94 na odcinku Węzeł Radzikowskiego - Węzeł Modlnica na podstawie badań statycznych.
-
Interval wavelength assignment in all-optical star networks
PublicationArtykuł omawia zwarte końcówkowe kolorowanie grafów, które jest matematycznym modelem dla problemu przydziału częstotliwości w sieciach optycznych. W artykule przedstawiono wielomianowe algorytmy wyznaczania zwartej końcówkowej liczby chromatycznej dla pełnych grafów k-dzielnych, drzew i podkubicznych grafów dwudzielnych.
-
Equitable vertex coloring of graphs
PublicationW 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.
PublicationW 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...
-
Algorytm samostabilizujący dla problemu kolorowania krawędzi grafu.
PublicationReferat 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
PublicationW 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...
-
An experimental study of distributed algorithms for graph coloring.
PublicationW pracy podano algorytm rozproszonego kolorowania grafówi porównano ze znanym wcześniej algorytmem.
-
Kolorowanie ścieżek w grafach
PublicationZdefiniowano podstawowe pojęcia niezbędne do analizy problemu wyboru i kolo-rowania ścieżek w grafach. Dokonano przeglądu wyników dla grafów ogólnych idla klasycznych rodzin grafów. Omówiono zastosowania praktyczne problemu,zwłaszcza związane ze wspomnianymi już sieciami optycznymi.
-
Interval edge-coloring of graphs.
PublicationRozdział poświęcony prezentacji modelu zwartego kolorowania krawędziowego grafów i jego znanych własności. Szczególny nacisk położono na opis klas grafów dających się pokolorować zwarcie w czasie wielomianowym. Omówiono także stratność jako miarę niepodatności grafu na kolorowanie zwarte.
-
Path Coloring and Routing in Graphs.
PublicationW 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
PublicationKonsensusowy 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...
-
Cholesky factorization of matrices in parallel and ranking of graphs.
PublicationUporządkowane kolorowanie znajduje zastosowanie przy równoległej faktoryzacji macierzy metodą Cholesky'ego. Praca zawiera opis tego zastosowania. Podano także algorytmy optymalnego uporządkowanego kolorowania krawędzi pewnych klas grafów: grafów pełnych dwudzielnych oraz powstałych z pełnych dwudzielnych przez usunięcie O(log n) krawędzi.
-
Sum coloring of bipartite graphs with bounded degree.
PublicationArtykuł poświęcony jest złożoności obliczeniowej zagadnienia sumacyjnego kolorowania grafów dwudzielnych o ograniczonym stopniu. Zawiera dowód tego, że sumacyjne kolorowanie grafów dwudzielnych stopnia mniejszego równego 5 jest NP-zupełne oraz opis wielomianowego algorytmu, który optymalnie sumacyjnie koloruje grafy dwudzielne podkubiczne.
-
Języki formalne, automaty i translatory
PublicationKsiążka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...
-
Wybrane aktualne zagadnienia automatyki turbin.
PublicationDokonano przeglądu problematyki automatyki turbin, nawiązując do sytuacji w polskim przemyśle i elektroenergetyce. Na tym tle przedstawiono niektóre wyniki badań dotyczących sterowania tzw. układów kombinowanych turbina gazowa turbina parowa oraz tłokowy silnik spalinowy turbina gazowa, których zastosowanie rozwinęło się w ostatnich latach.