CAV_rebuttal

Expressão 17: # "b" "u" "t" "z" Subscript, "m" , Baseline "r" "e" "m" "a" "i" "n" "s" "e" "x" "a" "c" "t" "l" "y" "t" "h" "e" "s" "a" "m" "e" "a" "s" "n" Subscript, "o" , Baseline

Expressão 18: alpha equals 0.1 5 7

0.0 0 0 1

Expressão 19: beta equals negative 1.3 1 3

negative 2

negative 0.0 0 0 1

Expressão 20: "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline equals 5.8 3

"z" Subscript, "o" , Baseline left parenthesis, "v" Subscript, "l" "b" , Baseline , right parenthesis

"z" Subscript, "o" , Baseline left parenthesis, "v" Subscript, "u" "b" , Baseline , right parenthesis

Expressão 21:

Expressão 22: # "F" "o" "r" "w" "a" "r" "d" minus "F" "a" "c" "i" "n" "g" "n" "e" "u" "r" "o" "n" "s" left parenthesis, "n" Subscript, "a" , Baseline , "n" Subscript, "b" , Baseline , right parenthesis

Expressão 23: "n" Subscript, "a" , Baseline left parenthesis, "x" , right parenthesis equals max left parenthesis, 0 , "w" Subscript, "a" , Baseline times "x" plus "b" Subscript, "a" , Baseline , right parenthesis

Expressão 24: "b" Subscript, "a" , Baseline equals negative left parenthesis, "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline minus "b" Subscript, "o" , Baseline , right parenthesis times alpha

equals

negative 0.9 1 6 3 7

Expressão 25: "w" Subscript, "a" , Baseline equals "w" Subscript, "o" , Baseline times alpha

equals

0.4 5 6

Expressão 26: "n" Subscript, "b" , Baseline left parenthesis, "x" , right parenthesis equals max left parenthesis, 0 , "w" Subscript, "b" , Baseline times "x" plus "b" Subscript, "b" , Baseline , right parenthesis

Expressão 27: "b" Subscript, "b" , Baseline equals negative left parenthesis, "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline minus "b" Subscript, "o" , Baseline , right parenthesis times beta

equals

6.4 9 1 7 5 8

Expressão 28: "w" Subscript, "b" , Baseline equals "w" Subscript, "o" , Baseline times beta

equals

negative 3.2 3 0 4

Expressão 29:

Expressão 30: # "W" "e" "i" "g" "h" "t" "e" "d" "S" "u" "m" "o" "f" "n" Subscript, "a" , Baseline "a" "n" "d" "n" Subscript, "b" , Baseline , "p" "l" "u" "s" "t" "h" "e" "b" "i" "a" "s"

Expressão 31: "b" Subscript, "m" , Baseline equals "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline

equals

5.8 2 3

Expressão 32: "z" Subscript, "m" , Baseline left parenthesis, "x" , right parenthesis equals StartFraction, 1 Over alpha , EndFraction times "n" Subscript, "a" , Baseline left parenthesis, "x" , right parenthesis plus StartFraction, 1 Over beta , EndFraction times "n" Subscript, "b" , Baseline left parenthesis, "x" , right parenthesis plus "b" Subscript, "m" , Baseline

Expressão 33:

Expressão 34:

desenvolvida por