Loginė automatika

Loginiai (diskretiniai) procesai ir jų apibūdinimas. Automatizavimo technologijos schema ir energetinės aplinkos parinkimas. Loginių valdymo įtaisų tipai. Loginės algebros sąvokos ir dėsniai. Loginės algebros dėsniai. Loginės funkcijos ir jų techninio realizavimo priemonės. Kartotuvas. Inverteris. Relinių (loginių) schemų analitinis vaizdavimas. Kombinacinių loginių įtaisų sintezė pasinaudojant būsenų lentelėmis. Karno–Veičo diagramos, jų sudarymas ir savybės. Karno–Veičo diagramų taikymas kombinacinių loginių įtaisų sintezei (kanoninės sumos metodas). Karno–Veičo diagramų taikymas kombinacinių loginių įtaisų sintezei (kanoninės sandaugos metodas). Labai neapibrėžtų loginių įtaisų sintezė. Nuosekliųjų loginių įtaisų sudarymo principai. Orientuoto grafo ir perėjimų lentelės sudarymas Mūro automatui. Orientuotų grafų metodas. Ciklinių loginės automatikos sistemų sintezė. Judesio diagramos ir jų sudarymas. Įjungimo lentelių metodas. Atminties apimties nustatymas pagal judesio diagramas. Loginių lygčių atminties ir vykdymo elementams sudarymas pagal sudarytas įjungimo lenteles. Skaitikliai ciklinėse loginės automatikos sistemose. Taimeriai (laiko relės) ciklinėse loginės automatikos sistemose. Programuojamieji loginiai valdikliai loginės automatikos sistemose. Nuosekliųjų funkcinių diagramų elementai ir jų sudarymas. SFC diagramų funkcinių galimybių išplėtimas, specifikuojant poveikius. Nuosekliųjų funkcinių diagramų loginės lygtys ir realizavimo priemonės. Sudėtingų loginių sistemų funkcionavimo apibendrintas GEMMA modelis. Sudėtingų sistemų struktūrizavimo priemonės. Petri tinklai. Svarbiausios sąvokos. Petri tinklo ženklinimas. Autonominiai ir neautonominiai Petri tinklai, pareigų įveikimas. Ženklinimo vektoriaus evoliucija (tinklo medis). Petri tinklo lygtys ir jų sprendimas. Loginių sistemų modeliavimas Petri tinklu.