Search
Search results for: DETERMINISTYCZNE AUTOMATY DRZEWIASTE
-
Perfect hashing with pseudo-minimal bottom-up deterministic tree automata
PublicationWe 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...
-
Języki formalne, automaty i translatory
PublicationKsiążka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...
-
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.
-
Les transducteurs à sorties variables
PublicationW 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...
-
Śmiech w ogrodzie, czyli o tym jak automaty rozśmieszały ogrodowych gości
PublicationArtykuł przywołuje historię automatów hydraulicznych umieszczanych w ogrodach w celu rozśmieszania gości. Przeprowadza czytelnika poprzez zawiłości związane z ich budową i analizuje reakcje jakie wywoływały u bywalców ogrodów od Starożytności poprzez Średniowiecze i Renesans aż do XVIII wieku.
-
Incremental construction of Minimal Tree Automata [online]
PublicationWe 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...
-
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....
-
Semi- incremental construction of minimal cyclic finite state automata usingcontinuation classes.
PublicationMinimalne automaty skończone są często wybierane do przedstawiania słowników morfologicznych języka naturalnego. Wśród ich zalet znajdują się duża szybkość rozpoznawania i małe wymagania pamięciowe. Tłumaczenie opisów morfologicznych opartych o klasy kontynuacji na minimalne, cykliczne automaty skończone jest tradycyjnie dokonywane w kilku fazach, zawierających tworzenie automatu niedeterministycznego z przejściami etykietowanymi...
-
An implementation of deterministic tree automata minimization
PublicationWstę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....
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublicationAutomaty pseudominimalne mają dla każdego słowa w języku automatu co najmniej jeden element własny (stan lub przejście), który nie jest współdzielony z żadnym innym słowem. Przedstawiamy przyrostowe i półprzyrostowe algorytmy tworzenia takich automatów.
-
Dynamics of surface floating objects
PublicationPrezentowana praca stanowi wstępne rozeznanie w dziedzinie badań dynamiki konstrukcji pływających z zastosowaniem teorii procesu dyfuzji. W pracy rozpatrywane są modele fizyczne jednostek wielokadłubowych oraz modele matematyczne. Spośród modeli jednostek wielokadłubowych wyróżnia się modele deterministyczne oraz modele stochastyczne.
-
Recent developments in automatic classification of musical instruments. W:[CD-ROM] Collected papers. First Pan-American/Iberian Meeting on Acoustics. 144 Meeting of the Acoustical Society of America. III Iberoamerican Cong- ress of Acoustics. 9o Mexican Congress of Acoustics. Cancun, Q. R. Mxico, 2-6 Dec. 2002. [B.m.:ASA]**2002 paper 2aMU4, 7 s. 6 rys. 1 tab. bibliogr. 21 poz. Automatyczne rozpoznawanie muzyki - przykłady eksperymentów.
PublicationW referacie dokonano przeglądu aktualnego stanu badań w dziedzinie automaty-cznego rozpoznawania muzyki. Przedstawiono też eksperymenty prowadzone aktu-alnie w Katedrze Dźwięku i Obrazu PG. Prace te dotyczyły rozpoznawania klasinstrumentów muzycznych i separacji duetów muzycznych. Pokazano przykładowewyniki i przedstawiono projekt prac do zrealizowania w przyszłych ekspery-mentach.
-
Overview of problems in mathematics related analysis of capital markets
PublicationCelem pracy jest przegląd zjawisk i problemów w analizie rynków kapitałowych metodami matematyki. Zdefiniowano główny cel analiz rynkowych. Przedstawiono stosowane podejście w analizie rynków. Przedyskutowano podejście stochastyczne i deterministyczne. Kolejno przedstawiono zjawiska sprężeń zwrotnych w rynkach. Na koniec przedstawiono, specyficzne dla rynków zjawiska, które mają duży wpływ na zniekształcenie wyników analizy.
-
Podzielne szeregowanie zadań dwuprocesorowych na maszynach dedykowanych w celu minimalizacji sumy czasów zakończenia
PublicationW pracy rozważamy deterministyczne szeregowanie zadań dwuprocesorowych na maszynach dedykowanych, które minimalizuje sumę czasów zakończenia, przy czym dopuszcza się możliwość przerwania wykonywania zadania i ponownego wznowienia obsługi z pomijalnie małym kosztem. Wiadomo, że tak postawione zagadnienie jest problemem silnie NP-trudnym. W pracy badamy złożoność obliczeniową problemu, ograniczając liczbę maszyn.
-
Finite-state lexical tools
PublicationArtykuł przedstawia trzy pakiety oprogramowania zawierające narzędzia poziomu leksykalnego wykorzystujące automaty skończone: dwa zbiory samodzielnych programów i skryptów pomocniczych - jeden używający prostych automatów skończonych, drugi używający automatów Mealy`ego oraz bibliotekę funkcji. Wszystkie przedstawione pakiety posiadają podobne funkcje. Zamiast opisywać poszczególne pakiety, opis skupiony jest na dostarczanych przez...
-
Mechatronics in the design of three wheeled mobile platform controlled by surveillance system at energy performance index
PublicationPraca jest poświęcona projektowaniu mechatronicznemu trójkołowej platformy mobilnej, sterowanej systemem nadzorowania bazującym na energetycznym wskaźniku jakości. Zdefiniowany zakres badań i silna nieliniowość obiektu wymagały niezawodnego systemu sterowania. Warunki deterministyczne i zastosowany algorytm wpłynęły na wybór metody opracowania systemu. Przedstawione techniki projektowania mechatronicznego i przeprowadzone warianty...
-
Finite automata for compact representation of language models in NLP
PublicationPrzedstawiona zostaje technika reprezentacji modeli języka w przetwarzaniu języka naturalnego wymagająca mało pamięci. Po krótkim omówieniu przyczyn poszukiwania oszczędnej reprezentacji takich modeli języka, pokazane jest, jak automaty skończone mogą być użyte w tym celu. Technika może być postrzegana jako zastosowanie i rozszerzenie doskonałej funkcji mieszającej z wykorzystaniem automatów skończonych. Pierwsze doświadczenia...
-
The reliability of ring, star and hybrid networks
PublicationJednym z parametrów charakteryzującym jakość sieci jest jej niezawodność. Rozważono sieci o topologiach drzewiastych, gwiaździstych, pętlowych, wielo-pętlowych oraz mieszanych. Przyjęto następujący model uszkodzeń. Węzły oraz kanały sieci ulegają uszkodzeniom z określonym prawdopodobieństwem, uszkodzenia elementów sieci są od siebie statystycznie niezależne. Jako oceny niezawodności sieci przyjęto: średnią liczbę sprawnych par...
-
Capturing semantics of semi-structured data using partial-order trees
PublicationW artykule zaprezentowano nowe podejście do problemu klasyfikacji danych semistrukturalnych. Kryteria klasyfikacji bazują na strukturze danych (zwanej typem danych) oraz na ich usytuowaniu w grafir danych (zwanym rolą danych). Zastosowano model OEM (Object Exchange Model) do reprezentacji nazy danych semistrukturalnych. Bazując na tej reprezentacji, definiuje się typy i role obiektów semistrukturalnych i organizuje się je w struktury...
-
Gazetteer compression technique based on substructure recognition
PublicationAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
Systemy hydrolokacyjne
PublicationOmówiono obszernie większość zagadnień występujących w trakcie analizy, projektowania i eksploatacji systemów hydrolokacyjnych. Na wstępie przedstawiono teorie i wyniki pomiarów dotyczących propagacji fal akustycznych w ośrodku idealnym i w morzu. W kolejnym rozdziale zaprezentowano sygnały analogowe, cyfrowe, deterministyczne i losowe wykorzystywane w hydrolokacji. W następnych dwóch rozdziałach omówiono źródła fali akustycznej...
-
Moddeling urban processes based on requirements ofself-organization theory.
PublicationW artykule przedstawiono ogólne podstawy symulacji rozwoju urbanistycznego w oparciu o modele komórkowe. Nowa teoria, wykorzystująca aparat matematyczny stworzony do badań i modelowania dynamiki układów nieliniowych, rozszerza również możliwości poznawcze i wykorzystanie systemów GIS w szeroko pojmowanym planowaniu przestrzennym. Jej szybki rozwój w ostatnich latach i niezwykłe osiągnięcia w poznaniu procesów rządzących podstawową...
-
Semi-incremental addition of strings to a cyclic finite automaton
PublicationMaszyny 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...
-
Serous borderline tumor, NOS - Female, 59 - Tissue image [10010729534339971]
Open Research DataThis is the histopathological image of OVARY tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Serous borderline tumor, NOS - Female, 59 - Tissue image [10010729534323071]
Open Research DataThis is the histopathological image of OVARY tissue sample obtained in Medical University Gdańsk and deposited in ZMDL-GUMED. The sample image was taken using: Pannoramic 250 3DHistech slide scanner (20x magnification) and saved to DICOM format.
-
Methods for evaluation packet delay distribution of flows using Expedited Forwarding PHB.
PublicationArtykuł dotyczy problemu zapewnienia statystycznych gwarancji jakości obsługi dla strumieni czasu rzeczywistego korzystających z Expedited Forwarding Per Hop Behavior (EF PHB) w sieci IP Differentiated Services. Statystyczne podejście do określenia gwarancji jakościowych, oparte na obliczaniu prawdopodobieństwa że opóźnienie pakietów od końca do końca jest większe niż określona wielkość, pozwala lepsze wykorzystanie sieci niż poprzednio...
-
Subsoil degradation effect in reliability analysis of the jack-up platform structure
PublicationStructural reliability analysis is considered, by FORM and SORM applied to a certain idealized soil-platform structure interaction problem due to cyclic water wave and wind loads. Wave and wind loads are random variables, whereas dead load is deterministic. Load parameters are typical for storm conditions in the Baltic Sea. The soil-structure interaction is idealized as a set of linear translational and rotational springs. Due...
-
Taylor type predictor for pressure changes
PublicationCelem pracy jest ocena predykcji ciśnienia za pomocą rozwinięcia funkcji w szereg Taylora. Przewidywana wartość ciśnienia jest obliczana jako iloczyn wcześniejszych wartości mnożonych przez współczynniki wagowe wyznaczone w oparciu o szereg Taylora. Zaletą takiego podejścia jest możliwość analizy danych próbkowanych nierównomiernie. Podstawową wadą jest założenie, że ciśnienie jest dobrze aproksymowane przez wielomian niskiego...
-
Analysis and synthesis of structural system dimensional deviations
PublicationBłedne zasady określania dopuszczalnych odchyłek wymiarowych stalowych elementów konstrukcyjnych lub wręcz ich brak często powodują trudności w czasie montażu konstrukcji. W każdym układzie konstrukcyjnym można wyróżnić tzw. Koordynacyjne Wymiary Montażowe (KWM). Odchyłki wymiarowe (tolerancje) KWM decydują o zachowaniu poprawnej geometrii ustroju budowlanego po jego zamontowaniu na placu budowy. KWM tworzą zamknięte ciągi wymiarowe,...
-
PROBABILISTYCZNE ASPEKTY ZUŻYCIA SKOJARZEŃ CIERNYCH UKŁADÓW KORBOWO-TŁOKOWYCH NA PRZYKŁADZIE OKRĘTOWYCH SILNIKÓW SPALINOWYCH DWUSUWOWYCH NAPĘDU GŁÓWNEGO
PublicationW artykule przestawiono propozycję rozpatrywania zarówno obciążenia jak i zużywania ślizgowych skojarzeń ciernych (łożysk głównych i korbowych) układów korbowo-tłokowych silników spalinowych, zwłaszcza głównych, a także skojarzeń „tłok-tuleja” tych silników, jako procesów stochastycznych. Propozycję tę uzasadniono tym, że deterministyczne podejście do badania zarówno obciążenia jak i zużycia wspomnianych skojarzeń uniemożliwia...
-
Innowacyjne dworce kolejowe
PublicationWspółczesny dworzec kolejowy zmienia swoje oblicze w stosunku do dworców, jakie znamy z przeszłości. Obecnie realizowane obiekty stanowią najczęściej wielkie wiaty, przekrywające przestrzeń publiczną placów dworcowych. Przestrzeń ta stanowi jednocześnie rdzeń komunikacyjny łączący przystanki różnych środków transportu w jeden zintegrowany węzeł przesiadkowy. W nowoczesnych dworcach do niezbędnego minimum ograniczane są pomieszczenia...
-
Self-testing of fully differential multistage circuits using common-mode excitation
PublicationPrzedmiotem artykułu jest, zorientowane na uszkodzenia, testowanie wielostopniowych układów w pełni różnicowych. Zaproponowano metodę testowania z zastosowaniem pobudzenia układu testowanego sygnałem wspólnym. Rozważane są dwa warianty metody. Pierwszy wariant wykorzystuje do pobudzenia wejście każdego różnicowego stopnia. Drugi wariant wykorzystuje dodatkowe wejście wzmacniacza operacyjnego i testuje wielostopniowy układ bez jego...
-
The reliability of tree and star networks.
PublicationOne of the important parameters characterizing the quality of computer networks is the network's reliability with respect to failures of the communication links and nodes. This chapter investigated the reliability of tree and star networks. The tree and star topology is used in centralized computer networks. In centralized computer networks all communication must take place through some central computer. Following measures of network...
-
Projektowanie wstępne siłowni pogłębiarek z zastosowaniem metod i modeli probabilistycznych
PublicationW pracy przedstawiono udoskonalony proces projektowania wstępnego projektowania siłowni pogłębiarek. Przeprowadzono krytyczną analizę obecnie stosowanych metod projektowania siłowni pogłębiarek i zaproponowano nową metodykę projektowania, wykorzystującą metody i modele probabilistyczne, które lepiej opisują złożone i zmienne realia eksploatacji siłowni pogłębiarek niż modele deterministyczne. Przeprowadzono analizę rozwiązań konstrukcyjnych...
-
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublicationWe 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...
-
Układy Logiczne wykład - 2023/2024
e-Learning CoursesWykład z przedmiotu Układy Logiczne 1. Nabycie umiejętności posługiwania sie algebrą Boolea do opisu przebiegu zdarzeń .Przedstawienie sposobów analizy i opisu układów logicznych i mikroprocesorowych . 2. Aparat matematyczny stosowany do opisu układów kombinacyjnych i sekwencyjnych tablice funkcji, funkcje logiczne, automaty, graf tablice przejść/wyjść przykłady,Wprowadzenie do systemu binarnego, arytmetyka binarna 3....
-
Modelowanie procesów transportowych (PG_00045922) TRANSPORT II st. 1 sem.- sem.letni 2022/2023 Jacek Oskarbski
e-Learning CoursesModele systemu transportu. Rozłożenie potoków w sieciach transportowych. Otoczenie systemu transportowego. Prognozowanie rozwoju systemów transportowych. Dynamika procesów transportowych. Definicje: system obsługi masowej, sieć kolejkowa, sieć transportowa, proces transportowy. Grafowa reprezentacja sieci transportowej. Klasyfikacja systemów obsługi masowej. Dyscypliny obsługi. Podział systemów kolejkowych. Niemarkowskie systemy...
-
Modelowanie procesów transportowych (PG_00045922) TRANSPORT II st. 1 sem.- sem.letni 2021/2022 Jacek Oskarbski
e-Learning CoursesModele systemu transportu. Rozłożenie potoków w sieciach transportowych. Otoczenie systemu transportowego. Prognozowanie rozwoju systemów transportowych. Dynamika procesów transportowych. Definicje: system obsługi masowej, sieć kolejkowa, sieć transportowa, proces transportowy. Grafowa reprezentacja sieci transportowej. Klasyfikacja systemów obsługi masowej. Dyscypliny obsługi. Podział systemów kolejkowych. Niemarkowskie systemy...
-
Modelowanie procesów transportowych (PG_00045922) TRANSPORT II st. 1 sem.- sem.letni 2023/2024 Jacek Oskarbski
e-Learning CoursesModele systemu transportu. Rozłożenie potoków w sieciach transportowych. Otoczenie systemu transportowego. Prognozowanie rozwoju systemów transportowych. Dynamika procesów transportowych. Definicje: system obsługi masowej, sieć kolejkowa, sieć transportowa, proces transportowy. Grafowa reprezentacja sieci transportowej. Klasyfikacja systemów obsługi masowej. Dyscypliny obsługi. Podział systemów kolejkowych. Niemarkowskie systemy...
-
Podstawy Techniki Cyfrowej wykład - 2023/2024
e-Learning CoursesWykład z przedmiotu Podstawy Techniki Cyfrowej 1. Cel wykładów : Nabycie umiejętności posługiwania sie algebrą Boolea do opisu przebiegu zdarzeń . 2. Aparat matematyczny stosowany do opisu układów kombinacyjnych i sekwencyjnych tablice funkcji, funkcje logiczne, automaty, graf tablice przejść/wyjść przykłady,Wprowadzenie do systemu binarnego, arytmetyka binarna 3. Funkcje logiczne w postaci kanonicznej, parakanonicznej , 4....
-
Podstawy techniki cyfrowej zima 2024/2025
e-Learning CoursesWykład z przedmiotu Podstawy Techniki Cyfrowej 1. Cel wykładów : Nabycie umiejętności posługiwania sie algebrą Boolea do opisu przebiegu zdarzeń . 2. Aparat matematyczny stosowany do opisu układów kombinacyjnych i sekwencyjnych tablice funkcji, funkcje logiczne, automaty, graf tablice przejść/wyjść przykłady,Wprowadzenie do systemu binarnego, arytmetyka binarna 3. Funkcje logiczne w postaci kanonicznej, parakanonicznej , 4....
-
Mechanika stosowana - obciążenia konstrukcji, wytrzymałość materiałów i konstrukcji"
e-Learning CoursesProwadzący: dr hab. inż. Mirosław K. Gerigk, prof. PG Terminy spotkań (propozycja): soboty od godz. 9-tej do 12-tej (3 godz. x 5 spotkań) Data wykładu Czas wykładu Część teoretyczna Część praktyczna Uwagi 02.12.2023 9.00-12.00 9.00-11.00 11.00-12.00 09.12.2023 9.00-12.00 9.00-11.00 11.00-12.00 16.12.2023 9.00-12.00 9.00-11.00 11.00-12.00 13.01.2024 9.00-12.00 9.00-10.00 10.00-12.00 20.01.2024 9.00-15.00 9.00-10.00 10.00-12.00 Forma...
-
Technika Cyfrowa wykład - 2023/2024
e-Learning CoursesWykład z przedmiotu Technika Cyfrowa 1. Pojęcia podstawowe, układy kombinacyjne, układy sekwencyjne 2. Aparat matematyczny stosowany do opisu układów kombinacyjnych i sekwencyjnych – tablice funkcji, funkcje logiczne, automaty, graf tablice przejść/wyjść – przykłady 3. Wprowadzenie do systemu binarnego, arytmetyka binarna 4. Kody przedstawiania liczb BIN, HEX, BCD, U1, U2, liczby zmienno pozycyjne, arytmetyka na liczbach ze...
-
Technika Cyfrowa wykład - Nowy - Nowy
e-Learning CoursesWykład z przedmiotu Technika Cyfrowa 1. Pojęcia podstawowe, układy kombinacyjne, układy sekwencyjne 2. Aparat matematyczny stosowany do opisu układów kombinacyjnych i sekwencyjnych – tablice funkcji, funkcje logiczne, automaty, graf tablice przejść/wyjść – przykłady 3. Wprowadzenie do systemu binarnego, arytmetyka binarna 4. Kody przedstawiania liczb BIN, HEX, BCD, U1, U2, liczby zmienno pozycyjne, arytmetyka na liczbach ze...
-
Technika cyfrowa I zima 2024
e-Learning CoursesWykład z przedmiotu Technika Cyfrowa 1. Pojęcia podstawowe, układy kombinacyjne, układy sekwencyjne 2. Aparat matematyczny stosowany do opisu układów kombinacyjnych i sekwencyjnych – tablice funkcji, funkcje logiczne, automaty, graf tablice przejść/wyjść – przykłady 3. Wprowadzenie do systemu binarnego, arytmetyka binarna 4. Kody przedstawiania liczb BIN, HEX, BCD, U1, U2, liczby zmienno pozycyjne, arytmetyka na liczbach ze...