Informacja

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


Tytuł:
Transformacja rozmytej interpretowanej sieci Petriego na schemat układu logicznego
Transformation of the fuzzy interpreted Petri net into a logic circuit
Autorzy:
Gniewek, L.
Tematy:
logika rozmyta
modelowanie
sieci Petriego
sterowniki logiczne
synteza logiczna
fuzzy logic
modelling
Petri nets
logic controllers
logical synthesis
Pokaż więcej
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja współbieżnych algorytmów sterowania w reprogramowalnych sterownikach logicznych
Concurrent control algorithm implementation using reprogrammable
Autorzy:
Adamski, M.
Węgrzyn, M.
Tematy:
reprogramowalne sterowniki logiczne
algorytmy sterowania
implementacja współbieżnych algorytmów sterowania
reprogrammable Logic controllers
concurrent control algorithm implementation
Pokaż więcej
Data publikacji:
2003
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Expansion of the area of practical application of the PLC control system with parallel architecture
Rozszerzenie obszaru praktycznego zastosowania systemu sterowania PLC o architekturę równoległą
Autorzy:
Tymchuk, Sergiy
Piskarev, Oleksiy
Miroshnyk, Oleksandr
Halko, Serhii
Shchur, Taras
Tematy:
programmable logic controllers
parallel architecture
software control system
programowalne sterowniki logiczne
architektura równoległa
programowy system sterowania
Pokaż więcej
Data publikacji:
2022
Wydawca:
Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dual synthesis of Petri net based application specific logic controllers with increased safety
Autorzy:
Tkacz, J.
Bukowiec, A.
Adamski, M.
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
Data publikacji:
2016
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Microprocessor technology and programmable logic controllers in new generation railway traffic control and management systems
Autorzy:
Kornaszewski, M.
Tematy:
transport
safety
railway traffic control systems
Programmable Logic Controllers
bezpieczeństwo
systemy sterowania ruchem kolejowym
sterowniki programowalne PLC
Pokaż więcej
Data publikacji:
2018
Wydawca:
Polskie Stowarzyszenie Telematyki Transportu
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
State Machine type colouring of Petri net by means of using a symbolic deduction method
Autorzy:
Tkacz, J.
Tematy:
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
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Safe device solutions in railway traffic control systems
Bezpieczne rozwiązania urządzeń stosowanych w systemach sterowania ruchem kolejowym
Autorzy:
Kornaszewski, Mieczysław
Tematy:
automatic level crossing signaling
BUES 2000
programmable logic controllers
railway traffic control
bezpieczeństwo
programowalne sterowniki logiczne
samoczynna sygnalizacja przejazdowa
sterowanie ruchem kolejowym
Pokaż więcej
Data publikacji:
2022
Wydawca:
Uniwersytet Technologiczno-Humanistyczny im. Kazimierza Pułaskiego w Radomiu
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Calculation of State Machine cover of safe Petri net by means of computer based reasoning
Autorzy:
Tkacz, J.
Adamski, M.
Tematy:
przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers
Pokaż więcej
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Dostawca treści:
Biblioteka Nauki
Artykuł

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