1) increasing operator and fixed point
增算子及不动点
2) Fixed point for increasing operators
增算子不动点
3) fixed point theorem for increasing operators
增算子不动点定理
1.
This paper investigates the existence of maximal and minimal solution of the periodic boundary problem for nonlinear second order ordinary differential equation with discontinuous terms in Banach spaces, by using upper and lower solution and fixed point theorem for increasing operators.
在Banach空间中利用上下解方法与增算子不动点定理,研究了含间断项的二阶非线性常微分方程周期边值问题的最大解、最小解的存在性,推广和改进了现有的结果。
4) fixed point combinators
不动点算子
1.
There are fixed point combinators in λ-Calculus expressing the recursive nature in Recursive function.
λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式。
5) the fixed-point combinators
不动点组合算子
1.
the Bhm-Van der Mey theorem concerning the fixed-point combinators in formal theory λβ, was improved by means of addition of restricted rules into the combinatory logic.
从组合逻辑添加受限制的外延性规则,对纯λ-演算,即形式理论λβ中关于不动点组合算子的Bo¨hm-VanderMey定理做出了改进,同时讨论了组合逻辑CLw中不动点组合算子的范式。
6) general fixpoint operator
普通不动点算子
补充资料：四大增动病相
【四大增动病相】
四大，地水火风也。一大不调，诸患并起。地大增故，肿结沉重，身体枯瘠等诸患生；水大增故，痰癊胀满，饮食不消等诸患生；火大增故，煎寒壮热，支节皆疼等诸患生；风大增故，虚悬战掉，呕吐气急等诸患生，是为四大增动病相。
四大，地水火风也。一大不调，诸患并起。地大增故，肿结沉重，身体枯瘠等诸患生；水大增故，痰癊胀满，饮食不消等诸患生；火大增故，煎寒壮热，支节皆疼等诸患生；风大增故，虚悬战掉，呕吐气急等诸患生，是为四大增动病相。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条