fixpoint

英

美

网络定点; 不动点; 固定点; 不定点

Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN
描述逻辑εLN循环术语集的不动点语义及推理
On Fixpoint of Entire Functions
关于整函数的不动点
To Prove the Fixpoint Theorem Banach by Mathematical Analysis
用数学分析的方法证明Banach不动点定理
The results about the unique fixpoint induction are of theoretical significance. The proof assistant PiM is of importance from the application point of view. Moreover, the verification of the AB protocol and the discovery of an error in R.
上述结果中的有关唯一不动点归纳法的研究具有重要的理论意义，验证工具PiM具有明确的应用价值，而对AB协议的验证及R。
An Iteration Sequence and the Coupling Fixpoint in Banach Space
Banach空间中一迭代序列及其耦合不动点
The paper gives a model quasi-WHILE statement and its termination characteristics, introduces briefly the theory of least fixpoint, and discusses proof of the loop termination by combining with loop-like functions.
本文分析了循环终止性的特点，给出了实WHILE语句模型，简要地叙述了最小不动点理论，并结合到实循环函数上讨论了终止性的证明。
An approach of least fixpoint to the proof of loop termination
关于循环终止性证明的一种最小不动点方法