空间实体多表达的代数规范和原型系统

论文建立了以空间实体多表达为基础的空间抽象数据类型(SADT)以及SADT的代数规范体系。在SADT的基础上实现了空间多表达GIS的原型系统-MRGIS,并介绍了MRGIS的应用实例。     

基于Internet和Intranet的多源分布式空间要素服务系统

本文介绍了一个兼顾Internet和Intranet用户应用的分布式空间要素服务系统,符合OpenGIS的WFS规范和GML规范,采用XML/SOAP/WebService技术,向Internet用户提供空间要素服务;通过J2EE平台,采用EJB组件技术向Intranet用户提供空间要素服务。本文还介绍了一个异构多数据源统一访问接口的设计与实现,而且分析了系统性能优化的一些措施,包括附件方式的WebService、地理信息数据的压缩、缓冲等技术,而且设计并实现了一个多数据源的数据库连接池。     

CAUPS系统中的时空推理机制与算法

动态城市规划方案仿真系统中的一个重要问题就是抽象和提取仿真对象之间涉及到的空间和时间逻辑关系,并以此作为仿真过程的基本准则和规范动态推理演算。为了建立CAUPS系统中的时空推理机制,针对城市规划方案的动态仿真过程中需要应用到的基本准则和规范,在传统时空关系描述和推理规范的基础上定义出适用于面向城市规划动态仿真的时空关系。考虑到城市规划过程中存在的非刚体对象,提出面向城市辅助规划系统方案应用结果仿真的时间空间推理规范,该规范能够非常好的支持如植被、水域等非刚体对象,并给出一个适合多Agent系统采用的时间空间推理规范执行解决方案,包括时间推理规范算法和空间推理规范算法。面向城市规划的时间推理规范算法和空间推理规范算法已经被成功应用于CAUPS系统底层的多Agent交互关系调整中。     

基于系统辨识算法的风力机桨距系统故障诊断

针对风力机桨距系统故障,提出一种基于观测器的多新息随机梯度辨识算法的故障诊断方法．多新息随机梯度辨识算法通过扩展新息长度能够改进随机梯度辨识算法的估计精度,根据系统的规范状态空间模型,结合状态观测器可以实现系统状态和参数的交互估计．将桨距系统模型转换为可辨识的状态空间模型,依据桨距系统故障会引起系统参数变化的特点,采用所提出的算法对系统状态和参数进行估计,将桨距系统故障诊断问题转化为系统状态和参数估计问题．仿真结果表明,所提出的方法能够有效诊断桨距系统故障．     

组件式空间参照系统的研究

空间参照系统是描述地球上各地理要素空间特性的框架,是GIS系统的基础.参照ArcGIS空间参照系统的设计框架,遵循OGC发布的有关地图投影的接口和组件对象的规范,设计并实现了一个基于组件技术的空间参照系统.对地图投影和参照系进行了研究,介绍了空间参照系统的重要意义,论述了空间参照系统的设计思想和目标,并给出了该系统的体系结构,分析了提高该系统实用性应注意的问题和方法.     

环境地质空间数据库查询系统设计与实现

分析环境地质空间数据库信息内容组成特点和用户实际需求,遵循软件工程规范要求,采用面向对象程序设计思想进行系统设计。基于MAPGIS二次开发函数库,在VC++6.0环境下实现系统开发。建立的系统具有空间数据库浏览、查询检索功能,以及查询检索结果的编辑、数字制图整饰、输出功能。对实现环境地质空间数据库的社会化服务有重要意义。     

基于面向对象数据库的三维GIS实验系统

基于面向对象GIS模型和空间数据库技术,在面向对象数据库Jasmine的基础上建立了基本的空间数据库系统．通过实现空间索引结构V—Reactive树、空间查询等技术,设计和实现了一个三维GIS实验系统．该系统能够实现三维GIS的一些典型功能,包括细节层次可视化、多比例尺、空间查询等．     

多数据源空间数据库引擎的研究与实现

介绍一个中间件系统：面向分布式地理信息系统的多数据源空间数据库引擎。该系统采用三层C／S结构，符合OpenGIS互操作规范，支持数据共享和功能共享，能够用于空间数据库系统集成，支持面向互联网的GIS软件的开发。     

Web环境中物流空间信息系统框架的设计与实现

根据物流的空间特征和业务需求,提出了包括表现层、服务提供商平台、应用服务器平台、数据层的物流空间信息系统多层体系结构框架.对Web环境中系统实现的关键技术进行了分析,实现了基于DCOM的物流空间信息系统,并进行了系统性能分析.结果表明:该系统可以高效高质量地建立起多层体系结构的第三方物流管理信息系统,为中小物流企业提供全套的物流管理解决方案.     

使用空间对象模型在Web上实现AM/FM/GIS系统

在Web上建立空间信息系统,日益成为Internet的焦点。文中提出的基于多 Agent的多服务源协作模型Multi-SAC,是为了解决 Web环境下,多客户链接,多服务源启动,多Agent协作而设计的分布式体系。它使用空间对象模型SOM建立系统,更侧重于地理空间和逻辑空间的结合,从空间关系的角度集成结构化和半结构化数据。MultiSAC体系具有透明分布,可扩展性好,接口智能等特点。最后探讨了实现一个AM/FM/GIS系统。     

Web服务的安全性研究

WS-Security是一个受到广泛支持的保证Web服务安全的建议规范,本文首先介绍了Web服务的安全性需求,然后简要描述了WS-Security规范,进而根据此规范阐述了安全性需求的实现,最后概述了Web服务安全性的应用实现,这些可以作为今后相关研究工作的框架     

Web应用中数据库交互行为验证

采用定理证明和逆向工程的方法,对Web应用中的数据库交互行为进行验证。使用Z规格说明描述需求模型,根据数据库交互的源代码和转换规则得到实现模型。从实现模型中获取Web应用的相关性质,通过Z/EVES定理证明器验证这些性质是否在需求模型的 Z规格说明中得到满足。在此基础上,设计该方法的验证框架,并开发相应的原型系统。通过图书馆数据库管理系统实例证明该方法的有 效性。     

农业空间信息资源共享服务平台

针对农业空间信息资源的共享和服务中跨部门、多数据源和数据异质性问题,提出运用OGC WMS规范来建立基于Web Services的农业空间信息资源共享服务平台,解决农业空间信息资源的异质共享问题。给出了农业空间信息资源共享与服务平台的框架、功能和具体的实现策略,可为同类应用提供借鉴。     

城市地质领域信息管理与服务系统体系结构

城市地质信息管理与服务系统是面向城市地质领域的三维地理信息系统。该文从多元异构数据源集成管理、空间数据可视化、基础和专业数据分析、Web应用、数据共享和服务以及安全与认证等方面出发,分析了该应用领域的功能性/非功能性需求特性,并在此基础上讨论C/S, B/S, Pipe-and-Filter及工作流等常见软件体系结构模式与系统体系结构的适用程度,同时提出以3层C/S模式为主、B/S模式为辅的城市地质领域信息管理与服务系统的体系结构设计方案,使划分的功能构件具有较好的可复用性。实验结果表明,该方案是可行的。     

面向网上论坛的信息抽取技术

在分析了网上论坛内部的信息组织模式和链接结构的基础上,提出了一套面向网上论坛的语义话题线索抽取框架、叙述了其具体实现。为信息抽取定义了完善的抽取规则规范,提供了用户定制规则的可视化工具和论坛站点中语义信息单元自动下载抽取的后台引擎。     

Scripting JAX-WS [JavaScript]

This article describes an integration of the ECMAScript programming language commonly known as JavaScript, with an implementation of the Java API for XML Web services (JAX-WS) 2.0. The JAX-WS 2.0 specification - the new version of the for XML-Based RPC (JAX-RPC) defines standard APIs and approaches for building Java-based Web services. As its name implies, JAX-RPC was concerned mostly with how to implement RPC-oriented Web services in Java. JAX-WS expands and improves on the specification in several ways, including tying together and updating its sup port for several base Web services specifications, such as SOAP 1.2; providing a coherent design for using Java annotations to specify Web services metadata; providing support for document-oriented Web services, asynchronous services, and services that use transports other than HTTP; addressing implementation issues surrounding handlers, which are interceptors that provide hooks into message flows between senders and receivers; and describing practices for dealing with versioning in Web services.     

Web服务提供方安全模型的设计、建模与分析

随着Web服务应用的迅速发展,Web服务提供方的安全问题已成为制约其实际应用的主要障碍之一。文中着重讨论了Web服务提供方面临的安全问题,引入了一种基于安全策略与实现分离的信息安全解决模型,并根据Web服务的实际情况进行了改进,方便了Web服务提供方动态地制定安全策略、灵活地实现策略指导下的各种安全措施。最后,采用投影时序逻辑(PTL,Projection Temporal Logic)形式化描述了该模型中资源访问决策部分的规范说明。     

基于ISA95的MES集成接口研究

ISA95标准使计划管理系统与MES之间获得了良好的集成,而B2MML规范基于XML创建了通信规范的一种实现方式,用于文本信息交换。基于Web Service、ISA95、B2MML技术设计并实现了一种MES集成接口方案。该方案实现了跨平台、跨地域、低成本的数据接口,具有良好的开放性和可扩展性。     

AO4BPEL: An Aspect-oriented Extension to BPEL

Process-oriented composition languages such as BPEL allow Web Services to be composed into more sophisticated services using a workflow process. However, such languages exhibit some limitations with respect to modularity and flexibility. They do not provide means for a well-modularized specification of crosscutting concerns such as logging, persistence, auditing, and security. They also do not support the dynamic adaptation of composition at runtime. In this paper, we advocate an aspect-oriented approach to Web Service composition and present the design and implementation of AO4BPEL, an aspect-oriented extension to BPEL. We illustrate through examples how AO4BPEL makes the composition specification more modular and the composition itself more flexible and adaptable.