Filtry
wszystkich: 3842
wybranych: 3209
-
Katalog
- Publikacje 3209 wyników po odfiltrowaniu
- Czasopisma 101 wyników po odfiltrowaniu
- Konferencje 4 wyników po odfiltrowaniu
- Wydawnictwa 16 wyników po odfiltrowaniu
- Osoby 171 wyników po odfiltrowaniu
- Wynalazki 7 wyników po odfiltrowaniu
- Projekty 30 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Kursy Online 232 wyników po odfiltrowaniu
- Wydarzenia 47 wyników po odfiltrowaniu
- Dane Badawcze 19 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: FUNKCJA TRENDU
-
Specjalizowane sieci neuronowe z Dwucentrowymi Funkcjami Bazowymi do zastosowań w testerach wbudowanych μBIST
PublikacjaPrzedmiotem artykułu są nowe, przydatne do zastosowań w testerach wbudowanych BIST, specjalizowane sieci neuronowe do lokalizacji uszkodzeń parametrycznych analogowych układów elektronicznych, o podwyższonej odporności na maskujący wpływ rozrzutów tolerancyjnych elementów nieuszkodzonych. Sieci opracowane zostały w dwóch wariantach: z Dwucentrowymi Radialnymi (DRB) oraz Elipsoidalnymi (DEB) funkcjami Bazowymi. Dzięki wydłużonym...
-
Diagnostyka analogowych filtrów wielosekcyjnych oparta na klasyfikato-rach neuronowych z dwucentrowymi funkcjami bazowymi
PublikacjaPrzedmiotem artykułu jest zastosowanie klasyfikatora z dwucentrowymi funkcjami bazowymi do lokalizacji uszkodzeń w wielosekcyjnych torach analogowych elektronicznych systemów wbudowanych sterowanych mikrokontrolerem. Przedstawiono szczegóły procedury pomiarowej oraz metody detekcji i lokalizacji uszkodzeń toru analogowego z wykorzysta-niem klasyfikatora DB zaimplementowanego w postaci algorytmicznej w kodzie programu mikrokontrolera....
-
Kreatywność wirtualnej przestrzeni aglomeracji
PublikacjaMetropolie jako bardziej rozwinieta forma wielkiego miasta sa miejscami transformacji funkcji. Funkcja przemyslowa ustepuje funkcjom zwiazanym z gospodarka oparta na wiedzy (knowledge based economy). Powstaje nowe pojecie wirtualnego miasta wiedzy. Oprocz szns innowacji pojawiaja sie takze zagrozenia wirtualnej przestrzeni informacji.
-
Quasilinearization methods for nonlinear parabolic equations with functional dependence
PublikacjaRozważamy problem Cauchy`ego dla nieliniowych równań parabolicznych z zależnością funkcyjną. Dowodzimy twierdzeń o szybkiej zbieżności ciągów kolejnych przybliżeń określonych w metodzie quasilinearyzacji w dwóch przypadkach: (i) argumentem funkcyjnym jest funkcja niewiadoma, (ii) zależność funkcyjna dotyczy również pochodnej funkcji niewiadomej.
-
Wykonanie opinii technicznej dot. opracowania pt. ,,Analiza możliwości zmiany funkcji na hotelową budynku przy ul. Heweliusza 11 w Gdańsku".
PublikacjaPrzedmiotem opracowania jest opinia jednostki naukowo-badawczej do dokumentu „Analiza możliwości zmiany funkcji na hotelową w budynku Heweliusza H11” opracowanego przez Industria Structure Sp. z o.o. Celem opracowania jest ocena dotycząca poprawności przyjętych założeń i weryfikacji przedstawionych wniosków.
-
Influence of transport policy on shape and function of public space
PublikacjaIstotnym wyznacznikiem atrakcyjności miejsca jest dostępność, zdeterminowana przez skalę podażowej polityki transportowej oraz wielkość wskaźnika motoryzacji. Samochód, jako dobro powszechnie dostępne, wpłyną na zmianę zachowań społecznych mieszkańców oraz na percepcję, kształt i funkcjonowanie przestrzeni miejskich. Z jednej strony integruje tkankę miejską, a z drugiej okupując wolne przestrzenie, nie uwzględniając żadnych wyższych...
-
Shaping coherence function of sources used in low-coherent measurement techniques
PublikacjaW niskokoherencyjnych technikach pomiarowych kształt funkcji koherencji wykorzystywanego źródła ma bezpośredni wpływ na parametry metrologiczne układu pomiarowego. Z tego względu, w wielu aplikacjach niezbędne jest użycie metod pozwalających na zmianę kształtu tej funkcji. W artykule przeanalizowano możliwości kształtowania funkcji koherencji, a przedstawione analizy teoretyczne i wyniki symulacji komputerowych wskazują, że kształtowanie...
-
On the derivative of the Legendre function of the first kind with respect to its degree
PublikacjaPokazano, że pochodna po indeksie funkcji Legendre'a pierwszego rodzaju, obliczona dla całkowitej wartości indeksu, może być wyrażona przez funkcje elementarne. Skonstruowano kilka jawnych reprezentacji tej pochodnej. Zaprezentowano przykłady zastosowań otrzymanych wzorów.
-
Shaping of coherence function of sources used in low-coherent measurement techniques
PublikacjaW artykule przedstawiono zależność pomiędzy charakterystyką widmową źródła i ekwiwalentną długością drogi koherencji źródła. Wyniki analizy teoretycznej i symulacji komputerowych wykazały, że użycie źródła syntezowanego wpływa na zmniejszenie wartości ekwiwalentnej długości drogi koherencji. Dodatkowo wykazano, że zmniejszenie ekwiwalentnej długości drogi koherencji można otrzymać poprzez odpowiednie kształtowanie funkcji koherencji...
-
Implementacja sferycznej metody wizualizacji terenu przy użyciu algorytmu HRTMR
PublikacjaArtykuł ma na celu przedstawienie technik renderingu terenu w czasie rzeczywistym, w oparciu o najnowsze możliwości dzisiejszych kart graficznych. Głównym omawianym zagadnieniem będzie generacja sferycznej siatki terenu przy użyciu algorytmu opartego na ROAM oraz sześciennej projekcji wybrzuszeń. Ponadto zostaną poruszone takie zagadnienia jak spójność siatki terenu czy problemy związane z jej zmienno-rozdzielczościową naturą.
-
Między spotkaniem a mijaniem. Rahel Varnhagen, Hannah Arendt, Judith Butler
Publikacja -
Charakterystyki czujników wilgotności z dielektrykiem z porowatego tlenku glinu.
PublikacjaW pracy przedstawiono rezultaty badań charakterystyk ceramicznych czujników wilgotności z dielektrykiem z elektrolitycznie wytworzonego tlenku glinu.Pokazano wpływ doboru niektórych parametrów procesu elektro-katalitycznego na użytkowe charakterystyki czujników. Dokonano oceny dopasowania danych doświadczalnych, uzyskanych dla przedstawicieli dwóch grup czujników o różnych charakterystykach, do odpowiedzi dwóch znanych...
-
Interakcyjny system wizualizacji terenu rzeczywistego na podstawie danych GIS
PublikacjaArtykuł przedstawia koncepcję interakcyjnego systemu Wiz3D służącego do wizualizacji terenu rzeczywistego na podstawie danych pochodzących z Geograficznych Systemów Informacyjnych GIS (ang. Geographical Information Systems). Ze względu na złożoność i różnorodność formatów oraz niedokładność przechowywanych danych geograficznych system taki przed generacją obrazu powinien dokonywać konwersji danych z formatów GIS na postać dogodną...
-
Polska gospodarka na tle trendów w globalnych łańcuchach wartości
PublikacjaCelem artykułu jest ocena stopnia i charakteru zaangażowania Polski w globalne łańcuchy wartości na tle ogólnoświatowych trendów. Analiza przeprowadzona jest na poziomie całej gospodarki oraz na poziomie jej sekcji i działów. Badanie z użyciem tablic przepływów międzygałęziowych dla lat 2000-2014 wykorzystuje dekompozycję produkcji finalnej i wartości dodanej zaproponowaną przez Wanga i in (2017). Wyniki analizy pokazują, iż...
-
Badanie właściwości czujników wilgotności na bazie nanocząstek tlenku cynku
PublikacjaW celu pomiaru wilgotności szeroko stosowane są czujniki elektryczne. Warstwą czynną, zmieniającą swoje właściwości pod wpływem pary wodnej, stanowią najczęściej materiały ceramiczne lub polimerowe. Tlenek cynku jest jednym z materiałów ceramicznych będących dobrym kandydatem do zastosowania go jako warstwy czynną w czujnikach wilgotności. W tej pracy przedstawiono wyniki badań właściwości struktur czujnikowych z warstwą tlenku...
-
Zastosowanie trendów przełącznikowych w analizie płac realnych w Polsce
PublikacjaStreszczenie W początkowej części artykułu zostały przedstawione i omówione informacje o poziomie miesięcznych nominalnych płac (WN) oraz indeksie cen dóbr konsumpcyjnych (ICK) w gospodarce polskiej w latach 1995-2015. Następnie opisano poziomy realnych płac (W) wyrażone w cenach roku 2015. Na bazie tych informacji przedstawiono i przedyskutowano zagadnienia dotyczące rocznych przyrostów płac realnych oraz ich rocznych stóp wzrostu....
-
Funkcja warszawskich druków muzycznych wydanych w latach 1875- 1918, na przykładzie czterech największych kolekcji przechowywanych w Bibliotece Głównej Akademii Muzycznej im. Stanisława Moniuszki w Gdańsku
Publikacja -
Data normalisation for Lamb wave–based damage detection using cointegration: A case study with single- and multiple-temperature trends
Publikacja -
Long-Term Trends in Shooting Performance in the NBA: An Analysis of Two- and Three-Point Shooting across 40 Consecutive Seasons
Publikacja -
Opposing Age-Related Trends in Absolute and Relative Risk of Adverse Health Outcomes Associated With Out-of-Office Blood Pressure
Publikacja -
Evaluation of Trends in Foreign Trade Development in the Post-Communist Countries of Europe in the Years 2000–2012 Following their Accession to the EU
Publikacja -
PCBs in fish from southern Baltic Sea: Levels, bioaccumulation features and temporal trends during the 1997-2006 period
PublikacjaW próbkach 5 gatunków ryb bałtyckich pobranych w latach 1997-2006 oznaczono zawartość 7 wskaźnikowych polichlorowanych bifenyli. Zaobserwowano wyraźny trend spadku zawartości cięższych kongenerów w latach 1997-2001 dla różnych gatunków ryb za wyjątkiem dorsza. W próbkach szprota i śledzia stwierdzona statystycznie istotny spadek zawartości PCB 101, 118, 153, 138 i 180. Stwierdzono występowanie gatunkowospecyficznej bioakumulacji...
-
Road Safety Trends at National Level in Europe: A Review of Time-series Analysis Performed during the Period 2000–12
PublikacjaThis paper presents a review of time-series analysis of road safety trends, aggregatedat a national level, which has been performed in the period 2000 – 12 and applied to Europeannational data sets covering long time periods. It provides a guideline and set of best practices inthe area of time-series modelling and identifies the latest methods and applications of nationalroad safety trend analysis...
-
How high-tech solutions support the fight against IUU and ghost fishing: a review of innovative approaches, methods, and trends
PublikacjaIllegal, Unreported, and Unregulated fishing is a major threat to human food supply and marine ecosystem health. Not only is it a cause of significant economic loss but also its effects have serious long-term environmental implications, such as overfishing and ocean pollution. The beginning of the fight against this problem dates since the early 2000s. From that time, a number of approaches and methods have been developed and reported....
-
Preparation and photocatalytic activity of B-doped titanium dioxide
PublikacjaOtrzymano TiO2 domieszkowany borem, aktywny w reakcjach fotodegradacji pod wpływem światła widzialnego (λ>400 nm). Fotokatalizatory otrzymano poprzez hydrolizę tytanianu(IV) izopropylu w obecności związków boru lub poprzez ucieranie ST-01 z prekursorami B i następnie kalcynację w temperaturze 450stC. Jako źródło boru zastosowano kwas borowy (0,5 i 10%wag.) lub trietylo ester kwasu borowego (0,5; 1; 5 i 10%wag.). Najwyższą aktywność...
-
Wykorzystanie klasyfikatora z dwucentrowymi funkcjami bazowymi do diagnostyki uszkodzeń części analogowych elektronicznych systemów wbudowanych
PublikacjaPrzedmiotem artykułu jest zastosowanie klasyfikatora z dwucentrowymi funkcjami bazowymi do detekcji i lokalizacji uszkodzeń w elektronicznych systemach wbudowanych sterowanych mikrokontrolerami. Przedstawiono szczegóły procedury pomiarowej oraz diagnostycznej z wykorzystaniem klasyfikatora DB zaimplementowanego w postaci algorytmicznej w kodzie programu mikrokontrolera. Omówiono konstrukcję klasyfikatora DB oraz metodę wyznaczania...
-
Zintegrowane sterowanie stężeniem tlenu w oczyszczalni ścieków
PublikacjaNapowietrzanie jest jednym z najważniejszych i najdroższych procesów w oczyszczalni ścieków. Powodem tego są: różne skale czasowe w dynamice wewnętrznej procesów i elementów związanych z napowietrzaniem, mieszany charakter zmiennych steruących, przyjmujących wartości zarówno ciągłe, jak i dyskretne, ograniczenia czasowe na możliwości włączania dmuchaw powietrza, nieliniową dynamikę rozpuszczonego tlenu i systemu napowietrzania,...
-
Uwarunkowania fizyczne w opracowaniu wyników badań eksperymentalnych. W:Geotechnika w budownictwie i górnictwie. Red. W. Brząbała, J. Butyra, S. Gałczyński. Wrocław: P. Wroc.**2003 s. 134-141, 9 rys. bibliogr. 5 poz.
PublikacjaW wielu przypadkach opracowanie wyników badań uzyskanych w formie tabelarycznej wymaga aproksymacji danych funkcją ciągłą. Poszukiwana funkcja jest kom-binacją skończonej liczby funkcji podstawowych. W artykule opisano sytuacje, w której aproksymacja wielomianami wysokiego (trzeciego i czwartego) stop-nia, mimo małych różnic pomiędzy danymi eksperymentalnymi a funkcją aprok-symującą nie może być zastosowana ze względu na utratę...
-
Directed laplacian kernels for link analysis
PublikacjaPrzedstawiono zastosowanie algorytmów opartych o funkcje jądra do problemu analizy linków i cytowań. Zaproponowano nowe funkcje jądra zbudowane na operatorze Laplace'a dla grafów skierowanych. Odzwierciedlają one powiązanie pomiędzy węzłami grafu jako funkcję długości łączących je ścieżek oraz istotności odwiedzanych po drodze węzłów. Eksperymenty z nowymi funkcjami jądra przeprowadzono na zbiorze cytowań pobranych z publikacji...
-
Ocena jakości ogniw fotowoltaicznych z krzemu krystalicznego na podstawie wyznaczonych empirycznie różnymi metodami pomiarowymi wartości rezystancji szeregowej w funkcji temperatury
PublikacjaW niniejszej pracy przedstawiono analizę wpływu wzrostu temperatury na wartość rezystancji szeregowej krystalicznych krzemowych ogniw słonecznych. We wprowadzeniu przedstawiono teoretyczne i praktyczne informacje na temat składników rezystancji szeregowej i jej wpływu na parametry elektryczne ogniw. Dla zbadania wpływu temperatury na wartość rezystancji szeregowej zbudowano dwa stanowiska eksperymentalne, pozwalające na wyznaczanie...
-
Linear analysis of laminated multilayered plates with the application of zig-zag function
PublikacjaW pracy analizowany jest dwuwymiarowy model MES płyty warstwowej bazujący na teorii ścinania pierwszego rzędu, w którego sformułowaniu uwzględnione są dodatkowo efekt zig-zag oraz warunki równowagi międzywarstwowej. Zygzakowa deformacja przekroju modelowana jest poprzez wzbogacenie liniowego rozkładu przemieszczeń teorii ścinania pierwszego rzędu kawałkami ciągłą funkcją Murakami'ego. Pole przemieszczeń w prezentowanym sformułowaniu...
-
Assessment of potentially cutting GHG emissions from shipping in relation to energy consumption trends using Fuzzy Analytic Hierarchy Process
Publikacja -
Recent trends in advanced oxidation process-based degradation of erythromycin: Pollution status, eco-toxicity and degradation mechanism in aquatic ecosystems
Publikacja -
Organochlorine pesticides in fish from the southern Baltic Sea: levels, bioaccumulation features and temporal trends during the 1995-2006 period
PublikacjaW próbkach pięciu gatunków ryb bałtyckich pobranych w latach 1995-2006 oznaczono zawartość heksachlorocykloheksanu (HCH), heksachlorobenzenu (HCB) oraz DDT i jego pochodnych. Dzięki zastosowaniu szeregu metod chemometrycznych a w szczególności analizy głównych składowych (PCA) zaobserwowano szereg istotnych zależności. Nie stwierdzono wpływu miejsca połowu na poziom analizowanych pestycydów w ciałach ryb. Zaobserwowano statystycznie...
-
Aktualne trendy i rekomendacje w zakresie usuwania mikrozanieczyszczeń należących do farmaceutyków i pestycydów ze ścieków komunalnych
PublikacjaMikrozanieczyszczenia, przede wszystkim pestycydy oraz farmaceutyki, zyskują coraz większe zainteresowanie zarówno ze strony środowiska naukowego, administracji publicznej, jak również międzynarodowych organizacji rządowych i pozarządowych. W ostatnich latach jest obserwowany stały wzrost stężeń mikrozanieczyszczeń zarówno w glebie, jak i środowisku wodnym. Szczególne zagrożenie płynące ze strony pestycydów i farmaceutyków wynika...
-
Ocena skuteczności filtracji półmasek filtrujących wobec nanoaerozolu zredukowanego tlenku grafenu
Publikacja -
Analiza jakości wykonania pokrycia powierzchni terenu przez autonomicznego robota mobilnego
PublikacjaRozprawa jest poświęcona rozwiązaniu problemu unikania przeszkód ruchomych przez autonomicznego robota mobilnego podczas realizacji zadania całkowitego pokrycia terenu bez danej mapy, tylko na podstawie danych sensorycznych. Zawiera projekt behawioralnego autonomicznego systemu sterowania dwukołowym robotem mobilnym. W celu weryfikacji poprawności działania systemu opracowano symulator robota zawierający model sceny, układ sensoryczny,...
-
Nanomateriały w tematyce VI Programu Ramowego Unii Europejskiej: analiza trendów
PublikacjaScharakteryzowano cele i zadania projektów badawczych VI Programu Ramowego UE poświęcone nanomateriałom.
-
Właściwości elektryczne szkieł boro-krzemianowych o dużej zawartości tlenku manganu
PublikacjaW niniejszej pracy podjęto próbę otrzymania klasyczną metodą topienia szkła złożonego wyłącznie z tlenków manganu, krzemu i boru, zawierającego od 10 mol% do 70 mol% tlenku manganu. Na podstawie serii pomiarów wyznaczono zakres składu chemicznego, dla którego możliwe jest otrzymanie stabilnego szkła. Badania struktury otrzymanych próbek wykazały, ˙ze tlenek manganu(II) pełni w układzie rolę głównego tlenku szkłotwórczego w postaci...
-
Wytwarzanie cienkich warstw azotku wanadu metodą termicznego azotowania tlenku wanadu
Publikacjaw niniejszej pracy opisano metodę wytwarzania cienkich warstw vn - sio2 poprzez termiczne azotowanie powłok vox - sio2. warstwy tlenku wanadu zostały naniesione na szklane podłoża metodą zol - żel. po wysuszeniu nastąpiło wygrzanie warstw w atmosferze amoniaku. wygrzewanie w temperaturze wyższej, od temperatury dysocjacji termiczne amoniaku, mikroporowatych warstw tlenku wanadu spowodowało azotowanie materiału. w konsekwencji procesu...
-
Updated 24-year trend of Type 1 diabetes incidence in children in Poland reveals a sinusoidal pattern and sustained increase
Publikacja -
Obserwator prędkości kątowej wirnika maszyny indukcyjnej klatkowej oparty na metodzie backstepping ze ślizgowymi funkcjami przełączającymi
PublikacjaW artykule przedstawiono strukturę obserwatora prędkości kątowej wirnika, która jest oparta na rozszerzonym modelu matematycznym maszyny indukcyjnej klatkowej. Funkcje stabilizujące obserwator uzyskano na podstawie metody backstepping. Ponadto zastosowano ślizgowe funkcje przełączające. Przedstawiono badania eksperymentalne.
-
Obserwator prędkości kątowej wirnika maszyny indukcyjnej klatkowej oparty na metodzie backstepping ze ślizgowymi funkcjami przełączającymi
PublikacjaW artykule przedstawiono strukturę obserwatora prędkości kątowej wirnika, która jest oparta na rozszerzonym modelu matematycznym maszyny indukcyjnej klatkowej. Funkcje stabilizujące obserwator uzyskano na podstawie metody backstepping. Ponadto zastosowano ślizgowe funkcje przełączające. Przedstawiono badania eksperymentalne.
-
Preparation and properties of nanoporius alumina-based humidity sensors
PublikacjaPrzedstawiono preparatykę czujników wilgotności na bazie nanoporowatego tlenku glinu. Wykorzystano spektroskopię impedancyjną do określenia właściwości czujników. Porównano właściwości czujników przygotowanych z różnymi parametrami procesu technologicznego.
-
Sacrum - Profanum, Profanum-Sacrum, Przemiany funkcji budowli sakralnych w XX wieku = Sacrum-Profanum, Profanum-Sacrum, Transformations of function of sacral buildings in 20th century
PublikacjaPublikacja dotyczy aktualnych problemów zwiazanych z procesami desakralizacji i resakralizacji obiektów. złozony problem dotyczy krajów zarówno Europy wschodniej i zachodniej. Ulegają mu obiekty różnych obrządków i wyznań. Problem dotyczy zarówno samej architektury jak i przemian społecznych.
-
Transformacja zdekapitalizowanej przestrzeni poprzemysłowej - genius loci - żródło nowych struktur funkcjonalno-przestrzennych
PublikacjaW artykule przedstawiono wybrane przykłady europejskich rewitalizacji terenów poprzemysłowych, zachowujacych stare struktury i wprowadzajace nowe funkcje do starej formy.Przedstawiono również projekt adaptacji starego zespołu młynowego w Pelplinie na funkcję hotelowo-gastronomiczną. Nowa funkcja w starej formie stwarza możliwości kreowania nowych wartości funkcjonalno-przestrzennych.Unikalność efektów rewitalizacji polega na...
-
Możliwości i ograniczenia stosowania tlenu hiperbarycznego w medycynie
PublikacjaPrzedstawiono podstawowe fakty dot. skutków fizycznych, biochemicznych i fizjologicznych przebywania w warunkach hiperbarii tlenowej. Następnie zaprezentowano wskazania, przeciwwskazania,powikłania oraz potencjalne zagrożenia zdrowotne tej procedury medycznej.
-
Zintegrowane sterowanie predykcyjne stężeniem tlenu w reaktorze biologicznym
PublikacjaW pracy został opracowany nowy hierarchiczny system sterowania stężeniem tlenu w reaktorze biologicznym dla oczyszczalni ścieków pracującej w technologii osadu czynnego oraz została przeprowadzona jego walidacja na drodze symulacji działania w oparciu o dane rzeczywiste. Trajektoria tlenu do realizacji jest wyznaczona przez wyższą warstwę sterowania oczyszczalnią ścieków pracującej w technologii osadu czynnego lub też jest zadana...
-
Estymacja respiracji wykorzystująca pomiar stężenia tlenu w SBR
PublikacjaBiologiczna oczyszczalnia ścieków jest złożonym nieliniowym systemem przemysłowym. Jednym z istotnych i kosztownych procesów tam zachodzących jest napowietrzanie ścieków. Z procesem tym związana jest respiracja, czyli szybkość zużywania tlenu przez bakterie oczyszczające ścieki. Jest to jeden z najważniejszych parametrów, decydujący o efektywności oczyszczania ścieków. Niestety koszt zakupu urządzeń do pomiaru respiracji – respirometrów...
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublikacjaWe describe a technique that maps unranked trees to their hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to techniques implemented with minimal tree automata, our procedure builds a pseudo-minimal DTA. Pseudo-minimal automata are larger than the minimal ones but in turn the mapping can be arbitrary, so it can be determined prior to the automaton construction. We also provide procedures to build incrementally...