4.2 符号说明和模型假设