6.6 仿真约束的生成和实施