Search
Filters
total: 3391
filtered: 3098
-
Catalog
- Publications 3098 available results
- Conferences 3 available results
- People 66 available results
- Inventions 1 available results
- Projects 10 available results
- Research Teams 5 available results
- Research Equipment 1 available results
- e-Learning Courses 114 available results
- Events 10 available results
- Open Research Data 83 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: algorytm%20grovera
-
Sprzętowa i programowa realizacja algorytmu szyfrującego AES = Hardware and software implementation of AES algorithm
PublicationW artykule przedstawiono sprzętową i programową realizację algorytmu szyfrującego i deszyfrującego AES. Obydwie implementacje zostały zrealizowane z wykorzystaniem platformy Virtex-II i praktycznie zweryfikowane. Jako kryteria do porównania wybrano: zużycie zasobów, przepustowość i zużycie mocy. Wersja sprzętowa charakteryzuje się 190-krotnie większą przepustowością, 80-krotnie mniejszym zużyciem energii na przetworzenie jednego...
-
Interference aware bluetooth scatternet (re)configuration algorithm IBLUERA
PublicationThis paper presents a new algorithm IBLUEREA, which enables reconfiguration of Bluetooth scatternet to reduce interference. IBLUEREA makes use of the complex model comparing ISM environment efficiency. The mechanism envisages the use of the assessment of the probability of successful (unsuccessful) frame transmission in order to take a decision concerning co-existence of technologies which make use of the same ISM band (here Bluetooth...
-
Algorytmy ewolucyjne
PublicationW pracy przedstawiono istotniejsze zagadnienia związane z tworzeniem i działaniem Algorytmów Genetycznych i Strategii Ewolucyjnych, które łącznie określane są jako Algorytmy ewolucyjne. Zwrócono szczególną uwagę na Strategie Ewolucyjne, gdyż zagadnienia z nimi związane są mało reprezentowane w literaturze polskiej i anglojęzycznej. Natomiast opis Algorytmów Genetycznych jest raczej cząstkowy, ze względu na ich popularność...
-
ALGORYTMY NISQ
Publication -
Efektywny algorytm modelowania kanału radiokomunikacyjnego
PublicationW referacie omówiono efektywny algorytm modelowania kanału radiokomunikacyjnego z zanikami i propagacją wielodrogową. Zaproponowano szybką metodę ważonego próbkowania prążkowej odpowiedzi impulsowej kanału radiokomunikacyjnego. Przedstawiono algorytm generacji sekwencji współczynników rayleighowskich o pożądanym rozkładzie gęstości mocy z wykorzystaniem transformacji FFT. Na podstawie porównania ze stosowanym dotychczas modelem...
-
Algorytm ekstrakcji cech biometrycznych twarzy
PublicationW referacie zawarto opis metody automatycznej lokalizacji oraz parametryzacji punktów charakterystycznych w obrazie twarzy. Do lokalizacji punktów charakterystycznych wykorzystano zmodyfikowany algorytm EBGM (ang. Elastic Bunch Graph Matching). Algorytm ten pozwala lokalizować punkty w obrazie przy założeniu niezmienności topologii grafu połączeń między nimi.W referacie przedstawiono podstawy teoretyczne metody oraz zaimplementowany...
-
Porównanie algorytmów MGA i NGA do projektowania i optymlizacji kombinacyjnych układów cyfrowych z algorytmem MLCEA.
PublicationW artykule zaprezentowano porównanie algorytmów ewolucyjnych do projektowania i optymalizacji kombinacyjnych układów cyfrowych. Porównano algorytmy MGA (Multiobjective Genetic Algorithm) i NGA (Genetic Algorithm with N-cardinality Reprezentation) z utworzonym algorytmem MLCEA (Multi-Layer Chromosome Evolutionary Algorithm), bazującym na reprezentacji osobników w postaci chromosomów wielowarstwowych. Otrzymane wyniki dla algorytmu...
-
Algorytmy analizy modalnej
PublicationReferat stanowi wprowadzenie teoretyczne do badań analizy modalnej. Przedstawiono wyniki badań analizy modalnej stanowiska do badania małogabarytowych wirników przeprowadzonych w programie Abaqus oraz ich weryfikację za pomocą badań eksperymentalnych. Przedstawiono również program rozwijany w Zakładzie Dynamiki Wirników i Łożysk Ślizgowych - Dynwir-S-70. Jest to program do analizy modalnej wielopodporowych i wielomasowych wirników.
-
Nowy wewnątrzbudynkowy algorytm wyznaczania położenia obiektów
PublicationW referacie zaprezentowano nowy wewnątrzbudynkowy algorytm wyznaczania położenia obiektów WAP. W algorytmie tym uwzględnia się właściwości środowiska propagacyjnego, dzięki czemu dokładność estymat położenia obiektów wyznaczonych algorytmem WAP jest większa niż wyznaczonych znanymi algorytmami Chana oraz Foy’a. W referacie przedstawiono wyniki analizy porównawczej tych trzech algorytmów z użyciem rzeczywistych pomiarów odległości...
-
Algorytm oceny ryzyka budowlanego przedsięwzięcia inwestycyjnego
PublicationW referacie omawia się propozycję metody pomiaru i oceny ryzyka związanego z budowlanym przedsięwzięciem inwestycyjnym.
-
Algorytm dla lokalizacji punktów skupienia ciągów.
PublicationPrzedstawiono sformułowanie algorytmu numerycznego dla lokalizacji punktów skupienia ciągów w przestrzeni Rn. Proponowany algorytm należy do grupy algorytmów wykorzystujących identyfikację przedziałową (komórkową) oraz sortowanie. Rozważane są trajektorie z czasem dyskretnym lub po dyskretyzacji zmiennej niezależnej.
-
Nowy inteligentny algorytm działania automatyki odciążającej
PublicationW referacie przedstawiono nowy algorytm automatyki odciążającej oparty na elementach logiki rozmytej. Zaletą układu RAAO jest możliwość wyłączania dowolnej liczby grup odbiorów, objętych działaniem automatyki odciążającej, w dowolnej fazie procesu odciążania. Dzięki takiemu rozwiązaniu uzyskano znaczną poprawę zarówno skuteczności jak i jakości procesu odciążania. W referacie zamieszczono przykładowe wyniki badań symulacyjnych...
-
Algorytm porządkowania tablic wynikowych informacji statystycznych
PublicationW artykule przedstawiono algorytm filtrowania danych służący do porządkowania tablic wynikowych. Celem artykułu jest zdefiniowanie miary ilości informacji, tak aby możliwe stało się wyselekcjonowanie takich tablic, które niosą największy ładunek informacyjny - największą ilość informacji. Autorzy skoncentrowali się na badaniu ilości informacji strukturalnej zawartej w tablicach statystycznych. Zadaniem proponowanej miary ilości...
-
Algorytm selekcji klonalnej w marszrutowaniu pojazdów
PublicationStreszczenie: Algorytmy selekcji klonalnej (SK) to algorytmy optymalizacji dyskretnej należące do klasy sztucznych systemów immunologicznych. W pracy przedstawiamy zastosowanie algorytmu SK do rozwiązywania NP-trudnego problemu Capacitated Vehicle Routing Problem (CVRP). Praca zawiera opis algorytmu i jego adaptacji do CVRP, wyniki badań nad parametrami algorytmu oraz eksperymentów komputerowych porównujących efektywność SK z algorytmem...
-
Zastosowanie algorytmu ewolucyjnego do uczenia neuronowego regulatora napięcia generatora synchronicznego. Evolutionary algorithm for training a neural network of synchronous generator voltage controller
PublicationNajpopularniejsza metoda uczenia wielowarstwowych sieci neuronowych -metoda wstecznej propagacji błędu - charakteryzuje się słabą efektywnością. Z tego względu podejmowane są próby stosowania innych metod do uczenia sieci. W pracy przedstawiono wyniki uczenia sieci realizującej regulator neuronowy, za pomocą algorytmu ewolucyjnego. Obliczenia symulacyjne potwierdziły dobrą zbieżność algorytmu ewolucyjnego w tym zastosowaniu.
-
Algorytmy genetyczne i ewolucyjne
PublicationAlgorytmy ewolucyjne istnieją dzięki wieloletnim obserwacją procesów zachodzących wśród żywych organizmów. Korzystają one z nazw i określeń występujących w genetyce np.: gen, chromosom. Algorytmy genetyczne oraz ewolucyjne używa się w procesach optymalizacyjnych w celu poszukiwania ekstremów.
-
Algorytmy rozpoznawania zmian chorobowych
PublicationW pracy przedstawiono, opisano i porównano pod wzgledem skutecznosci wybrane algorytmy rozpoznawania chorób w filmach endoskopowych, zaimplementowane w ramach aplikacji Wspomagania Badan Medycznych. Dokonano oceny algorytmów w zaawansowanym srodowisku testowym, zbudowanym w oparciu o duzy zbiór obrazów z filmów endoskopowych, pozyskanych we współpracy z Gdanskim Uniwersytetem Medycznym. Jednoczesnie zaprezentowano sposób optymalizacji...
-
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.
-
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.
-
Algorytm PWM dla 9-fazowego silnika indukcjnego
Publication -
Algorytm doboru interfejsu radiowego dla radia kognitywnego
PublicationW artykule zaprezentowano zmodyfikowany cykl kognitywny i zaproponowano nowy algorytm do doboru interfejsu radiowego, dla radia kognitywnego, w danym momencie czasu, przy określonych, chwilowych warunkach operacyjnych pracy systemów. Działanie algorytmu zilustrowano w formie wyników badań symulacyjnych.
-
Nowy algorytm regulacji transformatorów zasilających siec rozdzielczą
PublicationW niniejszym artykule opisano przykład nowego inteligentnego algorytmu regulatora transformatora. Układ regulacji transformatorów 110/SN, z proponowanym algorytmem działania, umożliwia automatyczne dostosowanie algorytmu działania regulatorów do aktualnych stanów systemu elektroenergetycznego (np. lawina napięcia) i w ten sposób może wpłynąć na wzrost bezpieczeństwa elektroenergetycznego.
-
Nowy algorytm regulacji transformatorów zasilających sieć rozdzielczą
PublicationW niniejszym artykule opisano przykład nowego inteligentnegoalgorytmu regulatora transformatora. Układregulacji transformatorów 110/SN, z proponowanym algorytmemdziałania, umożliwia automatyczne dostosowaniealgorytmu działania regulatorów do aktualnych stanówsystemu elektroenergetycznego (np. lawina napięcia)i w ten sposób może wpłynąć na wzrost bezpieczeństwaelektroenergetycznego.
-
Adaptacyjny algorytm regulacji transformatorów zasilających sieć rozdzielczą
PublicationW niniejszym artykule opisano przykład nowego inteligentnego regulatora transformatora. Układ regulacji transformatorów 110/SN, z proponowanym algorytmem działania, umożliwia automatyczne dostosowanie algorytmu działania regulatorów do aktualnych stanów systemu elektroenergetycznego (np. lawina napięcia) i w ten sposób może wpłynąć na wzrost bezpieczeństwa elektroenergetycznego.
-
Self-stabilizing algorithm for edge-coloring of graphs
PublicationReferat ten poświęcony jest kolorowaniu grafów w modelu rozproszonym.Podano samostabilizujący się algorytm kolorowania krawędzi grafu wraz z dowodem poprawności oraz oszacowaniem jego czasu działania.
-
Algorytmy wykrywania krawędzi w obrazie
PublicationWykrywanie krawędzi jest pierwszym etapem w cyfrowym przetwarzaniu obrazów. Operacja ta polega na usunięciu informacji takich jak kolor czy też jasność, a pozostawieniu jedynie krawędzi. Efektem tej operacji jest znaczna redukcja ilości danych do dalszej analizy. Pozwala to na zastosowanie w następnych etapach bardziej złożonych algorytmów rozpoznawania obiektów na podstawie kształtu. W artykule zaprezentowano zastosowanie algorytmów...
-
Iteracyjny algorytm wyznaczania sterowania optymalnego dla systemów dynamicznych
PublicationArtykuł prezentuje iteracyjną metodę wyznaczania sterowania optymalne-go dla systemów dynamicznych ciągłych i dyskretnych w czasie. Celem sterowania jest minimalizacja funkcjonału kosztu (wskaźnika jakości) przy narzuconych ograniczeniach w postaci równań różniczkowych lub różni-cowych, warunków brzegowych oraz algebraicznych zależności w postaci równań lub nierówności wiążących ze sobą optymalne funkcje sterujące u(t) i funkcje...
-
Algorytm regulacji DMC z pomiarem wartości wielkości sterującej
PublicationZaprezentowano prostą modyfikację algorytmu regulacji DMC. Polega ona na uwzględnieniu w regulatorze rzeczywistej wartości sygnału sterującego bezpośrednio oddziaływującego na obiekt. Przedstawiono specyficzne właściwości zmodyfikowanego algorytmu oraz obszar jego potencjalnych zastosowań.
-
Uproszczony algorytm lokalizowania stacji ruchomej w systemie UMTS.
PublicationW niniejszym artykule został przedstawiony uproszczony algorytm lokalizowania stacji ruchomej UE w systemie UMTS. Algorytm ten umożliwia wyznaczanie położenia geograficznego stacji ruchomej bez znajomości różnic czasowych w synchronizacji poszczególnych stacji bazowych RTD.
-
Algorytm normalizacji poziomów głośności dźwięku zarejestrowanego w plikach.
PublicationW pracy przedstawiono algorytm normalizacji głośności plików dźwiękowych dedykowany głośnikowemu odsłuchowi wielokanałowemu. Algorytm generuje wartości wzmocnień potrzebne do ujednolicenia głośności plików dźwiękowych. Są one uzyskiwane na podstawie normalizacji wartości skutecznej, odpowiednio przefiltrowanych plików dźwiękowych. W celu wyeliminowania ewentualnych przesterowań, po wykonanej normalizacji wartości skutecznej, następuje...
-
Samostabilizujący się algorytm kolorowania grafów dwudzielnych i kaktusów
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.
-
Nowy algorytm podziału łącza dla sieci IEEE 802.17
PublicationW standardzie 802.17 w celu zapewnienia sprawiedliwego dostępu do łącza zastosowano tzw. algorytm Darwina [3]. W trybie agresywnym, w przypadku, gdy głowa domeny zatłoczeniowej generuje ruch o małej intensywności względem pojemności danego łącza, występują duże oscylacje. W rozdziale zaproponowano algorytm podziału łącza, który w znacznym stopniu likwiduje problem oscylacji na zatłoczonym łączu.
-
Proces rozwoju dokumentu petycji elektronicznej wykorzystujący algorytm genetyczny
PublicationW oparciu o opracowaną przez siebie wcześniej koncepcję hybrydowej architektury systemu petycji elektronicznej, autor zaproponował wykorzystanie algorytmu genetycznego do sterowania procesu edycji dokumentu przez wielkie grupy obywateli (100 tysięcy i więcej). Z przeprowadzonych badań symulacyjnych wynika, że możliwe jest osiągnięcie wersji dokumentu spełniającego kryterium liczby zwolenników (podpisów obywateli) w niewielkiej...
-
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.
-
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.
-
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...
-
Grid Implementation of a Parallel Multiobjective Genetic Algorithm for Optimized Allocation of Chlorination Stations in Drinking Water Distribution Systems: Chojnice Case Study
PublicationSolving multiobjective optimization problems requires suitable algorithms to find a satisfactory approximation of a globally optimal Pareto front. Furthermore, it is a computationally demanding task. In this paper, the grid implementation of a distributed multiobjective genetic algorithm is presented. The distributed version of the algorithm is based on the island algorithm with forgetting island elitism used instead of a genetic...
-
Improving signal quality in speech codec using hybrid perceptual-parametric algorithm. [Poprawa jakości sygnału w kodekach mowy przy użyciu hybrydowego, parametryczno-perceptualnego algorytmu kodowania]
PublicationPrzedstawiono hybrydową, parametryczno-perceptualną architekturę kodeka. Podstawowa struktura kodeka parametrycznego CELP została wzbogacona o kodowanie perceptualne. Celem hybrydyzacji kodeka jest uzyskanie znaczącej poprawy subiektywnej jakości zdekodowanego sygnału. Zaproponowano dwie hybrydowe struktury. Pierwsza polega na perceptualnym kodowaniu dźwięcznych elementów sygnału rezydualnego kodeka CELP. Druga metoda dzieli sygnał...
-
ANALIZA PORÓWNAWCZA ZMODYFIKOWANEGO ALGORYTMU GRADEINTOWEGO ORAZ ALGORYTMU CHANA DO WYZNACZANIA POŁOŻENIA OBIEKTÓW W SYSTEMACH RADIONAWIGACYJNYCH
PublicationW referacie zostały omówione dwa algorytmy służące do wyznaczania położenia obiektów na podstawie pomiarów odległości: znany z literatury algorytm Chana oraz nowy zmodyfikowany algorytm gradientowy zaproponowany przez autorów referatu. Efektywność obu algorytmów została porównana na podstawie pomiarów przeprowadzonych w środowisku wewnątrzbudynkowym charakteryzującym się silną propagacją wielodrogową.
-
Algorytmy ewolucyjne w projektowaniu sieci MPLS
PublicationNiniejszy artykuł opisuje zrealizowane narzędzie, które umożliwia projektowanie sieci MPLS za pomocą Algorytmów Ewolucyjnych. Narzędzie to generuje ścieżki i optymalizuje alokację na nich przepływności żądań zapotrzebowań z uwzględnieniem klas obsługi strumieni ruchu z gwarancją zróżnicowanego QoS. Może także wybierać ścieżki do alokacji spośród danych wejściowych tak, aby wykorzystanie sieci było optymalne. Narzędzie to zostało...
-
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.
-
Przybliżone algorytmy uporządkowanego kolorowania krawędzi multidrzew.
PublicationNiniejszy referat omawia zagadnienie uporządkowanego kolorowania krawędzi multidrzew. Opisano w nim dwa przybliżone algorytmy dla tego problemu, zbadano ich własności teoretyczne oraz przedstawiono wyniki testów komputerowych, jakim zostały poddane.
-
Optymalizacja z wykorzystywaniem algorytmu kolonii mrówek
PublicationW referacie przedstawiono nowoczesną mataheurystykę - algorytm kolonii mró- wek oraz przykłady zastosowań do rozwiązywania trudnych problemów optymali- zacji kombinatorycznej. Zaprezentowano wyniki szeregowania zadań niezależ-nych i niepodzielnych na wielu procesorach równoległych przy użyciu algo- rytmu kolonii mrówek.
-
Przetwarzanie zespołowe: przykłady, algorytmy i systemy
PublicationScharakteryzowano pracę zespołową i dokonano klasyfkacji zespołów w zależności od osiąganych przez te zespoły wyników. Przedstawiono zasady przetwarzania zespołowego oraz zilustrowano je reprezentatywnymi przykładami. Podano w jaki sposób można wspomagać komputerowo funkcje kooperacji, koordynacji i komunikacji oraz nawiązano do kooperacyjno-iteracyjnej metody wytwarzania oprogramowania. Sformułowano trzy podstawowe algorytmy przetwarzania...
-
Algorytm generacji sygnału GMSK do wykorzystania w układach programowalnych
PublicationW artykule przedstawiono szczegółowy opis sygnałów zmodulowanego GMSK. Zaprezentowano algorytm generacji tego przebiegu możliwy do implementacji w układach programowalnych. Przedyskutowano wpływ parametrów opisujących ten algorytm na jakość sygnału zmodulowanego.
-
Algorytm dyskretnej transformacji falkowej zoptymalizowany dla implementacji w mikrokontrolerze
PublicationNajczęściej stosowane algorytmy dyskretnej transformacji falkowej (DWT) wymagają sporych mocy obliczeniowych i dużych ilości pamięci danych, same obliczenia natomiast wykonywane są na liczbach rzeczywistych. Nie można ich zatem bezpośrednio zastosować w mikrontrolerach. Praca przedstawia propozycję optymalizacji algorytmu dyskretnej transformacji falkowej pod kątem implementacji w mikrontrolerze 8-bitowym. Dokonano przyspieszenia...
-
Adaptacyjny algorytm filtracji sygnału fonokardiograficznego wykorzystujący sztuczną sieć neuronową
PublicationPodstawowym problemem podczas projektowania systemu autodiagnostyki chorób serca, bazującego na analizie sygnału fonokardiograficznego (PCG), jest konieczność zapewnienia, niezależnie od warunków zewnętrznych, sygnału o wysokiej jakości. W artykule, bazując na zdolności Sztucznej Sieci Neuronowej (SSN) do predykcji sygnałów periodycznych oraz quasi-periodycznych, został opracowany adaptacyjny algorytm filtracji dźwięków serca....
-
A polynomial algorithm for some preemptive multiprocessor task scheduling problems.
Publication.
-
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.