Temat: logiczny - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Sprzętowo wspomagana, selektywna realizacja programu w sterowniku logicznym
Hardware Supported Selective Control Program Execution In A PLC
Autorzy:: Milik, A.
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: FPGA
sterownik logiczny
pamięć obrazu procesu
PLC
process image memory; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Wykorzystanie pseudostanów historii do modelowania sytuacji awaryjnych w maszynie stanów UML
Use of history pseudostates for modeling the emergency situation in a UML state machine
Autorzy:: Bazydło, G.
Adamski, M.
Stefanowicz, Ł.
Data publikacji:: 2014
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
maszyna stanów
pseudostan historii
sterownik logiczny
state machine
history pseudostate
logic controller; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Rozproszony system sterowania o architekturze GALS projektowany z wykorzystaniem sieci Petriego
Distributed control system with GALS architecture with use of Petri net
Autorzy:: Bukowiec, A.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: dekompozycja
FPGA
sieć Petriego
sterownik logiczny
synteza logiczna
decomposition
Petri net
logic controller
logic synthesis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Dwustanowe sterowanie ogrzewaniem w zautomatyzowanym „budynku inteligentnym” na przykładzie symulacji komputerowych w programie LOGO! Soft Comfort v6.0
Two control heating in automated “intelligent building” on the basis of computer simulations in LOGO! Soft Comfort v6.0
Autorzy:: Jarmuda, T.
Data publikacji:: 2012
Wydawca:: Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej
Tematy:: budynek inteligentny
sterowanie ogrzewaniem
sterownik logiczny
LOGO! Soft Comfort v6.0
wzmacniacz analogowy B007; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Weryfikacja modelowa interpretowanych sieci Petriego sterowania
Model checking of control interpreted Petri Nets
Autorzy:: Grobelna, I.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: weryfikacja modelowa
sterownik logiczny
interpretowane sieci Petriego sterowania
logika temporalna
model checking
logic controller
control interpreted Petri nets
temporal logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A concept of electro-pneumatic programmable manipulator
Koncepcja elektropneumatycznego manipulatora programowalnego
Autorzy:: Kaszycki, L.
Data publikacji:: 2011
Wydawca:: Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:: sterownik logiczny
robotyka
siłownik beztłoczyskowy
pozycjonowanie liniowe
chwytak
laserowy czujnik przemieszczenia
logical controller
robotics
rodless actuator
linear positioning
gripper
laser displacement sensor; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Petri nets and activity diagrams in logic controller specification – transformation and verification
Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja
Autorzy:: Grobelna, I.
Grobelny, M.
Adamski, M.
Data publikacji:: 2010
Wydawca:: Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
Tematy:: formal verification
logic controller
model checking
Petri nets
UML Activity
Diagrams
formalna weryfikacja
sterownik logiczny
weryfikacja modelowa
sieci Petriego
diagramy aktywności UML; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Bezpieczna platforma sprzętowa dla aplikacji opisanych w języku FBD
Safety execution framework for FB applications
Autorzy:: Śnieżek, M.
Data publikacji:: 2005
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sterowanie bezpieczne
sterownik logiczny
PLC
język bloków funkcyjnych
formalna weryfikacja
safety related control
Safety Integrity Level 3
Function Block Diagrams
software verification
programmable logic controller; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Conception of partial specification of logic controller deterministic state machine
Koncepcja niepełnej specyfikacji deterministycznej maszyny stanów sterownika logicznego
Autorzy:: Łabiak, G.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: deterministyczna maszyna stanów
diagramy statechart
sterownik logiczny
konflikty tranzycji
predykaty
algebra Boole'a
deterministic state machine
statechart diagrams
logic controller
transition conflicts
predicates
Boolean algebra
symbolic methods
metody symboliczne; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja