Filters
total: 1970
filtered: 1135
-
Catalog
- Publications 1135 available results
- Journals 25 available results
- Conferences 16 available results
- People 51 available results
- Inventions 1 available results
- Projects 2 available results
- Research Teams 2 available results
- e-Learning Courses 667 available results
- Open Research Data 71 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: MINIMIZATION OF AUTOMATA
-
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....
-
Minimization of integral functionals in Sobolev spaces
PublicationPraca ma charakter przeglądowy i jest skierowana do młodych matematyków i doktorantów. Dotyczy problematyki omawianej przeze mnie na Zimowej Szkole Centrum Badań Nieliniowych im. J.P. Schaudera w Toruniu w roku 2009. Zawarłam w niej wybrane, znane wyniki dotyczące problemu minimalizacji funkcjonałów całkowych w przestrzeniach Sobolewa funkcji jednej zmiennej.
-
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....
-
Minimization of label usage in (G)MPLS networks
Publication -
Cost minimisation in multi-interface networks
PublicationPraca dotyczy problemu minimalizacji energii poprzez selektywne odłączanie urządzeń komunikacyjnych w wielointerfejsowych sieciach bezprzewodowych w taki sposób, by zapewnić realizację wymaganego grafu połączeń. Sformułowano problem optymalizacyjny, podano wyniki dotyczące jego trudności i zaproponowano algorytmy optymalizacyjne.
-
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.
-
Selection of cutting and washing fluids as a method of waste minimization
PublicationW artykule przedstawiono wyniki testów korozyjności dla cieczy obróbkowych wykorzystywanych do produkcji przekładni skrzyni biegów. Testy prowadzono zgodnie z normami: DIN 51360-2 (Ford-test) oraz PN-92/M-55789. Badaniom poddano trzy ciecze obróbkowe oraz trzy ciecze chłodzące. Wraz ze spadkiem stężenia użytej cieczy, obserwowano większe ogniska korozji.
-
Total Completion Time Minimization for Scheduling with Incompatibility Cliques
PublicationThis paper considers parallel machine scheduling with incompatibilities between jobs. The jobs form a graph equivalent to a collection of disjoint cliques. No two jobs in a clique are allowed to be assigned to the same machine. Scheduling with incompatibilities between jobs represents a well-established line of research in scheduling theory and the case of disjoint cliques has received increasing attention in recent...
-
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...
-
Cost minimisation in unbounded multi-interface networks
PublicationW pracy badano problem odłączania niektórych urządzeń komunikacyjnych w wielointerfejsowych sieciach bezprzewodowych w taki sposób, by zapewnić realizację wymaganego grafu połączeń przy jednoczesnej minimalizacji zużycia energii. Sformułowano problem optymalizacyjny, podano wyniki dotyczące jego trudności i zaproponowano algorytmy optymalizacyjne dla wariantu, w którym liczba interfejsów komunikacyjnych jest potencjalnie nieograniczona...
-
Managing Delays in Construction Projects Aiming at Cost Overrun Minimization
Publication -
Cost minimization in wireless networks with a bounded and unbounded number of interfaces
PublicationPraca dotyczy problemu minimalizacji energii poprzez selektywne odłączanie urządzeń komunikacyjnych w wielointerfejsowych sieciach bezprzewodowych w taki sposób, by zapewnić realizację wymaganego grafu połączeń. Sformułowano problem optymalizacyjny, podano wyniki dotyczące jego trudności i zaproponowano algorytmy optymalizacyjne. Rozważono zarówno wariant, w którym liczba interfejsów komunikacyjnych jest parametrem stałym (narzuconym...
-
Heuristic Minimization of Symmetric Index Generation Functions utilizing their Properties
Publication -
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.
-
Happiness Maximization Is a WEIRD Way of Living
Publication -
Minimization of Eddy Current Losses in a Straight Rectangular Cross Section Conductor
Publication -
On the decomposition of stochastic cellular automata
Publication -
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...
-
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.
-
Energy Neutrality Versus Carbon Footprint Minimization In Municipal Wastewater Treatment Plants
PublicationThe study presents analysis of the carbon footprint (CF) in six medium and large-size municipal wastewater treatment plants (WWTPs) located across Poland. The novelty of the presented study is searching the relationship between level of energy neutrality and CF in the case studies. Although energy and CF go hand-in-hand to some degree but moving towards energy neutrality in WWTPs might also lead to an increase in the total CF of...
-
Energy neutrality versus carbon footprint minimization in municipal wastewater treatment plants
PublicationThis work aimed to compare the carbon footprint (CF) of six full-scale wastewater treatment plants (WWTPs). The CF was estimated in the range of 23–100 kg CO2e per population equivalent. In the total CF, the direct emissions held the highest share (62–74%) for the plants with energy recovery from biogas. In the plants depending entirely on the power grid, the indirect emissions due to energy consumption dominated the total CF (69–72%)....
-
Minimization of vibrations during milling of flexible structures using mechatronic design techniques
PublicationThe paper presents an innovative effective method of minimizing vibrations during milling of flexible structures, using a new vibration suppression method based on a workpiece holder with adjustable support stiffness. The proposed method is rooted in mechatronic design techniques, which can become a standard procedure for optimizing the milling process.
-
Cost minimization of locating construction machinery park with the use of simulation and optimization algorithms
Publication -
ECOLOGICAL MINIMIZATION AND CONTROL OF ENERGY AND MATTER CONSUMPTION ON THE EXAMPLE OF A SINGLE-FAMILY HOUSE
Publication -
MINIMIZATION OF THE ECOLOGICAL FOOTPRINT THROUGH THE USE OF THE BUBBLES MECHANISM IN THE ARCHITECTURE DESIGN PROCESS
Publication -
Makespan minimization of multi-slot just-in-time scheduling on single and parallel machines
PublicationArtykuł podejmuje problem szeregowania zadań przy założeniu podziału czasu na sloty jednakowej długości, gdzie każde z zadań ma ustaloną długość oraz czas jego zakończenia, który jest relatywny do końca slotu. Problem znalezienia uszeregowania polega na dokonaniu przydziału zadań do poszczególnych slotów, przy czym w ogólności długość zadania może wymuszać sytuację, w której zadańie jest realizowane nie tylko w slocie, w którym...
-
Multiscalar Control Based Airgap Flux Optimization of Induction Motor for Loss Minimization
PublicationBased on the induction motor model, considering the core loss resistance that accounts for magnetic characteristic saturation, a speed control approach is devised with an adaptive full-order (AFO) speed observer. The induction motor model analysis is done sincerely in a stationary reference frame. The control approach incorporates a flux reference generator designed to meet optimal operational circumstances and a nonlinear speed...
-
The Effectiveness of Semi-Automated and Fully Automatic Segmentation for Inferior Alveolar Canal Localization on CBCT Scans: A Systematic Review
Publication -
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...
-
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%...
-
Incremental construction of finite-state automata
PublicationRozdział przedstawia algorytmy przyrostowego i półprzyrostowego tworzenia minimalnych deterministycznych automatów skończonych.
-
Dissipated energy minimization in a combustion engine Mount system by position dependent damping coefficients
PublicationPraca opisuje rozważania na temat możliwości tłumienia drgań spalinowego silnika czterosuwowego. Do modelowania wykorzystano zasady dynamiki układów wielomasowych. Przedstawiono krótki opis wspomnianego sposobu modelowani. Zbudowano model numeryczny silnika. Model poddano analizie numerycznej. Podczas analizy dynamiki układu skoncentrowano się na elementach tłumiących drgania, obecnych w zawieszeniu silnika oraz na analizie wpływu...
-
Bisquare robust polynomial fitting method for dimple distortion minimization in surface quality analysis
Publication -
Proposal of frequency‐based decomposition approach for minimization of errors in surface texture parameter calculation
Publication -
Development of Intelligent Control for Annealing Unit to Ensure the Minimization of Retroactive Effects on the Supply Network
PublicationResearch conducted by our team focused on the development of a complete annealing unit, using modern technologies and components, such as a programmable logic controller, an industrial computer and microcontrollers, ensuring an intelligent way to control power semiconductor elements (SSR relays), with regard to minimizing retroactive effects on the supply network. This modern configuration offers a number of new possibilities of...
-
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...
-
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...
-
Minimization of the number of periodic points for smooth self-maps of closed simply-connected 4-manifolds
PublicationLet M be a smooth closed simply-connected 4-dimensional manifold, f be a smooth self-map of M with fast grow of Lefschetz numbers and r be a product of different primes. The authors calculate the invariant equal to the minimal number of r-periodic points in the smooth homotopy class of f.
-
Minimization of a ship's magnetic signature under external field conditions using a multi-dipole model
PublicationThe paper addresses the innovative issue of minimizing the ship's magnetic signature under any external field conditions, i.e., for arbitrary values of ambient field modulus and magnetic inclination. Varying values of the external field, depending on the current geographical location, affect only the induced part of ship's magnetization. A practical problem in minimizing the ship signature is separating permanent magnetization...
-
A Statistical Approach to the Identification of Diploid Cellular Automata
Publication -
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...
-
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 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...
-
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.
-
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.
-
A simple approach to heat exchanger sizing optimisation by means of entrophy generation minimisation
PublicationIn the paper an attempt is presented to find the method of optimization of microtube diameter with respect to optimal thermal-hydraulic conditions in the single-phase shell-and-tube heat exchangers. The approach is based on consideration of pumping power at the condition of maximum heat transfer by the heat exchanger tube system. In the optimization method the tube diameter is first specified and then appropriate calculations are...
-
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.
-
The Density Classification Problem in the Context of Continuous Cellular Automata
Publication -
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...