Web服务组合中业务流程演化影响范围判定方法

针对组合业务流程中各参与演化的服务对彼此内部业务流程不可知的特点,依据互模拟理论,以服务在演化前后内部业务流程的变化特点判定演化类型;通过判定内部业务流程中受影响状态节点的前驱状态集或后继状态集的归属服务来确定受波及的服务;通过计算服务内部业务流程演化影响范围的边界得出单个服务的受影响范围,进而得出服务组合中业务流程演化的影响范围。针对以上问题,给出了其判定规则和算法,使得演化仅在受波及区域内发生,并且所有受影响的状态节点都可能参与演化。

基于规则的流程演化机制

当今的业务流程系统在支持流程变更方面还不太理想,尤其是对于正在执行的流程变更处理。提出了一种基于规则的流程演化机制以使流程对于那些最终会表现为时间延迟的变更能够动态的进化。本机制阐述了如何检测最终表现为时间延迟的变更以及系统如何利用人的知识使流程动态演化。

基于关系依赖模型的微服务流程演化分析

微服务技术的快速发展为企业系统集成和网络化业务协同提供了技术支持,软件服务系统中的流程需要不断演化以适应业务变化的需求,而现有的研究多从单一维度评估服务流程演化的影响.提出包括流程层和服务层在内的服务系统双层依赖关系模型DoubleDM,从服务演化和流程演化两个方面分析服务系统演化问题.针对服务层演化,基于服务间的依赖关系分析服务变更的影响范围,给出了服务依赖关系表达、依赖关系演化影响范围及求解和相应算法;针对流程演化的不同类型,给出了流程依赖基础上的流程化简处理步骤和算法.最后给出了微服务系统中流程演化的实现逻辑,并以微服务系统处理供应链销售流程为例进行了分析.

RGPS支持的面向方面网络式软件演化方法

为了改进现有的面向方面网络式软件演化方法中切入点(Pointcuts)位置定义不够清晰和切入点织入操作性不强的问题,提出一种利用角色-目标-流程-服务(RGPS)的流程元模型改进面向方面的网络式软件演化的方法。在该方法中,使用RGPS的流程元模型定义流程,采用元模型中的控制结构定义方面切入点的位置,因为方面和流程采用一致的定义方式,所以方面切入点位置定义精确且能够无缝织入原流程。对流程演化过程给出了形式化的定义,并阐述了流程演化时方面织入的各种方式。最后利用一个实例说明了演化方法的方面织入过程。

Dynamic behavior of rock during its post failure stage in SHPB tests

In order to investigate the micro-process and inner mechanism of rock failure under impact loading, the laboratory tests were carried out on an improved split Hopkinson pressure bar （SHPB） system with synchronized measurement devices including a high-speed camera and a dynamic strain meter. The experimental results show that the specimens were in the state of good stress equilibrium during the post failure stage even when visible cracks were forming in the specimens. Rock specimens broke into strips but still could bear the external stress and keep force balance. Meanwhile, numerical tests with particle flow code （PFC） revealed that the failure process of rocks can be described by the evolution of micro-fractures. Shear cracks emerged firstly and stopped developing when the external stress was not high enough. Tensile cracks, however, emerged when the rock specimen reached its peak strength and played an important role in controlling the ultimate failure during the post failure stage.

An Integral Research of the Flow of a Liquid Film Along a Vertical Wavy Wall

An approximate research on the flow of a two dimensional, steady laminar liquid film along a vertical, long periodic wavy wall is conducted based on boundary layer integration. An ordinary equation about the film evolution is derived. By analyzing the integral equation of the hydrodynamic boundary layer under different Reynolds number domains, the flow characteristics are studied preliminarily. Influences of wall waviness, flow rate on the film development are discussed.

Three-Step Difference Scheme for Solving Nonlinear Time-Evolution Partial Differential Equations

In this paper, a special three-step difference scheme is applied to the solution of nonlinear time-evolution equations, whose coefficients are determined according to accuracy constraints, necessary conditions of square conservation, and historical observation information under the linear supposition. As in the linear case, the schemes also have obvious superiority in overall performance in the nonlinear case compared with traditional finite difference schemes, e.g., the leapfrog(LF) scheme and the complete square conservation difference(CSCD) scheme that do not use historical observations in determining their coefficients, and the retrospective time integration(RTI) scheme that does not consider compatibility and square conservation. Ideal numerical experiments using the one-dimensional nonlinear advection equation with an exact solution show that this three-step scheme minimizes its root mean square error(RMSE) during the first 2500 integration steps when no shock waves occur in the exact solution, while the RTI scheme outperforms the LF scheme and CSCD scheme only in the first 1000 steps and then becomes the worst in terms of RMSE up to the 2500th step. It is concluded that reasonable consideration of accuracy, square conservation, and historical observations is also critical for good performance of a finite difference scheme for solving nonlinear equations.

Relationship between the Flow Blockage of Tip Leakage Vortex and its Evolutionary Procedures inside the Rotor Passage of a Subsonic Axial Compressor

The near casing flow fields inside the rotor passage of a 1.5 stage axial compressor with different blade-loading levels and tip gap sizes were measured by using stereoscopic particle image velocimetry(SPIV). Based on a carefully defined blockage extracting method, the variations of blockage parameter inside the blade passage were analyzed. It was found that the variation of blockage parameter appeared as a non-monotonic behavior inside the blade passage in most cases. This non-monotonic behavior became much more remarkable as the blade loading increases or mass flow rate decreases.The variations of the blockage parameter inside the blade passage had close relation to the evolutionary procedures of the tip leakage vortex(TLV). The destabilization of the TLV caused a rapid increasing of the blockage parameter. After the TLV lost the features of a concentrated streamwise vortex,the blockage parameter usually got a peak value. And then, because of the intense turbulent mixing between the TLV low momentum flow and its surrounding flows, the flow deficit inside the TLV recovered.

Progress of Jinping Underground laboratory for Nuclear Astrophysics(JUNA)

Jinping Underground laboratory for Nuclear Astrophysics(JUNA) will take the advantage of the ultra-low background of CJPL lab and high current accelerator based on an ECR source and a highly sensitive detector to directly study for the first time a number of crucial reactions occurring at their relevant stellar energies during the evolution of hydrostatic stars. In its first phase, JUNA aims at the direct measurements of^(25)Mg(p,γ)^(26)Al,^(19)F(p,α)^(16)O,^(13)C(α,n)^(16)O and ^(12)C(α,γ)^(16)O reactions. The experimental setup,which includes an accelerator system with high stability and high intensity, a detector system, and a shielding material with low background, will be established during the above research. The current progress of JUNA will be given.

Evolution of the vortex structures and turbulent spots at the late-stage of transitional boundary layers

The nonlinear evolution process of new vortex structures at the late-stage of the transition, including the 3-D spatial structure of barrel-shaped vortex and "dark spots" structure observed by experiment research, has been confirmed by our computational results. The formation mechanisms of these structures have been explored. It is revealed that the new vortex structures, the ring-like vortex chain and induced disturbance velocities play a dominant role in the generation of turbulent spots.

Static flow on complete noncompact manifolds I:short-time existence and asymptotic expansions at conformal infinity

We study short-time existence of static flow on complete noncompact asymptotically static manifolds from the point of view that the stationary points of the evolution equations can be interpreted as static solutions of the Einstein vacuum equations with negative cosmological constant.For a static vacuum(Mn,g,V),we also compute the asymptotic expansions of g and V at conformal infinity.

Trajectory Attractors for Binary Fluid Mixtures in 3D

Two different models for the evolution of incompressible binary fluid mixtures in a three-dimensional bounded domain are considered.They consist of the 3D incompressible Navier-Stokes equations,subject to time-dependent external forces and coupled with either a convective Allen-Cahn or Cahn-Hilliard equation.Such systems can be viewed as generalizations of the Navier-Stokes equations to two-phase fluids.Using the trajectory approach,the authors prove the existence of the trajectory attractor for both systems.

Fast jet proper motion discovered in a blazar at z=4.72

High-resolution observations of high-redshift(z > 4) radio quasars offer a unique insight into jet kinematics at early cosmological epochs, as well as constraints on cosmological model parameters.Due to the general weakness of extremely distant objects and the apparently slow structural changes caused by cosmological time dilation, only a couple of high-redshift quasars(HRQs) have been studied with parsec-scale resolutions, and with limited number of observing epochs. Here we report on very long baseline interferometry(VLBI) observations of a high-redshift blazar J1430 + 4204(z=4.72) in the 8 GHz frequency band at five different epochs spanning 22 years. The source shows a compact core–jet structure with two jet components being identified within 3 milli-arcsecond(mas) scale. The long time span and multiple-epoch data allow for the kinematic studies of the jet components. That results in a jet proper motion of μ(J1) = 0.017 ± 0.002 mas a^-1 and μ(J2) = 0.156 ± 0.015 mas a^-1, respectively. For the fastest-moving outer jet component J2, the corresponding apparent transverse speed is (19.5 ± 1.9) c.The inferred bulk jet Lorentz factor C=14.6 ± 3.8 and viewing angle θ=2.2°± 1.6°indicate highly relativistic beaming. The Lorentz factor and apparent proper motion are the highest measured to date among the z > 4 jetted radio sources, while the jet kinematics is still consistent with the cosmological interpretation of quasar redshifts.

Geomorphological inheritance for loess landform evolution in a severe soil erosion region of Loess Plateau of China based on digital elevation models

The influence of pre-quaternary underlying terrain on the formation of loess landforms, i.e., the geomorphological inheritance issue, is a focus in studies of loess landforms. On the basis of multi-source information, we used GIS spatial analysis methods to construct a simulated digital elevation model of a pre-quaternary paleotopographic surface in a severe soil erosion area of the Loess Plateau. To reveal the spatial relationship between underlying paleotopography and modern terrain, an XY scatter diagram, hypsometric curve, gradient and concavity of terrain profiles are used in the experiments. The experiments show that the altitude, gradient and concavity results have significant linear positive correlation between both terrains, which shows a relatively strong landform inheritance relationship, particularly in the intact and complete loess deposit areas. Despite the current surface appearing somewhat changed from the original shape of the underlying terrain under different erosion forces, we reveal that the modern terrain generally smoothes the topographic relief of underlying terrain in the loess deposition process. Our results deepen understanding of the characteristics of geomorphological inheritance in the formation and evolution of loess landforms.

A New(γ_A,σ_B)-Matrix KP Hierarchy and Its Solutions

A new(γA,σB)-matrix KP hierarchy with two time series γA and σB,which consists of γA-flow,σB-flow and mixed γA and σB-evolution equations of eigenfunctions,is proposed.The reduction and constrained flows of(γA,σB)matrix KP hierarchy are studied.The dressing method is generalized to the(γA,σB)-matrix KP hierarchy and some solutions are presented.