数字孪生的模型、问题与进展研究