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.
由於大家普遍使用納許均衡解的想法，因此許多針對旅人兩難的形式分析，才都會預測出這個結果。
