Wyniki wyszukiwania dla: algorytm roju czastek
-
Development of visual evoked potentials detection algorithm for objective perimetry
PublikacjaOpisano nową propozycję algorytmu detekcji potencjałów wzrokowych w zapisie EEG. Nowy algorytm bazuje na dekompozycji statystycznej ICA. Algorytm wstępnie przetestowano na danych eksperymentalnych.
-
DEVELOPMENT OF THE ALGORITHM OF POLISH LANGUAGE FILM REVIEWS PREPROCESSING
PublikacjaThe algorithm and the software for conducting the procedure of Preprocessing of the reviews of films in the Polish language were developed. This algorithm contains the following steps: Text Adaptation Procedure; Procedure of Tokenization; Procedure of Transforming Words into the Byte Format; Part-of-Speech Tagging; Stemming / Lemmatization Procedure; Presentation of Documents in the Vector Form (Vector Space Model) Procedure; Forming...
-
DEDUKCJA ZACHOWAŃ WĘZŁÓW TRANZYTOWYCH W WIELOSKOKOWEJ SIECI BEZPRZEWODOWEJ W OBECNOŚCI ZAKŁÓCEŃ
PublikacjaPrzedstawiono nowy algorytm dedukcji zachowań (metryki reputacji) węzłów tranzytowych w wieloskokowej sieci bezprzewodowej na podstawie potwierdzeń końcowych. Algorytm stosuje znane metody matematyczne i jest odporny na zakłócenia naturalnie występujące w sieciach bezprzewodowych oraz intencjonalne zmiany zachowania węzłów. Informacja zwracana przez algorytm, poza wydedukowanym zachowaniem węzłów, zawiera dane o możliwym błędzie...
-
A new method for searching optimal path on a raster plane including cost of direction changes
PublikacjaArtykuł przedstawia nowy algorytm znajdowania optymalnych tras na siatkach rastrowych. Szczegółowo opisano zastosowane struktury danych, dzięki który algorytm ma liniową złoŻoność obliczeniową. Zamieszczono również propozycje możliwych zastosowań.
-
An efficient incremental DFA minimization algorithm
PublikacjaW 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....
-
Metaheurystyki sztucznej inteligencji w wybranych grach komputerowych
PublikacjaW pracy omówiono trzy metaheurystyki sztucznej inteligencji, które mogą stać się źródłem inspiracji dla projektantów gier komputerowych. Pokazano, w jaki sposób zastosowano algorytm mrówkowy, algorytm genetyczny i algorytm tabu search w grach komputerowych zaprojektowanych przez studentów Politechniki Gdańskiej. W szczególności, odniesiono się do problematyki wyznaczania trajektorii przemieszczających się obiektów...
-
Mixed algorithm in searches of mechanical system steady-state conditions for low precision of the state estimation
PublikacjaW 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ą...
-
Wejściowo-wyjściowa metoda detekcji uszkodzeń w elektronicznych układach analogowych uwzględniająca tolerancje elementów.
PublikacjaPrzedstawiono 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
PublikacjaPrzedstawiono 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...
-
Semi-incremental addition of strings to a cyclic finite automaton
PublikacjaMaszyny o skończonej liczbie stanów są szeroko stosowane jako słowniki w przetwarzaniu języka naturalnego. Odznaczają się szybkim czasem przetwarzania i małymi wymaganiami pamięciowymi. Przedstawiamy nowy algorytm dodawania nowych słów do języka cyklicznego automatu skończonego. Algorytm jest rozszerzeniem na automaty cykliczne półprzyrostowego algorytmu Watsona dla automatów acyklicznych. Przekształcenie jest dokonane w duchu...
-
Control strategy for the multilevel cascaded H-bridge converter
PublikacjaThe 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.
-
Schema mining in XML documents.
PublikacjaW artykule przedstawiono algorytm COBWEB S+T służący do wywodzenia schematów z kolekcji dokumentów XML. Algorytm wykorzystuje model danych semistrukturalnych oraz alorytm COBWEB służący do grupowania koncepcyjnego. W artykule zaprezentowano również wyniki testów działania algorytmu.
-
The cartographer algorithm for processing and querying description logics ontologies
PublikacjaLogika 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...
-
Andrzej Dyka dr hab. inż.
Osoby -
Modelowanie szumów RTS
PublikacjaPrzytoczono 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
PublikacjaPrzytoczono 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.
-
Backprojection algorithm for current mode EIT.
PublikacjaW pracy przedstawiono algorytm rekonstrukcyjny dla TEI wykorzystujący informację o rozpływie prądu pomiędzy elektrody pomiarowe zwarte do potencjału wspólnego. Pokazano, że algorytm jest analogiczny do znanego wcześniej algorytmu określanego jako Backprojection. Przedstawiono przykładowe wyniki rekonstrukcji dla obiektu kołowego.
-
application of linear quadratic regulator (lqr) for nonlinear systems based on the parameter sensitivity
PublikacjaMetoda 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.
-
Uniwersalna metoda projektowania regulacji osi toru z wykorzystaniem pomiarów satelitarnych i optymalizacji
PublikacjaW pracy zwrócono uwagę na ograniczenia stosowanej w naszym kraju metodyki regulacji osi toru związane w głównym stopniu z uzyskiwaną dokładnością określania istniejącego kształtu toru. Jako rozwiązanie alternatywne wskazano opracowaną przez interdyscyplinarny zespół naukowy Politechniki Gdańskiej i Akademii Marynarki Wojennej / Akademii Morskiej w Gdyni i stosowaną od 2009 roku nowatorską technikę mobilnych pomiarów satelitarnych....
-
Decomposition of duet instrument sounds. W: [CD-ROM] International Sympo-sium of Musical Acoustics. ISMA MEXICO CITY. Mexico City, 9-13 December 2002. Mexico City: Escuela Nacional de Musica UNAM**2002, 10 s. 4 rys. 2 tab. bibliogr. 15 poz. Dekompozycja duetów muzycznych.
PublikacjaW referacie zaprezentowany został algorytm separacji nagrań duetów muzycz-nych. Metoda separacji oparta została na algorytmie FED, przy pomocy któregomożliwa jest ekstrakcja części harmonicznych sygnałów. Ponadto wykorzystanyzostał algorytm estymacji częstotliwości podstawowej oparty na korelacjiskrośnej, w celu estymacji częstotliwości dekomponowanych harmonicznych.
-
Feature-based generation of machining process plans for optimised parts manufacture
PublikacjaPrzedstawiono 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
PublikacjaW 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.
-
An algorithm for preliminary estimating hull structure mass and mass centre height of inland navigation ships
PublikacjaPrzedstawiono 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
PublikacjaPrzedstawiono 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.
-
ANALIZA PORÓWNAWCZA ZMODYFIKOWANEGO ALGORYTMU GRADEINTOWEGO ORAZ ALGORYTMU CHANA DO WYZNACZANIA POŁOŻENIA OBIEKTÓW W SYSTEMACH RADIONAWIGACYJNYCH
PublikacjaW 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ą.
-
Distributed largest-first algorithm for graph coloring.
PublikacjaW artykule zaprezentowano rozproszony, probabilistyczny algorytm kolorowania grafów. Kolorowanie uzyskane jest optymalne lub prawie optymalne dla takich klas grafów jak koła dwudzielne, gąsienice czy korony. Udowodniono, że algorytm ten działa w czasie O(D^2 log n) rund dla dowolnego grafu n wierzchołkowegoo stopniu maksymalnym D.
-
MTS pilot tone tracking for "wow" distortion determination
PublikacjaArtykuł 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...
-
Self-stabilizing algorithms for graph coloring with improved performance guarantees
PublikacjaW 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.
-
Samostabilizujące się algorytmy wierzchołkowego kolorowania grafów.
PublikacjaArtykuł 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.
-
Energy optimisation in resilient self-stabilizing processes
PublikacjaW 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.
-
Hybrid Monte-Carlo simulations of fluorescence anisotropy decay in disordered two-component systems in the presence of forward and back energy transfer
PublikacjaW pracy przedstawiono hybrydowy algorytm symulacji Monte Carlo zaniku anizotropii emisji fluorescencji w układach dwuskładnikowych z uwzględnieniem prostego i powrotnego transferu energii. Poprawność nowego algorytmu symulacji Monte Carlo zweryfikowano poprzez porównanie z wynikami obliczeń teoretycznych otrzymanymi w ramach modelu SCDM i z wynikami standardowej symulacji Monte Carlo (algorytm 'step by step').
-
Innovative optimization algorithm of variable speed pumps in district heating systems.
PublikacjaW 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...
-
A new method of ship routing on raster grids, with turn penalties and collision avoidance
PublikacjaArtykuł przedstawia nowy algorytm znajdowania optymalnych tras na siatkach rastrowych. Szczegółowo opisano zastosowane struktury danych, dzięki którym algorytm ma liniową złożoność obliczeniową. Na podstawie algorytmu opracowano metodę wyznaczania tras dla statków, uwzględniającą kwestie unikania kolizji z innymi statkami i przeszkodami nawigacyjnymi.Przedstawiono dwa warianty metody, dedykowane odpowiednio systemom pokładowym...
-
Możliwości aplikacyjne dwufazowego termosyfonowego wymiennika ciepła
PublikacjaPrzedstawiono konstrukcję, algorytm obliczeń oraz przykłady zastosowań dwufazowego termosyfonowego wymiennika ciepła
-
Śledzenie wzroku w środowisku wielo-ekranowym
PublikacjaW tym artykule przedstawiona jest zasada działania interfejsu pozwalającego na śledzenie wzroku w środowisku wieloekranowym. Opisane zostały wyniki jakie możn uzyskać stosując algorytm detekcji ekranów korzystając z markerów identyfikacyjnych oraz algorytmu detekcji ekranów z chmury punktów. Użyty algorytm zaostał przetestowany na wirtualnej reprezentacji potencjalnych modułów środowiska wieloekranowego. Wyniki zostały przedstawione...
-
Hybrid Monte-Carlo simulations of fluorescence anisotropy decayin three-component donor-mediator-acceptor systems in the presenceof energy transfer
PublikacjaW pracy przedstawiono nowy hybrydowy algorytm symulacji Monte-Carlo układu trójskładnikowego donor-mediator-akceptor. Działanie algorytmu zilustrowano na przykładzie zaników anizotropii emisji fluorescencji powyższego układu. Porównano wyniki hybrydowej symulacji Monte-Carlo z wynikami klasycznej metody ''step by step''. Stwierdzono bardzo dobrą zgodność wyników obu symulacji, przy czym algorytm hybrydowy wymaga znacznie krótszego...
-
Wyszukiwanie informacji z wykorzystaniem algorytmu Ontology Clustering by Directions
PublikacjaArtykuł opisuje algorytm Ontology Clustering by Directions. Algorytm ten ma na celu wspieranie użytkowników w formułowaniu ontologicznych zapytań. Ontologiczne zapytania służą do wydobywania informacji sformułowanych za pomocą ontologii opisanych np. językiem OWL. Artykuł przedstawia rodzaje języków wykorzystywanych do formułowania ontologicznych zapytań. W szczególności opisuje języki, które mają być przyjazne użytkownikom. Na...
-
Approximate search strategies for weighted trees
PublikacjaW pracy podajemy 3-przybliżony algorytm dla problemu spójnego przeszukiwania drzew ważonych.
-
Working fluid selection for Organic Rankine Cycle applied to heat recovery systems
PublikacjaPrzedstawiono algorytm obliczeń sprawności systemu ORC na bazie dużej liczby cieczy organicznych.
-
A polynomial algorithm for finding T-span of generalized cacti.
PublikacjaW pracy opisano wielomianowy algorytm wyznaczający optymalne T-pokolorowania dla uogólnionych kaktusów.
-
An experimental study of distributed algorithms for graph coloring.
PublikacjaW pracy podano algorytm rozproszonego kolorowania grafówi porównano ze znanym wcześniej algorytmem.
-
A New Heuristic Algorithm for Effective Preemption in MPLS Networks
PublikacjaW artykule opisano nowy algorytm wywłaszczania przeznaczony dla sieci MPLS. Umożliwia on alokację zasobów sieci dla nowej ścieżki uwzględniając koszt usuniętych jednej lub wielu istniejących już ścieżek. Proponowany heurystyczny algorytm wybiera ścieżki do wywłaszczenia wykorzystując informację o topologii sieci. Używa funkcji optymalizacji minimalizującej stratę pasma na poziomie sieci. Przedstawiono i omówiono wyniki badań symulacyjnych...
-
Comments on ''Incremental construction and maintenance of minimal finite-state automata'' by Rafael C. Carrasco and Mikel L. Forcada.
PublikacjaW opublikowanym niedawno artykule (czerwiec 2002) Rafael Carrasco i Mikel Forcada przedstawili dwa algorytmy: jeden dotyczący przyrostowego dodawania łańcuchów znaków do języka minimalnego, deterministycznego, cyklicznego automatu skończonego, drugi dotyczący przyrostowego usuwania łańcuchów znaków z automatu. Pierwszy algorytm jest uogólnieniem ,,algorytmu dla danych nieuporządkowanych'' - drugiego z dwóch przyrostowych algorytmów...
-
Dobór optymalnej liczby jednostek funcjonalnych dla realizacji syntezy wysokiego poziomu układów cyfrowych
PublikacjaW pracy przedstawiono algorytm MNP (ang. minimization the number of procesing elements) wyznaczający liczbę jednostek funkcjonalnych niezbędnych do syntezy wysokiego poziomu zadania opisanego grafem przepływu danych (DFG - ang. data flow graph). Liczba jednostek funkcjonalnych wyznaczana przez prezentowany algorytm jest optymalna zarówno z punktu widzenia kosztów wykonania układu, jak i szybkości jego działania. Rozwiązanie tego...
-
Zastosowanie funkcji kształtu w sterowaniu przekształtnikami matrycowymi w warunkach asymetrii napięć zasilających
PublikacjaW artykule przeanalizowano sterowanie przekształtnikami matrycowymi z zastosowaniem funkcji kształtu trójkątnego elementu skończonego. Bazując na właściwościach funkcji kształtu, zaproponowano nowy algorytm modulacji PWM dla dwumodułowych przekształtników matrycowych pozwalający na zwiększenie amplitudy napięcia wyjściowego oraz kształtowanie poprawnych i sinusoidalnych prądów wyjściowych w warunkach asymetrii napięć zasilających....
-
Zastosowanie funkcji kształtu w sterowaniu przekształtnikami matrycowymi w warunkach asymetrii napięć zasilających
PublikacjaW artykule przeanalizowano sterowanie przekształtnikami matrycowymi z zastosowaniem funkcji kształtu trójkątnego elementu skończonego. Bazując na właściwościach funkcji kształtu, zaproponowano nowy algorytm modulacji PWM dla dwumodułowych przekształtników matrycowych pozwalający na zwiększenie amplitudy napięcia wyjściowego oraz kształtowanie poprawnych i sinusoidalnych prądów wyjściowych w warunkach asymetrii napięć zasilających....
-
Estymacja napięcia niezrównoważenia w obwodzie pośredniczącym trójpoziomowego falownika NPC z wykorzystaniem obserwatora EKF
PublikacjaW artykule przedstawiono nowy algorytm estymacji napięcia niezrównoważenia w obwodzie pośredniczącym falownika 3L-NPC (ang. Three Level Neutral Diode-Clamped Converter) wykorzystujący rozszerzony filtr Kalmana. Algorytm może być wykorzystany do sterowania falownikiem bez czujnika napięcia w punkcie środkowym jak również może służyć do celów diagnostycznych czujnika polegających na porównaniu mierzonej wartości z estymowaną. W artykule...
-
Uporządkowane kolorowanie wierzchołków grafów
PublikacjaW 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...
-
Sterowanie przekształtnikiem sieciowym z predykcją siły elektromotorycznej
PublikacjaPraca zawiera propozycję układu sterowania przkształtnikiem sieciowym z funkcją filtru aktywnego bez pomiaru napięcia sieci. W układzie sterowania zaproponowano precyzyjny algorytm estymacji i predykcji zastępczej siły elektromotorycznej oraz zastosowano predykcyjny regulator prądu oparty na modelu obiektu. W pracy przedstawiono analizę obszaru pracy przekształtnika, analizę strategii sterowania przkształtnikiem oraz algorytm i...
-
Incremental construction of Minimal Tree Automata [online]
PublikacjaWe describe an algorithm that allows the incremental addition or removal of unranked ordered trees to minimal frontier-to-root deterministic tree automaton (DTA). The algorithm takes a tree t and a minimal DTA A as input; it outputs a minimal DTA A' which accepts the language L(A) accepted by A incremented (or decremented) with the tree t. The algorithm can be used to efficiently maintain dictionaries which store large collections...