Building compact 3D maps of the environment models has become an important research topic. This paper presented an efficient stream decimation algorithm of massive meshes. The algorithm adapted the pre-processing step...Building compact 3D maps of the environment models has become an important research topic. This paper presented an efficient stream decimation algorithm of massive meshes. The algorithm adapted the pre-processing step leading to lower in-corn memory consumption. This algorithm is applied to reconstructing compact terrain with mobile robot, achieving satisfying results.展开更多
This paper gives internal characterizations of some sequence covering compact images and compact covering compact images of paracompact locally compact spaces, which improve some results on compact images of locally...This paper gives internal characterizations of some sequence covering compact images and compact covering compact images of paracompact locally compact spaces, which improve some results on compact images of locally compact metric spaces.展开更多
Sufficient conditions are given to assert that two differentiable mappings between Banach spaces have common values. The proof is essentially based upon continuation methods.
Sufficient conditions were given to assert that between any two Banach spaces over K, Fredholm mappings share at least one .value in a specific open ball. The proof of the result is constructive and based upon continu...Sufficient conditions were given to assert that between any two Banach spaces over K, Fredholm mappings share at least one .value in a specific open ball. The proof of the result is constructive and based upon continuation methods.展开更多
In 1969, Ky Fan^[3] proved that for any continuous function f from a compact convex subset M of a normed linear space X into X, there exists x E M such that ||f(x) - x|| = dist(f(x),M). Since then, there hav...In 1969, Ky Fan^[3] proved that for any continuous function f from a compact convex subset M of a normed linear space X into X, there exists x E M such that ||f(x) - x|| = dist(f(x),M). Since then, there have appeared several generalizations, extensions and applications of this result. This paper also deals with some extensions and generalizations of this result when the underlying spaces are convex metric spaces.展开更多
In this paper,we introduce the concepts of I-covering mappings and 1-I-covering mappings,discuss the difference between sequence-covering and I-covering mappings by some examples.With those concepts,we get some intere...In this paper,we introduce the concepts of I-covering mappings and 1-I-covering mappings,discuss the difference between sequence-covering and I-covering mappings by some examples.With those concepts,we get some interesting properties of I-covering(1-I-covering)mappings and some characterizations of I-covering(1-I-covering)and compact mapping images of metric spaces.展开更多
文摘Building compact 3D maps of the environment models has become an important research topic. This paper presented an efficient stream decimation algorithm of massive meshes. The algorithm adapted the pre-processing step leading to lower in-corn memory consumption. This algorithm is applied to reconstructing compact terrain with mobile robot, achieving satisfying results.
文摘This paper gives internal characterizations of some sequence covering compact images and compact covering compact images of paracompact locally compact spaces, which improve some results on compact images of locally compact metric spaces.
文摘Sufficient conditions are given to assert that two differentiable mappings between Banach spaces have common values. The proof is essentially based upon continuation methods.
基金Project supported by D.G.E.S. Pb 96-1338-CO 2-01 and the Junta de Andalucia
文摘Sufficient conditions were given to assert that between any two Banach spaces over K, Fredholm mappings share at least one .value in a specific open ball. The proof of the result is constructive and based upon continuation methods.
基金Supported by University Grants Commission, India(F. 30-238/2004(SR))
文摘In 1969, Ky Fan^[3] proved that for any continuous function f from a compact convex subset M of a normed linear space X into X, there exists x E M such that ||f(x) - x|| = dist(f(x),M). Since then, there have appeared several generalizations, extensions and applications of this result. This paper also deals with some extensions and generalizations of this result when the underlying spaces are convex metric spaces.
基金Supported by the National Natural Science Foundation of China(Grant No.11801254)the Ningde Normal University(Grant No.2017T01)
文摘In this paper,we introduce the concepts of I-covering mappings and 1-I-covering mappings,discuss the difference between sequence-covering and I-covering mappings by some examples.With those concepts,we get some interesting properties of I-covering(1-I-covering)mappings and some characterizations of I-covering(1-I-covering)and compact mapping images of metric spaces.