目前,煤矿使用的工程专题地图基本都是CAD制图,高效提取CAD图件中的数据并快速组织成地理信息系统(GIS)服务,进而支持矿井空间对象创建和业务属性扩展,集成安全生产实时数据,是构建煤矿GIS一张图的关键。基于ArcGIS平台将CAD图件转为GI...目前,煤矿使用的工程专题地图基本都是CAD制图,高效提取CAD图件中的数据并快速组织成地理信息系统(GIS)服务,进而支持矿井空间对象创建和业务属性扩展,集成安全生产实时数据,是构建煤矿GIS一张图的关键。基于ArcGIS平台将CAD图件转为GIS服务的方法实现过程较为繁琐,且ArcGIS平台成本较高,无法较好地跨平台运行。针对该问题,设计了一种煤矿GIS一张图快速构建平台。该平台包括CAD图件管理、地图服务发布、专题地图管理3大功能模块:CAD图件管理模块用于图件基础信息管理和状态跟踪,地图服务发布模块用于地图打包发布和在线预览,专题地图管理模块用于地图服务管理、矿井对象创建及属性扩展。基于开放设计联盟(ODA)的Teigha for Java SDK实现CAD图件全要素精确识别与快速准确提取;通过构建基于GIS数据特征的煤矿CAD图件数据分层描述模型,实现了CAD图件全要素数据快速存储;按照面向对象设计思路,开发了Spring Cloud框架下的Web端煤矿CAD图件数据集存储接口及专题地图服务发布平台,实现了煤矿GIS一张图快速构建。以某煤矿采掘工程平面图为例,分别采用传统方法和快速构建平台进行煤矿GIS一张图的构建,对比结果表明,快速构建平台可大幅提高煤矿GIS一张图的构建效率,为煤矿智能化建设提供时空数字底座。展开更多
文摘目前,煤矿使用的工程专题地图基本都是CAD制图,高效提取CAD图件中的数据并快速组织成地理信息系统(GIS)服务,进而支持矿井空间对象创建和业务属性扩展,集成安全生产实时数据,是构建煤矿GIS一张图的关键。基于ArcGIS平台将CAD图件转为GIS服务的方法实现过程较为繁琐,且ArcGIS平台成本较高,无法较好地跨平台运行。针对该问题,设计了一种煤矿GIS一张图快速构建平台。该平台包括CAD图件管理、地图服务发布、专题地图管理3大功能模块:CAD图件管理模块用于图件基础信息管理和状态跟踪,地图服务发布模块用于地图打包发布和在线预览,专题地图管理模块用于地图服务管理、矿井对象创建及属性扩展。基于开放设计联盟(ODA)的Teigha for Java SDK实现CAD图件全要素精确识别与快速准确提取;通过构建基于GIS数据特征的煤矿CAD图件数据分层描述模型,实现了CAD图件全要素数据快速存储;按照面向对象设计思路,开发了Spring Cloud框架下的Web端煤矿CAD图件数据集存储接口及专题地图服务发布平台,实现了煤矿GIS一张图快速构建。以某煤矿采掘工程平面图为例,分别采用传统方法和快速构建平台进行煤矿GIS一张图的构建,对比结果表明,快速构建平台可大幅提高煤矿GIS一张图的构建效率,为煤矿智能化建设提供时空数字底座。
基金Supposed by the National Natural Science Foundation of China under Grant Nos.6053406060473094(国家自然科学基金)+3 种基金the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z136(国家高技术研究发展计划(863))the National Basic Research Program of China under Grant No.2003CB317002(国家重点基础研究发展计划(973))the 2006 Mountaineering Program ofShanghaiChina under Grant No.06JC14065(上海市科委2006年度"登山行动计划")
文摘在对当前面向服务体系架构(service-oriented architecture,简称SOA)研究的基础上,给出了一个以企业服务总线(enterprise service bus,简称ESB)为中心的面向服务软件体系架构参考模型(SOA reference model,简称SOARM),是集Petri网和时序逻辑于一体的形式化SOA分析、验证和确认方法.基于以客户为中心的面向服务架构设计理念,即根据用户提出系统规范/需求,服务提供者提供服务或组合服务来满足服务消费者,服务接口和ESB作为实现面向服务架构的关键部分.虚拟计算环境下,服务语义的一致性验证是十分必要的,SOARM采用新的模式:通过Petri网为服务的行为建模,时序逻辑来描述服务语义一致性约束,综合运用分而治之的精炼检测思想和SOA模型检测合成方法,通过对这些子服务性质的检验来验证整个系统的规范.用商业银行综合前置系统说明了如何使用这种方法来实现面向服务的设计.
