您要查找的是不是:
- 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. 在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。
- Analysis of loop invariants in terms of set theory 从集合论的角度分析循环不变式
- New Strategies for Developing Loop Invariants and its Application 循环不变式开发新策略及其应用
- The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant. 对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
- An iterative algorithm (Part One) takes one step at a time, ensuring that each step makes progress while maintaining the loop invariant. 迭代算法通过每步保持循环不变量而不断向前推进,最终达到目标状态,解决问题;
- The news of their marriage knocked me for a loop. 他们结婚的消息使我大吃一惊。
- Loop Invariant Code Motion in Code Generator 代码生成阶段的循环不变量外提
- A discussion about loop and loop invariant 关于循环与循环不变式的讨论
- The road makes a wide loop around the lake. 这条路沿湖绕一大圈。
- A loop fastened to a belt to hold a tool or weapon. 挂武器环固定在腰带上拴工具或武器的环套
- One loop or winding of a coiled rope or cable. 一卷绳索,一捆船索卷起的绳子或钢丝的一圈或一卷
- The loop becomes magnetic when the current is switched on. 通电时线圈就会有磁性。
- loop invariants 循环不变式
- Invariants in Dualty, ndian J.puer appl.Math. 2.;李容录;李龙锁;姜信汶
- The loop of string makes a handle for the parcel. 细绳结的环做成包裹的拎襻。
- Loop that end of the rope through this and knot it. 把绳子的这一头儿从这里穿过然后打结。
- This control may be closed loop or open loop. 控制可以是闭环的也可以是开环的。
- Assert liberally to document internal assumptions and invariants. 广泛地使用断言记录内部假设和不变式。
- A knot forming a loop that does not slip. 死结形成一个不能滑脱的环状结
- They are also invariants under the strong Lipschitz homotopy. 我们证明了局部化代数具有稳定性;