The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
This paper discusses existence and uniqueness of the fixed point of some expansion type mapping pairs and properties of fixed point sets in the 2-metric space.
本文讨论2 -距离空间中某些膨胀型映射对的不动点的存在性，唯一性和不动点集的性质。
In Section 1 we discuss some basic properties of weak metric Spaces and obtain two fixed point theorems for self-mappings in weak metric Spaces.
第一部分讨论了弱距离空间的一些基本性质并给出了弱距离空间中自映象的两个不动点定理。
In this paper the properties and fixed point theorems of completely continuous maps on denumerable norm Spaces are studied.
本文讨论可数模空间上全连续算子的有限维逼近定理及该空间的一些性质。
Baced on the properties of elliptical trajectory, the reentry conditions of the vehicles, spherical geometry, and the fixed-point theorem, an algorithm for the ideal trajectory is proposed.
根据飞行器椭圆弹道的性质、飞行器再入条件、球面几何和不动点原理给出了理想弹道的计算算法。
Baced on the properties of elliptical trajectory, the reentry conditions of the vehicles, spherical geometry, and the fixed-point theorem, an algorithm for the ideal trajectory is proposed.
根据飞行器椭圆弹道的性质、飞行器再入条件、球面几何和不动点原理给出了理想弹道的计算算法。
应用推荐