Model Checking Software模型检验软件 Visual Form 01直观的形式01 Automated Deduction in Geometry几何学的自动演绎 ..
基于20个网页-相关网页
本文首先利用有限元分析软件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.
运行软件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.
该模型改变了通常把软件视为“黑箱”来进行可靠性评估的方法,并起到了对传统模型估计结果的检验和修正的作用。
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.
应用推荐