程序与实体相关论文