城市供水管网地理信息系统是指利用（）采集、管理、更新、综合分析和处理城市供水管线信息的系统。