替代机构及其在堆包机设计中的应用

从虚约束概念出发,介绍罗伯特定理及替代机构在堆包机设计中的应用和实例,以及罗伯特定理的一种证明方法。