In order to achieve a straight ballistic trajectory of missile and reduce the update frequency of the missile normal acceleration for the interception of maneuvering target,a backstepping-based parallel approaching gu...In order to achieve a straight ballistic trajectory of missile and reduce the update frequency of the missile normal acceleration for the interception of maneuvering target,a backstepping-based parallel approaching guidance method is designed with nonlinear disturbance observer(NDO)technique and event-triggered(ET)mechanism in this paper.In order to suppress the adverse e®ect of target maneuver,the NDO is designed to estimate the target maneuvering acceleration.Then,the NDO-based backstepping method is used to obtain the normal acceleration of missile and realize the parallel approaching guidance.In order to reduce the update frequency of missile normal acceleration,the ET mechanism is employed in the parallel approaching guidance method.If the missile trajectory is relatively straight,the normal acceleration of missile remains unchanged.On the contrary,if the missile trajectory is not straight,the normal acceleration of missile is updated to make the missile trajectory straight.In this way,the ET-based parallel approaching guidance can be obtained.Furthermore,a determined method for the initial missile°ight-path angle is proposed to keep the normal acceleration of missile at zero in the initial stage of interception.Besides,Lyapunov stability analysis method is used to prove that all signals in the closed-loop guidance system are uniformly ultimately bounded.Finally,simulation results show the e®ectiveness of the proposed guidance method.展开更多
In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal sys...In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe展开更多
We describe parallel implementation of the metaheuristic approach to the problem of comparing strings representing DNA sequence. By this approach, one can define a whole new class of metrics on a set of strings;some o...We describe parallel implementation of the metaheuristic approach to the problem of comparing strings representing DNA sequence. By this approach, one can define a whole new class of metrics on a set of strings;some of this metrics can lead to interesting results when used for string comparison. We propose several heuristics;compare results achieved when using those heuristics and compare parallel and sequential implementation of proposed approach.展开更多
Parallel implementation of algorithm of numerical solution of Navier-Stokes equations for large eddy simulation (LES) of turbulence is presented in this research. The Dynamic Smagorinsky model is applied for sub-grid ...Parallel implementation of algorithm of numerical solution of Navier-Stokes equations for large eddy simulation (LES) of turbulence is presented in this research. The Dynamic Smagorinsky model is applied for sub-grid simulation of turbulence. The numerical algorithm was worked out using a scheme of splitting on physical parameters. At the first stage it is supposed that carrying over movement amount takes place only due to convection and diffusion. Intermediate field of velocity is determined by method of fractional steps by using Thomas algorithm (tridiaginal matrix algorithm). At the second stage found intermediate field of velocity is used for determination of the field of pressure. Three dimensional Poisson equation for the field of pressure is solved using upper relaxation method. Moreover various ways of geometrical decomposition for parallel numerical solution of three dimensional Poisson equations are investigated.展开更多
基金supported in part by the National Natural Science Foundation of China under Grants No.62003269Foundation of Science and Technology on Aerospace Flight Dynamics Laboratory(6142210200308).
文摘In order to achieve a straight ballistic trajectory of missile and reduce the update frequency of the missile normal acceleration for the interception of maneuvering target,a backstepping-based parallel approaching guidance method is designed with nonlinear disturbance observer(NDO)technique and event-triggered(ET)mechanism in this paper.In order to suppress the adverse e®ect of target maneuver,the NDO is designed to estimate the target maneuvering acceleration.Then,the NDO-based backstepping method is used to obtain the normal acceleration of missile and realize the parallel approaching guidance.In order to reduce the update frequency of missile normal acceleration,the ET mechanism is employed in the parallel approaching guidance method.If the missile trajectory is relatively straight,the normal acceleration of missile remains unchanged.On the contrary,if the missile trajectory is not straight,the normal acceleration of missile is updated to make the missile trajectory straight.In this way,the ET-based parallel approaching guidance can be obtained.Furthermore,a determined method for the initial missile°ight-path angle is proposed to keep the normal acceleration of missile at zero in the initial stage of interception.Besides,Lyapunov stability analysis method is used to prove that all signals in the closed-loop guidance system are uniformly ultimately bounded.Finally,simulation results show the e®ectiveness of the proposed guidance method.
基金ESPRIT Basic Research ProCoS project 3104 and 7071
文摘In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe
文摘We describe parallel implementation of the metaheuristic approach to the problem of comparing strings representing DNA sequence. By this approach, one can define a whole new class of metrics on a set of strings;some of this metrics can lead to interesting results when used for string comparison. We propose several heuristics;compare results achieved when using those heuristics and compare parallel and sequential implementation of proposed approach.
文摘Parallel implementation of algorithm of numerical solution of Navier-Stokes equations for large eddy simulation (LES) of turbulence is presented in this research. The Dynamic Smagorinsky model is applied for sub-grid simulation of turbulence. The numerical algorithm was worked out using a scheme of splitting on physical parameters. At the first stage it is supposed that carrying over movement amount takes place only due to convection and diffusion. Intermediate field of velocity is determined by method of fractional steps by using Thomas algorithm (tridiaginal matrix algorithm). At the second stage found intermediate field of velocity is used for determination of the field of pressure. Three dimensional Poisson equation for the field of pressure is solved using upper relaxation method. Moreover various ways of geometrical decomposition for parallel numerical solution of three dimensional Poisson equations are investigated.
