Precondition tests are handled by before advice, which is executed just before the corresponding method execution join point.

前置条件测试由before建议处理，该建议就在对应的方法执行连接点之前执行。

youdao

The effectiveness evaluation is the necessary precondition for any right decision on every decision point of equipment lifecycle management.

在装备寿命周期管理的每一个决策点上，效能评估都是正确决策的必要前提。

youdao

Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.

在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。

youdao