5.3.2 兵演量化分析中的数学语言