Filters
total: 2020
filtered: 1784
-
Catalog
- Publications 1784 available results
- People 65 available results
- Inventions 1 available results
- Projects 10 available results
- Research Teams 6 available results
- Research Equipment 1 available results
- e-Learning Courses 116 available results
- Events 8 available results
- Open Research Data 29 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: algorytmy ewolucyjne
-
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.
-
Zastosowanie algorytmu MSA (Multiple Similar Areas) do wyznaczania map głębi w wielowidokowych systemach widzenia komputerowego
PublicationArtykuł podejmuje temat pozyskiwania map głębi (ang. depth map) na podstawie zdjęć z wielu kamer w wyniku widzenia stereoskopowego. Mapa głębi zawierająca odległości od obiektów będących w zasięgu widzenia kamer pozyskana może zostać na podstawie zdjęć z co najmniej dwóch kamer pełniących funkcję kamery stereoskopowej. W mapach głębi pozyskanych w ten sposób występują jednak błędy. Artykuł dotyczy metod redukcji błędów dzięki zwiększeniu...
-
Badanie algorytmu identyfikacji parametrów modalnych wykorzystującego wiele rojów PSO pod kątem odporności na zakłócenia pomiarowe
PublicationW pracy przedstawiono wpływ zakłóceń pomiarowych na skuteczność algorytmu wykorzystującego wiele rojów PSO do identyfikacji parametrów modalnych w dziedzinie częstotliwości. W pracy przedstawiono wpływ poziomu szumu występującego w sygnale symulującym warunki pomiarowe przy rożnych poziomach zakłóceń. Ponadto otrzymane wyniki porównano z wynikami dla metod ERA i pLSCF-d. Uzyskane rezultaty wskazują, że proponowany algorytm w większości...
-
Task Allocation and Scalability Evaluation for Real-Time Multimedia Processing in a Cluster Envirinment
PublicationAn allocation algorithm for stream processing tasks is proposed (Modified best Fit Descendent, MBFD). A comparison with another solution (BFD) is provided. Tests of the algorithms in an HPC environment are descrobed and the results are presented. A proper scalability metric is proposed and used for the evaluation of the allocation algorithm.
-
Analiza istotności cech znamion skórnych dla celów diagnostyki czerniaka złośliwego
PublicationPomimo dynamicznego rozwoju metod uczenia maszynowego i ich wdrażania do praktyki lekarskiej, automatyczna analiza znamion skórnych wciąż jest nierozwiązanym problemem. Poniższy artykuł proponuje zastosowanie algorytmu ewolucyjnego do zaprojektowania, wytrenowania i przetestowania całych populacji klasyfikatorów (sztucznych sieci neuronowych) oraz ich iteracyjnego udoskonalania w każdej kolejnej populacji, w celu osiągnięcia jak...
-
WSKAZYWANIE PUNKTU STARTOWEGO DLA ITERACYJNYCH ALGORYTMÓW OBLICZANIA POŁOŻENIA Z UŻYCIEM SIECI NEURONOWEJ
PublicationW referacie przedstawiono wyniki badań nad możliwością wskazywania punktu startowego do pierwszej iteracji dla algorytmu iteracyjnego obliczania położenia w systemie lokalizacji dwuwymiarowej. Do wskazywania punktu startowego użyto jednokierunkowej sieci neuronowej a celem badań było znalezienie jak najmniejszej struktury sieci, pozwalającej na zbieżność algorytmu estymacji położenia w całym obszarze badań.
-
Analiza przydatności wybranych algorytmów opartych na ewolucji populacji do szeregowania zadań produkcyjnych
PublicationW pracy omówiono konstrukcję trzech algorytmów opartych na ewolucji populacji: ewolucyjnego, uczenia populacji i mrówkowego do szeregowania zadań produkcyjnych. Zaprezentowano wyniki eksperymentu dla trzech trudnych obliczeniowo problemów deterministycznych. Na podstawie otrzymanych wyników przeanalizowano przydatność przedstawionych metod do szeregowania zadań.
-
Modulacja FMT: właściwości oraz efektywna realizacja modulatora z wykorzystaniem algorytmu overlap-add
PublicationW artykule omówiono koncepcję modulacji FMT (ang. Filtered Multi-Tone) z próbkowaniem krytycznym oraz niekrytycznym, a także porównano podstawowe właściwości sygnałów w ten sposób zmodulowanych. Szczegółowo omówiono efektywną implementację modulatora FMT z wykorzystaniem banku filtrów polifazowych oraz techniki overlap-add. Pokazano wpływ parametrów modulatora, w tym charakterystyk filtru oraz odstępów miedzy nośnymi na charakterystyki...
-
Analiza symulacyjna wybranych algorytmów dostarczania paczek wiadomości w sieci DTN na Bałtyku
PublicationJedną z dróg zwiększania bezpieczeństwa żeglugi morskiej jest zapewnienie powszechnej dostępności usług e-nawigacji na obszarach morskich pozbawionych dostępu do Internetu. W artykule opisano wyniki symulacji wybranych algorytmów przekazywania wiadomości usług niewrażliwych na opóźnienia w znacznej odległości od lądu, w sieci o nieciągłej i sporadycznej łączności.
-
Modele matematyczne układów regulacji hydrozespołów, dedykowane do badań metod i algorytmów synchronizacji
PublicationW artykule omówiono dotychczasowe sposoby modelowana układów regulacji prędkości kątowej hydrozespołów, dedykowane m.in. do badań metod i algorytmów synchronizacji oraz do symulacji procesu automatycznej synchronizacji prądnic. Przedstawiono również sposób modyfikacji tych modeli do postaci uwzględniającej zakłócenia powodujące zniekształcenia charakterystyk przejściowych obiektów rzeczywistych.
-
Analiza znamion skórnych przy pomocy metod przetwarzania obrazu i algorytmów inteligencji obliczeniowej
PublicationNowotwory skóry są najczęściej spotykanymi nowotworami na świecie. Czerniaki złośliwe stanowią od około 5 do 7% wszystkich nowotworów złośliwych skóry u człowieka. Celem pracy była budowa zautomatyzowanego systemu do diagnostyki znamion skórnych pod kątem wykrycia czerniaka złośliwego. Omawiane narzędzie powinno służyć jako system wspomagania decyzji dla lekarzy pierwszego kontaktu lub jako system...
-
A polynomial algorithm for some preemptive multiprocessor task scheduling problems.
Publication.
-
Transient detection for speech coding applications
PublicationSignal quality in speech codecs may be improved by selecting transients from speech signal and encoding them using a suitable method. This paper presents an algorithm for transient detection in speech signal. This algorithm operates in several frequency bands. Transient detection functions are calculated from energy measured in short frames of the signal. The final selection of transient frames is based on results of detection...
-
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.
-
An efficient algorithm for mobile guarded guards in simple grids
PublicationW pracy rozważono problem strzeżenia ortogonalnych krat dwuwymiarowych przez mobilne straże strzeżone. Podano algorytmy wielomianowe m.in. dla przypadku krat prostych i dla przypadku krat bez przeszkód w kierunku poziomym (pionowym).
-
Wykorzystanie sztucznych sieci neuronowych do wykrywania i rozpoznawania tablic rejestracyjnych na zdjęciach pojazdów
PublicationW artykule przedstawiono koncepcję algorytmu wykrywania i rozpoznawania tablic rejestracyjnych (AWiRTR) na obrazach cyfrowych pojazdów. Detekcja i lokalizacja tablic rejestracyjnych oraz wyodrębnienie z obrazu tablicy rejestracyjnej poszczególnych znaków odbywa się z wykorzystaniem podstawowych technik przetwarzania obrazu (przekształcenia morfologiczne, wykrywanie krawędzi) jak i podstawowych danych statystycznych obiektów wykrytych...
-
An efficient incremental DFA minimization algorithm
PublicationW tym artykule przedstawiamy nowy algorytm minimalizacji deterministycznego automatu skończonego. Algorytm jest przyrostowy - może być zatrzymany w dowolnym momencie, dając częściowo zminimalizowany automat. Wszystkie inne (znane) algorytmy minimalizacji dają wyniki pośrednie nieprzydatne dla częściowej minimalizacji. Ponieważ pierwszy algorytm jest łatwo zrozumiały ale mało wydajny, rozważamy trzy praktyczne, znaczące usprawnienia....
-
Symulacje dynamiczno-molekularne ultraprecyzyjnego skrawania metali.
PublicationW pracy krótko przedstawiono powstałe w latach 1995-2001 algorytmy MD specjalizowane do symulacji przebiegu skrawania w skali nanometrycznej (ARMD iLRMD). W świetle tych algorytmów zaprezentowano opracowany przez autorów nowy algorytm i program do symulacji nanociencia, nano MD, oraz pokazano wybrane wyniki uzyskane za jego pomocą.
-
Realizacja układu sterowania blokiem wymienników ciepła w postaci programu komputerowego wykorzystującego zmodyfikowany algorytm regulacji predykcyjnej DMC
PublicationW artykule przedstawiono eksperymentalny układ sterowania blokiem wymienników ciepła elektrociepłowni wykorzystujący zmodyfikowany algorytm regulacji predykcyjnej DMC. Na początku krótko opisano obiekt sterowania, zadania stawiane przed układem regulacji i wybrany algorytm sterowania. Następnie omówiono sposób realizacji regulatora opartego na idei programu komputerowego uruchamianego na stacji operatorskiej i komunikującego się...
-
Generowanie początkowych rozwiązań przez algorytm sił wirtualnych w problemach logistycznych: rola wartości parametrów i charakterystyk powiązań
Publication -
Algorytm automatycznego strojenia regulatorów PI serwonapędów w maszynie frezującej CNC z wykorzystaniem metody optymalizacji rojem cząstek
PublicationPublikacja traktuje o zagadnieniu automatycznego strojenia przemysłowych regulatorów liniowych. Przedstawiono proces projektowania i implementacji systemu zarówno w środowisku symulacyjnym, jak i rzeczywistym. Przeanalizowano wyniki badań porównujących jakość działania układu sterowania przy zestawach parametrów regulatorów otrzymanych różnymi metodami. Jako metodę służącą poszukiwaniu odpowienich nastaw regulatorów wykorzystano...
-
Nieliniowe sterowanie predykcyjne kaskadowym układem zbiorników
PublicationObiektem regulacji jest kaskadowy układ trzech zbiorników firmy INTECO. Do sterowania wykorzystywane są dwa z nich. Zaprojektowano dwa układy regulacji poziomu wody: jednowymiarowe algorytmy MPC, po jednym dla każdego ze zbiorników oraz wielowymiarowy algorytm MPC sterujący całym układem. Przeprowadzono analizę porównawczą opracowanych algorytmów sterowania dla zmiennej trajektorii zadanej.
-
Track-to-track fusion in tracking of multiple targets in clutter - a comparative study.
PublicationPrzedstawiono i porównano algorytmy rozproszone wyznaczania trajektorii obiektów dynamicznych na podstawie danych z wielu źródeł. Rozważono przypadek, w którym dane dotyczące pozycji obiektów są zakłócone przez dodatkowe fałszywe wykrycia niezwiązane z obserwowanymi obiektami. Algorytmy rozproszone i centralne to dwie podstawowe klasy algorytmów służące do wyznaczania trajektorii obiektów dynamicznych na podstawie danych z wielu...
-
Nowoczesne metody planowania rozwoju systemu dystrybucji energii elektrycznej.
PublicationW referacie omówiono dwie metody planowania rozwoju systemu dystrybucji energii elektrycznej: programowanie całkowito-liczbowe i programowanie ewolucyjne. Wskazano na szereg innych metod, które w szczególnych sytuacjach także prowadzą do właściwego rozwiązania problemu planowania. Zwrócono uwagę na szczególną efektywność programowania ewolucyjnego. Przedstawiono czynniki sprawiające, że problem planowania rozwoju poprzez planowanie...
-
Porównanie wybranych algorytmów szeregowania zadań dla potrzeb redukcji poboru mocy cyfrowych układów CMOS.
PublicationSzeregowanie zadań stosowane dla potrzeb redukcji poboru mocy cyfrowych układów CMOS prowadzi do problemów NP trudnych. Stąd też brakuje analitycznych algorytmów gwarantu-jących uzyskanie optymalnego rozwiązania w akceptowalnym czasie. Praca prezentuje porównanie jakości rozwiązań wyznaczonych heurystycznymi algorytmami szeregowania zadań stosowanych na etapie syntezy wysokiego poziomu cyfrowych układów CMOS, które zostały uzyskane...
-
Porównanie wybranych algorytmów systemu APR dla potrzeb redukcji poboru mocy cyfrowych układów CMOS
PublicationPraca dotyczy porównania czterech wybranych algorytmów wchodzacych w skład systemu APR (ang. Adaptive Power Reduction). Przeprowadzono weryfikację zmodyfikowanych heurystycznych algorytmów IIOI, UNILO i MAREL oraz nowego algorytmu hybrydowego (HSA) dla potrzeb syntezy wysokiego poziomu (HLS od ang. High Level Synthesis) z redukcją poboru mocy układów cyfrowych CMOS. Pozwalają one na zwiększenie poziomu redukcji mocy rozpraszanej...
-
Badanie adaptacyjnych algorytmów dynamicznego sterowania mocą w interfejsie radiowym WCDMA/FDD systemu UMTS.
PublicationW pracy przedstawiono algorytmy dynamicznego sterowania mocą możliwe do zaimplementowania w interfejsie radiowym WCDMA/FDD systemu UMTS. Opisana została metoda adaptacyjnego sterowania mocą wykorzystująca mechanizm predykcji zaników mocy sygnału w kanale. Przedstawiono wyniki badań symulacyjnych, mających na celu określenie efektywności adaptacyjnych algorytmów dynamicznego sterowania mocą w różnych warunkach środowiskowych i przy...
-
Zastosowanie algorytmów genetycznych do projektowania ram stalowych zgodnie z PN-90/B-03200.
PublicationW artykule przedstawiono optymalizacje ramy przy wykorzystaniu w obliczeniach zapasu nosnosci wynikajacego z dopuszczenia pracy scianek skladajacych sie na profil w stanie nadkrytycznym ograniczonym.Optymalizacje przeprowadzono wykorzystujac metode oparta na algorytmach genetycznych.Wyniki optymalizacji dla stanu krytycznego i nadkrytycznego ograniczonego zestawiono ze soba i porownano.
-
Poprawa jakości klasyfikacji głębokich sieci neuronowych poprzez optymalizację ich struktury i dwuetapowy proces uczenia
PublicationW pracy doktorskiej podjęto problem realizacji algorytmów głębokiego uczenia w warunkach deficytu danych uczących. Głównym celem było opracowanie podejścia optymalizującego strukturę sieci neuronowej oraz zastosowanie uczeniu dwuetapowym, w celu uzyskania mniejszych struktur, zachowując przy tym dokładności. Proponowane rozwiązania poddano testom na zadaniu klasyfikacji znamion skórnych na znamiona złośliwe i łagodne. W pierwszym...
-
Text Documents Classification with Support Vector Machines
Publication -
Acceleration of decision making in sound event recognition employing supercomputing cluster
PublicationParallel processing of audio data streams is introduced to shorten the decision making time in hazardous sound event recognition. A supercomputing cluster environment with a framework dedicated to processing multimedia data streams in real time is used. The sound event recognition algorithms employed are based on detecting foreground events, calculating their features in short time frames, and classifying the events with Support...
-
Heuristic scheduling algorithms for uniform load of computer system
PublicationW pracy zaprezentowano opracowany heurystyczny algorytm szeregowania zadań UNILO (ang. UNIform LOad - jednakowe obciążenie), umożliwiający redukcję całkowitego zapotrzebowania na moc obliczeniową systemu komputerowego bez pogarszania jego wydajności. Algorytm ten realizuje takie przydzielenie zadań obliczeniowych do poszczególnych jednostek (procesorów), aby zapewnić ich jednakowe obciążenie. Opracowany algorytm został zweryfikowany...
-
An approximation algorithm for maximum P3-packing in subcubic graphs
PublicationW pracy podano algorytm 4/3-przyliżony dla trudnego obliczeniowo problemu umieszczania wierzchołkowo rozłącznych dwukrawędziowych ścieżek w grafach o stopniu maksymalnym 3 i stopniu minimalnym 2. Poprawiono tym samym wcześniejsze wyniki dla grafów kubicznych (A. Kelmans, D. Mubayi, Journal of Graph Theory 45, 2004).
-
Reducing average and peak temperatures of VLSI CMOS circuits by means of evolutionary algorithm applied to high level synthesis.
PublicationW pracy przedstawiono adaptacyjny algorytm ewolucyjny zastosowany do syntezy wysokiego poziomu układów cyfrowych CMOS w celu zredukowania pobieranej przez nie mocy. Prowadzi to do redukcji szczytowej i średniej temperatury układu scalonego. Dzięki temu uzyskuje się wzrost niezawodności projektowanych układów scalonych.
-
Extension of selected ADFA construction algorithms to the case of cyclic automata.
PublicationW niedawnym artykule Rafael Carrasco i Mikel Forcada przedstawiają przyrostowy algorytm dodawania słów do minimalnego, acyklicznego automatu skończonego. Ten algorytm jest uogólnieniem przyrostowego algorytmu tworzenia acyklicznych deterministycznych automatów skończonych (ADFAs). Przedstawiamy podobne uogólnienia dwóch innych algorytmów tworzenia ADFAs. Chociaż te ougólnienia zostały już opublikowane w maju i czerwcu 2004 r.,...
-
Intelligent algorithms for optical track audio restoration
PublicationW referacie przedstawiono dwa algorytmy dedykowane redukcji pasożytniczych zniekształceń dźwięku spotykanych w optycznych ścieżkach dźwiękowych. Pierwszy algorytm umożliwia redukcję szerokopasmowego szumu w nagraniach fonicznych. Wykorzystano w nim psycho-akustyczny model słuchu oparty o miarę nieprzewidywalność sygnału (ang. Unpredictability Measure). Ocena jakości redukcji szumu została wykonana z wykorzystaniem metod inteligentnych....
-
Substrate noise-aware floorplanning for mixed-signal SOCs.
PublicationOpisano nową metodę projektowania systemów na chipie z uwzglednieniem minimalizacji szumu podłożowego. Optymalizacje rozmieszczenia bloków układowych na chipie uzyskuje się dzieki wykorzystaniu algorytmu ewolucyjnego minimalizującego funkcję celu uwzględniającą poziom szumu podłożowego.
-
System rozpoznawania dźwięków instrumentów muzycznych.
PublicationNiniejszy referat przedstawia działanie systemu automatycznego rozpoznawania pojedynczych dźwięków instrumentów muzycznych. System składa się z trzech bloków: detekcja częstotliwości podstawowej, parametryzacja dźwięków i klasyfikacja. W algorytmie detekcji wykorzystano zmodyfikowany algorytm Schroedera. Parametryzację przeprowadzono głównie w oparciu o parametry zdefiniowane w standardzie MPEG-7. Na potrzeby systemu zaimplementowano...
-
ESTYMACJA I ANALIZA STANU KANAŁU RADIOWEGO INTERFEJSU LTE NA POTRZEBY REALIZACJI HETEROGENICZNEGO ALGORYTMU MULTILINK Z UŻYCIEM GŁĘBOKIEGO UCZENIA
PublicationW niniejszym artykule przedstawiono estymację i analizę stanu kanału radiowego dla interfejsu LTE na potrzeby realizacji heterogenicznego algorytmu trasowania prze-syłanych pakietów pomiędzy dostępnymi interfejsami radiowymi. Udowodniono przydatność i zwiększenie efektywności predykcji metryki BLER opracowanego modelu głębokiego uczenia względem modelu liniowego. Przedstawiono także metodykę oraz przeanalizowano istotność parametrów...
-
Wykorzystanie rzeczywistego zapisu EEG w modelu potencjałów wywołanych do testowania algorytmów detekcji potencjałów wzrokowych.
PublicationPrzedstawiona praca dotyczy kontynuacji badań modelowych, gdzie syntetyczna aktywność spontaniczna została zastąpiona sygnałem rzeczywistym. Ocenie podlega uprzednio stworzony model aktywności spontanicznej. Weryfikacji ulega przydatność algorytmu detekcji.
-
Porównanie wyników klasyfikacji gatunków muzycznych uzyskanych za pomocą testów subiektywnych i algorytmów uczących się
PublicationCelem pracy jest przeprowadzenie testów subiektywnych rozróżniania gatunku muzycznego przez słuchaczy oraz dokonanie automatycznej klasyfikacji gatunków muzycznych przy pomocy wybranych algorytmów uczących się. W pierwszej kolejności przywołano genezę podziału na gatunki muzyczne. W ramach pracy zrealizowana została ankieta internetowa w celu umożliwienia odsłuchu i przypisania próbek dźwiękowych do wybranych gatunków muzycznych...
-
Zastosowanie urządzeń mobilnych jako platform do implementacji algorytmów przetwarzania strumienia wideo w czasie rzeczywistym
PublicationW niniejszym artykule dokonano krótkiego przeglądu najpopularniejszych systemów operacyjnych dedykowanych dla szeroko pojętych urządzeń mobilnych. Następnie przedstawiono jednoukładowy zestaw uruchomieniowy DevKit8000 z procesorem OMAP3530 oraz z zainstalowaną dystrybucją systemu operacyjnego Linux o nazwie Angstrom. Taka konfiguracja stanowiła platformę mobilną dla implementacji algorytmów przetwarzania i rozpoznawania obrazów...
-
Przegląd, analiza działania i ocena algorytmów sterowania stężeniem tlenu z wykorzystaniem pomiarów związków azotu
PublicationOczyszczalnia ścieków jest złożonym przemysłowym systemem sterowania. Stężenie tlenu jest podstawowym parametrem wpływającym na efektywność zachodzenia procesów biologicznych w oczyszczalni ścieków. W artykule dokonano przeglądu podstawowych algorytmów sterowania stężeniem tlenu z użyciem dodatkowych pomiarów wybranych związków azotu. Przedstawiono prace badawcze z ostatnich kilkunastu lat i dokonano ich oceny.
-
SYSTEM WSPOMAGAJĄCY DIAGNOSTYKĘ CZERNIAKA ZŁOŚLIWEGO PRZY POMOCY METOD PRZETWARZANIA OBRAZU I ALGORYTMÓW INTELIGENCJI OBLICZENIOWEJ
PublicationNowotwory skóry są najczęściej spotykanymi nowotworami na świecie. Czerniaki złośliwe stanowią od około 5 do 7% wszystkich nowotworów złośliwych skóry u człowieka. Ich wczesne zdiagnozowanie jest kluczowym czynnikiem w późniejszej pomyślnej terapii. Niniejsza praca zawiera propozycję rozwinięcia i zautomatyzowania najważniejszej metody diagnozowania czerniaków, metody ABCD Stoltza. W artykule przedstawiono koncepcję i implementację...
-
A comparison of Bluetooth scatternet formation algorithms with reference to interference issues
PublicationZe względu na fakt, iż scatternety Bluetooth mogą być tworzone w różnoraki sposób, w artykule podjęto próbę ich porównania pod kątem kilku istotnych parametrów (ze szczególnym uwzględnieniem aspektu potencjalnych interferencji).
-
Kilka uwag o doskonaleniu zarządzania uczelnią publiczną (artykuł dyskusyjny)
PublicationW artykule zaproponowano adaptację koncepcji organizacji oburęcznej w uczelni publicznej. Istotą jest propozycja zmiany organizacji uczelni o „90o”, tj. z takiej, w której wydziały tworzą oś organizacyjną, a zespoły projektowe oś koordynacyjną do takiej, w której role te są zamienione. Wydziały zajmują się głównie masowym kształceniem studentów na I stopniu studiów, a zespoły kształcą elity studentów II i III stopnia studiów, prowadząc...
-
Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata
PublicationPrzedstawione zostają modyfikacje trzech algorytmów przyrostowego i półprzyrostowego tworzenia automatów minimalnych w taki sposób, aby tworzyły automaty pseudominimalne. Istniejący od dawna algorytm Revuza tworzy takie automaty szybciej i zużywając mniej pamięci, ale wymaga kłopotliwego sortowania. Nie nadaje się też do dodawania nowych słów do automatu - ważnej czynności w realizacji dynamicznej doskonałej funkcji mieszającej....
-
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...
-
Zastosowanie metody podziału i ograniczeń w wielokryterialnym problemie podziału hw/sw do implementacji algorytmów kryptograficznych
PublicationW niniejszej pracy przedstawiono zastosowanie metody podziału i ograniczeń B&B (ang. Branch and Bound) do problemu podziału funkcjonalności między sprzęt i oprogramowanie. Metoda B&B daje rozwiązanie optymalne, ma jednak wykładniczą złożoność obliczeniową. Przyspieszenie uzyskiwane jest na drodze eliminacji nierokujących gałęzi w przestrzeni poszukiwań, a jej kluczowym elementem jest definicja funkcji ograniczenia dolnego. W niniejszej...