Temat: logic - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "logic" wg kryterium: Temat

Wyświetlanie 1-10 z 32

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Projektowanie sekwencyjnych układów cyfrowych z wykorzystaniem logiki sekwentów Gentzena
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2009
Słowa kluczowe:: logika Gentzena
sekwent
wnioskowanie symboliczne
synteza logiczna
Gentzen logic
sequent
symbolic reasoning
logic synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Petri Nets Mapping into Reconfigurable Logic Controllers
Autorzy:: Adamski, M.
Węgrzyn, M.
Data publikacji:: 2009
Słowa kluczowe:: logic controller
Petri net
programmable logic
FPGA
HDL
VHDL
Verilog
place encoding
modeling
synthesis
PNSF2; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Synthesis of Macro Petri Nets into FPGA with Distributed Memories
Autorzy:: Bukowiec, A.
Adamski, M.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: decomposition
FGPAs
logic synthesis
Petri nets; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Synthesis of Macro Petri Nets into FPGA with Distributed Memories
Autorzy:: Bukowiec, A.
Adamski, M.
Data publikacji:: 2012
Słowa kluczowe:: decomposition
FGPAs
logic synthesis
Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:: Tkacz, J.
Bukowiec, A.
Adamski, M.
Data publikacji:: 2016
Słowa kluczowe:: critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:: Tkacz, J.
Bukowiec, A.
Adamski, M.
Data publikacji:: 2016
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: critical safety
FPGAs
logic controllers
logic synthesis
Petri nets
verification
bezpieczeństwo krytyczne
FPGA
sterowniki logiczne
synteza logiczna
sieci Petriego
weryfikacja; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Structured Mapping of Petri Net States and Events for FPGA Implementations
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: configurable logic controllers
interpreted Petri net state space
local and global state encoding
hyperpgraph
logic design
Gentzen sequents
Petri net coloring
FPGA
VHDL; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Hierarchical Configurable Petri Net Modeling in VHDL
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: index terms
HCfgPN
UML state machine diagram
VHDL
logic controller; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Structured Mapping of Petri Net States and Events for FPGA Implementations
Autorzy:: Tkacz, J.
Adamski, M.
Data publikacji:: 2013
Słowa kluczowe:: configurable logic controllers
interpreted Petri net state space
local and global state encoding
hyperpgraph
logic design
Gentzen sequents
Petri net coloring
FPGA
VHDL; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Hierarchical Configurable Petri Net Modeling in VHDL
Autorzy:: Doligalski, M.
Adamski, M.
Data publikacji:: 2012
Słowa kluczowe:: index terms
HCfgPN
UML state machine diagram
VHDL
logic controller; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 32

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies