理论分析表明，原因是渥奇面太“瘦”，简单地加“肥”渥奇面，工程量过大，不满足工程需要。
Theoretical analysis demonstrates that the cause of this flow phenomenon is too thin Ogee surface.
可满足性问题(SAT)是当代理论计算机科学的核心问题。
Satisfiability (SAT) problem has been the core problem of research on computational theory.
该模型为我海军编队防潜训练提供了理论依据，较好地满足了海上编队对潜防御兵力运用需求。
These provide scientific theory foundation for warship formation anti-submarine defense and also have military values.
理论计算表明，给定的电缆设计满足在热真空条件下正常工作要求。
The results showed that the given cable design could work normally under thermal vacuum environment.
理论计算表明，给定的电缆设计满足在热真空条件下正常工作要求。
The results showed that the given cable design could work normally under thermal vacuum environment.
应用推荐