1.一种暖通空调控制策略自动预检验方法，其特征在于，包括步骤：
s1.基于图论将暖通空调系统中的各类设备抽象为有向图中的节点，将暖通空调系统中具体的管路连接关系转化为明确的边，节点间的弧表示设备之间的连接关系，进而形成完整的有向图，以直观地表述暖通空调系统内部的拓扑连接关系以及信息交互的情况；
s2.对暖通空调系统控制策略进行数学描述，借鉴三元组的概念对控制策略进行表示，存储于计算机中；
s3.对暖通空调控制系统仿真中产生的控制策略矛盾进行分类梳理；
s4.基于所述控制策略矛盾分类，利用自洽性检验判定规则，对暖通空调控制系统的控制策略矛盾类型进行自动检验。
2.根据权利要求1所述暖通空调控制策略自动预检验方法，其特征在于，根据矛盾来源不同，控制策略矛盾先分为不同控制策略之间的逻辑问题和每一条控制策略中的控制参数问题，然后从中推导出具体的子矛盾，从而形成所述控制策略矛盾。
3.根据权利要求2所述暖通空调控制策略自动预检验方法，其特征在于，所述具体的子矛盾分为逻辑问题以及参数问题，所述逻辑问题包括多管理者冲突，控制变量匹配冲突以及内在约束冲突：所述参数问题包括参数物理关系、参数连接关系以及参数阈值范围。
4.根据权利要求3所述暖通空调控制策略自动预检验方法，其特征在于，所述的控制策略的三元组采用m×3阶的矩阵d进行存储，每一行为一个三元组，m行用于表示包含m条控制策略的三元组，其表示形式如下式：
式中，si∈s′，表示控制对象的控制变量；ti∈t′，表示被控对象的被控变量；fi∈f，表示某一条控制策略；m为控制策略总数。
5.根据权利要求4所述暖通空调控制策略自动预检验方法，其特征在于，
对第i条控制策略的检验结果分为两种情况，表示如下：
式中，j表示当检验第x类矛盾px时，用right(fi,px)表示逻辑正确，conflict(fi,px)表示逻辑存在冲突。
6.根据权利要求1所述暖通空调控制策略自动预检验方法，其特征在于，对于上述包含n个设备的有向图,通过建立n×n阶的邻接矩阵，将所述的有向图中的信息存储于计算机中。