Temat: logic controllers - 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 controllers" wg kryterium: Temat

Wyświetlanie 1-5 z 5

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Wybrane tekstowe formaty specyfikacji sieci Petriego opisujące algorytmy sterowania
Autorzy:: Węgrzyn, A.
Węgrzyn, M.
Data publikacji:: 2006
Słowa kluczowe:: sieci Petriego
sterowniki logiczne
PNSF2
PNSF3
PNML
Petri nets
logic controllers; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Transformacja rozmytej interpretowanej sieci Petriego na schemat układu logicznego
Autorzy:: Gniewek, L.
Data publikacji:: 2010
Słowa kluczowe:: logika rozmyta
modelowanie
sieci Petriego
sterowniki logiczne
synteza logiczna
fuzzy logic
modelling
Petri nets
logic controllers
logical synthesis; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Wykrywanie zastojów w sterownikach logicznych metodą symbolicznego wnioskowania Gentzena
Autorzy:: Tkacz, J.
Data publikacji:: 2006
Słowa kluczowe:: Gentzen
sekwent
wnioskowanie symboliczne
sterowniki logiczne
sieci Petriego
sequent
symbolic deduction
logic controllers
Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

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: 5.

Tytuł:: Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
Autorzy:: Tkacz, J.
Data publikacji:: 2007
Słowa kluczowe:: logika Gentzena
sekwent
wnioskowanie symboliczne
sterowniki logiczne
sieci Petriego
składowe automatowe
dekompozycja
Gentzen logic
sequent
symbolic deduction
logic controllers
Petri nets
decomposition; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-5 z 5

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

Informacja

Wyszukujesz frazę "logic controllers" wg kryterium: Temat