Diszkrét objektumok diagnosztikai modelljei
A diszkrét cselekvés tárgyai közé tartoznak a logikai eszközök, amelyeket széles körben használnak a rádiós mérnöki, a fedélzeti automatizált vezérlési és megfigyelési rendszerekben. Az ilyen eszközök elemalapjaként elsősorban elektromágneses reléket és félvezető logikai elemeket használnak. Általában a logikai eszköz n bemenetekkel és k kimenetekkel rendelkezik; bemeneti változók x1, x2. xn és a kimeneti jelek z1, z2. zk diszkrét karakterrel rendelkezik. Diszkrét rendszerekben olyan eszközöket használnak, amelyek bemeneti és kimeneti jelzései csak két értéket fogadnak el.
A diszkrét cselekvés két csoportja létezik - kombináció (memória nélkül) és szekvenciális (memóriával).
A kombinációs objektumoknál a z kimeneti függvények értékeit minden egyes időpontban egyedileg határozzák meg - csak a bemeneti változók értékei mellett, ugyanabban az idõpontban. Az időpillanat alatt némi diszkrét időintervallumot (óra) neveznek, amely alatt a bemeneti változók és a kimeneti funkciók értéke változatlan marad.
A diszkrét kombinációs objektumok vizsgálata során általában feltételezik, hogy a kimeneti függvények értékeinek változása azonnal bekövetkezik a bemeneti változók értékeinek változásával. Legyen a különálló kombinációs eszköz (11.2. Ábra) n bemeneti változók x1, x2. xn-k k kimeneti funkciók z1, z2. zk; mindegyik n bemeneti változó és mindegyik kimeneti függvény két értéket (0 és 1) tartalmazhat.
Egy diszkrét kombinációs objektum matematikai modelljét Boole függvények táblázatával lehet bemu- tatni, ahol oszlopok jelzik a bemeneti változókat és a kimeneti függvényeket. A Boole-függvények táblája alapul szolgál egy objektum diagnosztikai tesztjeinek bemeneti készletének meghatározásához.
A minimális ellenőrzési teszt megtalálásához az ellenőrző vizsgálati lefedettségi táblát használják diagnosztikai modellként (11.4. Táblázat).
Diszkrét objektumok diagnosztizálásakor az egész rendszer külön elemcsoportokra oszlik, amelyek egy közös kimeneten dolgoznak. A kimeneti függvény egyenértékű diszjunktív vagy ekvivalens konjunktív normális formában jelenhet meg.
Ha az általános vezérlési pont módszerét logikai áramkörök diagnosztizálására használják, akkor az áramkör bemeneti és kimeneti paramétereinek működési táblázata (kapcsolása) a diagnosztikai objektumok modellje.
Ábra. A 11.4. Ábrán az objektum modelljét csonka trigger táblázatban mutatjuk be (11.5. Táblázat).
Ez a modell lehetővé teszi egy vagy több hiba észlelését a rendszerben, és megszervezi a keresést.
Diszkrét objektumok kombinálva memória kimeneti funkciók a ciklusban kombinációja határozza meg a bemeneti változók ebben és az előző ciklusban, azaz a. E. kimenet funkciók függnek nemcsak a bemeneti, hanem a belső változók egy memória eszközt. Diszkrét tárgyak memória, amely képes megváltoztatni a belső állapotát befolyása alatt egy bizonyos meghatározott bemeneti változók a tárolt objektumok diszkrét memória elemek - kiváltja visszajelzéseket vagy időbeli késések.
A 11.5. Táblázat egy csonka indító táblát mutat be, amely kifejezett formában diagnosztikai modell, mivel hat hibaállapotban tükrözi az objektum működési állapotát.
