In this article, we prove that an into 1-Lipschitz mapping from the unit sphere of a Hilbert space to the unit sphere of an arbitrary normed space, which under some conditions, can be extended to be a linear isometry ...In this article, we prove that an into 1-Lipschitz mapping from the unit sphere of a Hilbert space to the unit sphere of an arbitrary normed space, which under some conditions, can be extended to be a linear isometry on the whole space.展开更多
In this paper, by the definition of almost spirallike mappings of type β and order α and the geometric property of the spirallike mapping of type β, we prove that the generalized Roper-Suffridge extension operator ...In this paper, by the definition of almost spirallike mappings of type β and order α and the geometric property of the spirallike mapping of type β, we prove that the generalized Roper-Suffridge extension operator preserves almost spirallikeness of type β and order α in complex Banach spaces. Key words:展开更多
In this paper, we prove that the generalized Roper-Suffridge extension operator can be embeded in Loewner chains on the unit ball in Hibert spaces, and obtain the fact that the operator keeps the properties of almost ...In this paper, we prove that the generalized Roper-Suffridge extension operator can be embeded in Loewner chains on the unit ball in Hibert spaces, and obtain the fact that the operator keeps the properties of almost spirallike mapping of typeβ and order α, almost starlikeness of order α, spirallikeness of type ofβ and starlikeness.展开更多
In this note,we prove that expanders cannot be coarsely embedded into group extensions of sequences of groups which are coarsely embeddable into Hardamad manifolds and certain Banach spaces due to the similar concentr...In this note,we prove that expanders cannot be coarsely embedded into group extensions of sequences of groups which are coarsely embeddable into Hardamad manifolds and certain Banach spaces due to the similar concentration theorems.展开更多
In this paper, we give four general results on linear extension of isometries between the unit spheres in β-normed spaces. These results improve the corresponding theorems in β-normed spaces.
A new phasing procedure has been proposed for dealing with single isomorphous replacement (SIR) x-ray diffraction data. The procedure combines SOLVE/RESOLVE with the dual-space fragment extension involving OASIS. Tw...A new phasing procedure has been proposed for dealing with single isomorphous replacement (SIR) x-ray diffraction data. The procedure combines SOLVE/RESOLVE with the dual-space fragment extension involving OASIS. Two sets of SIR data at 0.28 nm resolution taken from the protein (R)-phycoerythrin (PDB code: 1LIA) were used in the test. For one of the two SIR data sets, a default run of SOLVE/RESOLVE based on the heavy-atom substructure found by SHLEXD led automatically to an interpretable electron density map. OASIS could not effectively improve the result. For the other set of SIR data, SOLVE/RESOLVE resulted in a fragmented model consisting of 454 of the total 668 residues, in which only 29 residues were docked into the sequence. Based on this model, 7 iteration cycles of OASIS-DM- RESOLVE (build only) yielded automatically a model of 547 residues with 133 residues docked into the sequence. The overall-averaged phase error decreased considerably and the quality of electron density map was improved significantly. Two more cycles of iterative OASIS-DM-RESOLVE were carried out, in which the output phases and figures of merit from DM were merged with that from the original run of SOLVE/RESOLVE before they were passed onto RESOLVE (build only). This led automatically to a model containing 452 residues with 173 docked into the sequence. The resultant electron density map is manually traceable. It is concluded that when results of SOLVE/RESOLVE are not sufficiently satisfactory, the combination of SOLVE/RESOLVE and OASIS-DM-RESOLVE (build only) may significantly improve them.展开更多
In this note it is shown that every bounded linear operator T∈B(Y, Z) defined on a closed subspace Y of a Banach space X admits a generalized extension T∈B(X, V). Some examples of the applications are given; especia...In this note it is shown that every bounded linear operator T∈B(Y, Z) defined on a closed subspace Y of a Banach space X admits a generalized extension T∈B(X, V). Some examples of the applications are given; especially, a character-ization of H.I. spaces is obtained.展开更多
This paper studies a class of Q-type spaces Q^(m)_(log,λ)(R^(n))related to logarithmic functions.We first investigate some basic properties ofQ^(m)_(log,λ)(R^(n)).Further,by the aid of Poisson integral and harmonic ...This paper studies a class of Q-type spaces Q^(m)_(log,λ)(R^(n))related to logarithmic functions.We first investigate some basic properties ofQ^(m)_(log,λ)(R^(n)).Further,by the aid of Poisson integral and harmonic function spaces H^(m)_(log,λ)(R_(+)^(n+1)),the harmonic extension of Q^(m)_(log,λ)(R^(n))and the boundary value problem of H^(m)_(log,λ)(R_(+)^(n+1))are obtained.展开更多
In this paper,we study isometries and phase-isometries of non-Archimedean normed spaces.We show that every isometry f:Sr(X)→Sr(X),where X is a finite-dimensional non-Archimedean normed space and Sr(X)is a sphere with...In this paper,we study isometries and phase-isometries of non-Archimedean normed spaces.We show that every isometry f:Sr(X)→Sr(X),where X is a finite-dimensional non-Archimedean normed space and Sr(X)is a sphere with radius r∈||X||,is surjective if and only if is spherically complete and k is finite.Moreover,we prove that if X and Y are non-Archimedean normed spaces over non-trivially non-Archimedean valued fields with|2|=1,any phase-isometry f:X→Y is phase equivalent to an isometric operator.展开更多
In this analysis, natural systems are posed to subsystemize in a manner facilitating both structured information/energy sharing and an entropy maximization process projecting a three-dimensional, spatial outcome. Nume...In this analysis, natural systems are posed to subsystemize in a manner facilitating both structured information/energy sharing and an entropy maximization process projecting a three-dimensional, spatial outcome. Numerical simulations were first carried out to determine whether n × n input-output matrices could, once entropy-maximized, project a three-dimensional Euclidean metric. Only 4 × 4 matrices could;a small proportion passed the test. Larger proportions passed when grouped random patterns on and within two- and three-dimensional forms were tested. The pattern of structural zonation within the earth was then tested in analogous fashion using spatial autocorrelation measures, and for three time periods: current, 95 million years b.p. and 200 million years b.p. All expected results were obtained;not only do the geometries of zonation project a three-dimensional structure as anticipated, but also do secondary statistical measures reveal levels of equilibrium among the zones in all three cases that are nearly total, distinguishing them from simulations that do not incorporate a varying-surface zone-width element.展开更多
In this paper we’ll prove a fundameutal property of the vector space by means of the ex-tension field,i.e.the numbers of the elements of a basis of the vector space V over the field Fequal to the d imensions(V:F).
Nowadays many urban museums are situated in ever-changing cities face with problems regardingspace and architecture. The main question this paper wants to discuss is how the museum could achieve accessibilityand inclu...Nowadays many urban museums are situated in ever-changing cities face with problems regardingspace and architecture. The main question this paper wants to discuss is how the museum could achieve accessibilityand inclusiveness to a greater extent via rethinking and reshaping its space, both physically and vir -tually,Based on practices conducted by the Museum of London since its establishment in the 20th century, Iendeavour to understand how the museum architecture was established during the negotiation and compro -mise among different individuals and parties and to extend the conception by exploring the possibilities of expanding out of the traditional realm of the museum architecture.展开更多
In this paper,we obtain that every isometry from the unit sphere S(l p (Γ)) of l p (Γ) (1 【 p 【 ∞,p≠2) onto the unit sphere S(E) of a Banach space E can be extended to be a (real) linear isometry of l p (Γ) ont...In this paper,we obtain that every isometry from the unit sphere S(l p (Γ)) of l p (Γ) (1 【 p 【 ∞,p≠2) onto the unit sphere S(E) of a Banach space E can be extended to be a (real) linear isometry of l p (Γ) onto E,so,we give an affirmative answer to the corresponding Tingley’s problem.展开更多
This paper consists of three main parts.One of them is to develop local and global Sobolev interpolation inequalities of any higher order for the nonisotropic Sobolev spaces on stratified nilpotent Lie groups.Despite ...This paper consists of three main parts.One of them is to develop local and global Sobolev interpolation inequalities of any higher order for the nonisotropic Sobolev spaces on stratified nilpotent Lie groups.Despite the extensive research after Jerison’s work[3]on Poincaré-type inequalities for Hrmander’s vector fields over the years,our results given here even in the nonweighted case appear to be new.Such interpolation inequalities have crucial applications to subelliptic or parabolic PDE’s involving vector fields.The main tools to prove such inequalities are approximating the Sobolev func- tions by polynomials associated with the left invariant vector fields on G.Some very useful properties for polynomials associated with the functions are given here and they appear to have independent interests in their own rights.Finding the existence of such polynomials is the second main part of this paper.Main results of these two parts have been announced in the author’s paper in Mathematical Research Letters[38]. The third main part of this paper contains extension theorems on anisotropic Sobolev spaces on stratified groups and their applications to proving Sobolev interpolation inequalities on(εδ)domains. Some results of weighted Sobolev spaces are also given here.We construct a linear extension operator which is bounded on different Sobolev spaces simultaneously.In particular,we are able to construct a bounded linear extension operator such that the derivatives of the extended function can be controlled by the same order of derivatives of the given Sobolev functions.Theorems are stated and proved for weighted anisotropic Sobolev spaces on stratified groups.展开更多
Code reuse attacks pose a severe threat to modern applications. These attacks reuse existing code segments of vulnerable applications as attack payloads and hijack the control flow of a victim application. With high c...Code reuse attacks pose a severe threat to modern applications. These attacks reuse existing code segments of vulnerable applications as attack payloads and hijack the control flow of a victim application. With high code entropy and a relatively low performance overhead, Address Space Layout Randomization(ASLR) has become the most widely explored defense against code reuse attacks. However, a single memory disclosure vulnerability is able to compromise this defense. In this paper, we present Memory Protection Extensions(MPX)-assisted Address Space Layout Randomization(M-ASLR), a novel code-space randomization scheme. M-ASLR uses several characteristics of Intel MPX to restrict code pointers in memory. We have developed a fully functioning prototype of M-ALSR, and our evaluation results show that M-ASLR:(1) offers no interference with normal operation;(2) protects against buffer overflow attacks, code reuse attacks, and other sophisticated modern attacks;and(3) adds a very low performance overhead(3.3%) to C/C++ applications.展开更多
Let X and Y be real Banach spaces.Suppose that the subset sm[S1(X)] of the smooth points of the unit sphere [S1(X)] is dense in S1(X).If T0 is a surjective 1-Lipschitz mapping between two unit spheres,then,under some ...Let X and Y be real Banach spaces.Suppose that the subset sm[S1(X)] of the smooth points of the unit sphere [S1(X)] is dense in S1(X).If T0 is a surjective 1-Lipschitz mapping between two unit spheres,then,under some condition,T0 can be extended to a linear isometry on the whole space.展开更多
In this paper, we show that if V0 is an isometric mapping from the unit sphere of an AL-space onto the unit sphere of a Banach space E, then V0 can be extended to a linear isometry defined on the whole space.
基金Supported by NSFC (10871101)the Doctoral Programme Foundation of Institution of Higher Education (20060055010)
文摘In this article, we prove that an into 1-Lipschitz mapping from the unit sphere of a Hilbert space to the unit sphere of an arbitrary normed space, which under some conditions, can be extended to be a linear isometry on the whole space.
文摘In this paper, by the definition of almost spirallike mappings of type β and order α and the geometric property of the spirallike mapping of type β, we prove that the generalized Roper-Suffridge extension operator preserves almost spirallikeness of type β and order α in complex Banach spaces. Key words:
基金Foundation item: Supported by the National Natural Science Foundation of China(10626015 10571044) Supported by the Fundamental Research of National Natural Science Foundation of Henan University(04ZDZR004)
文摘In this paper, we prove that the generalized Roper-Suffridge extension operator can be embeded in Loewner chains on the unit ball in Hibert spaces, and obtain the fact that the operator keeps the properties of almost spirallike mapping of typeβ and order α, almost starlikeness of order α, spirallikeness of type ofβ and starlikeness.
文摘In this note,we prove that expanders cannot be coarsely embedded into group extensions of sequences of groups which are coarsely embeddable into Hardamad manifolds and certain Banach spaces due to the similar concentration theorems.
文摘In this paper, we give four general results on linear extension of isometries between the unit spheres in β-normed spaces. These results improve the corresponding theorems in β-normed spaces.
文摘A new phasing procedure has been proposed for dealing with single isomorphous replacement (SIR) x-ray diffraction data. The procedure combines SOLVE/RESOLVE with the dual-space fragment extension involving OASIS. Two sets of SIR data at 0.28 nm resolution taken from the protein (R)-phycoerythrin (PDB code: 1LIA) were used in the test. For one of the two SIR data sets, a default run of SOLVE/RESOLVE based on the heavy-atom substructure found by SHLEXD led automatically to an interpretable electron density map. OASIS could not effectively improve the result. For the other set of SIR data, SOLVE/RESOLVE resulted in a fragmented model consisting of 454 of the total 668 residues, in which only 29 residues were docked into the sequence. Based on this model, 7 iteration cycles of OASIS-DM- RESOLVE (build only) yielded automatically a model of 547 residues with 133 residues docked into the sequence. The overall-averaged phase error decreased considerably and the quality of electron density map was improved significantly. Two more cycles of iterative OASIS-DM-RESOLVE were carried out, in which the output phases and figures of merit from DM were merged with that from the original run of SOLVE/RESOLVE before they were passed onto RESOLVE (build only). This led automatically to a model containing 452 residues with 173 docked into the sequence. The resultant electron density map is manually traceable. It is concluded that when results of SOLVE/RESOLVE are not sufficiently satisfactory, the combination of SOLVE/RESOLVE and OASIS-DM-RESOLVE (build only) may significantly improve them.
文摘In this note it is shown that every bounded linear operator T∈B(Y, Z) defined on a closed subspace Y of a Banach space X admits a generalized extension T∈B(X, V). Some examples of the applications are given; especially, a character-ization of H.I. spaces is obtained.
文摘This paper studies a class of Q-type spaces Q^(m)_(log,λ)(R^(n))related to logarithmic functions.We first investigate some basic properties ofQ^(m)_(log,λ)(R^(n)).Further,by the aid of Poisson integral and harmonic function spaces H^(m)_(log,λ)(R_(+)^(n+1)),the harmonic extension of Q^(m)_(log,λ)(R^(n))and the boundary value problem of H^(m)_(log,λ)(R_(+)^(n+1))are obtained.
基金supported by the Natural Science Foundation of China (12271402)the Natural Science Foundation of Tianjin City (22JCYBJC00420)。
文摘In this paper,we study isometries and phase-isometries of non-Archimedean normed spaces.We show that every isometry f:Sr(X)→Sr(X),where X is a finite-dimensional non-Archimedean normed space and Sr(X)is a sphere with radius r∈||X||,is surjective if and only if is spherically complete and k is finite.Moreover,we prove that if X and Y are non-Archimedean normed spaces over non-trivially non-Archimedean valued fields with|2|=1,any phase-isometry f:X→Y is phase equivalent to an isometric operator.
文摘In this analysis, natural systems are posed to subsystemize in a manner facilitating both structured information/energy sharing and an entropy maximization process projecting a three-dimensional, spatial outcome. Numerical simulations were first carried out to determine whether n × n input-output matrices could, once entropy-maximized, project a three-dimensional Euclidean metric. Only 4 × 4 matrices could;a small proportion passed the test. Larger proportions passed when grouped random patterns on and within two- and three-dimensional forms were tested. The pattern of structural zonation within the earth was then tested in analogous fashion using spatial autocorrelation measures, and for three time periods: current, 95 million years b.p. and 200 million years b.p. All expected results were obtained;not only do the geometries of zonation project a three-dimensional structure as anticipated, but also do secondary statistical measures reveal levels of equilibrium among the zones in all three cases that are nearly total, distinguishing them from simulations that do not incorporate a varying-surface zone-width element.
文摘In this paper we’ll prove a fundameutal property of the vector space by means of the ex-tension field,i.e.the numbers of the elements of a basis of the vector space V over the field Fequal to the d imensions(V:F).
文摘Nowadays many urban museums are situated in ever-changing cities face with problems regardingspace and architecture. The main question this paper wants to discuss is how the museum could achieve accessibilityand inclusiveness to a greater extent via rethinking and reshaping its space, both physically and vir -tually,Based on practices conducted by the Museum of London since its establishment in the 20th century, Iendeavour to understand how the museum architecture was established during the negotiation and compro -mise among different individuals and parties and to extend the conception by exploring the possibilities of expanding out of the traditional realm of the museum architecture.
基金supported by Natural Science Foundation of the Education Departmentof Jiangsu Province (Grant No.09KJD110003)
文摘In this paper,we obtain that every isometry from the unit sphere S(l p (Γ)) of l p (Γ) (1 【 p 【 ∞,p≠2) onto the unit sphere S(E) of a Banach space E can be extended to be a (real) linear isometry of l p (Γ) onto E,so,we give an affirmative answer to the corresponding Tingley’s problem.
基金The author is partially supported by the National Science Foundation of U.S.,Grant DMS96-22996
文摘This paper consists of three main parts.One of them is to develop local and global Sobolev interpolation inequalities of any higher order for the nonisotropic Sobolev spaces on stratified nilpotent Lie groups.Despite the extensive research after Jerison’s work[3]on Poincaré-type inequalities for Hrmander’s vector fields over the years,our results given here even in the nonweighted case appear to be new.Such interpolation inequalities have crucial applications to subelliptic or parabolic PDE’s involving vector fields.The main tools to prove such inequalities are approximating the Sobolev func- tions by polynomials associated with the left invariant vector fields on G.Some very useful properties for polynomials associated with the functions are given here and they appear to have independent interests in their own rights.Finding the existence of such polynomials is the second main part of this paper.Main results of these two parts have been announced in the author’s paper in Mathematical Research Letters[38]. The third main part of this paper contains extension theorems on anisotropic Sobolev spaces on stratified groups and their applications to proving Sobolev interpolation inequalities on(εδ)domains. Some results of weighted Sobolev spaces are also given here.We construct a linear extension operator which is bounded on different Sobolev spaces simultaneously.In particular,we are able to construct a bounded linear extension operator such that the derivatives of the extended function can be controlled by the same order of derivatives of the given Sobolev functions.Theorems are stated and proved for weighted anisotropic Sobolev spaces on stratified groups.
基金supported in part by the National Natural Science Foundation of China(No.61272452)the National Key Basic Research and Development(973)Program of China(No.2014CB340601)the Natural Science Foundation of Hubei Province(No.2017CFB663)
文摘Code reuse attacks pose a severe threat to modern applications. These attacks reuse existing code segments of vulnerable applications as attack payloads and hijack the control flow of a victim application. With high code entropy and a relatively low performance overhead, Address Space Layout Randomization(ASLR) has become the most widely explored defense against code reuse attacks. However, a single memory disclosure vulnerability is able to compromise this defense. In this paper, we present Memory Protection Extensions(MPX)-assisted Address Space Layout Randomization(M-ASLR), a novel code-space randomization scheme. M-ASLR uses several characteristics of Intel MPX to restrict code pointers in memory. We have developed a fully functioning prototype of M-ALSR, and our evaluation results show that M-ASLR:(1) offers no interference with normal operation;(2) protects against buffer overflow attacks, code reuse attacks, and other sophisticated modern attacks;and(3) adds a very low performance overhead(3.3%) to C/C++ applications.
基金supported by National Natural Science Foundation of China (Grant No.10871101)the Research Fund for the Doctoral Program of Higher Education (Grant No. 20060055010)
文摘Let X and Y be real Banach spaces.Suppose that the subset sm[S1(X)] of the smooth points of the unit sphere [S1(X)] is dense in S1(X).If T0 is a surjective 1-Lipschitz mapping between two unit spheres,then,under some condition,T0 can be extended to a linear isometry on the whole space.
基金the Research Foundation for Doctor Programme (Grant No. 20060055010) the National Natural Science Foundation of China (Grant No. 10571090)
文摘In this paper, we show that if V0 is an isometric mapping from the unit sphere of an AL-space onto the unit sphere of a Banach space E, then V0 can be extended to a linear isometry defined on the whole space.