动态的计算机模型,研究涌现的利器