We've formulated one particular kind of engine, and seen how we can analyze what it does, come up with relations that seem of value for efficiency and other quantities.

这是一个很典型的热机，我们来分析它是怎么工作的，然后得到效率和其它一些,有用物理量之间的关系。

麻省理工公开课 - 热力学与动力学课程节选

with the continuous knapsack problem as we've formulated it, greedy is good.

因为正如我们已经归越过的,对于一般连续性背包问题贪婪算法很实用。

麻省理工公开课 - 计算机科学及编程导论课程节选