施工独立坐标系原点在国家大地坐标系中的坐标值为(x0, y0)，施工独立坐标系x轴正向与国家大地坐标系x轴正向的夹角为顺时针旋转角α。若点P在施工独立坐标系中的坐标为(x', y')，则转换至大地坐标x的表达式为（ ）。