智能调度控制系统中，PAS模型验证正确性检查主要包括(____)。