This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
Theoritical analyse and computer simulation both shows the new one has faster convergent speed and less steady error than traditional constant-modulus algorithms.
理论分析和计算机仿真实验均表明该算法与传统的恒模算法相比,都具有更快的收敛速度和更小的稳态剩余误差。
The result shows seven-freedom unit finite element method has high precision to analyse simple beam of rectangular section, it can replace complex analytic solution.
说明采用七自由度单元的有限元法进行矩形截面简支梁的弯翘分析,有很高的精度,可以代替繁琐的解析解。
应用推荐