13,99 €
inkl. MwSt.

Versandfertig in 6-10 Tagen
payback
7 °P sammeln
  • Broschiertes Buch

Za poslednie neskol'ko let kolichestwo i slozhnost' funkcij, realizowannyh w awtomobile, stremitel'no uwelichiwaütsq. V nastoqschee wremq widenie awtonomnogo transportnogo sredstwa uzhe ne mechta ili fantasticheskij fil'm, a priblizhaüschaqsq real'nost'. Dlq dostizheniq nailuchshego kachestwa i wysokoj bezopasnosti neobhodimy peredowye metody werifikacii. Simulink Design Verifier - äto instrument prowerki modelej, osnowannyj na formal'noj werifikacii, kotoryj mozhet byt' äffektiwno ispol'zowan dlq resheniq problem, swqzannyh s obnaruzheniem oshibok i testirowaniem na rannih stadiqh proekta.…mehr

Produktbeschreibung
Za poslednie neskol'ko let kolichestwo i slozhnost' funkcij, realizowannyh w awtomobile, stremitel'no uwelichiwaütsq. V nastoqschee wremq widenie awtonomnogo transportnogo sredstwa uzhe ne mechta ili fantasticheskij fil'm, a priblizhaüschaqsq real'nost'. Dlq dostizheniq nailuchshego kachestwa i wysokoj bezopasnosti neobhodimy peredowye metody werifikacii. Simulink Design Verifier - äto instrument prowerki modelej, osnowannyj na formal'noj werifikacii, kotoryj mozhet byt' äffektiwno ispol'zowan dlq resheniq problem, swqzannyh s obnaruzheniem oshibok i testirowaniem na rannih stadiqh proekta. Preobrazowanie trebowanij, napisannyh w tradicionnoj forme, neposredstwenno w zadachi Simulink Design Verifier mozhet zanqt' mnogo wremeni, a takzhe potrebowat' znaniq modeli sistemy i instrumenta werifikacii. Dlq togo chtoby sokratit' wremennye zatraty i prowesti pol'zowatelq cherez model' sistemy i instrument werifikacii, byla razrabotana poluawtomatizirowannaq struktura. Vnedrenie ogranichennyh shablonow anglijskoj grammatiki w ob#ekty Simulink podderzhiwaet opisanie shablonow dlq inzhenerow i sokraschaet zatraty wremeni. Razrabotannaq struktura qwlqetsq gibkoj i intuitiwno ponqtnoj, poätomu mozhet byt' resheniem dlq drugih otraslej promyshlennosti, no trebuütsq dal'nejshie ispytaniq i werifikaciq.
Autorenporträt
Ariäl' Syrko poluchil stepen' magistra nauk w oblasti älektrotehniki w Tehnologicheskom institute Blekinge.