Temat: binary logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Przetwornik logiki binarnej na logikę trójwartościową i czterowartościową
Autorzy:: Walecki, M.
Urbańczyk, M.
Słota, M.
Wituła, R.
Data publikacji:: 2012
Słowa kluczowe:: modelowanie matematyczne
logika binarna i wielowartościowa
przetworniki logiki
binary logic
logic conversion; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Wykorzystanie pseudo-MTBDD w dekompozycji zespołu funkcji
Autorzy:: Opara, A.
Kania, D.
Data publikacji:: 2008
Słowa kluczowe:: binary decision diagrams (BDD)
multi-terminal BDD (MTBDD)
logic synthesis
decomposition; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Zmodyfikowany system rozmyty w układzie sterowania obiektów o wejściach dyskretnych
Autorzy:: Gacek, T.
Data publikacji:: 2000
Słowa kluczowe:: sterownik rozmyty
układ sterowania
sygnały dyskretne
fuzzy logic system
binary inputs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: The complexity of certain modal formulas on binary ramified subset trees
Autorzy:: Heinemann, B.
Data publikacji:: 1999
Słowa kluczowe:: modal logic of subset spaces
binary ramified subset trees
satisfiability problem
complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Wykorzystanie binarnych diagramów decyzyjnych do syntezy wielopoziomowych układów logicznych
Autorzy:: Opara, A.
Data publikacji:: 2006
Słowa kluczowe:: binarne diagramy decyzyjne
synteza wielopoziomowych układów logicznych
binary decision diagrams
level logic synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: FSM encoding for BDD representations
Autorzy:: Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Data publikacji:: 2007
Słowa kluczowe:: binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Wykorzystanie dwupoziomowej optymalizacji do poprawy wyników syntezy z wykorzystaniem BDD
Autorzy:: Opara, A.
Kania, D.
Data publikacji:: 2011
Słowa kluczowe:: binarne diagramy decyzyjne (BDD)
synteza logiczna
CPLD
decomposition
technology mapping
logic optimization
binary decision diagrams (BDD); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
Autorzy:: Bubacz, P.
Adamski, M.
Data publikacji:: 2007
Słowa kluczowe:: binarne diagramy decyzyjne
OBDD
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Synteza wielowyjściowych układów logicznych prowadząca do wykorzystania wspólnych bloków logicznych
Autorzy:: Opara, A.
Kania, D.
Data publikacji:: 2007
Słowa kluczowe:: dekompozycja
wielokorzeniowe binarne diagramy decyzyjne (BDD)
synteza programowalnych układów logicznych
decomposition
shared binary decision diagrams (SBDD)
programmable logic devices synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing
Autorzy:: Vitulyova, Elizaveta S.
Matrassulova, Dinara K.
Suleimenov, Ibragim E.
Data publikacji:: 2022
Słowa kluczowe:: digital signal processing
non-binary Galois fields
fourier transform
rademacher functions
walsh function
multivalued logic
visibility problem
algebraic extensions
ternary representation of number; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "binary logic" wg kryterium: Temat