分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新...分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)-描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)的实例推理算法,也证明了实例推理算法的正确性.展开更多
目前,煤矿使用的工程专题地图基本都是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一张图的构建效率,为煤矿智能化建设提供时空数字底座。展开更多
文摘分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新的εL(n)-描述图,利用描述树和描述图给出了描述逻辑εL(n)的MSC近似推理算法,并利用εL(n)-描述树嵌套和εL(n)-描述树描述图同态证明了MSC近似推理算法的正确性.作为一个附带的结果,利用εL(n)-描述树描述图同态给出了εL(n)的实例推理算法,也证明了实例推理算法的正确性.
文摘目前,煤矿使用的工程专题地图基本都是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一张图的构建效率,为煤矿智能化建设提供时空数字底座。