萨巴蒂尔和马兹曼尼安执行综合模型