formal analysis的用法和样例：
例句
- Analysis and Application of Structural Form of Longitudinal Earthquake Re sistance for Single-storey Factory Building.
单层房纵向抗震的结构形式分析与应用。 - The pervasive use of the Nash equilibrium is the main reason why so many formal analyses predict this outcome for TD.
由于大家普遍使用纳许均衡解的想法，因此许多针对旅人两难的形式分析，才都会预测出这个结果。
