Search
Filters
total: 3275
-
Catalog
- Publications 2998 available results
- Journals 69 available results
- Conferences 10 available results
- Publishing Houses 3 available results
- People 55 available results
- Projects 8 available results
- Laboratories 1 available results
- e-Learning Courses 28 available results
- Events 4 available results
- Open Research Data 99 available results
displaying 1000 best results Help
Search results for: finite-state automata
-
Smaller Representation of Finite State Automata
PublicationThis 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%...
-
Smaller representation of finite state automata
PublicationThis 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...
-
Incremental construction of finite-state automata
PublicationRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
Dynamic Perfect hashing with finite-state automata
PublicationMinimalna 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....
-
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...
-
Comments on ''Incremental construction and maintenance of minimal finite-state automata'' by Rafael C. Carrasco and Mikel L. Forcada.
PublicationW 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...
-
Finite automata for compact representation of tuple dictionaries.
PublicationOpisane 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...
-
Natural language dictionaries implemented as finite automata
PublicationRozdział 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 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...
-
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...
-
Comparison of construction algorithms for minimal, acyclic, deterministicfinite state automata from sets of strings.
PublicationArtykuł porównuje różne metody tworzenia minimalnych, acyklicznych, deterministycznych automatów skończonych ze zbiorów słów. Wdrożone i porównane zostały metody przyrostowe, prawie przyrostowe i nieprzyrostowe.
-
Ground-State Entanglement Properties of Helium Atom in a Finite Spherical Cavity
Publication -
Finite State Machine Based Modelling of Discrete Control Algorithm in LAD Diagram Language With Use of New Generation Engineering Software
Publication -
Portico Farmhouses of the Vistula Delta: Architecture, Current State and Finite Element Modelling of Timber Roof Truss under Material and Cross-section Uncertainty
PublicationThe article focuses on the oldest surviving I-type portico houses located in the Vistula Delta, which were built in the 17th and 18th centuries. The study describes the houses’ origins, structure, details of roof structures and technical condition, and it also includes numerical modelling of a roof truss and its mechanical analysis. Numerical models of the roof trusses are defined and analysed by means of the finite element method....
-
A new library for construction of automata
PublicationWe 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.
-
Preserving Trees in Automata
PublicationWe 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.
-
The complete lists of 1D reversible number-conserving cellular automata with radius one of up to 7 states
Open Research DataThis dataset contains complete lists of all one-dimensional reversible number-conserving k-ary cellular automata with radius one of up to 7 states, i.e. with state sets {0,1}, {0,1,2}, {0,1,2,3}, {0,1,2,3,4}, {0,1,2,3,4,5} and {0,1,2,3,4,5,6}.
-
Perfect hashing tree automata
PublicationWe 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...
-
Optimization of Automata
PublicationThis 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.
-
Analysis of elementary cellular automata using the theory of conflict
PublicationThe paper contains decomposition of elementary cellular automata (ECA in short) to subsystems that are defined according to a new theory called theory of conflict (ToC in short). The decomposition is a completely new approach to analysis of ECA and complex systems in general.
-
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...
-
Jan Daciuk dr hab. inż.
PeopleJan Daciuk received his M.Sc. from the Faculty of Electronics of Gdansk University of Technology in 1986, and his Ph.D. from the Faculty of Electronics, Telecommunications and Informatics of Gdańsk University of Technology in 1999. He has been working at the Faculty from 1988. His research interests include finite state methods in natural language processing and computational linguistics including speech processing. Dr. Daciuk...
-
Analiza wrażliwości tarczy z wykorzystaniem metody elementów skończonych
PublicationW pracy przedstawiono przykład zastosowania analizy wrażliwości tarczy modelowanej przy pomocy metody elementów skończonych. Podstawy teoretyczne oraz przykład numeryczny dotyczą wpływu różnicowania grubości całej tarczy oraz jej obszarów – jako zmiennej pro-jektowej – na przemieszczenie wybranego punktu – jako zmiennej stanu.
-
Application of a cellular automaton to simulations of granular flow in silos
PublicationA cellular automaton based on a gas model of hydrodynamics was used to calculate the kinematics of non-cohesive granular materials during confined flow in a mass flow and funnel flow model silo. In the model, collisions of particles were taken into account during granular flow. In addition, a simplified automaton was used wherein granular flow was assumed as an upward propagation of holes through a lattice composed of cells representing...
-
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...
-
Praktyczne zastosowania analizy wrażliwości na przykładzie projektowania tarczy
PublicationW pracy przedstawiono przykłady zastosowania analizy wrażliwości przy projektowaniu tar-czy. Badano wpływ zmian grubości obszarów tarczy – zmiennej projektowej – na przemiesz-czenie wybranego punktu tarczy – zmiennej stanu. Zaproponowano metodę projektowania polegającą na zwiększeniu grubości obszarów tarczy, których wpływ na wariację zmiennej stanu (wrażliwość) jest największa. Do obliczeń numerycznych korzystano z metody elemen-tów...
-
Techniki zwiększania efektywności metody elementów skończonych poprzez redukcję dziedziny obliczeniowej z wykorzystaniem własności geometrii struktur
PublicationWspółczesna elektronika ze względu na swój szybki rozwój wymaga od nas efektywnego modelowania zjawisk polowych. Celem rozprawy jest zwiększanie efektywności metody elementów skończonych poprzez redukcję dziedziny obliczeniowej z wykorzystaniem własności geometrii struktur oraz jej hybrydyzację z użyciem technik analitycznych. Rozprawa zawiera przegląd stanu wiedzy na temat dostępnych obecnie technik modelowania jak również opis...
-
Solid State Phenomena
Journals -
SOLID STATE IONICS
Journals -
FINITE ELEMENTS IN ANALYSIS AND DESIGN
Journals -
An intelligent cellular automaton scheme for modelling forest fires
PublicationForest fires have devastating consequences for the environment, the economy and human lives. Understanding their dynamics is therefore crucial for planning the resources allocated to combat them effectively. In a world where the incidence of such phenomena is increasing every year, the demand for efficient and accurate computational models is becoming increasingly necessary. In this study, we perform a revision of an initial proposal...
-
Mathematical and numerical modelling,W,IDE-EMSS,IIst,sem.01,lato,2023/24 (PG_00057379)
e-Learning CoursesModelling of controlled mechanical systems by the mixed method of rigid and flexible finite elements: The finite element volume problems. Dynamics of multibody systems. Modelling of stationary closed loop systems. Modelling of systems whose configuration changes with time. Modelling of nonlinear controlled systems. Optimal control at energy performance index: Control of continuous nonstationary systems in domain of generalised...
-
Mathematical and Numerical Modelling, L, IDE IInd, sem.01, summer, 2022/23(00057379)
e-Learning CoursesModelling of controlled mechanical systems by the mixed method of rigid and flexible finite elements: The finite element volume problems. Dynamics of multibody systems. Modelling of stationary closed loop systems. Modelling of systems whose configuration changes with time. Modelling of nonlinear controlled systems. Optimal control at energy performance index: Control of continuous nonstationary systems in domain of generalised...
-
JOURNAL OF SOLID STATE ELECTROCHEMISTRY
Journals -
Finite Element Method
e-Learning CoursesItem Name : Finite Element Method- Abaqus learning Field of study : Civil Engineering Faculty : Faculty of Civil and Environmental Engineering Education level : Second degree studies Form of studies : Full-time studies Year of studies : 1 Study semester : 2 Start of the semester : November 2021 Academic year of the course : 2021/2022 Form of classes : Lecture, Laboratory
-
Modelling of wastewater treatment plant for monitoring and control purposes by state - space wavelet networks
PublicationMost of industrial processes are nonlinear, not stationary, and dynamical with at least few different time scales in their internal dynamics and hardly measured states. A biological wastewater treatment plant falls into this category. The paper considers modelling such processes for monitorning and control purposes by using State - Space Wavelet Neural Networks (SSWN). The modelling method is illustrated based on bioreactors of...
-
Wpływ wysokiej osteotomii piszczelowej na mechanikę stawu kolanowego
PublicationW rozprawie podjęto próbę weryfikacji wpływu zabiegu chirurgicznego wysokiej osteotomii piszczelowej na mechanikę stawu kolanowego. Po wykonanym przeglądzie literatury, postawiono trzy hipotezy, które poddano weryfikacji na drodze badań numerycznych. Otrzymane wyniki zwalidowano poprzez badania nacisków powierzchniowych występujących w stawach kolanowych świni domowej, prowadzonych na maszynie do jednoosiowego ściskania. Praca...
-
Finite Element Method Applications - winter 2022/2023
e-Learning CoursesFinite Element Method Applications - summer 2022/2023 Seminar.
-
Finite Element Method Applications - summer 2022/2023
e-Learning CoursesFinite Element Method Applications - summer 2022/2023 Seminar.
-
Finite Element Method Applications - winter 2023/2024
e-Learning CoursesFinite Element Method Applications - winter 2022/2023 Seminar.
-
Finite Element Method Applications 2023/2024 Summer
e-Learning CoursesFinite Element Method Applications - summer semester 2023/2024 Seminar.
-
Journal of Cellular Automata
Journals -
Solid state electronics and nanoelectronics
e-Learning Courses -
JOURNAL OF SOLID STATE CHEMISTRY
Journals -
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....
-
FINITE FIELDS AND THEIR APPLICATIONS
Journals -
Finite-window RLS algorithms
PublicationTwo recursive least-squares (RLS) adaptive filtering algorithms are most often used in practice, the exponential and sliding (rectangular) window RLS algorithms. This popularity is mainly due to existence of low-complexity versions of these algorithms. However, these two windows are not always the best choice for identification of fast time-varying systems, when the identification performance is most important. In this paper, we...
-
Machine Learning-Based Wetland Vulnerability Assessment in the Sindh Province Ramsar Site Using Remote Sensing Data
PublicationWetlands provide vital ecological and socioeconomic services but face escalating pressures worldwide. This study undertakes an integrated spatiotemporal assessment of the multifaceted vulnerabilities shaping Khinjhir Lake, an ecologically significant wetland ecosystem in Pakistan, using advanced geospatial and machine learning techniques. Multi-temporal optical remote sensing data from 2000 to 2020 was analyzed through spectral...
-
An optimal form of the finite element mass matrix in the analysis of longitudinal vibrations of rods
PublicationIn this paper, an attempt is made to find the optimal form of the mass matrix of a rod finite element, which allows one to obtain the smallest errors in the longitudinal frequency determination of natural vibrations of any boundary conditions within the whole range of determined frequencies. It is assumed that the mass matrix can be treated as a linear combination of the consistent and diagonal matrices. Based on analytical considerations,...
-
GPU-accelerated finite element method
PublicationIn this paper the results of the acceleration of computations involved in analysing electromagnetic problems by means of the finite element method (FEM), obtained with graphics processors (GPU), are presented. A 4.7-fold acceleration was achieved thanks to the massive parallelization of the most time-consuming steps of FEM, namely finite-element matrix-generation and the solution of a sparse system of linear equations with the...