Descriere bibliografică:
Lucrarea discută caracteristicile formalizarea matematică a proceselor de formare a modelelor de diagnostic de controlat și diagnosticate la bord sisteme spațiale în domeniul de calcul reconfigurabile. Un model matematic care descrie clasele nave spațiale de modele de diagnosticare a sistemelor de bord (SC) sub formă de clustere izolate de diagnostic, indicând domeniul maxim de configurații hardware în monitorizarea sistemului reconfigurabile și diagnosticarea vehiculelor spațiale.
Cuvinte cheie: diagnostic, model de diagnosticare, cluster, reconfigurare, nivel de hardware, funcția de configurare, arhitectura hardware.
Scopul acestei note scurt este necesitatea de a indica faptul că formalizarea matematică a proceselor de formare a modelelor de diagnostic la nivel de hardware în RVP pentru fiecare dintre ele, puteți selecta un fel de grup de diagnostic, fiecare dintre care va corespunde unui număr limitat de seturi de configurare de arhitecturi hardware pentru fiecare clasă de modele de diagnosticare.
Să presupunem că există mai multe clase de modele de diagnostic care pot fi scrise sub forma unui set
,
unde este funcția de configurare a modelului de diagnostic corespunzător clasei, în acest caz
unde este jurnalul relațiilor logice-aritmetice între toate elementele funcționale ale nivelului hardware al modelului de diagnostic al clasei care formează elementul celui de-al i-lea nivel hardware; - funcția de configurare care descrie nivelul de hardware cu un număr de serie în clasa de model de diagnostic, că, indiferent de apartenența la o anumită clasă de modele de diagnostic pot fi întotdeauna reprezentate ca un fel de matrice
,
unde elementul este funcția logică-aritmetică a elementului nivelului hardware al modelului de diagnosticare; coeficient - funcția de a include elementul funcțional al celui de-al i-lea nivel de hardware și ca multiplicator poate lua doar una din cele două valori
Matricea, la rândul ei, poate fi scrisă ca
,
unde coeficientul (multiplicator) are o funcție de comutare (angajament) bloc dial-logic (CLB) în formarea celui de al doilea nivel hardware membru atunci când alocă fragmentului TDOA, t. e.
Având în vedere faptul că numărul tuturor configurațiilor posibile ale RVP în timpul formării modelelor de diagnosticare din acesta este strict limitat, rezultă că
,
unde este setul tuturor stărilor posibile (configurații) ale RVP; - un subset al statelor RVP care nu implementează modele de diagnosticare; - un subset al stărilor RVP care corespund implementării modelelor de diagnosticare pe clase. În acest caz, este clar că
.
Astfel. pentru fiecare clasă de modele de diagnosticare, puteți să vă identificați propriul grup de diagnosticare care va descrie un set de stări de configurare pentru un anumit model de diagnosticare și va satisface relația
unde este numărul de ordine al configurației modelului de diagnostic care satisface calitatea de membru al clasei.
1) Modul de a descrie procesul de formare a straturilor dure de modele de diagnosticare la bord sisteme spațiale TDOA, luând în considerare ca elemente nivele funcții logice, aritmetice hardware și topologia unei digraph legături direcționate pentru fiecare dintre nivelurile de hardware ale modelului de diagnosticare;
2) un model matematic care descrie formarea de clustere în configurația de kituri de diagnostic arhitecturi hardware RVP, fiecare dintre acestea evidențiază afilierea modelului de diagnostic pentru o anumită clasă de algoritmi de diagnosticare și sisteme de control de la bordul navei spațiale.
3. Evreinov EV. Sisteme, structuri și medii de calcul omogene. Radio și comunicații, 1981.- 208 p.
4. EV Evreinov, EV Khoroshevskii, Sisteme omogene de calcul, Novosibirsk: Nauka, 1978.
5. Kalyaev A. V. Sisteme multiprocesoare cu arhitectură programabilă. - M. Radio și Comunicare, 1984, 240 p.
Termeni de bază (generați automat). modele de diagnostic, modelul de diagnosticare, o nava spatiala la bord sisteme, la bord modele de diagnosticare, nivelurile de modele de diagnostic, clasă de modele de diagnostic, la nivel de hardware-lea, sistemele de la bord de spațiu, sisteme de nave spațiale, modele de sisteme de la bord, la bord sisteme spațiale, formarea de clustere de diagnostic, diagnostic , nivelul modelului de diagnosticare, formarea de modele de diagnostic, subsetul stărilor de diagnostic la nivel de hardware PMR, arhitecturi hardware, diag Sisteme de nosticheskih.
Cuvinte cheie
cluster. diagnosticare. modelul de diagnosticare, reconfigurarea, nivelul hardware, funcția de configurare, arhitectura hardware.
Trimiteți-le prietenilor: