基于消息中间件的持久状态服务扩展模型

本文提出了一个基于消息中间件的持久状态服务的扩展模型。与原持久状态服务不同的是本扩展模型增加了缓存管理，而且它是建立在基于内容订阅方式的消息中间件之上的。它不但移去了原持久状态服务频繁访问存储器而产生的瓶颈问题，而且以一种松散耦合的方式实现了在分布式信息系统中的持久对象数据的共享。     

CORBA持久对象服务及其实现

CORBA是由OMG推出的一个重要规范。它提供了许多分布式计算需要的服务。持久对象服务就是其中之一,它提供了对象持久状态的保存和管理的机制的统一接口。该文首先简要介绍持久对象服务,然后介绍它的实现方法。     

划分点定位并行排序算法

提出并分析了划分点定位并行排序（parallel sorting by divide-point locating)算法。在算法中，输入数据被平均划分并分配给所有处理机，因此每个处理机具有相同的工作负载。给出了网络分布计算环境下PSDL算法的实验结果，并与PSRS算法进行了对比。理论分析和实验结果表明，PSDL算法是一种高效率、高扩展性的并行排序算法。     

IDL2WSDL编译器的设计与实现

为实现新的、增值的服务将现存的中间件技术如CORBA与新兴的Web服务结合起来是非常必要的。其中一个急待解决的关键技术就是如何自动高效地将CORBA对象的IDL描述转换为Web服务的WSDL描述。针对IDL语言到WSDL语言映射的实现问题，提出了一个IDL2WSDL编译器的设计方案，并在自主研制的Web服务运行环境中实现了该编译器。     

基于CCM的持久状态服务集成*

采用CCM构件模型可以简化CORBA服务器方的应用开发过程,提高CORBA的易用性,这已成为一种趋势。基于CORBA构件模型,对持久状态服务进行了深入的讨论与研究,并给出了持久状态服务集成相关设计与实现。     

IDL到WSDL映射的研究及实现

本文针对IDL语言到WSDL语言映射的实现问题,研究提出了一个IDL2WSDL编译器的设计方案,并在我们自主研制的Web服务运行环境中实现了该编译器。     

编译器中多视图中间表示的支撑技术

右间表示是构造优化编译器的核心技术，其设计方式对整个编译器的可适应性影响很大，IR的扩充和改进往往引起整个编译器全局性的修改，而体系结构的修改，某些编译优化模块的改进都会引起IR的扩充或修改，这使得整个编译器的适应性很差，介绍了一种多视图低层中间表示，通过向编译器的不同部分提供不同视图，以及逻辑视图到物理视图的映射，陈藏中间表示的实际细节，提高了编译器各优化分析模块算法的抽象层次，大大增强了编译器代码的可适应性和可重用性。     

可重定义目标编译器的原理及设计

快速高效地开发编译器对体系结构研究有重要意义。可重定义目标编译器将编译器中与体系结构相关的部分进行了较好的隔离。只需要修改与目标机相关的部分,就可以快速生成新的编译器。该文就可重定义目标编译器的概念、原理、设计和实现方法进行了论述。     

C编译器自动测试仿真研究

该文涉及的C编译器仿真自动测试的主要思想是在自动生成c编译器测试用例的设计中引入随机的思想和算法。一方面，用“任何测试点都可能测到”的思想代替“每个测试点都必须测到”的思想，从而在测试用例的数量达到一定规模时，在满足应用的条件下实现对编译器产品的正确性评估；另一方面，完全排除了人为因素对测试的影响。其另一关键思想是引入一个实践证明的成熟编译器作为参考编译器，让被测编译器和参考编译器在同样环境下运行同一组测试用例。然后对比运行结果，如有不同，即证明被测编译器有错误，这种模式，有效排除了预先给定运行结果的测试模式中人为因素对测试结果的影响。     

利用Hibernate的J2EE数据持久层的解决方案

在Java技术中有许多方法可以对数据进行持久化,持久层也是Java应用程序中最重要的部分之一。在当今关系型数据库仍为主流数 据库的时候,持久层技术的应用越来越得到重视。该文在分析了3种持久层主流解决方案的基础上,介绍了O-R映射开源项目Hibernate,并介 绍了在Web应用开发中配置Hibernate环境的方法,并使用它建立了一个应用。     

光栅扫描显示器上实现PPI雷达长余辉仿真

传统PPI雷达显示器中的长余辉消隐是计算机仿真雷达显示逼真与否的关键技术之一 ,其中数据显示的实时性又是仿真系统的主要性能指标。该文提出一种利用光栅扫描显示器上实现PPI雷达长余辉仿真的方法 ,这种方法采用Direct Draw、Win3 2技术 ,具有良好的逼真模拟效果和实时显示能力     

A prototyping language for real-time software

PSDL is a language for describing prototypes of real-time software systems. It is most useful for requirements analysis, feasibility studies, and the design of large embedded systems. PSDL has facilities for recording and enforcing timing constraints, and for modeling the control aspects of real-time systems using nonprocedural control constraints, operator abstractions, and data abstractions. The language has been designed for use with an associated prototyping methodology. PSDL prototypes are executable if supported by a software base containing reusable software components in an underlying programming language (e.g. Ada)     

基于Hibernate的J2EE数据持久层的设计与实现

在当今关系数据库仍为主流数据库的时候,持久层技术的应用越来越得到重视.本文通过对目前主流的持久层解决方法的比较,结合电子政务应用系统实例,提出了一种性能更优的基于J2EE的Hibernate解决方案.     

软件构件平台持久框架的设计与实现

在分布式企业应用中不可避免地要大量访问数据库,或者保存对象、构件的状态信息。软件构件平台上的持久化技术为此提供了一个透明、简洁、高效的途径。本文介绍了现有各种构件平台、各种开发环境下的持久化技术,分析比较了各种方式的优劣,并提出了StarCCM软件构件平台上持久化框架的设计与实现。     

A method for design and performance modeling of client/server systems

Designing complex distributed client/server applications that meet performance requirements may prove extremely difficult in practice if software developers are not willing or do not have the time to help software performance analysts. The paper advocates the need to integrate both design and performance modeling activities so that one can help the other. We present a method developed and used by the authors in the design of a fairly large and complex client/server application. The method is based on a software performance engineering language developed by one of the authors. Use cases were developed and mapped to a performance modeling specification using the language. A compiler for the language generates an analytic performance model for the system. Service demand parameters at servers, storage boxes, and networks are derived by the compiler from the system specification. A detailed model of DBMS query optimizers allows the compiler to estimate the number of I/Os and CPU time for SQL statements. The paper concludes with some results of the application that prompted the development of the method and language.     

基于存储过程的Java持久层的解决方案

基于J2EE的多层WEB应用开发过程中,持久层的设计是一项重要的工作。论文首先讨论了目前主流的持久层实现类型的优缺点,并提出一种使用数据库存储过程来实现持久层的解决方案,最后通过一个具体实例证明了该方案的可行性和优越性。     

Compositional semantics of a real-time prototyping language

The formal semantics of a prototyping language for hard real-time systems, PSDL, is given. PSDL provides a data flow notation augmented by application-orientation timing and control constraints to describe a system as a hierarchy of networks of processing units communicating via data streams. The semantics of PSDL are defined in terms of algebraic high-level Petri nets. This formalism combines algebraic specifications of abstract data types with process and concurrency concepts of Petri nets. Its data abstraction facilities are used to define the meaning of PSDL data types, while high-level Petri nets serve to model the casual and timing behavior of a system. The net model exposes potential concurrency of computation and makes all synchronization needs implied by timing and control constraints explicit and precise. Time is treated as state of clocks, and clocks are modeled as ordinary system components. The net semantics provides the basis for applying analysis techniques and semantic tools available for high-level Petri nets     

FORALL实现过程中的局部性优化

FORALL结构是FORTRAN 95的一种语法,在编译器中高效地实现FORALL结构是一项富有挑战性的工作,局部性优化对其高效实现尤其重要。本文介绍作者在G95编译器中实现FOR ALL结构时用到的两种局部性优化方法--临时空间合并和嵌套循环排序。实验结果表明,局部性优化对提高FORALL结构的性能非常有效。对某类FORALL结构,与Intel的EFC 编译器相比,我们的实现方法能提高30％的性能。