CAV_rebuttal

表达式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

表达式18: alpha equals 0.0 2 3

0.0 0 0 1

表达式19: beta equals negative 1.1 8

negative 2

negative 0.0 0 0 1

表达式20: "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline equals 6.0 5 5

"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

表达式21:

表达式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

表达式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

表达式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.2 8 4 7 1 5

表达式25: "w" Subscript, "a" , Baseline equals "w" Subscript, "o" , Baseline times alpha

equals

0.1 3 6 8

表达式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

表达式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.0 5 8 9 3 5

表达式28: "w" Subscript, "b" , Baseline equals "w" Subscript, "o" , Baseline times beta

equals

negative 2.9 1 1 2

表达式29:

表达式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"

表达式31: "b" Subscript, "m" , Baseline equals "p" Subscript, "s" "p" "l" "i" "t" "p" "o" "i" "n" "t" , Baseline

equals

5.9 9 5

表达式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

表达式33:

表达式34:

技术支持