Obiectele acțiunii discrete includ dispozitive logice utilizate pe scară largă în sistemele de radiotelegrafie, sistemele automate de control și monitorizare la bord. Ca element de bază al acestor dispozitive, sunt utilizate în principal releele electromagnetice și elementele logice de semiconductori. În general, un dispozitiv logic are n intrări și ieșiri k; variabilele de intrare x1, x2. xn și semnalele de ieșire z1, z2. zk are un caracter discret. În sistemele discrete, sunt utilizate dispozitive ale căror semnale de intrare și ieșire acceptă numai două valori.
Există două clase de obiecte de acțiune discrete - combinaționale (fără memorie) și secvențiale (cu memorie).
În obiectele combinaționale, valorile funcțiilor de ieșire z în fiecare moment al timpului sunt determinate în mod unic - numai prin valorile variabilelor de intrare în aceeași clipă de timp. Prin momentul moment se înțelege un interval de timp discret, numit un ceas, în timpul căruia valorile variabilelor de intrare și funcțiile de ieșire rămân neschimbate.
Atunci când se analizează obiecte combinaționale discrete, se presupune de obicei că o schimbare a valorilor funcțiilor de ieșire are loc instantaneu cu o modificare a valorilor variabilelor de intrare. Fie ca dispozitivul combinațional discret (Figura 11.2) să aibă n variabile de intrare x1, x2. xn la k funcțiile de ieșire z1, z2. ZK; fiecare dintre variabilele de intrare n și fiecare dintre funcțiile de ieșire poate lua două valori (0 și 1).
Modelul matematic al unui obiect combinațional discret poate fi reprezentat sub forma unei tabele de funcții booleene cu coloane care indică variabilele de intrare și funcțiile de ieșire. Un tabel cu funcții booleene reprezintă baza pentru determinarea setului de seturi de intrări de teste de diagnoză ale unui obiect.
Pentru a găsi testul minim de control, tabelul de acoperire a testului de control este utilizat ca model de diagnosticare (Tabelul 11.4).
La diagnosticarea obiectelor discrete, întregul sistem este împărțit în grupuri separate de elemente, care lucrează la o ieșire comună. Funcția de ieșire poate fi reprezentată sub forma unei forme normale conjunctive disjunctive sau echivalente.
Dacă se utilizează metoda punctului de control generalizat pentru diagnosticarea circuitelor logice, tabelul de operații (comutarea) parametrilor de intrare și ieșire ai circuitului este utilizat ca modele de obiecte de diagnosticare.
Pentru Fig. 11.4, modelul obiectului este prezentat sub forma unei tabele de declanșare trunchiată (Tabelul 11.5).
Acest model permite detectarea uneia sau mai multor defecțiuni în sistem și organizarea căutării acestora.
În obiectele discrete cu memorie, combinația funcțiilor de ieșire într-o anumită măsură este determinată de o combinație de variabile de intrare într-un ciclu de ceas dat și anterior, adică funcțiile de ieșire depind nu numai de intrare, ci și de variabilele interne reprezentând memoria dispozitivului. Obiectele discrete cu memorie pot schimba starea lor internă sub influența unor seturi de variabile de intrare folosind elemente de memorie conținute în obiecte discrete - flip-flops, feedback-uri sau întârzieri de timp.
Tabelul 11.5 prezintă o tabelă de declanșare trunchiată, care este un model de diagnosticare în formă explicită, deoarece reflectă starea operațională a obiectului în șase condiții de defecțiune.
