静态分析要么是人工的，比如检查，要么是自动化的，像拼写和语法校验。
Static analysis can be either manual, like reviews, or automated like spelling and grammar checking.
通过对模型校验策略的分析，讨论了如何建立这一问题的优化模型，并给出了基于线性规划和非线性规划的模型求解方法。
This paper discusses how to found its optimal model through the analysis of model check countermeasure and proposes its solution based on linear and non-linear programming.
在完成过程中，充分考虑了铺设轮的机械设计要求，采用了计算机辅助仿真设计、有限元分析和试验校验的方法。
In the process of completing, the mechanism design requests are considered fully, some methods such as the computer assistant simulation design, finite element analysis and test verify are adopted.
应用推荐