Wyszukiwarka
Filtry
wszystkich: 3416
wybranych: 2969
-
Katalog
- Publikacje 2969 wyników po odfiltrowaniu
- Czasopisma 69 wyników po odfiltrowaniu
- Konferencje 10 wyników po odfiltrowaniu
- Wydawnictwa 3 wyników po odfiltrowaniu
- Osoby 55 wyników po odfiltrowaniu
- Projekty 7 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Kursy Online 28 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Dane Badawcze 270 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: finite-state automata
-
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%...
-
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...
-
Incremental construction of finite-state automata
PublikacjaRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
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....
-
Semi- incremental construction of minimal cyclic finite state automata usingcontinuation classes.
PublikacjaMinimalne 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.
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...
-
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...
-
Finite automata for compact representation of language models in NLP
PublikacjaPrzedstawiona 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
PublikacjaArtykuł 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.
PublikacjaArtykuł 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
Publikacja -
Finite State Machine Based Modelling of Discrete Control Algorithm in LAD Diagram Language With Use of New Generation Engineering Software
Publikacja -
Portico Farmhouses of the Vistula Delta: Architecture, Current State and Finite Element Modelling of Timber Roof Truss under Material and Cross-section Uncertainty
PublikacjaThe 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
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.
-
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.
-
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...
-
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.
-
Analysis of elementary cellular automata using the theory of conflict
PublikacjaThe 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
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...
-
Analiza wrażliwości tarczy z wykorzystaniem metody elementów skończonych
PublikacjaW 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
PublikacjaA 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
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...
-
Praktyczne zastosowania analizy wrażliwości na przykładzie projektowania tarczy
PublikacjaW 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
PublikacjaWspół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...
-
An intelligent cellular automaton scheme for modelling forest fires
PublikacjaForest 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...
-
Modelling of wastewater treatment plant for monitoring and control purposes by state - space wavelet networks
PublikacjaMost 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
PublikacjaW 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...
-
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....
-
Finite-window RLS algorithms
PublikacjaTwo 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
PublikacjaWetlands 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
PublikacjaIn 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
PublikacjaIn 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...
-
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...
-
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.
-
A higher order transversely deformable shell-type spectral finite element for dynamic analysis of isotropic structures
PublikacjaThis paper deals with certain aspects related to the dynamic behaviour of isotropic shell-like structures analysed by the use of a higher order transversely deformable shell-type spectral finite element newly formulated and the approach known as the Time-domain Spectral Finite Element Method (TD-SFEM). Although recently this spectral approach is reported in the literature as a very powerful numerical tool used to solve various...
-
A Review: Applications of the Spectral Finite Element Method
PublikacjaThe Spectral Finite Element Technique (SFEM) has Several Applications in the Sciences, Engineering, and Mathematics, which will be Covered in this Review Article. The Spectral Finite Element Method (SFEM) is a Variant of the Traditional Finite Element Method FEM that Makes use of Higher Order Basis Functions (FEM). One of the most Fundamental Numerical Techniques Employed in the Numerical Simulation is the SFEM, which Outperforms...
-
Incremental and Semi-Incremental Construction of Pseudo-Minimal Automata
PublikacjaPrzedstawione 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....
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublikacjaAutomaty 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.
-
A Finite Element Approach for Wave Propagation in Elastic Solids
PublikacjaThis book focuses on wave propagation phenomena in elastic solids modelled by the use of the finite element method. Although the latter is a well-established and popular numerical tool used by engineers and researchers all around the word the process of modelling of wave propagation can still be a challenge. The book introduces a reader to the problem by presenting a historical background and offering a broad perspective on the...
-
Degree product formula in the case of a finite group action
PublikacjaLet V, W be finite dimensional orthogonal representations of a finite group G. The equivariant degree with values in the Burnside ring of G has been studied extensively by many authors. We present a short proof of the degree product formula for local equivariant maps on V and W.
-
Wideband Macromodels in Finite Element Method
PublikacjaThis letter proposes a novel projection technique for accelerating Finite Element Method simulations. The algorithm is based on the Second-order Arnoldi Method for Passive Order Reduction (SAPOR). It involves generation of two projection bases and thanks to this it is applicable to the systems of equations, which contain the quadratic frequency-dependence in the input term, that arise when projection is applied locally in the selected...
-
Influence of Protonation State on the Excited State Dynamics of a Photobiologically Active Ru(II) Dyad
PublikacjaThe influence of ligand protonation on the photophysics of a ruthenium (Ru) dyad bearing the 2-(1-pyrenyl)-1H-imidazo[4,5-f][1,10]-phenanthroline (ippy) ligand was investigated by time-resolved transient absorption spectroscopy. It was found that changes in the protonation state of the imidazole group led to changes in the electronic configuration of the lowest lying excited state. Formation of the fully deprotonated imidazole...
-
Finite element matrix generation on a GPU
PublikacjaThis paper presents an efficient technique for fast generation of sparse systems of linear equations arising in computational electromagnetics in a finite element method using higher order elements. The proposed approach employs a graphics processing unit (GPU) for both numerical integration and matrix assembly. The performance results obtained on a test platform consisting of a Fermi GPU (1x Tesla C2075) and a CPU (2x twelve-core...
-
Two-dimensional rotation-symmetric number-conserving cellular automata
Publikacja -
Extension of selected ADFA construction algorithms to the case of cyclic automata.
PublikacjaW niedawnym artykule Rafael Carrasco i Mikel Forcada przedstawiają przyrostowy algorytm dodawania słów do minimalnego, acyklicznego automatu skończonego. Ten algorytm jest uogólnieniem przyrostowego algorytmu tworzenia acyklicznych deterministycznych automatów skończonych (ADFAs). Przedstawiamy podobne uogólnienia dwóch innych algorytmów tworzenia ADFAs. Chociaż te ougólnienia zostały już opublikowane w maju i czerwcu 2004 r.,...
-
Reduced-order models in the finite element analysis
PublikacjaA novel technique of incorporating macromodels into finite element electromagnetic analysis of waveguide components is presented. Macromodels are generated by using a model order reduction algorithm (ENOR), which results in significant decrease of the number of variables, that describe the computational region. Proposed technique allows for using a few independent macromodels as well as to duplicating one macromodel in many subregions...
-
Automatic Reduction-Order Selection for Finite-Element Macromodels
PublikacjaAn automatic reduction-order selection algorithm for macromodels in finite-element analysis is presented. The algorithm is based on a goal-oriented a posteriori error estimator that operates on low-order reduced blocks of matrices, and hence, it can be evaluated extremely quickly.
-
Finite Element Approaches to Model Electromechanical, Periodic Beams
PublikacjaPeriodic structures have some interesting properties, of which the most evident is the presence of band gaps in their frequency spectra. Nowadays, modern technology allows to design dedicated structures of specific features. From the literature arises that it is possible to construct active periodic structures of desired dynamic properties. It can be considered that this may extend the scope of application of such structures. Therefore,...