Search
Filters
total: 13800
filtered: 11627
-
Catalog
- Publications 11627 available results
- Journals 227 available results
- Conferences 47 available results
- People 237 available results
- Inventions 4 available results
- Projects 54 available results
- Laboratories 5 available results
- Research Teams 13 available results
- Research Equipment 9 available results
- e-Learning Courses 481 available results
- Events 41 available results
- Offers 1 available results
- Open Research Data 1054 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: MODELE GRAFOWE
-
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)...
-
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...
-
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.
-
Grafo-mania, czyli rzecz o grafach i algorytmach. Spłaszczanie grafów
PublicationW eseju poruszono problem rysowania grafów na płaszczyźnie.
-
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...
-
Ważone umieszczanie grafów jako model optymalizacji komunikacji w sieciach heterogenicznych
PublicationUmieszczenie grafu w grafie jest odwzorowaniem pomiędzy parą grafów. Graf umieszczany reprezentuje sieć komunikujących się ze sobą zadań, natomiast graf docelowy dostępną architekturę wykonania tych zadań. Problem polega na takim odwzorowaniu wierzchołków i krawędzi, aby zminimalizować koszty wynikające z potrzeby użycia zastępczych ścieżek w grafie docelowym. W klasycznym modelu przyjmuje się, że oba grafy są proste i ich krawędzie...
-
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.
-
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ą....
-
Usability of Mobile Applications: A Consolidated Model
PublicationMobile devices have become an integral part of the digital ecosystem, connecting people, businesses, and information around the world in ways never before possible. In particular, smartphones, tablets and other handheld devices equipped with mobile applications have changed every aspect of our lives. Today, a user can choose from nearly five million applications available for both Android and iOS operating systems. However, only...
-
Uniform Model Interface for Assurance Case Integration with System Models
PublicationAssurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...
-
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.
-
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.
-
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.
-
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.
-
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.
-
Aktywne modele kształtu i ich biometryczne zastosowania = Active shape models and their biometric applications
PublicationAktywne modele kształtu zostały zaproponowane w latach 90 XX wieku jako uniwersalna metoda lokalizowania i rozpoznawania obiektów. Koncepcje teoretyczne, na których metoda ta została oparta, wydają się obiecujące, jednak ich praktyczna wartość nie została jeszcze do końca zweryfikowana. Autorzy niniejszej pracy przeprowadzili testy aktywnych modeli kształtu za pomocą własnego systemu lokalizacji obiektów, szczególną uwagę zwracając...
-
Krajowe Sympozjum Telekomunikacji KST 2002
PublicationOmówiono problematykę XVIII KST. Zwrócono szczególną uwagę na sesje plenarne: realizacja prawa telekomunikacyjnego; usługi w sieciach następnej generacji; zarządzanie usługami i sieciami telekomunikacyjnymi. Podkreślono wpływ KST na realizowaną w kraju strategię rozwoju sieci i usług telekomunikacyjnych.
-
Krajowe sympozjum telekomunikacji KST´2003.
PublicationZaprezentowano problematykę Krajowego Sympozjum Telekomunikacji KST´2003. Omówiono problematykę sesji plenarnych, w tym prezentowany przez prof. referat: ''Perspektywy rozwoju optycznych sieci transportowych'', omówiono obrady sekcyjne i prezentacje firmowe poświęcone nowoczesnym systemom telekomunikacyjnym.
-
Technologie informacyjne a grupowe podejmowanie decyzji.
Publicationartykuł prezentuje specyfikę i efektywność zespołów wirtualnych, czyli grup zadaniowych realizujących przedsięwzięcia w oparciu o technologię informacyjną. Przedstawione są główne zalety współpracy z wykorzystaniem internetu (wzrost innowacyjności, koncentracja na zadaniu, łatwośc archiwizowania pracy grupowej) oraz jej postawowe zagrożenia (nasilenie mechanizmów myślenia grupowego, spadek wewnątrzgrupowego zaufania i wydłużenie...
-
Krajowe Sympozjum Telekomunikacji KST 2005
PublicationPrzedstawiono nowa strukturę organizacyjną Krajowego Sympozjum Telekomunikacji. Zaprezentowano Komitet Sterujący i programowy KST. Dla Krajowego Sympozjum KST/2005 uzgodniono Sesje Plenarne, na których zaprezentowano referaty prof. A. Dobrogowskiego, prof. J. Woźniaka, prof. A. Zabłudowskiego i k. Nowak. Zorganizowano również sesje specjalne.
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
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.
-
Turbiny parowe i gazowe
PublicationArtykuł opisuje turbiny parowe i gazowe. Autorka przedstawia chronologię wynalezienia turbin ich zasadę działania i najważniejsze zastosowania. W pracy przedstawione zostały różnice między turbinami parowymi i gazowymi i wynikające z tego wady i zalety obu rozwiązań.
-
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...
-
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ń.
-
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.
-
Sensitivity of binomial N‐mixture models to overdispersion: The importance of assessing model fit
Publication -
The role and concept of sub-models in the smart fuzzy model of the internet mortgage market
PublicationThe paper introduces some challenges of the fast growing mortgage market in Poland. One of these challenges is the need for a model development that could be used for various predictions related to this market. At the current stage of the model evelopment process our main goal is to propose and introduce sub-models the role of which would be to describe three different economic environments: stable, fast growing, and recession....
-
A compact smart sensor based on a neural classifier for objects modeled by Beaunier's model
PublicationA new solution of a smart microcontroller sensor based on a simple direct sensor-microcontroller interface for technical objects modeled by two-terminal networks and by the Beaunier’s model of anticorrosion coating is proposed. The tested object is stimulated by a square pulse and its time voltage response is sampled four times by the internal ADC of microcontroller. A neural classifier based on measurement data classifies the...
-
Zastosowania trójkątnych płytek w grafice komputerowej
PublicationPraca 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.
-
Cienie i cieniowanie w grafice komputerowej
PublicationW artykule poruszono kwestie dotyczące tworzenia cieni i światłocieni w gra-fice komputerowej. Przywołano popularne algorytmy do generowania cieni orazich relacje z metodami wykreślnymi. Ponadto omówiono specyfikę i niektóremożliwości przykładowego programu (3DStudio Viz 3) w tym zakresie.
-
Integracja modeli ocenowych rozwoju organizacji IT w modelu pozyskiwania i przetwarzania wiedzy
PublicationCelem rozdziału jest prezentacja Modelu Pozyskiwania i Przetwarzania wiedzy (MPPW) wspomagającego rozwój organizacji IT oraz pokazanie możliwości wprowadzenia do opracowanego rozwiązania różnych modeli ocenowych.
-
An optimal abstraction model for hardware multithreding in modern processor architectures.
PublicationPrzegląd technologii implementacji wątków sprzętowych. Propozycja abstrakcji maszyny wirtualnej SIMD (On-Demand Virtual Single Instruction Multiple Data machine) do optymalnego użycia wątków sprzętowych.
-
Finite Element model updating on experimental modal parameters
Publication -
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.
-
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.
-
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...
-
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.
-
Elektrociepłownie gazowe w województwie pomorskim.
PublicationPrzedstawiono ideę skojarzonego wytwarzania energii elektrycznej i ciepła. Podano charakterystykę energetyki rozproszonej. Scharakteryzowano szczegółowo ostatnio zrealizowane w woj. pomorskim elektrociepłownie zasilane różnorodnym paliwem gazowym.
-
Elektrociepłownie gazowe w województwie pomorskim
PublicationPrzedstawiono ideę skojarzonego wytwarzanie energii elektrycznej i ciepła, jako tendencję rozwojową krajowego ciepłownictwa. Podano charakterystykę energetyki rozproszonej. Przedstawiono bliżej typowe układy skojarzone oparte na działaniu silnika spalinowego. Omówiono ideę równoczesnego wytwarzania energii elektrycznej, ciepła i chłodu. Scharakteryzowano szczegółowo ostatnio zrealizowane w województwie pomorskim elektrociepłownie...
-
Design and experimental evaluation of pod propulsor models for a large self-propelled ship model.
PublicationArtykuł przedstawia serię hydrodynamicznych badań swobodnych dwóch modeli pędnika podowego. Pędniki zostały zaprojektowane i zbudowane specjalnie dla dwóch wersji dużego modelu okrętu z własnym napędem, przeznaczonego do eksperymentów manewrowych. Jedna wersja jest napędzana pojedyńczym pędnikiem, druga jest wyposażona w dwa pędniki. Oba modele podów były badane w kanale obiegowym. Celem eksperymentu były pomiary sześciu składowych...
-
Modele biznesu elektronicznego a modele komunikacji marketingowej
PublicationW artykule ukazano polskie i zagraniczne koncepcje modeli biznesu elektronicznego. Przedstawiono również powiązane z nimi modele komunikacji marketingowej w Internecie. Wzrost gospodarczy oraz szybki rozwój wymagają stosowania sprawdzonych modeli funkcjonowania na rynku elektronicznym. Konieczne staje się również dostosowanie modeli komunikacji marketingowej do nowych, zmieniających się potrzeb odbiorców informacji.
-
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.
-
Distributed MIND - A New Processing Model Based on Mobile Interactive Documents
PublicationObliczenia w trybie zespołowym pozwalają na integrację działań ludzi i agentów systemowych w otwartym środowisku rozproszonym w celu rozwiązywania problemów formułowanych dynamicznie w trakcie pracy systemu. Problemy te najczęściej nie mają charakteru algorytmicznego, tzn. generowane rozwiązania nie mogłyby zostać wyliczone w skończonej liczbie kroków na podstawie danych charakteryzujących uczestników obliczeń. Autorzy proponują...