Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间模型是一种新兴的密码协议形式化分析工具。
First, the elliptic cylinder mathematical model has been built by space analysis.
首先用空间解析法建立了椭圆柱形物体的数学模型。
Space finite element analysis of the test model was accomplished based on test scheme.
按照试验方案对试验模型进行空间有限元分析。
In this paper, the space free vibration analysis model for track structure is established.
本文建立了轨道结构空间自由振动模型。
In this paper, the space free vibration analysis model for track structure is established.
本文建立了轨道结构空间自由振动模型。
应用推荐