Continuum mechanics for isotropic finite thermoelastic deformations have been reviewed. Thermal effects on mechanical responses of rubbers have been captured by the isomorphism continuum stored energy (CSE) functional...Continuum mechanics for isotropic finite thermoelastic deformations have been reviewed. Thermal effects on mechanical responses of rubbers have been captured by the isomorphism continuum stored energy (CSE) functional with the multiplicative decomposition of deformation gradient while preserving the structure of symmetry for finite structural deformation. The CSE finite thermoelastic model fits and predicts experimental data of SR and NR-C60 rubbers at different external temperatures. For internal temperature effects of both NR and NR-SIC rubbers, the CSE finite thermoelastic model of stored energy and entropy, along with the newly developed CTE and CI models, fits both nominal stress-stretch and temperature change-stretch experimental data in uniaxial extension tests.展开更多
There are two kinds of isometric isomorphism in probabilistic metric space theory. The first is that a PM space (E,F) is isometrically isomorphic to another PM space (E′,F′), and the second is that a PM space (E,F) ...There are two kinds of isometric isomorphism in probabilistic metric space theory. The first is that a PM space (E,F) is isometrically isomorphic to another PM space (E′,F′), and the second is that a PM space (E,F) is isometrically isomorphic to a generating space of quasi_metric family (E′,d r,r∈(0,1)). This paper establishes the connection between the two kinds of isometric isomorphism.展开更多
Isomorphism detection is fundamental to the synthesis and innovative design of kinematic chains(KCs).The detection can be performed accurately by using the similarity of KCs.However,there are very few works on isomorp...Isomorphism detection is fundamental to the synthesis and innovative design of kinematic chains(KCs).The detection can be performed accurately by using the similarity of KCs.However,there are very few works on isomorphism detection based on the properties of similar vertices.In this paper,an ameliorated multi-order adjacent vertex assignment sequence(AMAVS)method is proposed to seek out similar vertices and identify the isomorphism of the planar KCs.First,the specific definition of AMAVS is described.Through the calculation of the AMAVS,the adjacent vertex value sequence reflecting the uniqueness of the topology features is established.Based on the value sequence,all possible similar vertices,corresponding relations,and isomorphism discrimination can be realized.By checking the topological graph of KCs with a different number of links,the effectiveness and efficiency of the proposed method are verified.Finally,the method is employed to implement the similar vertices and isomorphism detection of all the 9-link 2-D0F(degree of freedom)planar KCs.展开更多
Let L:=-△+V be the Schrodinger operator on R^(n)with n≥3,where V is a non-negative potential satisfying△^(-1)(V)∈L^(∞)(R^(n)).Let w be an L-harmonic function,determined by V,satisfying that there exists a positiv...Let L:=-△+V be the Schrodinger operator on R^(n)with n≥3,where V is a non-negative potential satisfying△^(-1)(V)∈L^(∞)(R^(n)).Let w be an L-harmonic function,determined by V,satisfying that there exists a positive constantδsuch that,for any x∈Rn,0<δ≤w(x)≤1.Assume that p(·):R^(n)→(0,1]is a variable exponent satisfying the globally log-Hölder continuous condition.In this article,the authors show that the mappings HL^(p)(·))(R^(n))■f■wf∈H^(p)(·)(R^(n))and HL^(p(·))(R^(n))■f■(-△)^(1/2)L^(-1/2)(f)∈H^(p(·))(R^(n))are isomorphisms between the variable Hardy spaces HL^(p(·))(R^(n)),associated with L,and the variable Hardy spaces H^(p(·))(R^(n)).展开更多
Program comprehension is one of the most important applications in decompilation. The more abstract the decompilation result the better it is understood. Intrinsic function is introduced by a compiler to reduce the ov...Program comprehension is one of the most important applications in decompilation. The more abstract the decompilation result the better it is understood. Intrinsic function is introduced by a compiler to reduce the overhead of a function call and is inlined in the code where it is called. When analyzing the decompiled code with lots of inlined intrinsic functions, reverse engineers may be confused by these detailed and repeated operations and lose the goal. In this paper, we propose a method based graph isomorphism to detect intrinsic function on the CFG (Control Flow Graph) of the target function first. Then we identify the boundary of the intrinsic function, determine the parameter and return value and reduce the intrinsic function to a single function call in the disassembled program. Experimental results show that our method is more efficient at reducing intrinsic functions than the state-of-art decompilers such as Hex-Rays, REC and RD (Retargetable Decompiler).展开更多
The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the pro...The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the prohibitions that were introduced into axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the article is about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.展开更多
We show that,up to isomorphism,there is a unique non-CI connected cubic Cayley graph on the dihedral group of order 2n for each even number n≥4.This answers in the negative the question of Li whether all connected cu...We show that,up to isomorphism,there is a unique non-CI connected cubic Cayley graph on the dihedral group of order 2n for each even number n≥4.This answers in the negative the question of Li whether all connected cubic Cayley graphs are CI-graphs(Discrete Math.,256,301-334(2002)).As an application,a formula is derived for the number of isomorphism classes of connected cubic Cayley graphs on dihedral groups,which generalises the earlier formula of Huang et al.dealing with the particular case when n is a prime(Acta Math.Sin.,Engl.Ser.,33,996-1011(2017)).As another application,a short proof is also given for a result on sparse circulant matrices obtained by Wiedemann and Zieve(arXiv preprint,(2007)).展开更多
Let p be a prime and F_p be a finite field of p elements.Let F_(pG)denote the group algebra of the finite p-group G over the field F_(p)and V(F_(pG))denote the group of normalized units in F_(pG).Suppose that G and H ...Let p be a prime and F_p be a finite field of p elements.Let F_(pG)denote the group algebra of the finite p-group G over the field F_(p)and V(F_(pG))denote the group of normalized units in F_(pG).Suppose that G and H are finite p-groups given by a central extension of the form 1→Z_(p)^(m)→G→Z_(p)×···×Z_(p)→1 and G'≌Z_(p),m≥1.Then V(F_(p)G)≌V(F_(p)H)if and only if G≌H.Balogh and Bovdi only solved the isomorphism problem when p is odd.In this paper,the case p=2 is determined.展开更多
In one of our recent papers, the associative and the Lie algebras of Weyl type A[D] = A F[D] were defined and studied, where A is a commutative associative algebra with an identity element over a field F of any charac...In one of our recent papers, the associative and the Lie algebras of Weyl type A[D] = A F[D] were defined and studied, where A is a commutative associative algebra with an identity element over a field F of any characteristic, and F[D] is the polynomial algebra of a commutative derivation subalgebra D of A. In the present paper, a class of the above associative and Lie algebras A[D] with F being a field of characteristic 0, D consisting of locally finite but not locally nilpotent derivations of A, are studied. The isomorphism classes and automorphism groups of these associative and Lie algebras are determined.展开更多
In this paper we study the computation of the number of isomorphism classes of hyperelliptic curves of genus 2 over finite fields Fq with q even. We show the formula of the number of isomorphism classes, that is, for ...In this paper we study the computation of the number of isomorphism classes of hyperelliptic curves of genus 2 over finite fields Fq with q even. We show the formula of the number of isomorphism classes, that is, for q = 2m, if 4 (|) m, then the formula is 2q3 + q2 - q;if 4 | m, then the formula is 2q3 + q2 - q + 8. These results can be used in the classification problems and the hyperelliptic curve cryptosystems.展开更多
In this paper, we will prove that every derivation of completely distributive subspacelattice (CDS)algebras on Banach space is automatically continuous. This is new even in the Hilbertspace case. As an application of ...In this paper, we will prove that every derivation of completely distributive subspacelattice (CDS)algebras on Banach space is automatically continuous. This is new even in the Hilbertspace case. As an application of this result, we obtain that every additive derivation of nest algebrason Banach spaces is inner. We will also prove that every isomorphism between nest algebras onBanach space is automatically continuous, and in addition, is spatial.展开更多
It is proved that for any Fuchsian group Γ such that H/Γ is a hyperbolic Riemann surface, the Teichmüller curve V(Γ) has a unique complex manifold structure so that the natural projection of the Bers fiber spa...It is proved that for any Fuchsian group Γ such that H/Γ is a hyperbolic Riemann surface, the Teichmüller curve V(Γ) has a unique complex manifold structure so that the natural projection of the Bers fiber space F(Γ) onto V(Γ) is holomorphic with local holomorphic sections.An isomorphism theorem for Teichmüller curves is deduced, which generalizes a classical result that the Teichmüller curve V(Γ) depends only on the type of Γ and not on the orders of the elliptic elements of Γ when H/Γ is a compact hyperbolic Riemann surface.展开更多
Most of the phosphorite deposits in the world contain isomorphism rare earths(RE) which are considerably difficult to be leached into solution in the wet phosphoric acid process. In this work, a systematic study of le...Most of the phosphorite deposits in the world contain isomorphism rare earths(RE) which are considerably difficult to be leached into solution in the wet phosphoric acid process. In this work, a systematic study of leaching RE using sulfuric acid, phosphoric acid, mixed acid and two-step leaching of phosphoric acid and sulfuric acid was performed. The aims are to illuminate the main factors that inhibit RE leaching and to provide insights into the further enrichment of RE in the wet phosphoric acid solution. The results indicate that H_2SO_4 is not an effective acid for leaching isomorphism RE from phosphorite ore.The low RE leaching efficiency attributes to the RE cocrystallized and encapsulated by phosphogypsum(PG) as well as the precipitation of RE by RE sulfates or phosphates. High concentration of H_3PO_4 can enhance the dissolution and diffusion of RE ions. Hence, the optimized leaching mode of improving RE leaching efficiency is to adequately dissolve phosphorite ores in high concentration of H_3PO_4 solution and then add H_2SO_4 to crystallize PG.The effect of co-crystallization or encapsulation of PG on RE can be decreased due to the crystallizing mode of PG in the bulk solution instead of on the interface of solid reactants. RE leaching efficiency can be high up to 65% by the optimized leaching mode.展开更多
By considering the Galois action and the group action,we give the relation of two isomorphism character rings on the arbitrary field K with CharK = 0.Our results generalize Saksonov's theorem.
We will be mainly concerned with some important fiber spaces over Teichmüller spaces, including the Bers fiber space and Teichmüller curve, establishing an isomorphism theorem between "punctured" T...We will be mainly concerned with some important fiber spaces over Teichmüller spaces, including the Bers fiber space and Teichmüller curve, establishing an isomorphism theorem between "punctured" Teichmüller curves and determining the biholomorphic isomorphisms of these fiber spaces.展开更多
For integral table algebras with integral table basis T, we can consider integral R-algebra RT over a subring R of the ring of the algebraic integers. It is proved that an R-algebra isomorphism between two integral ta...For integral table algebras with integral table basis T, we can consider integral R-algebra RT over a subring R of the ring of the algebraic integers. It is proved that an R-algebra isomorphism between two integral table algebras must be an integral table algebra isomorphism if it is compatible with the so-called normalizings of the integral table algebras.展开更多
In this paper we give the following main results: (ⅰ) Let F(?) and G(?) be two free modules. Then F(?) and G(?) are semi-linearly isomorphic if and only if End F(?) and End G(?) are strictly isomorphic. (ⅱ) We give ...In this paper we give the following main results: (ⅰ) Let F(?) and G(?) be two free modules. Then F(?) and G(?) are semi-linearly isomorphic if and only if End F(?) and End G(?) are strictly isomorphic. (ⅱ) We give a new method to generalize the Bolla theorem in 1985 which gave a categorical description for isomorphism between End F(?) and End G(?). (ⅲ) The Wolfson theorem is a corollary of our theorem.展开更多
In this paper we propose the concept of generalized semi-Cayley graphs, which is a combination of semi-Cayley graphs and generalized Cayley graphs. We study the isomorphisms and automorphisms of generalized semi-Cayle...In this paper we propose the concept of generalized semi-Cayley graphs, which is a combination of semi-Cayley graphs and generalized Cayley graphs. We study the isomorphisms and automorphisms of generalized semi-Cayley graphs and other related properties.展开更多
The distributed parameterized intelligent product platform(DPIPP)contains many agents of a product minimum approximate autonomous subsystem(generalized module).These distributed agents communicate,coordinate,and coope...The distributed parameterized intelligent product platform(DPIPP)contains many agents of a product minimum approximate autonomous subsystem(generalized module).These distributed agents communicate,coordinate,and cooperate using their knowledge and skills and eventually accomplish the design for mass customization in a loosely coupled environment.In this study,a new method of isomorphism analysis on generalized modules oriented to DPIPP is proposed.First,on the basis of the bill of material partition and generalized module mining,the parameters of the main characteristics are extracted to construct the main characteristic parameter matrix.Second,similarity calculation of generalized modules is realized by improving the clustering using representatives algorithm,and isomorphism model sets are obtained.Generalized modules with a similar structure are combined to complete the isomorphism analysis.The effectiveness of the proposed method is verified by taking high-and medium-pressure valve data as an example.展开更多
文摘Continuum mechanics for isotropic finite thermoelastic deformations have been reviewed. Thermal effects on mechanical responses of rubbers have been captured by the isomorphism continuum stored energy (CSE) functional with the multiplicative decomposition of deformation gradient while preserving the structure of symmetry for finite structural deformation. The CSE finite thermoelastic model fits and predicts experimental data of SR and NR-C60 rubbers at different external temperatures. For internal temperature effects of both NR and NR-SIC rubbers, the CSE finite thermoelastic model of stored energy and entropy, along with the newly developed CTE and CI models, fits both nominal stress-stretch and temperature change-stretch experimental data in uniaxial extension tests.
文摘There are two kinds of isometric isomorphism in probabilistic metric space theory. The first is that a PM space (E,F) is isometrically isomorphic to another PM space (E′,F′), and the second is that a PM space (E,F) is isometrically isomorphic to a generating space of quasi_metric family (E′,d r,r∈(0,1)). This paper establishes the connection between the two kinds of isometric isomorphism.
基金Supported by National Natural Science Foundation of China(Grant Nos.51675488,51975534)Zhejiang Provincial Natural Science Foundation of China(Grant No.LY19E050021)。
文摘Isomorphism detection is fundamental to the synthesis and innovative design of kinematic chains(KCs).The detection can be performed accurately by using the similarity of KCs.However,there are very few works on isomorphism detection based on the properties of similar vertices.In this paper,an ameliorated multi-order adjacent vertex assignment sequence(AMAVS)method is proposed to seek out similar vertices and identify the isomorphism of the planar KCs.First,the specific definition of AMAVS is described.Through the calculation of the AMAVS,the adjacent vertex value sequence reflecting the uniqueness of the topology features is established.Based on the value sequence,all possible similar vertices,corresponding relations,and isomorphism discrimination can be realized.By checking the topological graph of KCs with a different number of links,the effectiveness and efficiency of the proposed method are verified.Finally,the method is employed to implement the similar vertices and isomorphism detection of all the 9-link 2-D0F(degree of freedom)planar KCs.
基金supported by the National Natural Science Foundation of China(11801555 and 11971058)the Fundamental Research Funds for the Central Universities(2020YQLX02)supported by the National Natural Science Foundation of China(11971058,11761131002 and 11671185)。
文摘Let L:=-△+V be the Schrodinger operator on R^(n)with n≥3,where V is a non-negative potential satisfying△^(-1)(V)∈L^(∞)(R^(n)).Let w be an L-harmonic function,determined by V,satisfying that there exists a positive constantδsuch that,for any x∈Rn,0<δ≤w(x)≤1.Assume that p(·):R^(n)→(0,1]is a variable exponent satisfying the globally log-Hölder continuous condition.In this article,the authors show that the mappings HL^(p)(·))(R^(n))■f■wf∈H^(p)(·)(R^(n))and HL^(p(·))(R^(n))■f■(-△)^(1/2)L^(-1/2)(f)∈H^(p(·))(R^(n))are isomorphisms between the variable Hardy spaces HL^(p(·))(R^(n)),associated with L,and the variable Hardy spaces H^(p(·))(R^(n)).
文摘Program comprehension is one of the most important applications in decompilation. The more abstract the decompilation result the better it is understood. Intrinsic function is introduced by a compiler to reduce the overhead of a function call and is inlined in the code where it is called. When analyzing the decompiled code with lots of inlined intrinsic functions, reverse engineers may be confused by these detailed and repeated operations and lose the goal. In this paper, we propose a method based graph isomorphism to detect intrinsic function on the CFG (Control Flow Graph) of the target function first. Then we identify the boundary of the intrinsic function, determine the parameter and return value and reduce the intrinsic function to a single function call in the disassembled program. Experimental results show that our method is more efficient at reducing intrinsic functions than the state-of-art decompilers such as Hex-Rays, REC and RD (Retargetable Decompiler).
文摘The article is devoted to proving the inconsistency of set theory arising from the existence of strange trees. All steps of the proof rely on common informal set-theoretic reasoning, but they take into account the prohibitions that were introduced into axiomatic set theories in order to overcome the difficulties encountered by the naive Cantor set theory. Therefore, in fact, the article is about proving the inconsistency of existing axiomatic set theories, in particular, the ZFC theory.
基金Supported by the Slovenian Research Agency (research program P1-0285 and research projects N1-0062,J1-9108,J1-1695,N1-0140,J1-2451,N1-0208 and J1-3001)。
文摘We show that,up to isomorphism,there is a unique non-CI connected cubic Cayley graph on the dihedral group of order 2n for each even number n≥4.This answers in the negative the question of Li whether all connected cubic Cayley graphs are CI-graphs(Discrete Math.,256,301-334(2002)).As an application,a formula is derived for the number of isomorphism classes of connected cubic Cayley graphs on dihedral groups,which generalises the earlier formula of Huang et al.dealing with the particular case when n is a prime(Acta Math.Sin.,Engl.Ser.,33,996-1011(2017)).As another application,a short proof is also given for a result on sparse circulant matrices obtained by Wiedemann and Zieve(arXiv preprint,(2007)).
基金National Natural Science Foundation of China(Grant No.12171142)。
文摘Let p be a prime and F_p be a finite field of p elements.Let F_(pG)denote the group algebra of the finite p-group G over the field F_(p)and V(F_(pG))denote the group of normalized units in F_(pG).Suppose that G and H are finite p-groups given by a central extension of the form 1→Z_(p)^(m)→G→Z_(p)×···×Z_(p)→1 and G'≌Z_(p),m≥1.Then V(F_(p)G)≌V(F_(p)H)if and only if G≌H.Balogh and Bovdi only solved the isomorphism problem when p is odd.In this paper,the case p=2 is determined.
基金This work was supported by the National Natural Science Foundation of China,Hundred Talents Program of Chinese Academy of Sciences and a Fund from National Education Ministry of China. Su Yucai was partially supported by Academy of Mathematics and Syst
文摘In one of our recent papers, the associative and the Lie algebras of Weyl type A[D] = A F[D] were defined and studied, where A is a commutative associative algebra with an identity element over a field F of any characteristic, and F[D] is the polynomial algebra of a commutative derivation subalgebra D of A. In the present paper, a class of the above associative and Lie algebras A[D] with F being a field of characteristic 0, D consisting of locally finite but not locally nilpotent derivations of A, are studied. The isomorphism classes and automorphism groups of these associative and Lie algebras are determined.
基金supported by the National Natural Science Foundation of China(Grant Nos.10501049&90304012)973 Project(Grant No.2004CB318000).
文摘In this paper we study the computation of the number of isomorphism classes of hyperelliptic curves of genus 2 over finite fields Fq with q even. We show the formula of the number of isomorphism classes, that is, for q = 2m, if 4 (|) m, then the formula is 2q3 + q2 - q;if 4 | m, then the formula is 2q3 + q2 - q + 8. These results can be used in the classification problems and the hyperelliptic curve cryptosystems.
文摘In this paper, we will prove that every derivation of completely distributive subspacelattice (CDS)algebras on Banach space is automatically continuous. This is new even in the Hilbertspace case. As an application of this result, we obtain that every additive derivation of nest algebrason Banach spaces is inner. We will also prove that every isomorphism between nest algebras onBanach space is automatically continuous, and in addition, is spatial.
基金supported by the National Natural Science Foundation of China(Grant No.10231040).
文摘It is proved that for any Fuchsian group Γ such that H/Γ is a hyperbolic Riemann surface, the Teichmüller curve V(Γ) has a unique complex manifold structure so that the natural projection of the Bers fiber space F(Γ) onto V(Γ) is holomorphic with local holomorphic sections.An isomorphism theorem for Teichmüller curves is deduced, which generalizes a classical result that the Teichmüller curve V(Γ) depends only on the type of Γ and not on the orders of the elliptic elements of Γ when H/Γ is a compact hyperbolic Riemann surface.
基金financially supported by the National Natural Science Foundation of China (Nos. 51364005, 51564003 and 51574094)
文摘Most of the phosphorite deposits in the world contain isomorphism rare earths(RE) which are considerably difficult to be leached into solution in the wet phosphoric acid process. In this work, a systematic study of leaching RE using sulfuric acid, phosphoric acid, mixed acid and two-step leaching of phosphoric acid and sulfuric acid was performed. The aims are to illuminate the main factors that inhibit RE leaching and to provide insights into the further enrichment of RE in the wet phosphoric acid solution. The results indicate that H_2SO_4 is not an effective acid for leaching isomorphism RE from phosphorite ore.The low RE leaching efficiency attributes to the RE cocrystallized and encapsulated by phosphogypsum(PG) as well as the precipitation of RE by RE sulfates or phosphates. High concentration of H_3PO_4 can enhance the dissolution and diffusion of RE ions. Hence, the optimized leaching mode of improving RE leaching efficiency is to adequately dissolve phosphorite ores in high concentration of H_3PO_4 solution and then add H_2SO_4 to crystallize PG.The effect of co-crystallization or encapsulation of PG on RE can be decreased due to the crystallizing mode of PG in the bulk solution instead of on the interface of solid reactants. RE leaching efficiency can be high up to 65% by the optimized leaching mode.
文摘By considering the Galois action and the group action,we give the relation of two isomorphism character rings on the arbitrary field K with CharK = 0.Our results generalize Saksonov's theorem.
基金The authors would like to thank the referee for his many valuable suggestions. This work was supported by the National Natural Science Foundation of China (Grant No. 10231040).
文摘We will be mainly concerned with some important fiber spaces over Teichmüller spaces, including the Bers fiber space and Teichmüller curve, establishing an isomorphism theorem between "punctured" Teichmüller curves and determining the biholomorphic isomorphisms of these fiber spaces.
基金This work was supported by the National Program for the Major Basic SciencesResearches of China.
文摘For integral table algebras with integral table basis T, we can consider integral R-algebra RT over a subring R of the ring of the algebraic integers. It is proved that an R-algebra isomorphism between two integral table algebras must be an integral table algebra isomorphism if it is compatible with the so-called normalizings of the integral table algebras.
文摘In this paper we give the following main results: (ⅰ) Let F(?) and G(?) be two free modules. Then F(?) and G(?) are semi-linearly isomorphic if and only if End F(?) and End G(?) are strictly isomorphic. (ⅱ) We give a new method to generalize the Bolla theorem in 1985 which gave a categorical description for isomorphism between End F(?) and End G(?). (ⅲ) The Wolfson theorem is a corollary of our theorem.
文摘In this paper we propose the concept of generalized semi-Cayley graphs, which is a combination of semi-Cayley graphs and generalized Cayley graphs. We study the isomorphisms and automorphisms of generalized semi-Cayley graphs and other related properties.
基金This work was supported by the National Natural Science Foundation of China(Grant Nos.51505343 and 51705374)the China Postdoctoral Science Foundation(Grant No.2017M622509)The authors would like to thank the editors and the reviewers for their insightful comments and helpful suggestions to improve the manuscript.
文摘The distributed parameterized intelligent product platform(DPIPP)contains many agents of a product minimum approximate autonomous subsystem(generalized module).These distributed agents communicate,coordinate,and cooperate using their knowledge and skills and eventually accomplish the design for mass customization in a loosely coupled environment.In this study,a new method of isomorphism analysis on generalized modules oriented to DPIPP is proposed.First,on the basis of the bill of material partition and generalized module mining,the parameters of the main characteristics are extracted to construct the main characteristic parameter matrix.Second,similarity calculation of generalized modules is realized by improving the clustering using representatives algorithm,and isomorphism model sets are obtained.Generalized modules with a similar structure are combined to complete the isomorphism analysis.The effectiveness of the proposed method is verified by taking high-and medium-pressure valve data as an example.