Web应用服务器的可扩展管理模型及其实现

Web应用服务器是为事务性web应用提供一系列运行时服务的分布式系统。它既要管理多种不同类型的资源，又要集成以往成熟的网络管理协议和系统，因此，如何统一有效地管理Web应用服务器的资源、应用和服务成为实现web应用服务的一个难点。为此，本文基于JMX(Java~(TM) Management Extensions)技术，提出了一种可扩展管理模型，该模型具有较好的灵活性和开放性，可扩展能力强。同时，本文还给出了实现该模型的若干关键技术包括可扩展管理内核的实现技术、资源远程管理技术、服务可扩展管理技术。目前该模型已在我们研制的Web应用服务器 WebFrame2．O中成功实现。

EJB容器的可扩展服务框架的设计和实现

为满足各种各样的应用程序的需求,EJB容器的服务框架必须能支持各种服务的集成.该文给出了一个EJB容器的可扩展服务框架的设计和实现.该EHB容器允许服务以Interceptor的方式加入容器.当EJB容器发生函数调用等事件时,容器自动触发这些相应的服务,从而能实现透明地在EJB容器中添加额外的服务.

事务监控器可扩展性体系结构研究

分布事务监控器为大规模事务处理提供可靠运行环境，已广泛应用于关键性业务领域，如金融电信等领域。分布事务监控器的设计与实现相对复杂，又没有类似的开源项目可供参考，所以，为增加系统功能，改善系统的非功能特性，有必要进行系统重构，通过部分系统的重构，提高系统的可扩展性、可维护性等。该文首先考察了自主开发的事务监控器OnceTX1．0的体系结构，分析了它所存在的问题，然后，给出了拦截器模式在OnceTX中的应用，描述了由此带来的高可扩展性及其存在的不足。

高性能可扩展分布事务服务的研究和实现

分布事务服务是应用服务器的关键服务之一，其处理效率直接影响应用服务器的性能．本文主要讨论J2EE框架下分布事务管理器ISTX的设计，介绍了为获得良好的可扩展性和可移植性而采用的技术；同时讨论了ISTX的性能优化策略及其实现．实验数据表明，ISTX的高性能设计在保证可靠性的前提下，较大程度地提高了分布事务服务的性能．

自动微分程序设计及在PETSc中的集成与应用

大规模科学计算已经广泛应用在气象、海洋、化学、生物医药、电子工程等领域。科学计算软件的开发是科学计算的关键环节。开发一个具有良好可靠性的计算工具，并与大型计算工具箱集成而完成大规模、复杂实际问题的计算，具有重要意义。 PETSc（Portable, Extensible Toolkit for Scientific Computation）是国际流行的科学计算工具箱，它可用于偏微分方程的求解及相关的高性能计算问题。本文分析了PETSc的主要功能、结构与特色，并剖析了其核心组件，包括向量、矩阵、线性方程组求解器KSP、非线性求解器SNES等。 自动微分是计算函数导数的重要方法，它可以应用在最优化问题的实际计算中。在PETSc中提供了ADIC、ADIFOR等自动微分软件包的接口。本文分析了自动微分计算函数一阶导数的切线性模式与伴随模式的基本原理，介绍了现有的自动微分软件的情况，特别是ADIC的开发及其与PETSc的接口。 DTC（Differentiation Transforming System in C）是针对C语言自动微分工具，用于生成切线性模式。DTC生成的切线性代码可用于计算雅可比矩阵-向量乘积等。本文详细介绍了DTC系统的设计及关键技术，包括编译技术、输入/输出（IO）相关分析等。针对PETSc的复杂数据结构，开发了DTC与PETSc的接口，将两者集成，并应用在求解二维全球正压大气浅水波方程中。最后给出了DTC系统的相关测试结果。

OnceCluster：一种易扩展WEB应用服务器集群框架的设计与实现

随着Internet的迅速发展，大型的企业信息化系统以及以B2C和C2C等模式为代表的电子商务领域的应用逐渐成为当今软件技术的主流趋势和竞争焦点。在该领域，作为信息系统基础平台的应用服务器面临极大的负载压力，通过应用服务器集群系统来扩展平台的计算能力是目前业界重要的研究课题。 然而，目前广泛适用的应用服务器集群系统尚存在一些不足，一方面，集群架构缺乏静态可扩展性。用户无法根据当前的网络状态和软硬件环境，灵活的配置集群系统所需的底层通讯框架以及负载平衡算法。另一方面，集群系统缺乏动态可扩展性。目前的集群框架无法根据当前负载的大小动态地伸缩规模，在高负载时无法提供足够的计算能力，而在负载低时，会产生空闲节点造成资源浪费。 针对集群系统的动态扩展需求，本文提出了一种易扩展的集群框架：OnceCluster，并针对该框架的设计以及实现过程当中遇到的相关技术问题展开研究和讨论。 首先，本文对当今主流的J2EE应用服务器集群的现状进行了分析，总结几种主要集群架构的特点，并在此基础上提出了一种易扩展的集群架构：OnceCluster。该架构研究主要包括三部分：高效易扩展的负载平衡器，易扩展的集群基础设施，以及集群成员动态扩展机制。 其次，本文分别针对OnceCluster的三个主要组成部分的设计与实现进行阐述。在负载平衡器部分，本文研究了负载平衡器的实现方式和负载平衡算法的设计，分析了影响负载平衡器性能的关键问题，并在此基础之上设计并实现了灵活易插拔的负载平衡器框架，该框架利用XML结构化对象模型和Java虚拟机的运行时动态绑定机制，实现了一个基于的IoC的对象生成机制，并基于该机制实现了组通讯管理模块，负载平衡算法模块和线程池模块。在集群基础设施部分，本文研究了集群系统和应用服务器之间交互关系，集群信息状态同步和失效恢复机制，并设计与实现了一种可灵活替换的集群基础设施通讯框架。在集群成员动态扩展机制部分，本文通过研究了一种分布式的集群成员管理机制，及时侦测集群成员的存活信息及负载状态，自动的启动或关闭集群成员，对集群规模进行动态地伸缩。 论文的研究成果已经应用于中国科学院软件研究所自主研发的基于J2EE规范的应用服务器OnceAS当中，目前，OnceAS已成功用于电子政务，电子商务和ERP系统等领域。

可扩展的卫星网络建模与仿真研究

卫星网络仿真是对卫星网络进行优化设计、性能分析、效能评估的有效途径。本文针对卫星网络的建模与仿真开展了如下工作： 围绕卫星网络的建模问题，本文在分析卫星网络组成结构和运行特点的基础上，建立了卫星的轨道运行、平台状态、有效载荷模型；针对不同组网模式建立了结构模型；综合考虑卫星的状态参数和空间环境对链路的影响建立了链路模型；基于物理信道、网络层、传输层三个层次建立了通信模型，并讨论了各仿真模型的组成、适应性和可扩展性。 在建模基础上，设计了基于HLA的卫星组网仿真系统总体架构，给出了仿真联邦对象模型的详细设计与具体实现方式，设计了仿真运行流程和系统接口，并进行了仿真实验，验证了仿真模型的正确性和有效性，并进一步分析了HLA在进行面向服务扩展时的适用性，给出了利用XMSF体系结构对其进行扩展的必要性和研究思路。 通过对可扩展的建模与仿真框架（XMSF）特别是面向服务的体系结构（SOA）和仿真服务总线（SSB）的讨论，针对研究卫星网络上层应用的需要，设计了基于XMSF/HLA双层体系结构的原型系统，重点研究了基于web的C/S交互通讯模式和仿真服务总线运行模式。该系统结构支持对HLA的“web化”扩展，并可跨平台、跨语言共享，易于理解和实现。

A new flow field and its two-dimension model for polymer electrolyte membrane fuel cells (PEMFCs)

A new flow field was designed to search flow fields fitting polymer electrolyte membrane fuel cells (PEMFCs) better due its extensible. There are many independent inlets and outlets in the new flow field. The new flow field we named NINO can extend to be more general when pressures at the inlet and outlet vary and some usual flow fields will be obtained. A new mathematical model whose view angle is obverse is used to describe the flow field.

基于网络数据库的分子结构式的动态显示

讨论了在网络数据库环境中动态显示分子结构式的问题。数据库中存储分子的结构信息,在检索时动态生成分子结构式图,图形格式为SVG。SVG是一种矢量图形格式,又是一种基于XML的置标语言。用SVG可以动态创建分子结构式图形,而且文件是文本文件,体积小,易于编辑和信息交换。文中给出了从数据库中提取数据,动态生成分子结构式图形的方法。

实现多数据源集成与互操作的扩展视图方法

文中针对多数据源集成与互操作提出了一种扩展视图方法．其基本思想是：以扩展对象模型（ＥＯＭ）为理论基础，通过扩展视图方法实现对多种数据源中的数据（对象）进行多层抽象与封装，以此满足分布环境下不同层次的应用集成需求．文中还讨论了扩展对象模型（ＥＯＭ）、基于扩展视图方法的集成机制，并结合具体的实例给出了扩展视图方法的形式化描述。

基于IDEF&UML的生产过程管理系统的建模研究

提出了IDEF与UML两者结合的系统建模方法,能够有效地避免IDEF对信息过程流建模和UML语义描述精确性及使用灵活性的不足.该方法采用IDEF0进行系统功能建模,用IDEF1x和UML模型进行信息建模和面向对象的软件系统设计.用该方法设计的沈阳某冶金设备有限公司的基于组件的生产过程管理系统模型具有良好的维护性、可扩展性和重用性,证明了该方法的可行性.

锦屏电站地下厂房卸荷岩体参数研究

It is a basic work to ascertain the parameters of rock mass for evaluation about stability of the engineering. Anisotropism、inhomogeneity and discontinuity characters of the rock mass arise from the existing of the structural plane. Subjected to water、weathering effect、off-loading, mechanical characters of the rock mass are greatly different from rock itself, Determining mechanical parameters of the rock mass becomes so difficult because of structure effect、dimension effect、rheological character, ‘Can’t give a proper parameter’ becomes one of big problems for theoretic analysis and numerical simulation. With the increment of project scale, appraising the project rock mass and ascertaining the parameters of rock mass becomes more and more important and strict. Consequently, researching the parameters of rock mass has important theoretical significance and actual meaning. The Jin-ping hydroelectric station is the first highest hyperbolic arch dam in the world under construction, the height of the dam is about 305m, it is the biggest hydroelectric station at lower reaches of Yalong river. The length of underground factory building is 204.52m, the total height of it is 68.83m, the maximum of span clearance is 28.90m. Large-scale excavation in the underground factory of Jin-ping hydroelectric station has brought many kinds of destructive phenomenon, such as relaxation、spilling, providing a precious chance for study of unloading parameter about rock mass. As we all know, Southwest is the most important hydroelectric power base in China, the construction of the hydroelectric station mostly concentrate at high mountain and gorge area, basically and importantly, we must be familiar with the physical and mechanical character of the rock mass to guarantee to exploit safely、efficiently、quickly, in other words, we must understand the strength and deformation character of the rock mass. Based on enough fieldwork of geological investigation, we study the parameter of unloading rock mass on condition that we obtain abundant information, which is not only important for the construction of Jin-ping hydroelectric station, but also for the construction of other big hydroelectric station similar with Jin-ping. This paper adopt geological analysis、test data analysis、experience analysis、theory research and Artificial Neural Networks （ANN） brainpower analysis to evaluate the mechanical parameter, the major production is as follows: (1)Through the excavation of upper 5-layer of the underground powerhouse and the statistical classification of the main joints fractures exposed, We believe that there are three sets of joints, the first group is lay fracture, the second group and the fourth group are steep fracture. These provide a strong foundation for the following calculation of and analysis; (2)According to the in-situ measurement about sound wave velocity、displacement and anchor stress, we analyses the effects of rock unloading effect，the results show a obvious time-related character and localization features of rock deformation. We determine the depth of excavation unloading of underground factory wall based on this. Determining the rock mass parameters according to the measurement about sound wave velocity with characters of low- disturbing、dynamic on the spot, the result can really reflect the original state, this chapter approximately the mechanical parameters about rock mass at each unloading area; (3)Based on Hoek-Brown experienced formula with geological strength index GSI and RMR method to evaluate the mechanical parameters of different degree weathering and unloading rock mass about underground factory, Both of evaluation result are more satisfied; (4)From the perspective of far-field stress, based on the stress field distribution ideas of two-crack at any load conditions proposed by Fazil Erdogan (1962)，using the strain energy density factor criterion (S criterion) proposed by Xue changming(1972)，we establish the corresponding relationship between far-field stress and crack tip stress field, derive the integrated intensity criterion formula under the conditions of pure tensile stress among two line coplanar intermittent jointed rock，and establish the corresponding intensity criterion for the exploratory attempt; (5)With artificial neural network, the paper focuses on the mechanical parameters of rock mass that we concerned about and the whole process of prediction of deformation parameters, discusses the prospect of applying in assessment about the parameters of rock mass，and rely on the catalog information of underground powerhouse of Jinping I Hydropower Station, identifying the rock mechanics parameters intellectually，discusses the sample selection, network design, values of basic parameters and error analysis comprehensively. There is a certain significance for us to set up a set of parameters evaluation system，which is in construction of large-scale hydropower among a group of marble mass.

The Iterate Manual

This is the manual for version 1.1 of Iterate, a powerful iteration macro for Common Lisp. Iterate is similar to Loop but provides numerous additional features, is well integrated with Lisp, and is extensible.

Quantitative Inference in a Mechanical Design Compiler

This paper presents the ideas underlying a program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from predefined catalogs for the optimal selection of components implementing the design. It thus provides the designer with a high level "language" in which to compose new designs, then performs some of the detailed design process for him. The program is based on a formalization of quantitative inferences about hierarchically organized sets of artifacts and operating conditions, which allows design compilation without the exhaustive enumeration of alternatives.