• 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, dodanie 2-4 týždne

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

Generuje redakčný systém BUXUS CMS spoločnosti ui42.