A new efficient protocol-proving algorithm was proposed for verifying security protocols. This algorithm is based on the improved authentication tests model, wh
<正>A linear full 3D finite element method (FEM) was performed in order to present the key design parameters of highway tunnel asphalt pavement under double-whe
The parallel processing based on the free running model test was adopted to predict the interac-tion force coefficients (flow straightening coefficient and wake