Sertifitseerimisel kontrollitakse järgmisi süsteemi omadusi: kas ohutu töö seisukohalt kriitilised alamsüsteemid on muust süsteemist isoleeritud liidestega; kas kõigile koormus- ja veahüpoteesidele vastavad stsenaariumid on läbi mängitud; süsteemi arhitektuur toetab sertifitseerimisprotsessi. Süsteem peab olema projekteeritud nii, et tema kohta oleks võimalik koostada täielik ja täpne töökindluse mudel, mis ei tohi sisaldada projekteerimise vigu kirjeldavat olekumudelit. Projekteerimisel tehtud otsused peavad eelistama lahendusi, mis minimiseerivad töökindluse mudeli uurimiseks vajalike mõõdetavate parameetrite arvu ja lihtsustavad analüütilist arutelu. 30. Ranges ja nõrgas reaalajas töötavate süsteemide erinevus Ranges reaalajas töötav süsteem peab tulemused väljastama täpselt ettenähtud ajaks, ohutus on sageli kriitilise tähtsusega. Kõik kriitilised arvutused tuleb teha paralleelselt kahel
Antiparalleelse ehk tagasisideühenduse puhul on resulteeriv ülekandefunktsioon märksa keerukamalt seotud osasüsteemide ülekandefunktsioonidega. Tagasisideühendus omab ka mitmeid eripäraseid omadusi, mis eelnevatel ühendustel puuduvad. Ülekandefunktsioon on täielikult määratud kui tunneme kõiki poolusi, nulle ning ühte arvtegurit. 4.1Lineaarsete statsionaarsete pidevajasüsteemide analüüs- vaadeldakse süsteemi täielikult juhitavat ja ja jälgitavat osa. Kasutades olekumudelit tehakse ülekandemudel, mille abil leidakse süsteemi väljundsignaali kujutis ja sellest saadakse Laplace'i teisendusega väljundsignaali väärtus. 4.2L- teisendus- Loob üks- ühese vastavuse originaalfunktsioonide hulga x(t) ja kujutisfunktsioonide hulga X(s) vahel x(t) (laplace'i teisendus) X(s) kusjuures kujutiste argument on kompleksmuutuja s=+j e. Operaatorimuutuja. Ax1(t)+ bx 2(t) laplace'i teisendus aX1(s)+bX2(s) mis tähendab
L–teisendus. Piirväärtusteoreemid. Ülekandefunktsioon. Ülekandemaatriks. Realiseeritavus ja hilistumine pidevaja süsteemides. Siirdeprotsesside arvutus. Hüppe- ja impulsskajad. Hüppe- ja impulsskajade maatriksid. Kuidas on võimalik ülekandemudelite põhisel analüüsil arvestada mittenullist algolekut? Lineaarsete statsionaarsete pidevaja süsteemide analüüs: Vaadeldakse süsteemi täielikult juhitavat ja ja jälgitavat osa. Kasutades olekumudelit tehakse ülekandemudel, mille abil leitakse süsteemi väljundsignaali kujutis ja sellest saadakse Laplace’i teisendusega väljundsignaali väärtus. L–teisendus: Selleks, et ei peaks differentsiaalvõrrandeid lahendama, kasutame Laplace'i teisendusi. Igale funktsioonile (muutjuale) ehk originaalile pannakse vastavusse kujutis x(t) <->X(s), kusjuures kujutiste argument on kompleksmuutuja s = σ + jω ehk operaatorimuutuja.. Laplace'i integraalne
L-teisendus. Piirväärtusteoreemid. Ülekandefunktsioon. Ülekandemaatriks. Realiseeritavus ja hilistumine pidevaja süsteemides. Siirdeprotsesside arvutus. Kas on võimalik ülekandemudelite põhisel analüüsil arvestada mittenullist algolekut? Kui jah, siis kuidas? Lineaarsete statsionaarsete pidevaja süsteemide analüüsil vaadeldakse süsteemi täielikult juhitavat ja ja jälgitavat osa. Kasutades olekumudelit tehakse ülekandemudel, mille abil leidakse süsteemi väljundsignaali kujutis ja sellest saadakse L"1 teisendusega väljundsignaali väärtus. L-teisendus ehk LapIace'I teisendus on integraalne teisenduvalem, mis loob üks-ühese vastavuse originaalfunktsioonide hulga (x(t)) ja kujutisfunktsioonide hulga (X(S)) vahel, kusjuures kujutise argumendiks on kompleksmuutjua S = a + jo. Vastavus on üks-ühene tingimusel, et kõik originaalfunktsioonide rahuldavad tingimust, et kõik t < 0 => x(t) = 0
Antiparalleelse ehk tagasisideühenduse puhul on resulteeriv ülekandefunktsioon märksa keerukamalt seotud osasüsteemide ülekandefunktsioonidega. Tagasisideühendus omab ka mitmeid eripäraseid omadusi, mis eelnevatel ühendustel puuduvad Ülekandefunktsioon on täielikult määratud kui tunneme kõiki poolusi, nulle ning ühte arvtegurit 4. Lineaarsete statsionaarsete pidevaja süsteemide analüüs- vaadeldakse süsteemi täielikult juhitavat ja jälgitavat osa. Kasutades olekumudelit tehakse ülekandemudel, mille abil leitakse süsteemi väljundsignaali kujutis ja sellest saadakse L"1 teisendusega väljundsignaali väärtus. L–teisendus- LapIace'I teisendus on integraalne teisenduvalem, mis loob üks-ühese vastavuse originaalfunktsioonide hulga (x(t)) ja kujutisfunktsioonide hulga (X(S)) vahel, kusjuures kujutise argumendiks on kompleksmuutuja S = a + jo. Vastavus on üks-ühene
- 1 1 1 1 2 - 1 2 Y (k ) = [1 1]X (k ) + [0]U (k ) 39 Esimene võimalus, kuidas leida väljundväärtusi, on kasutada olekumudelit: 1 Y (0) = CX (0) = [1 1] = 1 0 1 1 0 4 1 1 X (1) = X (0) + U (0) = + 1 = 1 1 0 1 - 1 2
annaabi.ee 
