复杂网络是一类相互作用的个体组成的网络。复杂网络同步是复杂网络的研究热点之一。由于网络节点动力学与网络拓扑结构相互影响，使得复杂网络的同步研究相当困难。本报告主要基于网络分解与半定规划对复杂网络同步展开研究：基于不变集，对复杂网络同步轨进行了数学刻画，从而给出同步的必要条件；进一步，基于不变集，把原网络等价地分解成一个由两层低维子网络组成的网络，并构建了相应的同步准则；最后，基于平方和分解和半定规划，给出了复杂网络同步的机械化验证。
