基于XML和JMS的异构数据交换集成的研究

随着企业信息化不断深入,对于异构数据集成的要求越来越迫切。为此提出了一种异构数据交换集成的模型。首先构造异构数据库的元数据的模式XML Schema,并建立元数据与XML Schema间的映射,将异构数据表示成XML形式,使用JMS技术完成系统间XML的传输,再根据本地数据库的元数据与XML Schema的映射将XML中的数据转化为本地数据库可用数据,从而较好地解决了异构数据集成和交换的问题。     

基于XML的异构数据库集成方法研究与实现

异构数据库的集成问题是当前数据处理领域内研究的一个热点,它能更有效地利用信息资源、实现数据共享。文章提出并实现了基于XML的异构数据库集成与查询系统,并重点讨论了异构数据库的集成方法。系统采用W3C的XML Schema标准作为异构数据源的全局模式描述,借助XML Schema强大的数据描述能力,通过实现关系模式的提取、关系模式到XML Schema的转化和附加语义约束,实现了异构资源数据库数据的整合。     

基于XML的异构数据集成模式的研究

随着信息技术的发展,任何一个独立单位都有可能成为一个异构的数据源。为实现企业异构数据库间信息的共享和集成,对数据集成的原理以及主要技术进行了研究,重点分析了 XML 与数据库之间的映射、XML 文档存储模式、将 XML 查询转化为 SQL 的查询转换问题以及如何将关系数据发布为 XML 文档。该方案简单易行,保证了各系统仍然按照原来的方式运行,只是在需要进行信息交换时通过转换接口把本地数据库数据转换成 XML 文档即可。     

关系数据库模式到XML Schema的通用映射模型

基于XML的异构数据库集成技术已经被应用到现有的数据集成平台中,但由于所采用的“模式自动翻译”法的局限性,当前众多的集成平台并不能真正实现异构关系数据库的自由集成。该文在关系模式和XML Schema的形式化定义的基础上,提出描述关系模式到XML Schema的映射关系的通用模型——RtoX,给出模型的合法性验证算法。依据该模型设计了新的关系数据到XML转换的通用算法。     

基于主题映射元数据的异构数据库集成仿真

传统异构数据库集成过程存在数据映射主题不明确问题,导致数据集成资源利用率偏低,切耗时较长。为此提出基于主题映射元数据的异构数据库集成方法。将待查询领域本体与元仓库组建映射,形成主体映射元数据,通过主体映射元数据解决数据库异构问题,并对用户查询进行推理扩展,实现对不同数据库集成。实验结果表明,所提方法能够有效提升数据库集成后的资源利用率,减少数据库集成时间。     

从XML到关系数据库映射技术研究

在使用XML作为异构数据源数据交换中介的过程中，如何将数据从XML文件中转入到数据库中是关键技术之一。本文主要论述了XML在数据库中存储方式，将DTD映射为数据库中的表的方法及算法和将XML Schema映射为关系模式的方法。     

异构数据库集成中间件的研究与实现

为了解决企业网络环境中异构数据库的数据集成和共享问题,重点研究了如何利用XML技术屏蔽数据库间的异构数据难题.提出了基于XML和中间件的集成异构数据库数据源的框架模型,该模型主要实现两部分的功能:数据库信息映射字典的生成和中间件系统查询的运行.中间件系统以XML作为数据交换的中介,提出了关系数据库数据与XML文档相互转换的方法,实现了用户对异构数据库数据的透明化共享.该模型适合企业信息化建设的需要.     

基于XML异构数据源集成的研究

针对异构数据集成过程中的模式转换问题,提出一种XML模式与关系库模式的转化方法,通过定义XML Schema与关系模式之间的转换规则,以XML Schema文档树生成的结点树为基础,实现了XML模式与关系模式的映射。该方法的最大特点是它不仅可以反映数据的结构特征,而且还能表示数据的语义约束。     

一种XML Schema到关系模式的转换方法

随着互联网和信息技术的不断发展,异构数据交换技术已成为实现数据共享的主要方法,而其中的关键又是异构数据模式的统一.针对这种情况,通过对XML Schema和关系模式的集合定义,提出两集合间的双向映射规则,将关系模式转换为XML Schema的描述,以实现关系模式到XML Schema的转化.     

基于XML的异构数据库集成系统构架与开发

分析了XML在解决异构数据库集成问题中的优势，并在此基础上提出了基于XML的异构数据库集成方案，实现了分布式异构数据库的透明访问和联合查询。对于架构中的主要环节给出了具体实现方法，并着重研究和验证了架构中XML与数据库模式映射、数据透明访问、联合查询处理等关键问题。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

高等院校行政分析与决策系统的设计与实现

为提高高等院校的管理水平和决策水平,充分利用校园网资 源,开发了高等院校行政财政分析与决策系统。解决了诸如数据的动态查询、自动生成报表 、网络环境下数据共享等技术问题,具有网上数据共享、图形界面友好和安全的保密措施等 特点。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Stochastic balancing and approximation-stability and minimality

A new method of stochastic model reduction has recently been introduced by Desai et al. [1], [2]. The stability of the reduced order model has not previously, been considered. In this paper, we show that the stability of the reduced order model follows directly from the results of Pernebo and Silverman [3]. It is also shown that the reduced order model is minimal, in the controllability/observability sense. The relevance of this notion of minimality to stochastic minimality is made clear.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.