很可惜这个教授前两年已经去世了

是的，实际计算就是用3·7式来计算的。他们找航空管理局素要了全部飞行实时数据，分了100多个时间段，对数据进行分段积分，得到理论数值。

上世纪70年代的时候，个人电脑还不普及，即便在美国也是如此。公式（3.7）忽略了飞机上升与下降阶段，100多段分段积分用人工来算，计算量不小。如果换现在，可以采用更精确一点的公式，用电脑来算。