go top

模型检验软件

网络释义

  Model Checking Software

Model Checking Software模型检验软件 Visual Form 01直观的形式01 Automated Deduction in Geometry几何学的自动演绎 ..

基于20个网页-相关网页

有道翻译

模型检验软件

Model checking software

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • 本文首先利用有限元分析软件ANSYS建立原型车身有限元模型进行静态计算检验车身强度

    At first this paper utilized the FEM software ANSYS to build the finite element model of the prototype bus body and carry on static calculation to examine the intensity of the bus body.

    youdao

  • 运行软件MATLAB6.0对本文样本数据进行统计检验模型估计结果显示四个创业板市场存在着协整关系统计上并不显著

    Estimating the models with software MATLAB6.0, the result indicates that there are co-integrate relations among these four markets of second board, but not remarkable in statistical.

    youdao

  • 模型改变通常软件视为黑箱进行可靠性评估方法起到传统模型估计结果检验修正的作用。

    This model changes methods of generally regarding software as "black-box" to evaluate software reliability, and plays a role in verifying and modifying the results made by traditional models.

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定