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

That matters not least because, as Morgan Stanley's own analysts point out, the bigger you are in fixed income, the less volatile your returns.

这一点很重要，尤其是因为，正如摩根斯坦利自己的分析师指出的那样，你自己持有越庞大的固定资产，你的收益波动越小。

youdao

A new method for designing linear phase FIR digital filter with fixed-point coefficients based on the peak-constrained least-squares criterion is proposed in this paper.

基于峰值约束最小平方优化标准，提出了一种用于设计线性相位定点系数FIR数字滤波器的新方法。

youdao

Using an existing result from calculus called Brower's Fixed-Point Theorem, they proved that at least one solution could be found.

ECONOMIST: Fuzzy logic

That matters not least because, as Morgan Stanley's own analysts point out, the bigger you are in fixed income, the less volatile your returns.

ECONOMIST: Morgan Stanley