In this paper we also discussed the rule analysis theory. By defining trigger graph, active graph and de-active graph we gave a static rule analysis algorithm of deciding of the rule termination.

本文还探讨了规则分析理论，通过定义触发图、活化图和惰化图，给出一个规则终止性静态分析算法，提高了规则终止性判定的准确性。

youdao

Because this static weight-loss rule does not account for dynamic physiological adaptations that occur with decreased bodyweight, its widespread use at both the individual and population levels has led to drastically overestimated expectations for weight loss.

FORBES: Sustainable Weight Loss: Minding What Matters