In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is us...In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.展开更多
In order to get a high flowrate gas-gas injector and its design methodology, the combustion flow field of a typical shear-coaxial injector was analyzed firstly. The dimensional analysis was applied in the phenomenon o...In order to get a high flowrate gas-gas injector and its design methodology, the combustion flow field of a typical shear-coaxial injector was analyzed firstly. The dimensional analysis was applied in the phenomenon of gas-gas combustion, and design parameter optimization and a structure improvement were also carded out. A high flowrate single-element injector with high 1-12/O2 momentum ratio and tapered 02 post tip was obtained and validated by both numerical and experimental studies. This high flowrate injector has simple construction and it can effectively enhance the mixing, decrease the combustion completion length and also has a benign heat environment. Furthermore, based on the study of the single-element injector, numerical optimization and validation experiments were conducted successively on a multi-element injector equipped with high flowrate injection elements. The multi-element injector with the high flowrate elements started up and shut down smoothly, and operated steadily without any stability aids. In the combustor designed with nominal parameters, this injection element can obtain high combustion efficiency with a flowrate of 3.7 times that of SSME main injector element and shows a benign chamber wall heat compatibility. This injector design and the design methodology can become a reference for the design of other types of injectors for liquid rocket engines.展开更多
The pintle injector used for a liquid rocket engine is a newly re-attracted injection system famous for its wide throttle ability with high efficiency. The pintle injector has many variations with complex inner struct...The pintle injector used for a liquid rocket engine is a newly re-attracted injection system famous for its wide throttle ability with high efficiency. The pintle injector has many variations with complex inner structures due to its moving parts. In order to study the rotating flow near the injector tip, which was observed from the cold flow experiment using water and air, a numerical simulation was adopted and a verification of the numerical model was later conducted. For the verification process, three types of experimental data including velocity distributions of gas flows, spray angles and liquid distribution were all compared using simulated results. The numerical simulation was performed using a commercial simulation program with the Eulerian multiphase model and axisymmetric two dimensional grids. The maximum and minimum velocities of gas were within the acceptable range of agreement, however, the spray angles experienced up to 25% error when the momentum ratios were increased. The spray density distributions were quantitatively measured and had good agreement. As a result of this study, it was concluded that the simulation method was properly constructed to study specific flow characteristics of the pintle injector despite having the limitations of two dimensional and coarse grids.展开更多
The stability of the rolling motion of near space hypersonic vehicles with rudder control is studied using method of qualitative analysis of nonlinear differential equations, and the stability criteria of the deflecte...The stability of the rolling motion of near space hypersonic vehicles with rudder control is studied using method of qualitative analysis of nonlinear differential equations, and the stability criteria of the deflected rolling motions are improved. The out- comes can serve as the basis for further study regarding the influence of pitching and lateral motion on the stability of rolling motion. To validate the theoretical results, numerical simulations were do^e for the rolling motion of two hypersonic vehicles with typical configurations. Also, wind tunnel experiments for four aircraft models with typical configurations have been done. The results show that： 1） there exist two dynamic patterns of the rolling motion under statically stable condition. The first one is point attractor, for which the motion of aircraft returns to the original state. The second is periodic attractor, for which the aircraft rolls periodically. 2） Under statically unstable condition, there exist three dynamic patterns of rolling motion, namely, the point attractor, periodic attractor around deflected state of rolling motion, and double periodic attractors or chaotic attrac- tors.展开更多
The aim of this paper is to present the design and experimental validation process for a thermoacoustic looped-tube engine. The design procedure consists of numerical modelling of the system using DELTA EC tool, Desig...The aim of this paper is to present the design and experimental validation process for a thermoacoustic looped-tube engine. The design procedure consists of numerical modelling of the system using DELTA EC tool, Design Environment for Low-amplitude ThermoAcousfic Energy Conversion, in particular the effects of mean pressure and regenerator configuration on the pressure amplitude and acoustic power generated. This is followed by the construction of a practical engine system equipped with a ceramic regenerator - a substrate used in auto- motive catalytic converters with fine square channels. The preliminary testing results are obtained and compared with the simulations in detail.The measurement results agree very well on the qualitative level and are reasonably close in the quantitative sense.展开更多
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No.2006BAH02A12)the National High Technology Research and Development Program of China(863 Program)(No.2006AA010101)
文摘In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.
文摘In order to get a high flowrate gas-gas injector and its design methodology, the combustion flow field of a typical shear-coaxial injector was analyzed firstly. The dimensional analysis was applied in the phenomenon of gas-gas combustion, and design parameter optimization and a structure improvement were also carded out. A high flowrate single-element injector with high 1-12/O2 momentum ratio and tapered 02 post tip was obtained and validated by both numerical and experimental studies. This high flowrate injector has simple construction and it can effectively enhance the mixing, decrease the combustion completion length and also has a benign heat environment. Furthermore, based on the study of the single-element injector, numerical optimization and validation experiments were conducted successively on a multi-element injector equipped with high flowrate injection elements. The multi-element injector with the high flowrate elements started up and shut down smoothly, and operated steadily without any stability aids. In the combustor designed with nominal parameters, this injection element can obtain high combustion efficiency with a flowrate of 3.7 times that of SSME main injector element and shows a benign chamber wall heat compatibility. This injector design and the design methodology can become a reference for the design of other types of injectors for liquid rocket engines.
基金supported by Advanced Research Center Program(NRF-2013R1A5A1073861)through the National Research Foundation of Korea(NRF)grant funded by the Korea government(MSIP)contracted through Advanced Space Propulsion Research Center at Seoul National University
文摘The pintle injector used for a liquid rocket engine is a newly re-attracted injection system famous for its wide throttle ability with high efficiency. The pintle injector has many variations with complex inner structures due to its moving parts. In order to study the rotating flow near the injector tip, which was observed from the cold flow experiment using water and air, a numerical simulation was adopted and a verification of the numerical model was later conducted. For the verification process, three types of experimental data including velocity distributions of gas flows, spray angles and liquid distribution were all compared using simulated results. The numerical simulation was performed using a commercial simulation program with the Eulerian multiphase model and axisymmetric two dimensional grids. The maximum and minimum velocities of gas were within the acceptable range of agreement, however, the spray angles experienced up to 25% error when the momentum ratios were increased. The spray density distributions were quantitatively measured and had good agreement. As a result of this study, it was concluded that the simulation method was properly constructed to study specific flow characteristics of the pintle injector despite having the limitations of two dimensional and coarse grids.
基金supported by the National Natural Science Foundation of China(Grant Nos.91216203 and 91216304)
文摘The stability of the rolling motion of near space hypersonic vehicles with rudder control is studied using method of qualitative analysis of nonlinear differential equations, and the stability criteria of the deflected rolling motions are improved. The out- comes can serve as the basis for further study regarding the influence of pitching and lateral motion on the stability of rolling motion. To validate the theoretical results, numerical simulations were do^e for the rolling motion of two hypersonic vehicles with typical configurations. Also, wind tunnel experiments for four aircraft models with typical configurations have been done. The results show that： 1） there exist two dynamic patterns of the rolling motion under statically stable condition. The first one is point attractor, for which the motion of aircraft returns to the original state. The second is periodic attractor, for which the aircraft rolls periodically. 2） Under statically unstable condition, there exist three dynamic patterns of rolling motion, namely, the point attractor, periodic attractor around deflected state of rolling motion, and double periodic attractors or chaotic attrac- tors.
基金the University of Bahrain for sponsoring the PhD programme of the first authorEPSRC UK for supporting this research under grants GR/T04502/01 and GR/T04519/01
文摘The aim of this paper is to present the design and experimental validation process for a thermoacoustic looped-tube engine. The design procedure consists of numerical modelling of the system using DELTA EC tool, Design Environment for Low-amplitude ThermoAcousfic Energy Conversion, in particular the effects of mean pressure and regenerator configuration on the pressure amplitude and acoustic power generated. This is followed by the construction of a practical engine system equipped with a ceramic regenerator - a substrate used in auto- motive catalytic converters with fine square channels. The preliminary testing results are obtained and compared with the simulations in detail.The measurement results agree very well on the qualitative level and are reasonably close in the quantitative sense.
