面向问题的GIS需求非形式化与形式化描述研究

在大型地理信息系统开发中,需求因实际情况的复杂多变而难以准确描述。针对图形、文本、表格等非形式化需求描述方式无法做到准确、一致、无二义性等问题,特提出面向问题的GIS需求形式化描述与验证方法。文章以南方某地区现代烟草农业基础设施规划子模块需求描述与验证为例,运用非形式化与形式化描述方法将现代烟草农业对地理信息系统的真实需求归纳到预定义GIS子问题框架,对大型GIS需求形式化定义与描述具有典型示范作用。     

盾构机姿态的人工测量原理

本文针对地铁隧道盾构法施工中盾构机的导向方法,提出盾构机姿态的人工测量原理,通过在Excel中编辑的盾构掘进姿态解算程序来计算盾构机的实时掘进姿态,及时指导盾构机纠偏,确保盾构机按照设计的线路进行掘进.     

自然驱动是全球气候变化的重要因素

2007年IPCC公布的第四次评估报告指出,过去50 a观测到的地球平均温度升高很可能(90%以上)是由人类活动引起的,其中主要是人类活动引起的温室气体排放的增加.高精度的卫星数据分析结果显示,30 a来全球气温呈振荡变化,除受厄尔尼诺、火山活动等重大自然现象影响外,并未出现异常增温现象,仍处在正常波动范围内;加勒比海...     

盾构区间隧道中心平面坐标的计算方法

本文通过对杭州地铁1号线红普路站至九堡站盾构区间线路设计图的研究,总结出区间隧道中心平面设计坐标的计算方法。通过与设计单位提供的隧道中心设计坐标进行对比,肯定了此计算方法的准确性,可以应用于实践。