事件驱动的BPEL引擎架构设计与实现

WS-BPEL(Web Service Business Process Execution Language，简称BPEL)是Web服务规范族中服务复合层的重要标准。BPEL支持通过对Web服务的编制(Orchestration)来构建业务流程，从而使编程人员能够集中关注业务逻辑。BPEL引擎系统是一个支持BPEL语言描述的业务流程运行的服务器中间件系统，使用BPEL引擎可以执行BPEL语言编写的业务流程。作为一个网络服务器系统，BPEL引擎将不可避免的处理大量的并发请求。如何设计实现BPEL引擎使之能高效的处理并发将是高性能BPEL引擎设计的关键问题。 并发服务器系统通常采用多线程和事件驱动两种并发模型。传统上大多数服务器软件都建立在多线程(或多进程)模型的基础上。但在高负载条件下，过多的线程和线程间的上下文切换会造成系统较大的开销，这些开销是导致系统性能下降的主要原因。事件驱动模型是一种只采用少量固定数量线程的并发模型，一般说来，它的伸缩性更好，并且有更高的处理效率。 本文对高并发服务器系统中所使用的事件驱动模型进行了分析和研究，并且结合BPEL语言规范的特点，提出了事件驱动的BPEL引擎实现技术方案。论文重点研究了BPEL事件结构和有限状态机(Finite State Machine，简称FSM)刻画BPEL流程和活动行为的原理，针对BPEL语言语法特点，构造了完整的BPEL FSM模型，包括了状态空间和基于ECA(Event-Condition-Action)模式的状态转移规则。 在基于事件驱动模型的BPEL引擎架构原理的指导下，我们设计并实现了基于事件驱动模型的OnceBPEL2.0引擎系统。并且，我们对采用多线程模型实现的OnceBPEL1.0系统和采用事件驱动模型实现的OnceBPEL2.0系统进行了性能测试和分析比较。从我们的测试数据和分析结果可以看出，采用事件驱动模型的OnceBPEL2.0系统比采用多线程模型的OnceBPEL1.0有了较大的性能提升。

Dynamics of the cold-water event off the southeast coast of the United States in the summer of 2003

The cold-water event along the southeast coast of the United States in the summer of 2003 is studied using satellite data combined with in situ observations. The analysis suggests that the cooling is produced by wind-driven coastal upwelling, which breaks the thermocline barrier in the summer of 2003. The strong and persistent southwesterly winds in the summer of 2003 play an important role of lifting the bottom isotherms up to the surface and away from the coast, generating persistent surface cooling in July-August 2003. Once the thermocline barrier is broken, the stratification in the nearshore region is weakened substantially, allowing further coastal cooling of large magnitudes by episodic southerly wind bursts or passage of coastally trapped waves at periods of a few days. These short-period winds or waves would otherwise have no effects on the surface temperature because of the strong thermocline barrier in summer if not for the low-frequency cooling produced by the persistent southwesterly winds.

Numerical Investigation of Richtmyer-Meshkov Instability Driven by Cylindrical Shocks

In this paper, a numerical method with high order accuracy and high resolution was developed to simulate the Richtmyer-Meshkov(RM) instability driven by cylindrical shock waves. Compressible Euler equations in cylindrical coordinate were adopted for the cylindrical geometry and a third order accurate group control scheme was adopted to discretize the equations. Moreover, an adaptive grid technique was developed to refine the grid near the moving interface to improve the resolution of numerical solutions. The results of simulation exhibited the evolution process of RM instability, and the effect of Atwood number was studied. The larger the absolute value of Atwood number, the larger the perturbation amplitude. The nonlinear effect manifests more evidently in cylindrical geometry. The shock reflected from the pole center accelerates the interface for the second time, considerably complicating the interface evolution process, and such phenomena of reshock and secondary shock were studied.

A Nanomechanical Device Based on Light-Driven Proton Pumps

In this paper, a hybrid device based on a microcantilever interfaced with bacteriorhodopsin (bR) is constructed. The microcantilever, on which the highly oriented bR film is self-assembled, undergoes controllable and reversible bending when the light-driven proton pump protein, bR, on the microcantilever surface is activated by visible light. Several control experiments are carried out to preclude the influence of heat and photothermal effects. It is shown that the nanomechanical motion is induced by the resulting gradient of protons, which are transported from the KCl solution on the cytoplasmic side of the bR film towards the extracellular side of the bR film. Along with a simple physical interpretation, the microfabricated cantilever interfaced with the organized molecular film of bR can simulate the natural machinery in converting solar energy to mechanical energy.

Burst event detection in wall turbulence by WVITA method

Wavelet Variable Interval Time Average (WVITA) is introduced as a method incorporating burst event detection in wall turbulence. Wavelet transform is performed to unfold the longitudinal fluctuating velocity time series measured in the near wall region of a turbulent boundary layer using hot-film anemometer. This unfolding is both in time and in space simultaneously. The splitted kinetic of the longitudinal fluctuating velocity time series among different scales is obtained by integrating the square of wavelet coefficient modulus over temporal space. The time scale that related to burst events in wall turbulence passing through the fixed probe is ascertained by maximum criterion of the kinetic energy evolution across scales. Wavelet transformed localized variance of the fluctuating velocity time series at the maximum kinetic scale is put forward instead of localized short time average variance in Variable Interval Time Average (VITA) scheme. The burst event detection result shows that WVITA scheme can avoid erroneous judgement and solve the grouping problem more effectively which is caused by VITA scheme itself and can not be avoided by adjusting the threshold level or changing the short time average interval.

Oxyhydrogen combustion and detonation driven shock tube

The performance of combustion driver ignited by multi-spark plugs distributed along axial direction has been analysed and tested. An improved ignition method with three circumferential equidistributed ignitors at main diaphragm has been presented, by which the produced incident shock waves have higher repeatability, and better steadiness in the pressure, temperature and velocity fields of flow behind the incident shock, and thus meets the requirements of aerodynamic experiment. The attachment of a damping section at the end of the driver can eliminate the high reflection pressure produced by detonation wave, and the backward detonation driver can be employed to generate high enthalpy and high density test flow. The incident shock wave produced by this method is well repeated and with weak attenuation. The reflection wave caused by the contracted section at the main diaphragm will weaken the unfavorable effect of rarefaction wave behind the detonation wave, which indicates that the forward detonation driver can be applied in the practice. For incident shock wave of identical strength, the initial pressure of the forward detonation driver is about 1 order of magnitude lower than that of backward detonation.

Flow Characteristics of Liquids in Microtubes Driven by a High Pressure

The flow characteristics of liquids in microtubes driven by a high pressure ranging from 1 MPa to 30 MPa are studied in this paper. The diameter of the microtube is from 3 μm to 10 μm and liquids composed of simple small molecules are chosen as the working fluids. The Reynolds number ranges from 0. 1 to 24. The behavior of isopropanol and carbon tetrachloride under high pressure is found different from the prediction from conventional Hagen-Poiseuille (HP) equation. The normalized friction coefficient C* increases significantly with the pressure. From an analysis of the microtube deformation, liquid compressibility, viscous heating and wall slip, it may be seen that the viscosity at high pressure plays an important role here. An exponential function of viscosity vs pressure is introduced into the HP equation to counteract the difference between experimental and theoretical values. However, this difference is not so marked for di-water.

Upwind compact method and direct numerical-simulation of driven flow in a square cavity

A high-order accurate finite-difference scheme, the upwind compact method, is proposed. The 2-D unsteady incompressible Navier-Stokes equations are solved in primitive variables. The nonlinear convection terms in the governing equations are approximated by using upwind biased compact difference, and other spatial derivative terms are discretized by using the fourth-order compact difference. The upwind compact method is used to solve the driven flow in a square cavity. Solutions are obtained for Reynolds numbers as high as 10000. When Re less than or equal to 5000, the results agree well with those in literature. When Re = 7500 and Re = 10000, there is no convergence to a steady laminar solution, and the flow becomes unsteady and periodic.

Failure process analysis of cement under explosive loading with a generalized driven nonlinear threshold model

The microstructural heterogeneity and stress fluctuation play important roles in the failure process of brittle materials. In this paper, a generalized driven nonlinear threshold model with stress fluctuation is presented to study the effects of microstructural heterogeneity on continuum damage evolution. As an illustration, the failure process of cement material under explosive loading is analyzed using the model. The result agrees well with the experimental one, which proves the efficiency of the model.

Influence of Contact Angle and Tube Size on Capillary-Driven Flow Under Microgravity

The influence of contact angle and tube radius on the capillary-driven flow for circular cylindrical tubes is studied systematically by microgravity experiments using the drop tower. Experimental results show that the velocity of the capillary flow decreases monotonically with an increase in the contact angle. However, the time-evolution of the velocity of the capillary flow is different for different sized tubes. At the beginning of the microgravity period, the capillary flow in a thinner tube moves faster than that in a thicker tube, and then the latter overtakes the former. Therefore, there is an intersection between the curves of meniscus velocity vs microgravity time for two differently sized tubes. In addition, for two given sized tubes this intersection is delayed when the contact angle increases. The experimental results are analyzed theoretically and also supported by numerical computations.

Electron dynamics and harmonics emission spectra due to electron oscillation driven by intense laser pulses

The dynamics and harmonics emission spectra due to electron oscillation driven by intense laser pulses have been investigated considering a single electron model. The spectral and angular distributions of the harmonics radiation are numerically analyzed and demonstrate significantly different characteristics from those of the low-intensity field case. Higher-order harmonic radiation is possible for a sufficiently intense driving laser pulse. A complex shifting and broadening structure of the spectrum is observed and analyzed for different polarization. For a realistic pulsed photon beam, the spectrum of the radiation is redshifted for backward radiation and blueshifted for forward radiation, and spectral broadening is noticed. This is due to the changes in the longitudinal velocity of the electron during the laser pulse. These effects are much more pronounced at higher laser intensities giving rise to even higher-order harmonics that eventually leads to a continuous spectrum. Numerical simulations have further shown that broadening of the high harmonic radiation can be limited by increasing the laser pulse width. The complex shifting and broadening of the spectra can be employed to characterize the ultrashort and ultraintense laser pulses and to study the ultrafast dynamics of the electrons. (c) 2006 American Institute of Physics.

Energetic protons emitted from coulomb explosion dynamics of large-sized hydrogen clusters driven by an ultrashort intense laser pulse

Protons with very high kinetic energy of about 10keV and the saturation effect of proton energy for laser intensity have been observed in the interaction of an ultrashort intense laser pulse with large-sized hydrogen clusters. Including the cluster-size distribution as well as the laser-intensity distribution on the focus spot, the theoretical calculations based on a simplified Coulomb explosion model have been compared with our experimental measurements, which are in good agreement with each other.

Electron quantum path tuning and isolated attosecond pulse emission driven by a waveform-controlled multi-cycle laser field

We investigate high-order harmonic emission and isolated attosecond pulse (IAP) generation in atoms driven by a two-colour multi-cycle laser field consisting of an 800 nm pulse and an infrared laser pulse at an arbitrary wavelength. With moderate laser intensity, an IAP of similar to 220 as can be generated in helium atoms by using two-colour laser pulses of 35 fs/800 nm and 46 fs/1150 nm. The discussion based on the three-step semiclassical model, and time-frequency analysis shows a clear picture of the high-order harmonic generation in the waveform-controlled laser field which is of benefit to the generation of XUV IAP and attosecond electron pulses. When the propagation effect is included, the duration of the IAP can be shorter than 200 as, when the driving laser pulses are focused 1 mm before the gas medium with a length between 1.5 mm and 2 mm.

Laser-driven coherent betatron oscillation in a laser-wakefield cavity

The origin of beam disparity in emittance and betatron oscillation orbits, in and out of the polarization plane of the drive laser of laser-plasma accelerators, is explained in terms of betatron oscillations driven by the laser field. As trapped electrons accelerate, they move forward and interact with the laser pulse. For the bubble regime, a simple model is presented to describe this interaction in terms of a harmonic oscillator with a driving force from the laser and a restoring force from the plasma wake field. The resulting beam oscillations in the polarization plane, with period approximately the wavelength of the driving laser, increase emittance in that plane and cause microbunching of the beam. These effects are observed directly in 3D particle-in-cell simulations.

Laser-driven inertial ion focusing

A Hohlraum-like configuration is proposed for realizing a simple compact source for neutrons. A laser pulse enters a tiny thin-shelled hollow-sphere target through a small opening and is self-consistently trapped in the cavity. The electrons in the inner shell-wall region are expelled by the light pressure. The resulting space-charge field compresses the local ions into a thin layer that becomes strongly heated. An inward expansion of ions into the shell cavity then occurs, resulting in the formation at the cavity center of a hot spot of ions at high density and temperature, similar to that in inertial electrostatic confinement.