Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: boolean functions

Sortuj według:

Ogranicz wyniki do:

Tinput-Driven Pushdown, Counter, and Stack Automata

100%

Kutrib M. , Malcher A. , Wendlandt M.

Fundamenta Informaticae

2017

tom Vol. 155, nr 1/2

59--88

In input-driven automata the input alphabet is divided into distinct classes and different actions on the storage medium are solely governed by the input symbols. For example, in inputdriven pushdown automata (IDPDA) there are three distinct classes of input symbols determining the action of pushing, popping, or doing nothing on the pushdown store. Here, input-driven automata are extended in such a way that the input is preprocessed by a deterministic sequential transducer. IDPDAs extended in this way are called tinput-driven pushdown automata (TDPDA) and it turns out that TDPDAs are more powerful than IDPDAs but still not as powerful as real-time deterministic pushdown automata. Nevertheless, even this stronger model has still good closure and decidability properties. In detail, it is shown that TDPDAs are closed under the Boolean operations union, intersection, and complementation. Furthermore, decidability procedures for the inclusion problem as well as for the questions of whether a given automaton is a TDPDA or an IDPDA are developed. Additionally, representation theorems for the context-free languages using IDPDAs and TDPDAs are established. Two other classes investigated are on the one hand TDPDAs restricted to tinput-driven counter automata and on the other hand TDPDAs generalized to tinput-driven stack automata. In both cases, it is possible to preserve the good closure and decidability properties of TDPDAs, namely, the closure under the Boolean operations as well as the decidability of the inclusion problem.

Porównanie algorytmów mnożenia funkcji boolowskich

86%

Dawiec M.

Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne

2018

tom nr 4

97--100

Przedstawiono porównanie czasów realizacji mnożenia funkcji boolowskich z wykorzystaniem różnych metod na procesorze CPU.

In this paper we compare multiplication algorithms of boolean functions with respect to time complexity.

Metody wyboru dekompozycji dla algorytmu z wykorzystaniem zbiorów niezgodności i ich wpływ na minimalizację generatorów indeksów

72%

Mazurkiewicz T. , Łuba T.

Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne

2018

tom nr 8-9

722--725, CD

Minimalizacja wykorzystania pamięci wydaje się kluczowym zadaniem dla efektywnej realizacji sprzętowej funkcji generowania indeksów. W tym celu stosuje się algorytmy dekompozycji liniowej. W niniejszej pracy przedstawiono nową metodę wyboru dekompozycji dla algorytmu z bramkami XOR, wykorzystującego zbiory niezgodności. Przedstawione w artykule wyniki dla koderów m z 16 i m z 20 dowodzą skuteczności proponowanej metody.

Memory minimization seems to be the main problem of effective index generation functions hardware implementation. A linear decomposition can be used to reduce memory size. In this paper a new method of decomposition selection for algorithm with EXOR gates, which uses discernibility sets, is proposed. Presented results show its effectiveness for m-out-of-16 and m-out-of-20 functions.