地理信息系统中多边形叠合算法的研究