This study explores the effects of heat transfer on the Williamson fluid over a porous exponentially stretching surface. The boundary layer equations of the Williamson fluid model for two dimensional flow with heat tr...This study explores the effects of heat transfer on the Williamson fluid over a porous exponentially stretching surface. The boundary layer equations of the Williamson fluid model for two dimensional flow with heat transfer are presented. Two cases of heat transfer are considered, i.e., the prescribed exponential order surface temperature （PEST） case and the prescribed exponential order heat flux （PEHF） case. The highly nonlinear partial differential equations are simplified with suitable similar and non-similar variables, and finally are solved analytically with the help of the optimal homotopy analysis method （OHAM）. The optimal convergence control parameters are obtained, and the physical fea- tures of the flow parameters are analyzed through graphs and tables. The skin friction and wall temperature gradient are calculated.展开更多
This paper presents a high order symplectic con- servative perturbation method for linear time-varying Hamil- tonian system. Firstly, the dynamic equation of Hamilto- nian system is gradually changed into a high order...This paper presents a high order symplectic con- servative perturbation method for linear time-varying Hamil- tonian system. Firstly, the dynamic equation of Hamilto- nian system is gradually changed into a high order pertur- bation equation, which is solved approximately by resolv- ing the Hamiltonian coefficient matrix into a ＂major compo- nent＂ and a ＂high order small quantity＂ and using perturba- tion transformation technique, then the solution to the orig- inal equation of Hamiltonian system is determined through a series of inverse transform. Because the transfer matrix determined by the method in this paper is the product of a series of exponential matrixes, the transfer matrix is a sym- plectic matrix; furthermore, the exponential matrices can be calculated accurately by the precise time integration method, so the method presented in this paper has fine accuracy, ef- ficiency and stability. The examples show that the proposed method can also give good results even though a large time step is selected, and with the increase of the perturbation or- der, the perturbation solutions tend to exact solutions rapidly.展开更多
FLUSH+RELOAD attack is recently proposed as a new type of Cache timing attacks.There are three essential factors in this attack,which are monitored instructions.threshold and waiting interval.However,existing literatu...FLUSH+RELOAD attack is recently proposed as a new type of Cache timing attacks.There are three essential factors in this attack,which are monitored instructions.threshold and waiting interval.However,existing literature seldom exploit how and why they could affect the system.This paper aims to study the impacts of these three parameters,and the method of how to choose optimal values.The complete rules for choosing the monitored instructions based on necessary and sufficient condition are proposed.How to select the optimal threshold based on Bayesian binary signal detection principal is also proposed.Meanwhile,the time sequence model of monitoring is constructed and the calculation of the optimal waiting interval is specified.Extensive experiments are conducted on RSA implemented with binary square-and-multiply algorithm.The results show that the average success rate of full RSA key recovery is89.67%.展开更多
We consider the mean-square stability of the so-called improved split-step theta method for stochastic differential equations. First, we study the mean-square stability of the method for linear test equations with rea...We consider the mean-square stability of the so-called improved split-step theta method for stochastic differential equations. First, we study the mean-square stability of the method for linear test equations with real parameters. When 0 ≥ 3/2, the improved split-step theta methods can reproduce the mean-square stability of the linear test equations for any step sizes h 〉 0. Then, under a coupled condition on the drift and diffusion coefficients, we consider exponential mean-square stability of the method for nonlinear non-autonomous stochastic differential equations. Finally, the obtained results are supported by numerical experiments.展开更多
This paper is concerned with the problem of global output feedback stabilization in probability for a class of switched stochastic nonlinear systems under arbitrary switchings. The subsystems are assumed to be in outp...This paper is concerned with the problem of global output feedback stabilization in probability for a class of switched stochastic nonlinear systems under arbitrary switchings. The subsystems are assumed to be in output feedback form and driven by white noise. By introducing a common Lyapunov function, the common output feedback controller independent of switching signals is constructed based on the backstepping approach. It is proved that the zero solution of the closed-loop system is fourth-moment exponentially stable. An example is given to show the effectiveness of the proposed method.展开更多
基金supported by National Natural Science Foundation of China(11101205,11201006,71071071)Education of Humanities and Social Science Fund Project(09YJA790100,12YJC910012)A Project Funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions
基金supported by the Ph.D.Indigenous Scheme of the Higher Education Commission of Pakistan(No.112-21674-2PS1-576)
文摘This study explores the effects of heat transfer on the Williamson fluid over a porous exponentially stretching surface. The boundary layer equations of the Williamson fluid model for two dimensional flow with heat transfer are presented. Two cases of heat transfer are considered, i.e., the prescribed exponential order surface temperature （PEST） case and the prescribed exponential order heat flux （PEHF） case. The highly nonlinear partial differential equations are simplified with suitable similar and non-similar variables, and finally are solved analytically with the help of the optimal homotopy analysis method （OHAM）. The optimal convergence control parameters are obtained, and the physical fea- tures of the flow parameters are analyzed through graphs and tables. The skin friction and wall temperature gradient are calculated.
基金supported by the National Natural Science Foun-dation of China (11172334)
文摘This paper presents a high order symplectic con- servative perturbation method for linear time-varying Hamil- tonian system. Firstly, the dynamic equation of Hamilto- nian system is gradually changed into a high order pertur- bation equation, which is solved approximately by resolv- ing the Hamiltonian coefficient matrix into a ＂major compo- nent＂ and a ＂high order small quantity＂ and using perturba- tion transformation technique, then the solution to the orig- inal equation of Hamiltonian system is determined through a series of inverse transform. Because the transfer matrix determined by the method in this paper is the product of a series of exponential matrixes, the transfer matrix is a sym- plectic matrix; furthermore, the exponential matrices can be calculated accurately by the precise time integration method, so the method presented in this paper has fine accuracy, ef- ficiency and stability. The examples show that the proposed method can also give good results even though a large time step is selected, and with the increase of the perturbation or- der, the perturbation solutions tend to exact solutions rapidly.
基金supported by National Natural Science Foundation of China (No.61472357,No.61309021,No.61272491, No.61173191)the Major State Basic Research Development Program(973 Plan) of China under the grant 2013CB338004
文摘FLUSH+RELOAD attack is recently proposed as a new type of Cache timing attacks.There are three essential factors in this attack,which are monitored instructions.threshold and waiting interval.However,existing literature seldom exploit how and why they could affect the system.This paper aims to study the impacts of these three parameters,and the method of how to choose optimal values.The complete rules for choosing the monitored instructions based on necessary and sufficient condition are proposed.How to select the optimal threshold based on Bayesian binary signal detection principal is also proposed.Meanwhile,the time sequence model of monitoring is constructed and the calculation of the optimal waiting interval is specified.Extensive experiments are conducted on RSA implemented with binary square-and-multiply algorithm.The results show that the average success rate of full RSA key recovery is89.67%.
基金supported by National Natural Science Foundation of China (Grant Nos. 91130003 and 11371157)the Scientific Research Innovation Team of the University “Aviation Industry Economy” (Grant No. 2016TD02)
文摘We consider the mean-square stability of the so-called improved split-step theta method for stochastic differential equations. First, we study the mean-square stability of the method for linear test equations with real parameters. When 0 ≥ 3/2, the improved split-step theta methods can reproduce the mean-square stability of the linear test equations for any step sizes h 〉 0. Then, under a coupled condition on the drift and diffusion coefficients, we consider exponential mean-square stability of the method for nonlinear non-autonomous stochastic differential equations. Finally, the obtained results are supported by numerical experiments.
基金supported by National Basic Research Program of China(973 Program)(No.2012CB821205)National Natural Science Foundation of China(Nos.61021002 and 61203125)Fundamental Research Funds for the Central Universities(No.HIT.NSRIF.2013039)
文摘This paper is concerned with the problem of global output feedback stabilization in probability for a class of switched stochastic nonlinear systems under arbitrary switchings. The subsystems are assumed to be in output feedback form and driven by white noise. By introducing a common Lyapunov function, the common output feedback controller independent of switching signals is constructed based on the backstepping approach. It is proved that the zero solution of the closed-loop system is fourth-moment exponentially stable. An example is given to show the effectiveness of the proposed method.
