Filters
total: 3754
filtered: 2842
-
Catalog
- Publications 2842 available results
- Journals 263 available results
- Publishing Houses 1 available results
- People 123 available results
- Inventions 1 available results
- Projects 25 available results
- Laboratories 6 available results
- Research Teams 15 available results
- Research Equipment 2 available results
- e-Learning Courses 383 available results
- Events 21 available results
- Open Research Data 72 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: teoria grafow,przeszukiwanie grafow,zlozonosc obliczeniowa
-
Minimalizacja szerokości pasma w sieciach radiowych metodami szkieletowego kolorowania grafów
PublicationArtykuł poświęcony jest szkieletowemu kolorowaniu grafów, które jest matematycznym modelem dla problemu minimalizacji szerokości pasma w sieciach radiowych. Badamy w nim zależność szkieletowej liczby chromatycznej od parametrów zagadnienia. Dowodzimy, że dla dużych wartości parametrów ta zależność jest liniowa.
-
Modelowanie silnika bezszczotkowego o magnesach trwałych w ujęciu grafów wiązań
PublicationCelem referatu jest przedstawienie modelu silnika bezszczotkowego o magnesach trwałych (SBMT) w ujęciu grafów wiązań. Omówiono ogólne zasady metody modelowania w ujęciu grafów wiązań. Model silnika opracowano z zastosowaniem edytora symulatora 20-sim
-
Kolorowanie grafów obciążonych i jego zastosowanie w problemie przydziału częstotliwości
PublicationReferat omawia jeden z modeli dla problemu przydziału częstotliwości, oparty o kolorowanie grafów obciążonych. Podana została złożoność obliczeniowa modelu i wielomianowy algorytm 4-kolorowania grafów w tym modelu.
-
Modelowanie, analiza i synteza układów dynamicznych z zastosowaniem grafów wiązań
PublicationWyprowadzono związek pomiędzy grafami wiązań i grafami Coatesa oraz wskazano obszar zastosowań tego sposobu interpretacji modelu w postaci grafu wiązań. Przedstawiono następujące zagadnienia:wyprowadzanie transmitancji, równań stanu i równań 2. rzędu;synteza układu o założonej impedancji;zastosowanie grafów wiązań i Coatesa w metodzie transmitancji układów ciągłych;konstruowanie modalnych grafów wiązań układów dyskretno-ciągłych.Zaprezentowane...
-
Zastosowanie metody grafów wiązań do modelowania układów chłodzenia silników spalinowych
PublicationW artykule uzasadniono celowość stosowania metody grafów wiązań (GW) do modelowania układów chłodzenia silników spalinowych. Przedstawiono koncepcję układu chłodzenia nowej generacji. Rozwinięto energetyczny model silnika spalinowego w postaci GW uwzględniając napęd pompy cieczy chłodzącej za pomocą silnika elektrycznego. Model układu chłodzenia przedstawiono w postaci połączonych modeli układu hydraulicznego i modelu wymiany...
-
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.
-
O problemie przydziału częstotliwości, kontrastowym kolorowaniu grafów i częściowych k-drzewach
PublicationNiniejszy artykuł poświęcony jest złożoności obliczeniowej problemu przydziału częstotliwości. Zawiera dowód tego, że jest on NP-trudny nawet dla grafów interferencji, będących grafami dwudzielnymi, oraz wielomianowy algorytm rozwiązujący ten problem dla grafów interferencji, będących częściowymi k-drzewami.
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Liczby Ramseya
PublicationZdefiniowano liczby Ramseya i wskazano na trudności obliczeniowe ich wyznaczania już przy niewielkich wartościach takich liczb.
-
Grafo-ania, czyli rzecz o grafach i algorytmach. Drzewa Steinera
PublicationProblem: na płaszczyźnie leżą 3 punkty. Znajdź czwarty, taki że jego sumaryczna odległość od 3 pozostałych jest minimalna, Pokazujemy jak rozwiązać ten problem i jego uogólnienie.
-
The Use of Geodata in the Process of the Ventilation of the City of Krakow
Publication -
Grafy w Imperium Rzymskim
PublicationTeoria 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?
-
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...
-
Modelowanie problemów strażniczych jako grafów dynamicznych - przykładowy sposób analizy skuteczności systemów strażniczych
PublicationW problemach strażniczych rozważamy przestrzeń (graf), w której znajduje się intruz i pewna liczba agentów przechwytujących, zaś celem większości algorytmów jest jak najszybsze przechwycenie intruza lub też uniknięcie przez niego detekcji.Zaprezentowany model pozwala na praktyczne rozważanie problemów z życia wziętych przez matematyczne przedstawienie różnorodnych agentów przechwytujących (kamery mobilne i stacjonarne, strażnicy...
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Szybkie mnożenie macierzy
PublicationMiniesej zawiera komentarz na temat zastosowania sztucznej inteligencji do problemu mnożenia macierzy.
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Problem 8 hetmanów
PublicationW eseju spojrzano na problem 8 hetmanów na szachownicy z punktu widzenia teorii grafów
-
Agrohydrologia obliczeniowa
PublicationW pracy przedstawiono algorytm obliczania transpiracji, bilansu wodnego gleb oraz modelowania małych zlewni. Przedstawiono niezbędne dane do obliczeń. Przedstawiono instrukcje arytmetyczne niezbędne do przeprowadzenia obliczeń. Szczególną uwagę zwrócono na modele przepływu wody w systemie gleba - roślina - atmosfera. Omówiono też relację pomiędzy wodą a plonowaniem roślin oraz równanie Richardsa opisujące dynamikę uwilgotnienia...
-
CD68 expression in aortocoronary saphenous vein bypass grafts
Publication -
Grafy i systemy. Urzeczywistnienie abstrakcji
Publication -
Antypodalna radiowa liczba chromatyczna grafu.
PublicationOpisane 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ń.
-
The complexity of equitable vertex coloring graphs
PublicationW artykule podajemy wzory na sprawiedliwą liczbę chromatyczną niektórych produktów grafowych. Ponadto przedstawiamy dwa algorytmy wielomianowe dla sprawiedliwego kolorowania grafów suboptymalną liczba kolorów.
-
Self-stabilizing algorithms for graph coloring with improved performance guarantees
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 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.
-
Compact cyclic edge-colorings of graphs
PublicationArtykuł jest poświęcony modelowi zwartego cyklicznego kolorowania krawędzi grafów. Ten wariant kolorowania jest stosowany w modelowaniu uszeregowań w systemach produkcyjnych, w których proces produkcyjny ma charakter cykliczny. W pracy podano konstrukcje grafów, które nie zezwalają na istnienie pokolorowania w rozważanym modelu. Wykazano także kilka własności teoretycznych, takich jak ograniczenia górne na liczbę kolorów w optymalnym...
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Twierdzenie o czterech barwach
PublicationPrzedstawiono istotę i historię twierdzenia o 4 barwach.
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Gry chromatyczne na grafach.
PublicationW minieseju analizujemy grę 2-osobową, polegającą na tym, że Alicja i Bogdan współdziałają by pomalować mapę narysowaną na płaszczyźnie.
-
Teoria agencji a teoria stewarda w nadzorze korporacyjnym
PublicationOmówiono specyficzne różnice dotyczące teorii agencji i stewarda, odwołując sie do alternatywnych modeli natury człowieka. Przytoczono badania, które usiłują pogodzić różnice między tymi założeniami. Zaproponowano model bazujący na psychologicznych cechach podwładnego i sytuacyjnych cechach organizacji.
-
Realizacja zadań w grafie przez grupę mobilnych jednostek
PublicationGrupa mobilnych jednostek, nazywanych także agentami, jest umiejscowiona w jednym lub wielu wierzchołkach grafu nazywanych bazami. Stamtąd poruszając się po z góry znanym (offline) lub nieznanym (online) grafie muszą wykonać powierzone im zadanie, takie jak przeszukanie grafu, spotkanie, dekontaminacja grafu czy wybór lidera. Celem jest znalezienie optymalnej, rozproszonej, deterministycznej strategii (sekwencji ruchów jednostek),...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje 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...
-
Serwery obliczeniowe.
PublicationArtykuł zawiera opis współczesnych serwerów obliczeniowych i trendów rozwojowych. Zostały zaprezentowane najbardziej popularne architektury ze szczególnym uwzględnieniem klasterów obliczeniowych. Ponadto przedstawiono sposoby realizacji komunikacji między komputerami i procesorami w różnych konfiguracjach sprzętowych. Artykuł zawiera przykłady praktycznych zastosowań i projektów związanych z serwerami obliczeniowymi.
-
Use of LIDAR Data in the 3D/4D Analyses of the Krakow Fortress Objects
PublicationThe article presents partial results of studies within the framework of the international project "Cultural Heritage Through Time" (CHT2). The subject of the study were forts of the Krakow Fortress, which had been built by the Austrians between 1849-1914 in order to provide defence against the Russians. Research works were aimed at identifying architectural changes occurring in different time periods in relation to selected...
-
Ultrastructural variability of macrophages in the wall of selected aorto-coronary bypass grafts
Publication -
Wybrane własności problemu routingu oraz kolorowania ścieżek w grafie.
PublicationReferat 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...
-
Metaheurystyki dla problemu routingu oraz kolorowania ścieżek w grafie.
PublicationReferat 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...
-
Pollutant deposition via dew in urban and rural environment, Cracow, Poland
PublicationThis study is a comparative analysis of dew in rural and urban environment. Dew samples were collected between May and October, 2009 in two reference stations in southern Poland: Cracow and Gaik-Brzezowa. The investigation included comparison of volume and chemistry of the collected samples. Due to its formation mechanisms, dew is a good indicator of air pollution. Following parameters were analyzed in 159 collected samples: pH,...
-
Model silnika spalinowego w formie grafów wiązań (GW).A model of the IC engine in the form of the bond graph (BG).
PublicationPrzedstawiono uzasadnienie użycia metody grafów wiązań do do modelowania silnika spalinowego jako źródła energii w systemach energetycznych składających się z elementów o różnej naturze fizycznej, na przykład w pojazdach hybrydowych. Przedstawiono propozycję formalizacji charakterystyki silników spalinowych wynikającą z przyjętej metody modelowania. Analityczną formę charakterystyki przedstawiono jako wielowymiarową funkcję wektorową....
-
Teoria i praktyka
PublicationTeoria i praktyka to pojęcia, których zdefiniowanie w odniesieniu do projektowania architektoniczno-urbanistycznego pozwala na określenie zależności pomiędzy przestrzeniami wymagającymi bezwzględnej równowagi.
-
Wybrane zastosowania niestandardowych modeli kolorowania w szeregowniu dwu-procesowych zadań jednostkowych
PublicationNiniejsza 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.
-
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.
-
Szeregowanie zadań metodami kolorowania grafów.Monografie 37.
PublicationNiniejsza 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.
-
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.
-
The circular chromatic index of some class 2 graphs
PublicationW artykule został wyznaczony cyrkularny indeks chromatyczny dla dwóch rodzin grafów klasy 2. Co więcej, podano nie trywialne oszacowania tego parametru dla snarków Isaacsa i Goldberga. Na koniec artykułu rozważana jest złożoność obliczeniowa problemów związanych z cyrkularnym kolorowaniem krawędzi.
-
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.
-
The new footbridge in city of Cracow dynamic design and final verification in test loading
PublicationArtykuł przedstawia rozwój projektu kładki od formy architektonicznej do ostatecznego kształtu konstrukcji.
-
THE CONCEPT OF MODELING OF SNOW IMPACT ON THE STRUCTURE OF THE SUSPENDED TAURON ARENA ROOF IN CRACOW
PublicationThe article presents studies and numerical simulations on modeling snow influence on TAURON ARENA suspended roof structure in Cracow. The scope of work includes experimental tests, functions solutions taking into account various cases of snow impact according to PN and EC, as well as numerical simulations for the sport and entertainment arena in the Czyzyny district. The FEM roof structure model developed in the SOFISITK software...
-
Badania elektrochemiczne wpływu powłok zawierających grafit na korozję stali konstrukcyjnej
PublicationPrzeprowadzono badania elektrochemiczne powłok przewodzących zawierających grafit. W przypadku bezpośredniego kontaktu elektrycznego powłok zawierających grafit ze stalą konstrukcyjną w środowisku elektrolitycznym może powstawać ogniwo galwaniczne. Stal konstrukcyjna w tym przypadku pełni rolę anody, co stwarza duże zagrożenie korozyjne. Przeprowadzono badania szybkości korozji stali konstrukcyjnej w wyniku działania ogniwa galwanicznego...
-
Toward Polyethylene–Polyester Block and Graft Copolymers with Tunable Polarity
PublicationThe synthesis and characterization of polyethylene–polyester block and graft copolymers and their potential as compatibilizers in polyethylene-based polymer blends are being described. The various routes to functionalized polyethylenes and the corresponding block/graft copolymers have been compared and evaluated for their scalability to industrial scale production. Hydroxyl chain-end and randomly OH-functionalized HDPE as well...
-
Kultura jakości – teoria a praktyka
PublicationCelem artykułu jest wskazanie występowania rozbieżności pomiędzy definiowanymi oczekiwaniami a rzeczywistym postrzeganiem kultury jakości przez członków społeczności w instytucjach szkolnictwa wyższego oraz zachęcenie do promowania działań oddolnych, wspomagających zapewnienie i doskonalenie jakości we wszystkich obszarach aktywności uczelni.
-
Feliksa Konecznego teoria cywilizacji.
PublicationW artykule omówiono koncepcję opisu i porównywania cywilizacji, traktowanych jako metoda ustroju życia zbiorowego, przedstawioną przez polskiego historyka Feliksa Konecznego (1862-1949) w jego pracy
-
Obliczeniowa ocena zdeformowanego węzła dźwignicy
PublicationW pracy przedstawiono wybrane problemy obliczeń wytrzymałościowych węzła ładowarki statkowej, który uległ uszkodzeniu. Przeprowadzono szereg analiz numerycznych, które miały na celu zidentyfikowanie przyczyn i warunków powstania zaobserwowanej formy deformacji. Następnie oceniono stan bezpieczeństwa węzła i zaproponowano najmniej złożone sposób jego naprawy oraz modernizacji mającej na celu poprawę bezpieczeństwa pracy. Całość...