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

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

集成异构数据源的在线考试系统研究

本文针对异构环境下在线考试系统的集成提出的一种解决方案,在不影响原系统的基础上,构建一个集成平台,实现异构数据库到XML格式文件的转换,使得异构环境下的在线考试系统可以共享数据。重点论述集成异构在线考试系统设计与实现:异构数据源集成的需求、系统功能模块设计、XML数据集成设计。包括包装器、查询处理模块、结构处理模块的设计,实现由不同数据库到XML格式数据的转换集成,实现了在线考试信息系统中异构数据的共享。     

一种基于Web Services的信息集成方案

随着网络技术的发展,信息的共享和交换显得越来越重要.针对目前网络中信息的异构性、多样性、分布性等特点,提出了一种基于Web Services的异构信息集成方案.该方案中,主要采用XML技术对各种源信息进行包装,形成了一个虚拟数据库,从而实现了异构数据源的共享.然后将信息注册在信息注册中心,信息请求方获得XML格式的信息后,使用XML解析器对其解析.该方案有效解决了"信息孤岛"问题.     

基于Web Services的信息集成方案

随着网络技术的发展,信息的共享和交换显得越来越重要.针对目前网络中信息的异构性,多样性、分布性等特点,提出了一种基于Web Services的异构信息集成方案.该方案主要采用XML技术对各种源信息进行包装,形成了一个虚拟的数据库,从而实现了异构数据源的共享.然后将信息注册在信息注册中心,信息请求方获得XML格式的信息后,使用XML解析器对其解析.该方案有效地解决了"信息孤岛"问题.     

基于XML的信息工程监理异构数据集成研究

针对信息工程监理数据管理的特点,采用XML技术与Web Services技术开发出了一个三层架构的信息工程监理异构数据集成系统.该系统结合了XML技术与全局数据模式,以XML技术进行数据的交互,转换来自不同数据源的数据,对各异构数据源中的数据进行集成,为各异构数据源建立可共享的集成查询平台.应用结果表明,该异构数据集成系统具有良好的透明性、各平台独立性以及可共享性,较好地解决了信息工程监理中异构数据的管理.     

基于SOA的异构数据集成软件架构研究

随着企业信息化建设的发展,迫切需要对各种应用系统进行资源整合,对分散异构的多数据源实现统一的数据交换.针对这一问题,提出了一种基于SOA的集成软件架构,并详细阐述了框架的体系结构、模块功能,介绍了其特点和关键技术.系统将异构数据源以Web Service的形式进行封装,同时引入本体技术,利用本体描述领域概念的优势,较好解决了数据集成中数据的异构性问题,实现了数据访问的透明性.该框架克服了传统平台技术及数据共享技术在信息集成中的局限,实现了信息的动态集成.     

分布式异构数据库同步集成的研究与应用

企事业单位拥有众多不同系统,形成信息孤岛,为了更好地利用数据资源,实现数据共享,提出一种基于XML/JAVA的分布式异构数据库同步集成方案,该方案屏蔽了各个异构数据源的操作系统、数据库平台、数据结构等方面的异构性,为系统提供了灵活多变的集成方案.     

军队卫勤高效能决策服务系统数据存取集成平台的研究

随着军队医院信息系统应用的拓展和深入,建立全军性的卫勤指挥辅助系统的要求与日俱增.系统有存取系统内大多数据的需求,数据有分布的广域性和数据库的异构性特点.研究分析该类系统数据存取集成平台的要求,在此基础上提出在该平台上采用有状态的Web服务(Stateful Web Service)和可靠、快速的网络数据传输的必要性.并且讨论了有状态的Web服务的接口的实现方法.     

基于ontology的分布式异构数据库集成研究

在分析比较了几种异构、分布数据访问技术的基础上,设计实现了一个分布式异构数据库集成系统,该系统与以往系统不同的是采用ontology技术解决语义冲突问题,运用XML技术屏蔽结构异构,以Web Service来实现网络的平滑传输,从而可以更好地实现分布式异构数据库的集成.     

一种基于Web Services的信息集成方案

随着网络技术的发展,信息的共享和交换显得越来越重要。针对目前网络中信息的异构性、多样性、分布性等特点．提出了一种基于Web Services的异构信息集成方案。该方案中,主要采用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.