ASM模型研究