把UML状态机中的状态映射到一种项代数上，用归纳的状态项表示状态机的状态。

The UML state is firstly represented by inductive state term from some kind of term algebra.

youdao

我们为一个确切状态项的“广播式”完整更新、增量更新、无效更新等方式建立了必需的几种消息原型。

We prototyped several of the messages necessary for "broadcasting" complete updates of a certain status item, incremental updates, invalidations, etc.

youdao

不幸的是，在任务完成后它不会删除那一项，因此状态项和任务对象(以及它们的内部状态)会不断地积累。

Unfortunately, it never removes the entry when the task is finished, so the status entries and the task objects (along with their internal state) accumulate forever.

youdao

Remember the equation of state for Van der pV=nRT Waal's gas is not pV is equal to nRT, but p plus the attraction term.

记住范德瓦尔斯气体的状态,方程不是，而是p加上一个吸引项。

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

And then V minus the excluded volume term is equal to RT. Two parameters, this is the attraction between two atoms or molecules in the gas phase.

以及V减去一个排斥项,等于RT，两个参数，这是气体状态下两个原子,或者分子之间的吸引力。

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