此子系统与知识库结合并且能快速评估设计方案假设的正确性并控制和调整系统设计的正确性。