Search
Filters
total: 2316
filtered: 1997
-
Catalog
- Publications 1997 available results
- Journals 1 available results
- People 86 available results
- Inventions 3 available results
- Projects 13 available results
- Research Teams 7 available results
- Research Equipment 1 available results
- e-Learning Courses 162 available results
- Events 13 available results
- Open Research Data 33 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: ALGORYTMY GRAFOWE
-
Automaty jako narzędzia w przetwarzaniu języka
PublicationRozdział zawiera definicję, notację i chcarakterystykę automatów oraz algorytmy ich przekształcania, umożliwiające ich skuteczne wykorzystanie w przetwarzaniu języka.
-
Nowe zasady awaryjnego odciążania systemu elektroenergetycznego
PublicationW referacie przedstawiono nowe zasady awaryjnego obciążenia systemu elektroenergetycznego. Opracowano algorytmy działania automatyki odciążającej zapobiegające powstaniu awarii katastrofalnej.
-
Mixed algorithm in searches of mechanical system steady-state conditions for low precision of the state estimation
PublicationW pracy zaprezentowano algorytm poszukiwania rozwiązania układu równań nieliniowych. Nieliniowe funkcje lewych stron znane są z ograniczoną dokładnością, a wzory określające ich pochodne względem czasu nie są znane. Wartości pochodnych wyznaczane są numerycznie za pomocą różnic skończonych. Z uwagi na niską precyzje wyznaczania wartości funkcji, wartości pochodnych znane są jedynie z ograniczoną dokładnością., pochodne zawierają...
-
Asynchroniczna fuzja danych z wielu estymatorów stanu.
PublicationW przypadku obiektów, które można opisać dyskretno-czasowym modelem Gaussa-Markowa, oraz gdy dyskretny pomiar dotyczący obiektu pochodzi z pojedynczego czujnika, istnieje nieobciążony estymator minimalnowariancyjny stanu obiektu, czyli filtr Kalmana. W pewnych okolicznościach, np. z powodu dyskretnego charakteru źródła pomiaru, dokładność i odporność estymacji polegającej na pojedynczym źródle danych jest niewystarczająca. Jedną...
-
Wejściowo-wyjściowa metoda detekcji uszkodzeń w elektronicznych układach analogowych uwzględniająca tolerancje elementów.
PublicationPrzedstawiono nowe podejście detekcji i lokalizacji uszkodzeń w elektronicznych układach analogowych z uwzględnieniem tolerancji elementów. Składa się ono z dwóch etapów. W pierwszym etapie tworzony jest słownik uszkodzeń składający się z opisu elipsy aproksymującej obszar nominalny reprezentujący brak uszkodzeń i współczynników określających szerokość pasów lokalizacyjnych. Zaprezentowano nowy algorytm tworzenia takiej elipsy...
-
Simplified algorithm for location service for the UMTS
PublicationPrzedstawiono uproszczony algorytm lokalizowania terminala ruchomego w systemie UMTS. Algorytm ten umożliwia wyznaczanie pozycji geograficznej terminala ruchomego bez znajomości różnic czasowych w synchronizacji stacji bazowych RTD (Relative Time Differences). Opisany został model symulacyjny oraz przedstawiono wyniki efektywności lokalizowania terminala ruchomego w środowisku tzw. złym miejskim. otrzymane rezultaty dowodzą, że...
-
Estymacja położenia wirnika w bezczujnikowym napędzie trakcyjnym z silnikiem IPMSM
PublicationW referacie omówiono problematykę estymacji położenia kątowego wirnika silnika IPMSM w aspekcie zastosowań trakcyjnych. Przedstawiono metody estymacji położenia kątowego wirnika silnika IPMSM umożliwiające stabilną pracę napędu w pełnym zakresie prędkości. Omówione algorytmy estymacji położenia opierają się na analizie wartości pochodnych prądów fazowych silnika związanych z modulacją napięć realizowaną przez falownik tranzystorowy....
-
Zarządzanie sekcją krytyczną w rozproszonym środowisku
PublicationRozdział przedstawia metody zarządzania sekcją krytyczną w rozproszonym środowisku. W pracy zostały przedstawione algorytmy zakładania, wchodzenia do i utrzymywania sekcji krytycznej w środowisku gdzie wiele rozproszonych i~niezależnych elementów może korzystać z tych samych zasobów. Wszystkie algorytmy są oparte na zasadzie działania w sposób zdecentralizowany, tak aby uniezależnić środowisko od awarii jednego z elementów. Przedstawiona...
-
Strach przed nieznanym błędem
PublicationFelieton popularnonaukowy dotyczący algorytmu genetycznego.
-
Nonlinear Backstepping Ship Course Controller
PublicationStatek, jako obiekt sterowania charakteryzuje się nieliniową manewrową funkcją opisującą. Metoda backstepping jest jedną z metod, które mogą być wykorzystane w procesie projektowania nieliniowych układu sterowania kursem statków. Metoda została zastosowana w celu zaprojektowania dwóch konfiguracji nieliniowych regulatorów kursu.Regulatory zostały przebadane w układach regulacji kursu statku. Jedna z konfiguracji w fazie projektowania...
-
The cartographer algorithm for processing and querying description logics ontologies
PublicationLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
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.
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublicationOmówiono wymogi formalne dopuszczenia dźwignic o przekroczonym resursie do dalszej eksploatacji. Podano algorytmy przeglądów specjalnych. Przedstawiono przykłady weryfikacji stanu technicznego żurawi portowych.
-
A Tabu Search Algorithm for Optimization of Survivable Overlay Computing Systems
PublicationParadygmat obliczeń rozproszonych ostatnio zyskuje coraz większą uwagę, ponieważ zarówno instytucje przemysłowe, jak i uczelnie wymagają coraz większej mocy obliczeniowej do przetwarzania i analizy danych. Z uwagi na dużą podatność systemów obliczeń na awarie różnych typów (podobnie do systemów sieciowych), gwarancje przeżywalności niniejszych systemów są nieodzowne w celu zapewnienia nieprzerwanego działania usług. Z tego powodu,...
-
Krzyżowanie uśredniające w ewolucyjnej metodzie planowania ścieżki przejścia w zastosowaniu do problemu unikania kolizji na morzu
PublicationArtykuł przedstawia zastosowanie operatora krzyżowania uśredniającego do wyznaczania ścieżki przejścia przy użyciu algorytmu ewolucyjnego w zastosowaniu do unikania kolizji na morzu. Krzyżowanie uśredniające zapewnia rozszerzenie zbioru rozwiązań możliwych do uzyskania w porównaniu z wariantem krzyżowania wymieniającego. Przeprowadzone badania wykazały, że zastosowany wariant krzyżowania pozwala na uniezależnienie wyników symulacji...
-
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.
-
Modelowanie szumów RTS
PublicationPrzytoczono charakterystyczne parametry szumu wybuchowego (Random Telegraph Signal, RTS). Przedstawiono algorytm programowego generatora szumów RTS. Algorytm został wyposażony w możliwość dodawania do wygenerowanych impulsów RTS szumu białego oraz szumu typu 1/f. Przedstawiono przykładowe realizacje wygenerowanych przebiegów.
-
Modelowanie szumów RTS
PublicationPrzytoczono charakterystyczne parametry szumu wybuchowego (Random Telegraph Signal, RTS). Przedstawiono algorytm programowego generatora szumów RTS. Algorytm został wyposażony w możliwość dodawania do wygenerowanych impulsów RTS szumu białego oraz szumu typu 1/f. Przedstawiono przykładowe realizacje wygenerowanych przebiegów.
-
Geotechnika środowiskowa w dydaktyce
PublicationPrzytoczono międzynarodowe i krajowe działania dotyczące udoskonalania i unowocześniania edukacji geotechnicznej. Scharakteryzowano zakres tematyczny geotechniki środowiskowej podkreślając jej interdyscyplinarny charakter i główne kierunki badań geotechników środowiskowych. Przeanalizowano cele, formy i programy kształcenia geotechniki za granicą i w Polsce z uwypukleniem geotechniki środowiska oraz nauczania interaktywnego i analizowania...
-
Wyszukiwanie obrazów medycznych na podstawie ich treści.
PublicationPrzedstawiono nowe metody opisu i wyszukiwania obrazów na podstawie ich treści. Zaproponowano schemat ekstrakcji regionów oraz generacji ich opisów z zastosowaniem kodów długości serii. W opracowanym systemie zaprojektowano i zaimplementowano możliwość definiowania zapytań do baz danych uwzględniając: właściwości i parametry regionu (deskryptory intensywności, deskryptory tekstury, deskryptory kształtu) oraz relacji przestrzennych...
-
application of linear quadratic regulator (lqr) for nonlinear systems based on the parameter sensitivity
PublicationMetoda LQR jest znaną metodą optymalizacyjną dla liniowych układów sterowania. W referacie przedstawiono oryginalny algorytm dotyczący zastosowania tej metody dla nieliniowych układów sterowania przy wykorzystaniu analizy wrażliwości układu. Algorytm ten poddany jest weryfikacji na przykładzie układu sterowania napędu statku.
-
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...
-
Tomografia elektroimpedancyjna
PublicationW opracowaniu przedstawiono podstawowe zagadnienia obrazowania elektroimpe-dancyjnego. Omówiono budowę aparatury i algorytmy rekonstrukcyjne. Przedsta-wiono przykładowe wyniki rekonstrukcji zarówno pomiarów eksperymentalnych iin vivo.
-
Control strategy for the multilevel cascaded H-bridge converter
PublicationThe paper presents the control strategy for Cascaded H-bridge (CHB) converter . The converter output voltage using Space-Vector Pulse Width Modulation (SV-PWM) strategy is controlled. The DC-link voltages are controlled by appropriate choice of H-Bridges and appropriate choice of active and passive vectors.
-
Feature-based generation of machining process plans for optimised parts manufacture
PublicationPrzedstawiono aktualne zagadnienia związane z integracją systemów CAD/CAM/CAPP. Opracowano model informacyjny danych dla systemu CAPP w postaci zapisu macierzowego. Zawarto algorytm tworzenia rozwiązań wariantowych i wyboru optymalnego procesu technologicznego obróbki. Proponowany algorytm działania zweryfikowano na rzeczywistym przykładzie z praktyki przemysłu.
-
An interactive system for mobile robot navigation
PublicationW pracy przedstawiono interaktywny system do zdalnego sterowania robotem mobilnym zbudowany przy użyciu języka VRML. System jest wspomagany przez algorytm wyznaczania optymalnej trajektorii ruchu robota mobilnego poruszającego się w obecności przeszkód statycznych. Otoczenie reprezentowane jest przez graf nieskierowany. W metodzie wykorzystano algorytm Dijkstry.
-
Analiza i estetyzacja ręcznie rysowanych schematów blokowych
PublicationW artykule opisano koncepcję systemu do rozpoznawania, analizy i estetyzacji ręcznie rysowanych schematów blokowych. Rozumienie struktury rysunków schematów opiera się na zaproponowanej gramatyce grafowej FlowGram. Sformułowane kryterium oceny estetyki schematów blokowych pozwala na ich estetyzację. Pokazano również pierwsze eksperymenty z aplikacją realizującą zaproponowane koncepcje
-
Zastosowanie gramatyk grafowych do rozpoznawania i interpretacji diagramów
PublicationW pracy przedstawiono formalizm gramatyk grafowych oraz jego wykorzystanie do rozpoznawania i interpretacji złożonych dwuwymiarowych struktur. Podano przykład zastosowania gramatyki grafowej do interpretacji schematów blokowych, formułując specyficzne dla nich reguły produkcji. Pokazano też możliwość zastosowania gramatyk grafowych do wspomagania procesu rozpoznawania oraz interpretacji partytur muzycznych
-
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
PublicationCelem niniejszej rozprawy oraz stypendium odbytego w ramach projektu było opracowanie numerycznie efektywnego rozwiązania algorytmicznego i sprzętowego, które umożliwia przyspieszenie analizy problemów elektromagnetycznych metodą elementów skończonych (MES) z funkcjami bazowymi wysokiego rzędu. Metoda elementów skończonych w dziedzinie częstotliwości stanowi wydajne i uniwersalne narzędzie analizy układów mikrofalowych (rys....
-
Prognozowanie wpływu drgań komunikacyjnych na budynki mieszkalne za pomocą sztucznych sieci neuronowych i maszyn wektorów wspierających
PublicationDrgania komunikacyjne mogą stanowić duże obciążenie eksploatacyjne budynku, powodując zarysowania i spękania tynków, odpadanie wypraw, zarysowania konstrukcji, pękanie elementów konstrukcji lub nawet zawalenie się budynku. Pomiary drgań na rzeczywistych konstrukcjach są pracochłonne i kosztowne, a co ważne nie w każdym przypadku są one uzasadnione. Celem pracy jest analiza autorskiego algorytmu, dzięki któremu z dużym prawdopodobieństwem...
-
An algorithm for preliminary estimating hull structure mass and mass centre height of inland navigation ships
PublicationPrzedstawiono algorytm obliczeniowy służący do wstępnego wyznaczania masy i wysokości środka ciężkości konstrukcji kadłuba statków śródlądowych. Algorytm opracowano opierając się na zaleceniach zawartych w Przepisach Klasyfikacji i Budowy Statków Śródlądowych PRS oraz zastosowano uproszczoną metodę wyznaczania mas usztywnień poszycia kadłuba. Algorytm dotyczy wymiarowania konstrukcji klasycznych statków służących do przewozu drobnicy,...
-
Robust estimation of variables and parameters in dynamic water distribution systems
PublicationPrzedstawiono estymację metodą ''set membership'' zmiennych i parametrów systemu dystrybucji wody pitnej. Zmienne odnoszą się do ilości i jakości wody, natomiast parametry odnoszą się do modelu matematycznego hydrauliki. Problemten jest wysoce nieliniowy. Algorytm estymacji jest oparty na wcześniejszychpracach i wykorzystuje również algorytm dynamicznej linearyzacji odcinkami.
-
The complexity of the L(p,q)-labeling problem for bipartite planar graphs of small degree
PublicationW pracy pokazano, że problem L(p,q)-kolorowania przy użyciu ''t'' kolorów jest NP-zupełny nawet w wersji ograniczonej do grafów planarnych dwudzielnych małego stopnia, nawet dla stosunkowo niewielkich wartości ''t''. Jako wniosek z uzyskanych wyników stwierdzono, że problem L(2,1)-kolorowania grafów planarnych przy użyciu 4 kolorów jest NP-zupełny, a także że problem L(p,q)-kolorowania grafów o maksymalnym stopniu 4 jest NP-zupełny...
-
Metoda zliczania osób w tłumie z zastosowaniem wirtualnej bramki
PublicationW referacie przedstawiono koncepcję oraz wyniki realizacji praktycznej algorytmu zliczania osób w tłumie. Zaprezentowano szczegóły opracowanej metody zwanej wirtualną bramką, której działanie wymaga obliczenia przepływu optycznego w obrazie. Zilustrowano możliwości praktycznego zastosowania opracowanego algorytmu do zliczania osób w obszarach o rozmiarach znacznie przekraczających szerokość typowych wejść, gdzie mają zastosowanie...
-
Inteligencja zespołowa
PublicationPrzedstawiono przegląd zespołowego przetwarzania informacji, uczenia się i podejmowania decyzji. Omówiono algorytmy ewolucyjne, roju, mrówkowe, immunologiczne, sieci neuronowe, współpracę agentów, modelowanie indywiduowe oraz przykładowe środowisko modelowania zespołowego.
-
Fast recursive basis function estimators for identification of time-varying processes
PublicationW pracy wprowadzono nową kategorię filtrów adaptacyjnych opartych na metodzie funkcji bazowych i wykorzystujących koncepcję postfiltracji. Proponowane algorytmy pozwalają połączyć niską złożoność obliczeniową i dobre właściwości śledzące.
-
Construction of tournament robot Mirror taking part in Mini Sumo competition
PublicationW artykule zaprezentowano projekt budowy robota turniejowego, startującego w zawodach Mini Sumo. Omówiono założenia dyscypliny Mini Sumo oraz konstrukcję mechaniczną, algorytmy sterujące i elektronikę zawartą w robocie.
-
On bounded load routings for modeling k-regular connection topologies
PublicationW pracy analizowane są problemy modelowania k-regularnych topologii sieci komputerowych z punktu widzenia routingu typu point-to-point. Zaprezentowane są algorytmy oraz przeprowadzona jest analiza złożoności obliczeniowej.
-
Integracja danych przestrzennych z satelitarnych i lotniczych sensorów obrazujących w systemach czasu rzeczywistego
PublicationRozprawa dotyczy multidyscyplinarnego problemu integracji danych przestrzennych z sensorów lotniczych i satelitarnych w nowoczesnych systemach informatycznych zapewniających działanie w czasie niemal rzeczywistym. Zagadnienia poruszone w pracy obejmują m.in. systemy GIS, teledetekcję, fotogrametrię, rozpoznawanie wzorców jak również usługi sieciowe. W rozprawie omówiono oryginalne rozwiązania autora obejmujące opracowanie oraz...
-
Ontologie w systemach informatycznych
PublicationZakres monografii obejmuje wybór majważniejszych zagadnień inżynierii wiedzy opartej na podejściu ontologicznym. Omawiane są ramy Minsky'ego, sieci semantyczne, standardy RDF, OWL i SPARQL. Prezentowane są też podstawy teoretyczne nowoczesnych technologii semantycznych, w szczególności rozstrzygalny fragment logiki pierwszego rzędu zwany logiką opisową (ang. Description Logics, DL). Omawia sie algorytmy wnioskowania z ontologii...
-
Sztuczna inteligencja i elementy hybrydowych systemów ekspertowych
PublicationTematyka monografii dotyczy problematyki wchodzacej w skład szeroko pojetej sztucznej inteligencji i obejmuje: - klasyczną sztuczną inteligencję zawierającą zagadnienia reprezentacji i przetwarzania wiedzy symbolicznej, łącznie z realizacją symbolicznych systemów ekspertowych, - zbiory rozmyte i logikę rozmytą, wraz z rozmytymi systemami przetwarzającymi wiedzę nieprecyzyjną, - sztuczne sieci neuronowe łącznie z neuronowymi systemami...
-
MTS pilot tone tracking for "wow" distortion determination
PublicationArtykuł przedstawia nowy algorytm do wyznaczania charakterystyki kołysania dźwięku na podstawie śledzenia zmian tonu pilota MTS. Śledzenie zmian częstotliwości nośnej tonu MTS pozwala określić zmienną w czasie głębokość pasożytniczych modulacji częstotliwości będących konsekwencją kołysania. Na tej podstawie tworzona jest charakterystyka zniekształcenia. Proponowany algorytm bazuje na zaproponowanej wcześniej metodzie śledzenie...
-
The computer numerical control system with permanent magnet synchronous motor servo-drives.
PublicationPrzedstawiono układ serwonapędów wieloosiowej maszyny sterowanej numerycznie. W układzie wykorzystano silniki synchroniczne z magnesami trwałymi oraz procesory synałowe DSP. Omówiono algorytmy sterowania nadrzędnego oraz problemy sterownia silnika PMSM.
-
Toolgraph Design of Optimal and Feasible Control Strategies for Time-Varying Dynamical Systems
PublicationArtykuł prezentuje nową metodę projektowania optymalnych i realizowanych strategii sterowania dla wariantnych procesów dynamicznych. Centralnym ośrodkiem i narzędziem tej metody jest struktura grafu przepływowego reprezentująca istotne właściwości autonomicznej dynamiki danego procesu w przestrzeni czasowo-stanowej, składającej się z elementarnych segmentów. Strukturę tę nazywamy grafem narzędziowym przestrzeni czasowo-stanowej....
-
Evolutionary design and optimization of combinational digital circuits with respect to transistor count.
PublicationW artykule przedstawiono możliwość wykorzystania algorytmu ewolucyjnego do projektowania i optymalizacji cyfrowych układów kombinacyjnych w odniesieniu do liczby tranzystorów. Zastosowano chromosomy o budowie wielowarstwowej zwiększające wydajność algorytmu. Zaprojektowano, wykorzystując zaproponowaną metodę, cztery układy kombinacyjne o tabelach logicznych wybranych z literatury. Uzyskane wyniki są w wielu przypadkach lepsze...
-
New generation artificial larynx
PublicationCelem badań opisanych w pracy było opracowanie urządzeń nowej generacji dla osób laryngektomowanych. Typowa sztuczna krtań ma wiele wad. Najpoważniejszym problemem jest warkot generowany przez urządzenie. Zaproponowane zostały dwa rozwiązania majace na celu wyeliminowania tego problemu. Pierwsze skupia się na zmianach w konstrukcji sztucznej krtani. Opracowane urządzenie zostało dodatkowo wyposażone w cyfrowy procesor i wzmacniacz....
-
Multicriteria optymization method for yacht design
PublicationArtykuł dotyczy optymalizacji wielokryterialnej projektowania innowacyjnego systemu jachtowego w taki sposób by osiągnąć polepszone zachowanie dynamiczne w dowolnych warunkach nawigacji morskiej. W artykule skoncentrowano się na komputerowej symulacji, modelowaniu i optymalizacji matematycznego modelu jachtu w różnych warunkach żeglowania w celu poprawy zdolności manewrowania i zwiększenia szybkości. Przeprowadza się symulację...
-
Wireless intelligent audio-video surveillance prototyping system
PublicationThe presented system is based on the Virtex6 FPGA and several supporting devices like a fast DDR3 memory, small HD camera, microphone with A/D converter, WiFi radio communication module, etc. The system is controlled by the Linux operating system. The Linux drivers for devices implemented in the system have been prepared. The system has been successfully verified in a H.264 compression accelerator prototype in which the most demanding...
-
Innovative optimization algorithm of variable speed pumps in district heating systems.
PublicationW referacie przedstawiono innowacyjny algorytm matematyczny optymalizacji pracy pomp zmienno prędkościowych w systemach ciepłowniczych. Algorytm wykorzystuje procedurę iterecyjnego wyznaczania parametrów pracy pomp, których charakterystyki są linearyzowane odcinkami w układzie dwóch współrzędnych. Do rozwiązania modelu całkowitoliczbowego zaproponowano wykorzystanie systemu GAMS. W pracy przedstawiono podstawy metodologiczne i...