符号模型验证  符号化模型检验  符号模拟  符号模式  造型符号