3) greatest fixpoint (gfp) semantics
最大不动点语义
4) 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.
讨论了半序集和半序拓扑空间中保序集值算子的最小与最大不动点的存在性。
5) Maximal fixed point and minimal fixed point
最大与最小不动点
6) 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.
在此基础上引入不动点原理深入刻划循环不变式的含义,循环不变式可以表示为谓词泛函的最小不动点,并从范畴论的角度解释该过程。
补充资料：最大的最大收益值准则
分子式：
CAS号：
性质： 也称最大的最大收益值准则。不确定型决策准则之一。其方法是：首先找出各方案的最大收益值，然后选择这些最大收益值中最大者所在的方案作为最满意方案。这个准则采取乐观主义态度，把方案最大收益值(或最小损失值)的自然状态，作为必然出现的自然状态采看待，从而把不确定型决策问题化为确定性决策问题来处理。选择最大收益值中最大的方案(对损失值来说就是选择最小损失值中最小的方案)作为最满意的方案，即取“最有利中之最有利”方案，所以亦称为“乐观的决策准则”。
CAS号：
性质： 也称最大的最大收益值准则。不确定型决策准则之一。其方法是：首先找出各方案的最大收益值，然后选择这些最大收益值中最大者所在的方案作为最满意方案。这个准则采取乐观主义态度，把方案最大收益值(或最小损失值)的自然状态，作为必然出现的自然状态采看待，从而把不确定型决策问题化为确定性决策问题来处理。选择最大收益值中最大的方案(对损失值来说就是选择最小损失值中最小的方案)作为最满意的方案，即取“最有利中之最有利”方案，所以亦称为“乐观的决策准则”。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条