1) least fixed point
最小不动点
1.
in this paper, by fan kakutani fixed point the Or Em, it is obtained that the least fixed point theorem for set valued mapping in the normal linear space, as a application, we have studied the ill posed two Points boundary problem for a class of semilinear nth differential equation.
利用 Fan- Kakutani不动点定理 ,得到赋范线性空间中集值映射的最小不动点的存在定理 。
2.
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.
在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。
2) lfp-model
最小不动点模型
3) minimal and maximal fixed points
最小与最大不动点
1.
The existence of the minimal and maximal fixed points for order preserving set-valued operators on semi-ordered sets and semi-ordered topological spaces was analyzed.
讨论了半序集和半序拓扑空间中保序集值算子的最小与最大不动点的存在性。
4) Maximal fixed point and minimal fixed point
最大与最小不动点
5) least fixpoint of functionals
泛函的最小不动点
补充资料：最小辐亮度与最小辐照度(见核爆炸火球)
最小辐亮度与最小辐照度(见核爆炸火球)
minimum-brightness and minimum-irradiance
zuixiao fuliangdu yu zuixiaofu乙haodu最小辐亮度与最小辐照度(minimum-brightness and而nimum一irradianee)见核爆炸火球。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条