能够确定复杂案例的关键问题，做出合理分析并得出正确结论。
Be able to define key issues of complex cases, analyze accordingly and then make correct conclusions.
能够确定复杂案例的关键问题，做出合理分析并得出正确结论。
Be able to define key issues of complex cases analyze accordingly and then make correct conclusions.
该文首先介绍协ike议，然后对协议中一种具体的密钥交换模式的安全性使用逻辑方法进行证明，并得出关于协议正确性的结论。
This article introduces IKE protocol at first, then makes formal analysis on a certain key exchange mode by logical method, and proves the correctness of IKE.
以GB1蛋白为例，在物理特性空间分析了蛋白质去折叠行为，并得出正确的结论。
Protein GB1 is chosen as system to study the protein unfolding behavior under physical property space, and some useful results are obtained.
通过某型小口径舰炮武器系统的实例计算验证了模型的正确性，并得出分析结论。
The correctness of the model has been verified by calculating a certain example of light naval gun weapon system, and analysis conclusions have been reached.
通过某型小口径舰炮武器系统的实例计算验证了模型的正确性，并得出分析结论。
The correctness of the model has been verified by calculating a certain example of light naval gun weapon system, and analysis conclusions have been reached.
应用推荐