Filtry
wszystkich: 25299
-
Katalog
- Publikacje 20204 wyników po odfiltrowaniu
- Czasopisma 41 wyników po odfiltrowaniu
- Konferencje 16 wyników po odfiltrowaniu
- Wydawnictwa 5 wyników po odfiltrowaniu
- Osoby 723 wyników po odfiltrowaniu
- Wynalazki 88 wyników po odfiltrowaniu
- Projekty 278 wyników po odfiltrowaniu
- Laboratoria 18 wyników po odfiltrowaniu
- Zespoły Badawcze 41 wyników po odfiltrowaniu
- Aparatura Badawcza 8 wyników po odfiltrowaniu
- Kursy Online 1950 wyników po odfiltrowaniu
- Wydarzenia 599 wyników po odfiltrowaniu
- Dane Badawcze 1328 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: automata na drzewach
-
Pomiary Automatyka Robotyka
Czasopisma -
Automatyka Elektryka Zakłócenia
Czasopisma -
AUTOMATICA
Czasopisma -
Automatyka / Automatics
Czasopisma -
Równowaga strategiczna dla zbiorów defensywnych w drzewach
PublikacjaW pracy rozważany jest problem defensywnej równowagi strategicznej dla zbiorów defensywnych w drzewach (spójnych grafach acyklicznych), który polega na znalezieniu dwóch rozłącznych globalnych zbiorów defensywnych. Zagadnienie to znajduje zastosowanie w modelo- waniu problemów komunikacyjnych w sieciach. Dla danego grafu G podzbiór jego wierzchołków S jest zbiorem defensywnym, jeśli dla każdego wierzchołka v należącego do S spełniony...
-
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...
-
Drzewa-pomniki przyrody na terenie Suwalskiego Parku Krajobrazowego
PublikacjaCelem badań członków Studenckiego Koła Naukowego Leśników Politechniki Białostockiej była aktualizacja informacji o drzewach uznanych za pomniki przyrody na terenie Suwalskiego Parku Krajobrazowego. Zakres prac obejmował również określenie ich stanu ochrony oraz ukazanie możliwości wykorzystania tych okazów jako atrakcji turystycznych. Wyniki badań wykazały, że drzewa ustanowione jako pomniki przyrody są w niektórych przypadkach...
-
Na Ratunek
Czasopisma -
Acta Mechanica et Automatica
Czasopisma -
Dobór algorytmu do przetwarzania zależności czasowych w drzewach błędów
PublikacjaAnalizę drzew błędów można wzbogacić o rozważenia dotyczące zależności czasowych. Na podstawie informacji o zależnościach przyczynowo-skutkowych oraz o zależnościach czasowych zawartych w drzewie błędów można określić wymagania czasowe wobec komponentów analizowanego systemu, które podniosą jego bezpieczeństwo. Analiza zależności czasowych została precyzyjnie zdefiniowana w zakresie warunków wejściowych i wyjściowych przyjętego...
-
Journal of Cellular Automata
Czasopisma -
AUTOMATIKA
Czasopisma -
Optimization of Automata
PublikacjaThis book is conceived as an effort to gather all algorithms and methods developed by the author of the book that concern three aspects of optimization of automata: incrementality, hashing and compression. Some related algorithms and methods are given as well when they are needed to complete the picture.
-
O problemie przydziału częstotliwości, kontrastowym kolorowaniu grafów i częściowych k-drzewach
PublikacjaNiniejszy artykuł poświęcony jest złożoności obliczeniowej problemu przydziału częstotliwości. Zawiera dowód tego, że jest on NP-trudny nawet dla grafów interferencji, będących grafami dwudzielnymi, oraz wielomianowy algorytm rozwiązujący ten problem dla grafów interferencji, będących częściowymi k-drzewami.
-
Lower bound on the distance k-domination number of a tree
PublikacjaW artykule przedstawiono dolne ograniczenie na liczbę k-dominowania w drzewach oraz scharakteryzowano wszystkie grafy ekstremalne.
-
Riocht na midhe
Czasopisma -
Zabytki na Mazowszu
Czasopisma -
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublikacjaWe describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions that are unique) for every input...
-
Preserving Trees in Automata
PublikacjaWe present a method to store additional information in a minimal automaton so that it is possible to compute a corresponding tree node number for a state. The number can then be used to retrieve additional information. The method works for minimal (and any other) deterministic acyclic finite state automata (DFAs). We also show how to compute the inverse mapping.
-
Lower bound on the weakly connected domination number of a tree
PublikacjaPraca dotyczy dolnego ograniczenia liczby dominowania słabo spójnego w drzewach (ograniczenie ze względu na ilość wierzchołków i ilość wierzchołków końcowych w drzewie).
-
Journal of Automata, Languages and Combinatorics
Czasopisma -
Drzewa póki jeszcze stoją
PublikacjaWystawa zbiorowa
-
Perfect hashing tree automata
PublikacjaWe present an algorithm that computes a function that assigns consecutive integers to trees recognized by a deterministic, acyclic, finite-state, bottom-up tree automaton. Such function is called minimal perfect hashing. It can be used to identify trees recognized by the automaton. Its value may be seen as an index in some other data structures. We also present an algorithm for inverted hashing.Przedstawiamy algorytm, który oblicza...
-
A new library for construction of automata
PublikacjaWe present a new library of functions that construct minimal, acyclic, deterministic, finite-state automata in the same format as the author's fsa package, and also accepted by the author's fadd library of functions that use finite-state automata as dictionaries in natural language processing.
-
AUTOMATYKA ELEKTROENERGETYCZNA
Czasopisma -
Metoda oceny dokładności położenia ostrzy pił tarczowych w procesie przecinania materiałów drzewnych na podstawie warunków skrawania
PublikacjaW pracy przeprowadzono zarówno badania teoretyczne, jak również badania doświadczalne dokładności położenia ostrzy pił tarczowych w układzie przecinania. W ramach badań teoretycznych dokonano szczegółowej analizy wpływu bicia promieniowego i osiowego ostrzy piły tarczowej na efekty przecinania, przy zmiennych warunkach skrawania. Wyniki tych analiz zostały zweryfikowanie w badaniach doświadczalnych. Uzyskane zależności stanowiły...
-
Modelowanie numeryczne hydrodynamiki jako narzędzie wspomagania oceny odziaływania filarów mostowych na przepływ wody w rzekach
PublikacjaW artykule przedstawiono obliczenia hydrauliczne mostów polegające na wykonaniu numerycznych symulacji przepływu dwuwymiarowego, co pozwala na uzyskanie płaskiego poziomego rozkładu prędkości w rejonie przekroju mostowego. Takie podejście zdecydowanie poprawia jakość odwzorowania hydrodynamiki przepływu w stosunku do tradycyjnych obliczeń hydraulicznych, a jednocześnie jest rozwiązaniem efektywnym. Jako przykłady zastosowania zaproponowanej...
-
The Effectiveness of Semi-Automated and Fully Automatic Segmentation for Inferior Alveolar Canal Localization on CBCT Scans: A Systematic Review
Publikacja -
Total restrained domination numbers of trees
PublikacjaOpisane są wszystkie drzewa, w których liczby dominowania totalnego i totalno - powściągniętego są sobie równe, a także podano dolne ograniczenie na liczbę dominowania totalno - powściągniętego w drzewach.
-
Paired bondage in trees
PublikacjaW pracy zdefiniowano pojęcie liczby zniewolenia parami jako moc najmniejszego zbioru krawędzi, którego usunięcie z grafu spowoduje wzrost liczby dominowania parami. W szczególności scharakteryzowane są wszystkie drzewa, w których liczba zniewolenia wynosi 0, czyli takie, w których usunięcie dowolnego podzbioru krawędzi nie zwiększy liczby dominowania parami.
-
Representing and appraising Toulmin model arguments in trust cases
PublikacjaThe paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.
-
Smaller representation of finite state automata
PublikacjaThis paper is a follow-up to Jan Daciuk's experiments on space-efficient finite state automata representation that can be used directly for traversals in main memory (Daciuk, 2000)[4]. We investigate several techniques for reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve...
-
An implementation of deterministic tree automata minimization
PublikacjaWstępujący, deterministyczny, skończony automat drzewiasty (DTA) może być używany jako struktura danych do przechowywania zbiorów nieuporządkowanych drzew bez narzuconej liczby poddrzew. Takie automaty są zwykle rzadsze niż automaty działające na napisach i dlatego należy zwrócić szczególną uwagę na ich wydajną minimalizację. W dostępnej literaturze jest jednak ciężko znaleźć proste i szczegółowe opisy procedury minimalizacji....
-
Smaller Representation of Finite State Automata
PublikacjaThis paper is a follow-up to Jan Daciuk's experiments on space-effcient finite state automata representation that can be used directly for traversals in main memory. We investigate several techniques of reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve a gain of around 20-30%...
-
Incremental construction of finite-state automata
PublikacjaRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
Roczna ocena stanu technicznego i stopnia bezpieczeństwa budowli piętrzących elektrowni wodnych na rzekach Radunia i Wierzyca.
PublikacjaOpracowanie zawiera roczną analizę przemieszczeń reperów kontrolowanych oraz kształtowania się zwierciadła wody w sieci piezometrów, które wraz z oględzinami budowli pozwoliły przedstawić ocenę stanu technicznego budowli hydrotechnicznych i zalecenia dotyczące ich dalszej eksploatacji.
-
Roczna ocena stanu technicznego i stopnia bezpieczeństwa budowli hydrotechnicznych elektrowni wodnych na rzekach Radunia i Wierzyca.
PublikacjaOpracowanie zawiera roczną analizę przemieszczeń reperów kontrolowanych oraz kształtowania się zwierciadła wody w sieci piezometrów, które wraz z oględzinami budowli pozwoliły przedstawić ocenę stanu technicznego budowli hydrotechnicznych i zalecenia dotyczące ich dalszej eksploatacji.
-
Numeryczna analiza hydrauliki toru kajakarstwa górskiego w Drzewicy
PublikacjaW artykule zaproponowano wykorzystanie do analizy hydrodynamiki toru kajakarstwa górskiego symulacji numerycznej, wykorzystującej dwuwymiarowe równania ruchu wody w warunkach przepływu szybkozmiennego. Rozwiązanie równań hydrodynamiki wykonano samodzielnie z zastosowaniem metody objętości skończonych. Jako przykład zastosowania zaproponowanej metody przedstawiono analizę przepływu wzdłuż istniejącego, poddanego modernizacji toru...
-
ZAWARTOŚĆ CUKRÓW W SOKACH DRZEWNYCH Z TERENU PODKARPACIA
PublikacjaOznaczono zawartość cukrów w sokach drzewnych sześciu gatunków drzew rosnących na terenie Podkarpacia. Materiał doświadczalny stanowiły soki z drzew gatunków: brzoza zwisła in. brodawkowata (Betula pendula Roth.), brzoza omszona (Betula pubescens Ehrh.), grab pospolity (Carpinus betulus L.), klon zwyczajny (Acer platanoides L.), klon jesionolistny (Acer negundo L.) oraz wierzba biała (Salix alba L.). Analizę jakościową cukrów przeprowadzono...
-
Les transducteurs à sorties variables
PublikacjaW przetwarzaniu języka naturalnego słowniki elektroniczne wiążą ze słowami informacje. Najwydajniejsza reprezentacja takich słowników używa maszyn ze skończoną liczbą stanów (automatów prostych lub automatów Mealy'ego). W tym artykule wzorując się na algorytmach bezpośredniej budowy minimalnego automatu deterministycznego proponujemy nowy typ automatu Mealy'ego. Ta nowa forma pozwala na szybkie obliczanie informacji wyjściowej...
-
Zeszyty Naukowe Politechniki Śląskiej. Automatyka
Czasopisma -
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...
-
Natural language dictionaries implemented as finite automata
PublikacjaRozdział przedstawia wykorzystanie automatów skończonych jako słowników języka naturalnego. Podane są podstawy teoretyczne. Omówione są zastosowania: realizacja doskonałej funkcji mieszającej, analizy i syntezy morfologicznej, poprawiania pisowni i dopisywania znaków diakrytycznych, wydobywanie informacji. Podano algorytmy tworzenia automatów oraz omówiono sposoby reprezentacji automatów z uwzględnieniem kompresji.
-
Finite automata for compact representation of tuple dictionaries.
PublikacjaOpisane zostaje uogólnienie struktury danych - słownika, zwane słownikiem n-tek. Słownik n-tek przedstawia odwzorowanie n-tek łańcuchów znaków na pewne wartości. Motywacją dla powstania tej struktury danych są praktyczne zastosowania w przetwarzaniu języka i mowy, w których obszerne słowniki n-tek używane są do przedstawiania modeli języka. Przedstawiona zostaje technika oszczędnej reprezentacji słowników n-tek. Ta technika...
-
Dynamic Perfect hashing with finite-state automata
PublikacjaMinimalna doskonała funkcja mieszająca dostarcza odwzorowania zbioru n niepowtarzalnych słów w zwarty zakres n liczb całkowitych. Gdy jest realizowane za pomocą automatów skończonych, odwzorowanie wynika z porządku słów (zwykle alfabetycznego) w zbiorze. Dodanie nowych słów zmieniłoby porządek słów rozpoznawanych przez automat, zmieniając całe odwzorowanie i czyniąc je bezużytecznym w wielu dziedzinach. Dlatego nazywamy je statycznym....
-
Complexity of weak acceptonic conditions in tree automata
PublikacjaRozważano złożoność problemu pustości dla automatów na drzewach ze słabymi warunkami akceptowalności. Rozważano także translacje pomiędzy słabymi i silnymi warunkami akceptowalności.
-
Application of a cellular automata model to granular flow
PublikacjaPrzedstawiono wyniki modelowania przepływów granulowanych przy zastosowaniu automatu komórkowego. Obliczenia wykonano dla silosów ze wstawkami i ścianką szczelną. Przyjęto różne schematy propagacji ziaren.
-
Okresowa pięcioletnia i roczna ocena stanu technicznego, stopnia bezpieczeństwa oraz przydatności elektrowni wodnych na rzekach Radunia i Wierzyca
PublikacjaOpracowanie zawiera okresową ocenę stanu technicznego i stopnia bezpieczeństwa elektrowni wodnych na rzekach Radunia i Wierzyca, analizę przemieszczeń reperów kontrolowanych, analizę piezometryczną oraz wnioski służące poprawie bezpieczeństwa eksploatacji obiektów hydrotechnicznych.
-
Protokoły drzewa opinającego - ataki i metody obrony
PublikacjaW pracy przedstawiono sposoby ataków na sieci wykorzystujące realizacje drzewa opinającego STP (IEEE 802.1d i IEEE 802.1w a także modyfikacji STP wprowadzonych przez Cisco) oraz znane metody obrony przed atakami na STP. Zaproponowano także nową koncepcje obrony przed atakami mechanizmu STP wykorzystującą pole flags ramek BPDU.
-
Automated Software Engineering
Czasopisma