As the complement to traditional simulation-based verification process, Formal verification methods gain more momentum recently.
形式验证作为传统模拟验证的补充越来越受到重视。
Finally, based on theoretical analysis, numerical simulation and test verification, the strength reduction factor and the calculation expression of normal section bearing capacity of CFRP are given.
最后，在理论分析、数值模拟及试验验证的基础上，给出了CFRP的强度折减系数值和正截面承载力计算表达式。
According to the theory in video compression as well as the simulation and verification requirement in IP core designing, the FPGA based IP core simulation platform is developed.
结合视频压缩的理论以及IP核设计中对于仿真验证的要求，本文设计了视频压缩IP核FPGA仿真验证平台。
A design flow based on mixed-signal simulation is proposed. The top-down design method indicates simulation and verification at each level of the mixed signal system design.
介绍了数模混合信号仿真的设计流程，说明了一种在混合设计的各个层次上对系统进行仿真验证的自上而下的设计方法。
Based the numerical simulation for sphere tank with defects, fracture safety assessment and stress strength verification are done under the cases of working pressure and over pressure.
在数值模拟计算含缺陷球罐应力场的基础上，对含缺陷球罐在工作压力和超压两种工况下进行了断裂安全评定和强度校核。
The simulation based on experimental verification can be well achieved in different thermal designs. LED thermal simulation provides an effective reference and tool for the optimal design.
在基于实验验证的模拟可以较好实现不同功率的LED灯散热设计。模拟分析为LED的散热方案优化设计提供了有效的参考依据和手段。
The simulation based on experimental verification can be well achieved in different thermal designs. LED thermal simulation provides an effective reference and tool for the optimal design.
在基于实验验证的模拟可以较好实现不同功率的LED灯散热设计。模拟分析为LED的散热方案优化设计提供了有效的参考依据和手段。
应用推荐