将分块推理方法扩展到命题逻辑和描述逻辑的混合逻辑上,得出一种新的web服务合成方法.该方法可以方便地在UDDI(universal description,discovery and integration)之间的web服务之上进行合成,并有效结合了语义推理机,提高了算法的效率....将分块推理方法扩展到命题逻辑和描述逻辑的混合逻辑上,得出一种新的web服务合成方法.该方法可以方便地在UDDI(universal description,discovery and integration)之间的web服务之上进行合成,并有效结合了语义推理机,提高了算法的效率.为了把证明转化为可执行的过程,给出一种基于π演算的提取过程模型的方法,并为方便地利用语义推理机的语义关系,定义了一种伪过程以便统一地处理这种情况.展开更多
针对传统的WebGIS系统研究开发中存在的人机交互性差、运行速度慢等缺陷,提出了基于Adobe Flex框架和表述性状态传递(Representational State Transfer,REST)的WebGIS系统的解决方案,并应用于防汛信息管理系统的开发中。系统采用Flex实...针对传统的WebGIS系统研究开发中存在的人机交互性差、运行速度慢等缺陷,提出了基于Adobe Flex框架和表述性状态传递(Representational State Transfer,REST)的WebGIS系统的解决方案,并应用于防汛信息管理系统的开发中。系统采用Flex实现表示层的呈现,降低了系统的开发难度,增强了系统的用户体验性;使用REST技术框架解决了矢量地图的发布繁琐、服务器端和浏览器端之间响应速度慢的问题,为WebGIS的应用开发提供了新的思路。展开更多
文摘将分块推理方法扩展到命题逻辑和描述逻辑的混合逻辑上,得出一种新的web服务合成方法.该方法可以方便地在UDDI(universal description,discovery and integration)之间的web服务之上进行合成,并有效结合了语义推理机,提高了算法的效率.为了把证明转化为可执行的过程,给出一种基于π演算的提取过程模型的方法,并为方便地利用语义推理机的语义关系,定义了一种伪过程以便统一地处理这种情况.
文摘针对传统的WebGIS系统研究开发中存在的人机交互性差、运行速度慢等缺陷,提出了基于Adobe Flex框架和表述性状态传递(Representational State Transfer,REST)的WebGIS系统的解决方案,并应用于防汛信息管理系统的开发中。系统采用Flex实现表示层的呈现,降低了系统的开发难度,增强了系统的用户体验性;使用REST技术框架解决了矢量地图的发布繁琐、服务器端和浏览器端之间响应速度慢的问题,为WebGIS的应用开发提供了新的思路。