MATLAB SIMULINK VERIFICATION AND VALIDATION - S Uživatelská příručka Strana 319

  • Stažení
  • Přidat do mých příruček
  • Tisk
  • Strana
    / 674
  • Tabulka s obsahem
  • KNIHY
  • Hodnocené. / 5. Na základě hodnocení zákazníků
Zobrazit stránku 318
Model Objects That Receive Coverage
16-5
Model Object Decision Condition MCDC Lookup
Table
Simulink
Design
Verifier
Saturate
on Integer
Overflow
Relational
Boundary
“Model” on page
16-20
See also
“Triggered
Models” on page
16-29.
“Multiport
Switch” on page
16-21
“PID Controller,
PID Controller
(2 DOF)” on
page 16-21
“Product” on
page 16-22
“Proof
Assumption” on
page 16-22
“Proof Objective”
on page
16-22
“Rate Limiter”
on page
16-23
(Relative
to slew
rates)
“Relational
Operator” on
page 16-23
“Relay” on page
16-24
Zobrazit stránku 318
1 2 ... 314 315 316 317 318 319 320 321 322 323 324 ... 673 674

Komentáře k této Příručce

Žádné komentáře