The research team present a definitive structure of the protein, which was obtained using experimental techniques and computer simulation.
经过实验技术和计算机模拟，他们展现了这种蛋白的确切结构。
Experimental results show that using formal techniques to direct simulation captures the main characteristics of error location and improves the effectiveness and efficiency of design error diagnosis.
实验结果表明，利用形式验证的技术来导向模拟的过程，抓住了高复杂度的多错误定位问题的特征，提高了电路错误诊断的效率。
With the help of computer simulation, and comparing with the experimental results, the characteristics of these techniques are summarized.
通过计算机模拟、实际效果的比较等手段对各种技术特征进行了全面的总结、评价。
应用推荐