基于一阶逻辑的GIService服务发现

针对GIService服务发现,提出了基于一阶逻辑的GIService服务描述与匹配方法。使用一阶逻辑工具描述服务接口、运行条件和程序逻辑等GIService特征,提出基于描述逻辑与霍尔规则相似度计算的GIService服务匹配方法。实验案例证明,基于一阶逻辑的GIService服务发现可以全面表达GIService特征,得到更加准确的服务匹配结果。     

Boolean Operations on Conic Polygons

An algorithm for Boolean operations on conic polygons is proposed.Conic polygons are polygons consisting of conic segments or bounded conics with directions.Preliminaries of Boolean operations on general polygons are presented.In our algorithm,the intersection points and the topological relationships between two conic polygons are computed.Boundaries are obtained by tracking path and selecting uncrossed boundaries following rule tables to build resulting conic polygons. We define a set of rules for the i...     

基于RM-ODP的模型复用框架OMRF

基于RM-ODP标准以及Web services技术,提出了基于Web应用的开放的模型复用框架OMRF,从企业视图、信息视图、计算视图、工程视图、技术视图五个层面给出了该框架的主要内容,分析了基于该框架的模型复用开发应用模式,阐述了基于该框架的具体研究问题,对提高模型复用与集成能力具有一定参考价值.     

基于Petri网的空间信息工作流模型

利用工作流技术建立空间信息工作流,为支持空间信息处理过程的规划和管理提供科学的途径。基于Petri网和UniNet理论,建立了空间信息工作流模型GWPN。该模型利用Petri网和UniNet的诸多优点,兼顾控制流和数据流,并充分考虑了过程中的空间语义约束,准确定义空间信息处理过程,解决了空间应用的特殊性问题。     

从数字城市到智慧城市

数字城市和智慧城市是通过信息化实现城市的经济转型我国数字城市已经初步建成但是智慧城市才刚刚开始。我国发展数字城市和智慧城市有两个重要的特征：城市化和信息化。改革开放30余年中．我国城市化率由原来的20％上升到50％，以此测算，若是达到发达国家的80％的城市化率，我国还有10-20年的路要走。数字城市的建设实际上也是信息时代的产物，国家领导人把信息化（包括城市的信息化）放到了最高的高度．信息化带动国民经济的增长也作为国家远程的战略。     

基于构件的地理工作流框架:一个方法学的探讨

软件框架为特定领域的软件复用带来了便利.众所周知,软件框架开发的难度要大于开发一个普通可复用构件.采用支持黑盒复用的基于构件的软件框架概念,探讨了地理工作流框架的开发过程.一个地理工作流应用是地理信息领域的工作流管理系统,它可以通过复用地理工作流框架实现.从方法学的角度看,为了开发地理工作流框架,需要进行以下活动:领域分析、领域设计、框架设计和实现.其输出分别是识别了领域变化性的领域模型、领域特定的软件体系结构(DSSA)、软件框架产品.在地理工作流的上下文中,首先对领域变化性进行了识别和分类,包括空间数据类型、空间数据管理、空间操作、过程和空间数据表现5个方面的变化性,它们可以组织成树状视图.然后,为了处理上述变化性,设计了DSSA和框架的软件体系结构,其中前者是后者的模板,而框架体系结构采用HMB风格.最后,对地理工作流框架构件的开发以及框架复用进行了简单描述.与其他地理工作流系统相比,其优势在于由于框架扩展能力带来的灵活性.     

面向水环境管理的空间数据仓库构建

从水环境管理的实际情况出发,提出了面向水环境管理的空间数据仓库构建策略,并对开发的管理系统进行了介绍,最后指出后继研究工作的重点。     

基于RM ODP的模型复用框架OMRF *

基于RMODP标准以及Web services技术,提出了基于Web应用的开放的模型复用框架OMRF,从企业视图、信息视图、计算视图、工程视图、技术视图五个层面给出了该框架的主要内容,分析了基于该框架的模型复用开发应用模式,阐述了基于该框架的具体研究问题,对提高模型复用与集成能力具有一定参考价值。     

移动点对象与参考地物空间拓扑关系

针对二维欧氏空间内的平面移动点对象，该文基于“9交模型”，定义了参考地物的空间拓扑关系模型，并将该模型表示为3个连续观测时刻的拓扑关系的三元组，给出了移动点对象与参考点、线和面地物的空间拓扑关系的定性表达。该模型可以清楚地刻画移动点对象相对于参考地物的运动变化情况，对于智能交通、移动位置服务等应用具有重要的意义。     

基于最小路由代价树的大规模显微图像拼接方法

为了对大规模显微图像进行高质量的拼接,首先提出拼接图的概念及获得高质量全景图像的3个原则,然后采用分块-空间聚类算法配准相邻图像,同时评估配准质量,并计算拼接图的边的权值;最后在此基础上,提出了一种基于最小路由代价生成树的图像拼接方法,该方法通过计算拼接图的最小路由代价生成树来确定所有图像的全局位置,并用来生成全景图像。实验结果表明,该方法可获得高质量的全景图像。