-
Ruský jazyk
Struktura dlq poluawtomaticheskoj formalizacii awtomobil'nyh trebowanij
Autor: Ariäl' Syrko
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'.... Viac o knihe
Na objednávku
18.36 €
bežná cena: 20.40 €
O knihe
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.
- Vydavateľstvo: Sciencia Scripts
- Rok vydania: 2022
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9786205126370
Anglický jazyk 
Nemecký jazyk 