您要查找的是不是:
- 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. 在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。
- Least Fixed Point Theorem for Set-Valued Mapping and Its Application 集值映射最小不动点定理及其应用
- least fixed point 最小不动点
- To revolve around a fixed point or axis. 旋转绕一个固定点或轴转动
- A digit, usually zero, produced during the normalizing of a floating-point number, and inserted during a left shift operation into the fixed point part. 在浮点数的规格化过程中产生的,在左移位操作中插入定点部分的数字,该数字通常为零。
- And two fixed point theorems in quasi-metric spaces are obtained. 最后,给出了非对称度量空间上的两个不动点定理。
- The fixed point theorems for generalized D-metric space are proved. 摘要给出了D-度空间一组不动点定理。
- A fixed point whose relationship with a directrix determines a conic section. 焦点一个与准线的关系决定圆锥形状的定点
- A plane curve formed by the locus of points equidistant from a fixed line and a fixed point not on the line. 抛物线到一固定直线和不在直线上某一固定点等距的点的轨迹所形成的平面曲线
- There are no fixed points in space. 在宇宙中没有固定的点。
- Gets or sets the first world matrix for fixed point math operations. 为定点数学运算获取或设置第一个世界矩阵。
- Shows how to perform billboarding to draw trees using fixed point math. 演示如何执行布告栏功能使用定点运算法来绘制树。
- Shows how to, using fixed point math, make moving directional and point lights. 演示如何使用定点算法制作移动的定向光源和点光源。
- A plane curve everywhere equidistant from a given fixed point,the center. 圆,圆形从定点(圆心)等距离到任一点的平面曲线
- At the following chapter, the fixed point ANSC C simulation programs G. 在对该协议进行了深刻探讨的基础上,运用开发工具VC++6.;0对G
- A plane curve everywhere equidistant from a given fixed point, the center. 圆,圆形从定点(圆心)等距离到任一点的平面曲线
- We obtain sufficient conditions for the existence of at least three positive solutions for the boundary value problem of a second order functional differential equation this is an application of a new fixed point theorem introduced by Avery and Peterson. 本文利用Avery和Peterson引入的新的不动点定理,得出了泛函微分方程边值问题存在三个正解的充分条件并得出了有关新结果。
- Omen will be a little fix, ghost Gremlin Road, or some high-risk attached to your body. 稍微弄不好就会被天魔、鬼道或一些精怪所乘,附在您的身上。
- I only have a little fixed salary every month, so how can I have any more money to buy stock? 我每月就是那么点死工资,哪有多余的钱买股票?
- In this paper, the algorithms of LD CELP and TMS320C54X fix point DSP chip are presented briefly. 本文首先对G?728 编解码算法和定点数字信号处理芯片TMS320C54X作了简单介绍。