面向多终端异构系统的中间件平台体系结构研究

针对移动终端自身能力不足和多终端异构系统的差异造成重复开发的弊端,通过对中间件平台架构的研究,采用中间件技术迁移能力屏蔽差异,提出一种面向多终端异构系统的中间件平台架构.将“能力+中间件+终端应用”的服务模式与SOA、OSGi、数据交互技术相结合,实现该平台的模块化、松耦合,提供一种高效、低成本、跨平台的开发方式.通过该平台架构上开发的一种服务验证了平台架构的正确性.     

基于SOA反射工厂的软件体系架构

在现代企业级应用开发领域中,SOA以其能提供粗粒度服务接口、组件服务具有"松散耦合"性、编码灵活、更高的可用性等优点,越来越多地被应用到企业级开发中,反射工厂模式也以其能提供和用户的高交互性而被广泛应用.为了解决软件平台中间件之间的实时交互问题,在分析现有体系架构基础上,将中间件技术、反射模式中的工厂模式以及SOA服务性架构进行整合,并且应用了改进的反射协议栈技术,提出基于SOA和反射工厂的组合软件体系架构,并通过Pammchema二次开发平台系统验证,软件开发实验证明,本架构在交互实时性上优于其他的架构体系.文中的运行环境为.Net环境.     

基于SOA和ESB的企业应用集成的解决方案

针对企业日益增长的信息共享和业务整合的需求,如何更好的实现基于SOA架构的企业应用集成成为备受关注的焦点问题。在探讨SOA、企业服务总线以及Web Service的基础上,针对现有的企业服务总线在无缝集成各类企业应用的不足之处进行了改进,提出了一种基于SOA架构和Web服务的企业总线技术ESB模型——EBWS模型(ESB Based Web Service and SOA),增强了ESB的高可用性和可扩展性,更有效地集成各类异构企业应用。     

基于SOA的数字电视中间件系统的研究与实现

针对数字电视制播系统应用集成时存在的异构问题,对数字电视中间件系统进行研究。提出数字电视发送端制播系统中间件的基本思想。该系统技术架构为SOA服务架构,体系结构模型采用ESB服务总线,其基于Web服务等特性解决了异构网络的配置和协议的可重用性等问题,基本实现了数字电视演播室的互操作性和平台无关性,完成应用系统的集成。     

基于SOA的应急数据交换系统设计与实现

省级政府各个部门正积极建设各自的应急平台,但是由于早期没有统一的规划,各个单位或者部门的应急系统采用了不同的系统环境和实现技术,导致了”信息孤岛”的形成,异构应急平台间的数据交换成为一个新的课题.通过考察省级应急平台的现状,提出在SOA体系架构基础上,利用Web服务技术和基于消息中间件的ESB实现支持异构的、易于扩展的、可复用的数据交换平台,并给出了基于SOA软件架构和ESB的数据交换系统的具体实现.SOA架构和ESB的应用保证了数据交换的高效性和可靠性,从而解决了各应急平台间互通互联的问题.实践证明SOA架构和ESB是解决系统间数据交换的有效手段.     

基于SOA架构的首都机场中间件平台的设计与实现

以首都机场信息系统集成项目为背景,本文主要介绍了基于SOA架构的首都机场中间件平台的设计与实现,以及通过该平台实现的业务标准、数据标准的统一以及硬件平台的整合。     

基于SOA的机场中间件平台架构设计

集成系统是机场信息系统的核心和枢纽,中间件更是机场信息系统集成的重要组成部分,实现机场业务数据集成、发布及系统间的信息传递的重要功能。本文基于SOA架构的设计理念,结合企业服务总线特点,介绍了机场中间件平台的架构设计方案,旨在符合机场快速变化的业务需求,实现灵活、可信、协同的系统间信息共享的机场信息系统架构。     

基于SOA的数字电视中间件系统的研究与实现

针对数字电视制播系统应用集成时存在的异构问题．对数字电视中间件系统进行研究。提出数字电视发送端制播系统中间件的基本思想。该系统技术架构为SOA服务架构，体系结构模型采用琰沿服务总线，其基于Web服务等特性解决了异构网络的配置和协议的可重用性等问题，基本实现了数字电视演播室的互操作性和平台无关性．完成应用系统的集成。     

基于SOA的分布式查询系统的设计与实现

为了解决不同省市工商行政管理局之间跨平台、跨地域的企业信息查询业务需求,整合各省市工商行政管理局已有信息系统.本文提出了基于SOA架构和Web Service技术的解决方案.并结合该系统的设计与实现,探讨了SOA架构在解决分布式异构集成应用中的灵活性.     

基于FIPA架构的移动服务中间件的设计与实现

在有基站的移动计算中,移动终端和计算机网络服务器之间是一个多对多的应用关系,移动终端使用网络服务资源,服务器向移动终端组播异构信息是其典型应用.本文给出了基于FIPA架构的,跨平台的移动服务中间件解决方案,在介绍FI-PA发展现状的基础上,阐述了该中间件的实现技术和应用结构,以多代理技术实现了移动计算与SOA的结合,扩展了JADE架构的组播功能.     

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.