Filters
total: 1463
filtered: 1250
displaying 1000 best results Help
Search results for: INCREMENTAL CONSTRUCTION OF AUTOMATA
-
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.
-
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....
-
Incremental construction of finite-state automata
PublicationRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
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...
-
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...
-
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.
-
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...
-
Extension of selected ADFA construction algorithms to the case of cyclic automata.
PublicationW 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.,...
-
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.
-
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.
-
Estakada E2 - kluczowy obiekt Obwodnicy Wałcza
PublicationW artykule przedstawiono uwarunkowania i przebieg projektowania estakady E2 z betonu sprężonego w ciągu Obwodnicy Wałcza. Pokazano efekt procesu optymalizacji projektu pierwotnego. Opisano przeprowadzone analizy wynikające z przyjętej technologii nasuwania podłużnego oraz istotne aspekty, które należy poruszyć przy wyborze tej technologii. Zaprezentowano modele numeryczne konstrukcji przęseł i metodę analizy z uwzględnieniem pracy...
-
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.
-
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...
-
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...
-
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.
-
Photovoltaic Maximum Power Point Technique based on Incremental Conductance (INCON) control algorithm
PublicationMaximum output power status can significantly improve the deployment rate of solar energy system. In order to get the maximum power output, issue of tracking maximum power point (MPP), reduced harmonics around MPP and improve efficiency of the solar power energy system, this paper presents the improved maximum power point tracking (MPPT) control...
-
Intra-subject class-incremental deep learning approach for EEG-based imagined speech recognition
PublicationBrain–computer interfaces (BCIs) aim to decode brain signals and transform them into commands for device operation. The present study aimed to decode the brain activity during imagined speech. The BCI must identify imagined words within a given vocabulary and thus perform the requested action. A possible scenario when using this approach is the gradual addition of new words to the vocabulary using incremental learning methods....
-
Simulation of incremental encoder signals
PublicationPrzedstawiono generator sygnału impulsowego do symulacji sygnału z przetwornika obrotowo-impulsowego w stanach przejściowych. Omówiono algorytmy wyznaczenia przedziałów międzyimpulsowych dla trzech rodzajów zmian prędkości obrotowej: liniowej, wykładniczej oraz sinusoidalnej. Przeanalizowano błędy kwantowania wynikające z cyfrowej realizacji generatora.
-
Digitalization of Building Site Management in the Construction Industry
PublicationWith Industry 4.0, a digital transformation has started in the construction industry. However, 4.0 technologies have difficulties in the integration of digital systems due to the diversity and complexity of the processes in the construction industry. Multidisciplinary work in architectural projects and the need for high productivity require digital renovation planning in the construction industry. The application of the technologies...
-
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...
-
Incremental Dynamic Analysis and Fragility Assessment of Buildings with Different Structural Arrangements Experiencing Earthquake-Induced Structural Pounding
PublicationStructural pounding is considered as one of the most critical phenomena occurring during earthquakes. This paper presents the incremental dynamic analysis and fragility assessment of buildings experiencing earthquake-induced pounding. Three 3-D buildings with different number of storeys and under different structural arrangements have been considered. Three pounding scenarios have been taken into account, i.e. pounding between...
-
Experience with instantiating an automated testing process in the context of incremental and evolutionary software development
PublicationThe purpose of this article is to present experiences from testing a complex AJAX-based Internet-system which is under development for more than five years. The development process follows incremental and evolutionary lifecycle model and the system is delivered in subsequent releases. Delivering a new release involves both, the new tests (related to the new and/or modified functionalities) and the regression tests (after their...
-
An efficient incremental DFA minimization algorithm
PublicationW tym artykule przedstawiamy nowy algorytm minimalizacji deterministycznego automatu skończonego. Algorytm jest przyrostowy - może być zatrzymany w dowolnym momencie, dając częściowo zminimalizowany automat. Wszystkie inne (znane) algorytmy minimalizacji dają wyniki pośrednie nieprzydatne dla częściowej minimalizacji. Ponieważ pierwszy algorytm jest łatwo zrozumiały ale mało wydajny, rozważamy trzy praktyczne, znaczące usprawnienia....
-
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....
-
Risk sharing in the construction work contracts
PublicationBy signing a contract for construction works each of the parties assumes a specific scope of responsibility. In practice, there are numerous examples of contractual provisions that violate the parties’ safety and the balance of fair and even distribution of risk. Asymmetry in risk allocation in construction contracts and its consequences is the most common cause of disputes between the parties. The article presents the issue of...
-
DESIGN AND CONSTRUCTION OF TILTED WALLS IN ACCORDANCE WITH CODES' PROVISIONS ON THE EXAMPLE OF THE CONSTRUCTION OF THE MUSEUM OF THE SECOND WORLD WAR IN GDAŃSK
PublicationThe purpose of this article was to introduce the design and construction of tiled walls in accordance to codes' restrictions. The construction of the Museum of the Second World War in Gdańsk was chosen to be an example of its successful use in practice. Theoretical knowledge was based on PN-EN 1992-1-1:2008 and fib Model Code for Concrete Structures 2010. Although codes' recommendations seem curt, practice prove structural advance....
-
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.
-
Complexity of weak acceptonic conditions in tree automata
PublicationRozważ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.
-
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...
-
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....
-
Application of a cellular automata model to granular flow
PublicationPrzedstawiono 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.
-
Switched-capacitor DC-DC converters in arbitrary switching mode - topologically derived resistive models based on incremental graph approach.
PublicationIn the preceding paper we reviewed some of modeling approaches aimed at systematic formulation and solution of switched capacitor DC-DC converters. In our review, special attention was paid to computationally efficient and mathematically elegant methods. In so doing we had tried to demonstrate the virtues of unified Incremental Graph (IG) approach. Incremental Graph is, in concept, a tool originally created for analysis and synthesis...
-
The moonuments of gdynia post-war construction pace
PublicationThe impresive pace of building objects realisation in the 1950s and 1960s was a continuation of the traditional gdynia building pace of the pre-war period. A particular attention and admiration must the reserved for the use at almost every construction site in Gdynia of a considerable quantify of prototypical meterial/construction solutions implemented above all in order to simplify technology and accelerate the pace of building...
-
Position and velocity measurement using incremental encoder and microcontroller.
PublicationThere is presented measurement of position and velocity using Atmel's microcontroller ATTiny2313 with 20 MHz clock and encoder with 1024 pulses per revolution. This configuration allows measuring maximum speed 48800 rpm with 1x accuracy, 20200 rpm with 2x accuracy and 9400 rpm with 4x accuracy (quadrature). Position is measured with resolution of 0.352', 0.176' and 0.088' for 1x, 2x, 4x accuracy respectively. Algorithms of position...
-
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...
-
Adaptive CAD-Model Construction Schemes
PublicationTwo advanced surrogate model construction techniques are discussed in this paper. The models employ radial basis function (RBF)interpolation scheme or artificial neural networks (ANN) with a new training algorithm. Adaptive sampling technique is applied withrespect to all variables. Histograms showing the quality of the models are presented. While the quality of RBF models is satisfactory, theperformance of the ANN models obtained...
-
The influence of historical conditions on time and cost of construction project
PublicationConducting construction works in a building or in an area entered in the historic register is associated with the contracting authority's risk of incurring higher than planned costs of works, as well as delays in their implementation. In many cases, these deviations are completely independent of contracting authority and contractor. The aim of this article is to indicate the reasons for cost and time changes in the construction...
-
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...
-
Emotion Monitor - Concept, Construction and Lessons Learned
PublicationThis paper concerns the design and physical construction of an emotion monitor stand for tracking human emotions in Human-Computer Interaction using multi-modal approach. The concept of the stand using cameras, behavioral analysis tools and a set of physiological sensors such as galvanic skin response, blood-volume pulse, temperature, breath and electromyography is presented and followed...
-
Application of Game Theory to Conflict Management in a Construction Contract
PublicationInterest has recently grown in the application of game theory (GT) to solve a number of diverse problems in the field of construction. The use of GT by a general contractor (GC) of construction works to indicate the best strategy leading to winning court proceedings in a situation of conflict with investor (IN), has not been investigated until now. Thus the aim of this paper is to indicate the optimal strategy from the GC viewpoint...
-
Is the Concept of Zero Waste Possible to Implement in Construction?
PublicationThe scientifically treated problem of reusing building materials appeared in the literature more than 50 years ago. This paper includes an analysis of the characteristics of recycled building materials, which is a prerequisite for rational recycling. The analysis and simulation of building stocks at different scales has led to the conclusion that the most important link in the transformation of the construction industry towards...
-
Optimizing Construction Engineering Management Using Metaheuristic Methods and Bayesian Networks
PublicationThe construction of buildings invariably involves time and costs, and disruptions impact ongoing construction projects. Crisis situations in management strategies, structural confusion, and finan-cial miscalculations often arise due to misguided decision-making. This article proposes a method that combines the learning of Bayesian Networks and heuristic techniques to optimize deci-sion-making processes in construction scheduling....
-
Superstitions and customs in construction - a contribution to the discussion on the disappearance of this tradition
PublicationConstruction is one of the most important, but also the most extensive areas of the economy. That is why we encounter superstitions and customs related to this discipline of the economy quite often:we blew and repeat them, not even knowing what their origin is and what according to old beliefs resulted in their lack of application. This situation applies in practice to all buildings, including residential buildings implemented...
-
Two-dimensional rotation-symmetric number-conserving cellular automata
Publication -
Game Theory Analysis of Bidding for a Construction Contract
PublicationThe authors are concerned with a bidding problem. There are two companies (P1 and P2) bidding for a highway construction project. In order to be more competitive, P1 considers buying a new gravel pit near the construction site. The basic cost of the pit is known to both companies. However, there is also an additional, hidden, cost (C) known only to P1. P2 is uncertain whether the hidden cost is C = 0 or C = x. P1 plans to bid for...
-
Incremental dynamic analysis and fragility assessment of buildings founded on different soil types experiencing structural pounding during earthquakes
PublicationThe effect of the soil type on buildings experiencing pounding during earthquakes is investigated in this study using the incremental dynamic analysis and fragility assessment methods. Three 3-D structures with different number of storeys (4, 6 and 8) were considered in this study. Three pounding scenarios between these three buildings were taken into account, i.e. pounding between 4-storey and 6-storey buildings, between 4-storey...
-
An Approximate Linear Analysis of Structures Utilizing Incremental Loading of Force Method
Publication -
Mitigating the Energy Consumption and the Carbon Emission in the Building Structures by Optimization of the Construction Processes
PublicationFor decades, among other industries, the construction sector has accounted for high energy consumption and emissions. As the energy crisis and climate change have become a growing concern, mitigating energy usage is a significant issue. The operational and end of life phases are all included in the building life cycle stages. Although the operation stage accounts for more energy consumption with higher carbon emissions, the...