合约检查相关论文