Based on the three-dimensional elastic-plastic finite element analysis of the 8"(203.2 mm)drill collar joint,this paper studies the mechanical characteristics of the pin and box of NC56 drill collar joints under ...Based on the three-dimensional elastic-plastic finite element analysis of the 8"(203.2 mm)drill collar joint,this paper studies the mechanical characteristics of the pin and box of NC56 drill collar joints under complex load conditions,as well as the downhole secondary makeup features,and calculates the downhole equivalent impact torque with the relative offset at the shoulder of internal and external threads.On the basis of verifying the correctness of the calculation results by using measured results in Well GT1,the prediction model of the downhole equivalent impact torque is formed and applied in the first extra-deep well with a depth over 10000 m in China(Well SDTK1).The results indicate that under complex loads,the stress distribution in drill collar joints is uneven,with relatively higher von Mises stress at the shoulder and the threads close to the shoulder.For 203.2 mm drill collar joints pre-tightened according to the make-up torque recommended by American Petroleum Institute standards,when the downhole equivalent impact torque exceeds 65 kN·m,the preload balance of the joint is disrupted,leading to secondary make-up of the joint.As the downhole equivalent impact torque increases,the relative offset at the shoulder of internal and external threads increases.The calculation results reveal that there exists significant downhole impact torque in Well SDTK1 with complex loading environment.It is necessary to use double shoulder collar joints to improve the impact torque resistance of the joint or optimize the operating parameters to reduce the downhole impact torque,and effectively prevent drilling tool failure.展开更多
Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the system...Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the systems and are prone to causing errors. Formal methods are proved to be a powerful tool for requirement analysis, design and specification of software systems. Hence, linking UML with formal approaches will enhance modeling power of software systems. In this paper, an approach is developed by integrating UML and Z notation focusing on equivalence relation of the state diagrams. The Z is used because it is based on the first order predicate logic having rigorous computer tool support. The reflexivity, symmetry and transitivity properties, being important at design level, are identified and described. It is believed that this approach will be effective and useful at both academics and industrial level. The need, reasoning and benefits of the integrated approach are discussed. The resultant formal models are analyzed and validated using Z/Eves tool.展开更多
A fuzzy clustering analysis model based on the quotient space is proposed. Firstly, the conversion from coarse to fine granularity and the hierarchical structure are used to reduce the multidimensional samples. Second...A fuzzy clustering analysis model based on the quotient space is proposed. Firstly, the conversion from coarse to fine granularity and the hierarchical structure are used to reduce the multidimensional samples. Secondly, the fuzzy compatibility relation matrix of the model is converted into fuzzy equivalence relation matrix. Finally, the diagram of clustering genealogy is generated according to the fuzzy equivalence relation matrix, which enables the dynamic selection of different thresholds to effectively solve the problem of cluster analysis of the samples with multi-dimensional attributes.展开更多
For the unfolding of equivariant bifurcation problems with two types of state variables in the presence of parameter symmetry,the versal unfolding theorem with respect to left-right equivalence is obtained by using th...For the unfolding of equivariant bifurcation problems with two types of state variables in the presence of parameter symmetry,the versal unfolding theorem with respect to left-right equivalence is obtained by using the related methods and techniques in the singularity theory of smooth map-germs.The corresponding results in[4,9]can be considered as its special cases.A relationship between the versal unfolding w.r.t.left-right equivalence and the versal deformation w.r.t.contact equivalence is established.展开更多
Although there are methods for testing the stress-strain relation and strength,which are the most fundamental and important properties of metallic materials,their application to small-volume materials and tube compone...Although there are methods for testing the stress-strain relation and strength,which are the most fundamental and important properties of metallic materials,their application to small-volume materials and tube components is lim-ited.In this study,based on energy density equivalence,a new dimensionless elastoplastic load-displacement model for compressed metal rings with isotropy and constitutive power law is proposed to describe the relations among the geometric dimensions,Hollomon law parameters,load,and displacement.Furthermore,a novel test method was developed to determine the elastic modulus,stress-strain relation,yield and tensile strength via ring compression test.The universality and accuracy of the method were verified within a wide range of imaginary materials using finite element analysis(FEA),and the results show that the stress-strain curves obtained by this method are consistent with those inputted in the FEA program.Additionally,a series of ring compression tests were performed for seven metallic materials.It was found that the stress-strain curves and mechanical properties predicted by the method agreed with the uniaxial tensile results.With its low material consumption,the ring compression test has the potential to be as an alternative to traditional tensile test when direct tension method is limited.展开更多
Since the room-temperature detector CdZnTe(CZT) has advantages in terms of detection efficiency,energy resolution, and size, it has been extensively used to detect X-rays and gamma-rays. So far, nuclear radiation dete...Since the room-temperature detector CdZnTe(CZT) has advantages in terms of detection efficiency,energy resolution, and size, it has been extensively used to detect X-rays and gamma-rays. So far, nuclear radiation detectors such as cerium chloride doped with lanthanum bromide(LaBr_3(Ce)), thallium doped with cesium iodide(sI(Tl)), thallium doped with sodium iodide(NaI(Tl)),and high-purity germanium(HPGe) primarily use the spectroscopy-dose rate function(G(E)) to achieve the accurate measurement of air kerma rate(K_a) and ambient dose equivalent rate(H*(10)). However, the spectroscopy-dose rate function has been rarely measured for a CZT detector. In this study, we performed spectrum measurement using a hemispherical CZT detector in a radiation protection standards laboratory. The spectroscopy-dose rate function G(E) of the CZT detector was calculated using the least-squares method combined with the standard dose rate at the measurement position. The results showed that the hemispherical CZT detector could complete the measurement of air kerma rate(K_a) and ambient dose equivalent rate(H*(10)) by using the G(E) function at energies between 48 keV and 1.25 MeV, and the relative intrinsic errors were, respectively, controlled within ± 2. 3 and ± 2. 1%.展开更多
The strong contact finite determinacy of relative map germs is studied by means of classical singularity theory. We first give the definition of a strong relative contact equivalence (or KS,T equivalence) and then p...The strong contact finite determinacy of relative map germs is studied by means of classical singularity theory. We first give the definition of a strong relative contact equivalence (or KS,T equivalence) and then prove two theorems which can be used to distinguish the contact finite determinacy of relative map germs, that is, f is finite determined relative to KS,T if and only if there exists a positive integer k, such that M^5(n)ε(S;n)p ∩→ TKs,T(f).展开更多
This note explores the relations between two different methods. The first one is the Alternating Least Squares (ALS) method for calculating a rank<em>-k</em> approximation of a real <em>m</em>&...This note explores the relations between two different methods. The first one is the Alternating Least Squares (ALS) method for calculating a rank<em>-k</em> approximation of a real <em>m</em>×<em>n</em> matrix, <em>A</em>. This method has important applications in nonnegative matrix factorizations, in matrix completion problems, and in tensor approximations. The second method is called Orthogonal Iterations. Other names of this method are Subspace Iterations, Simultaneous Iterations, and block-Power method. Given a real symmetric matrix, <em>G</em>, this method computes<em> k</em> dominant eigenvectors of <em>G</em>. To see the relation between these methods we assume that <em>G </em>=<em> A</em><sup>T</sup> <em>A</em>. It is shown that in this case the two methods generate the same sequence of subspaces, and the same sequence of low-rank approximations. This equivalence provides new insight into the convergence properties of both methods.展开更多
Realizing the physical reality of ‘tHooft’s self similar and dimensionaly regularized fractal-like spacetime as well as being inspired by a note worthy anecdote involving the great mathematician of Alexandria, Pytha...Realizing the physical reality of ‘tHooft’s self similar and dimensionaly regularized fractal-like spacetime as well as being inspired by a note worthy anecdote involving the great mathematician of Alexandria, Pythagoras and the larger than life man of theoretical physics Einstein, we utilize some deep mathematical connections between equivalence classes of equivalence relations and E-infinity theory quotient space. We started from the basic principles of self similarity which came to prominence in science with the advent of the modern theory of nonlinear dynamical systems, deterministic chaos and fractals. This fundamental logico-mathematical thread related to partially ordered sets is then applied to show how the classical Newton’s kinetic energy E = 1/2mv<sup>2</sup> leads to Einstein’s celebrated maximal energy equation E = mc<sup>2</sup> and how in turn this can be dissected into the ordinary energy density E(O) = mc<sup>2</sup>/22 and the dark energy density E(D) = mc<sup>2</sup>(21/22) of the cosmos where m is the mass;v is the velocity and c is the speed of light. The important role of the exceptional Lie symmetry groups and ‘tHooft-Veltman-Wilson dimensional regularization in fractal spacetime played in the above is also highlighted. The author hopes that the unusual character of the analysis and presentation of the present work may be taken in a positive vein as seriously attempting to propose a different and new way of doing theoretical physics by treating number theory, set theory, group theory, experimental physics as well as conventional theoretical physics on the same footing and letting all these diverse tools lead us to the answer of fundamental questions without fear of being labelled in one way or another.展开更多
Equivalence in translation was first put forward by Firth. It has been the nuclear topic of translation studies in western countries."Functional equivalence", Eugene Nida's key notion of translation theo...Equivalence in translation was first put forward by Firth. It has been the nuclear topic of translation studies in western countries."Functional equivalence", Eugene Nida's key notion of translation theories, advocated the receptor-oriented translation standard. Through the contrastive study between Xi Youji and its English version Journey to the West, the content focuses on the translation of the verbal predicates and aims at studying the application of transitivity theory into Chinese-English translation and finding out the improved translations of Chinese and English examples of different processes. Due to limited article, this paper only discusses three of six processes in the concrete context and provides new translations for the questioned ones. Finally, the last part summarizes that the functional equivalence can be achieved when verbs referring to process of action share the same semantic attribute with the Chinese originals, so the English version of Xi Youji should be further perfected according to transitivity theory.展开更多
At the CERN large hadron collider (LHC), production of the Higgs boson in association with Z or W bosons provides a dramatic experimental signal for detecting the standard model (SM) Higgs boson. In this paper, we...At the CERN large hadron collider (LHC), production of the Higgs boson in association with Z or W bosons provides a dramatic experimental signal for detecting the standard model (SM) Higgs boson. In this paper, we consider the contributions of the left-right twin Higgs (LRTH) model to the processes qq' --~ Z(W)H. Our numerical results show that, in the favorable parameter spaces, the cross sections deviate distinctly from the predictions of the SM. The possible signals of the LRTH model can be detected via these processes at the LHC experiments.展开更多
In order to give the reasonable width of seismic gaps to prevent the structural pounding during ground motions,the maximum relative displacement of adjacent structures is studied in this paper.The factors that may hav...In order to give the reasonable width of seismic gaps to prevent the structural pounding during ground motions,the maximum relative displacement of adjacent structures is studied in this paper.The factors that may have effects on the maximum relative displacement are discussed.As for multi-degree-of-freedom(MDOF) systems,they can be equivalent to single-degree-of-freedom(SDOF) systems with the influences of high modes neglected.The results show that the period ratio,height ratio and peak ground acceleration are the main factors that have great effects on the maximum relative displacement of adjacent structures.The maximum relative displacement of MDOF systems can be obtained from calculating the maximum relative displacement of the equivalent SDOF systems.展开更多
Curved-beams can be used to design modular multistable metamaterials(MMMs)with reprogrammable material properties,i.e.,programmable curved-beam periodic structure(PCBPS),which is promising for controlling the elastic ...Curved-beams can be used to design modular multistable metamaterials(MMMs)with reprogrammable material properties,i.e.,programmable curved-beam periodic structure(PCBPS),which is promising for controlling the elastic wave propagation.The PCBPS is theoretically equivalent to a spring-oscillator system to investigate the mechanism of bandgap,analyze the wave propagation mechanisms,and further form its geometrical and physical criteria for tuning the elastic wave propagation.With the equivalent model,we calculate the analytical solutions of the dispersion relations to demonstrate its adjustability,and investigate the wave propagation characteristics through the PCBPS.To validate the equivalent system,the finite element method(FEM)is employed.It is revealed that the bandgaps of the PCBPS can be turned on-and-off and shifted by varying its physical and geometrical characteristics.The findings are highly promising for advancing the practical application of periodic structures in wave insulation and propagation control.展开更多
Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, letTF(X) = {f ∈ Tx : arbieary (x, y) ∈ F, (f(x),f(y)) ∈ F}.Then TF(X) is a subsemigroup of Tx. Let E be ano...Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, letTF(X) = {f ∈ Tx : arbieary (x, y) ∈ F, (f(x),f(y)) ∈ F}.Then TF(X) is a subsemigroup of Tx. Let E be another equivalence on X and TFE(X) = TF(X) ∩ TE(X). In this paper, under the assumption that the two equivalences F and E are comparable and E lohtain in F, we describe the regular elements and characterize Green's relations for the semigroup TFE(X).展开更多
基金Supported by the National Natural Science Foundation of China(52174003,52374008).
文摘Based on the three-dimensional elastic-plastic finite element analysis of the 8"(203.2 mm)drill collar joint,this paper studies the mechanical characteristics of the pin and box of NC56 drill collar joints under complex load conditions,as well as the downhole secondary makeup features,and calculates the downhole equivalent impact torque with the relative offset at the shoulder of internal and external threads.On the basis of verifying the correctness of the calculation results by using measured results in Well GT1,the prediction model of the downhole equivalent impact torque is formed and applied in the first extra-deep well with a depth over 10000 m in China(Well SDTK1).The results indicate that under complex loads,the stress distribution in drill collar joints is uneven,with relatively higher von Mises stress at the shoulder and the threads close to the shoulder.For 203.2 mm drill collar joints pre-tightened according to the make-up torque recommended by American Petroleum Institute standards,when the downhole equivalent impact torque exceeds 65 kN·m,the preload balance of the joint is disrupted,leading to secondary make-up of the joint.As the downhole equivalent impact torque increases,the relative offset at the shoulder of internal and external threads increases.The calculation results reveal that there exists significant downhole impact torque in Well SDTK1 with complex loading environment.It is necessary to use double shoulder collar joints to improve the impact torque resistance of the joint or optimize the operating parameters to reduce the downhole impact torque,and effectively prevent drilling tool failure.
文摘Unified Modeling Language (UML) has become a de facto standard for design, specification and modeling of object oriented software systems. UML structures being graphical in nature lack defining semantics of the systems and are prone to causing errors. Formal methods are proved to be a powerful tool for requirement analysis, design and specification of software systems. Hence, linking UML with formal approaches will enhance modeling power of software systems. In this paper, an approach is developed by integrating UML and Z notation focusing on equivalence relation of the state diagrams. The Z is used because it is based on the first order predicate logic having rigorous computer tool support. The reflexivity, symmetry and transitivity properties, being important at design level, are identified and described. It is believed that this approach will be effective and useful at both academics and industrial level. The need, reasoning and benefits of the integrated approach are discussed. The resultant formal models are analyzed and validated using Z/Eves tool.
文摘A fuzzy clustering analysis model based on the quotient space is proposed. Firstly, the conversion from coarse to fine granularity and the hierarchical structure are used to reduce the multidimensional samples. Secondly, the fuzzy compatibility relation matrix of the model is converted into fuzzy equivalence relation matrix. Finally, the diagram of clustering genealogy is generated according to the fuzzy equivalence relation matrix, which enables the dynamic selection of different thresholds to effectively solve the problem of cluster analysis of the samples with multi-dimensional attributes.
文摘For the unfolding of equivariant bifurcation problems with two types of state variables in the presence of parameter symmetry,the versal unfolding theorem with respect to left-right equivalence is obtained by using the related methods and techniques in the singularity theory of smooth map-germs.The corresponding results in[4,9]can be considered as its special cases.A relationship between the versal unfolding w.r.t.left-right equivalence and the versal deformation w.r.t.contact equivalence is established.
基金Supported by National Natural Science Foundation of China(Grant Nos.11872320 and 12072294)
文摘Although there are methods for testing the stress-strain relation and strength,which are the most fundamental and important properties of metallic materials,their application to small-volume materials and tube components is lim-ited.In this study,based on energy density equivalence,a new dimensionless elastoplastic load-displacement model for compressed metal rings with isotropy and constitutive power law is proposed to describe the relations among the geometric dimensions,Hollomon law parameters,load,and displacement.Furthermore,a novel test method was developed to determine the elastic modulus,stress-strain relation,yield and tensile strength via ring compression test.The universality and accuracy of the method were verified within a wide range of imaginary materials using finite element analysis(FEA),and the results show that the stress-strain curves obtained by this method are consistent with those inputted in the FEA program.Additionally,a series of ring compression tests were performed for seven metallic materials.It was found that the stress-strain curves and mechanical properties predicted by the method agreed with the uniaxial tensile results.With its low material consumption,the ring compression test has the potential to be as an alternative to traditional tensile test when direct tension method is limited.
基金supported by the National Key Scientific Instruments to Develop Dedicated(Nos.2013YQ090811 and 2016YFF0103800)
文摘Since the room-temperature detector CdZnTe(CZT) has advantages in terms of detection efficiency,energy resolution, and size, it has been extensively used to detect X-rays and gamma-rays. So far, nuclear radiation detectors such as cerium chloride doped with lanthanum bromide(LaBr_3(Ce)), thallium doped with cesium iodide(sI(Tl)), thallium doped with sodium iodide(NaI(Tl)),and high-purity germanium(HPGe) primarily use the spectroscopy-dose rate function(G(E)) to achieve the accurate measurement of air kerma rate(K_a) and ambient dose equivalent rate(H*(10)). However, the spectroscopy-dose rate function has been rarely measured for a CZT detector. In this study, we performed spectrum measurement using a hemispherical CZT detector in a radiation protection standards laboratory. The spectroscopy-dose rate function G(E) of the CZT detector was calculated using the least-squares method combined with the standard dose rate at the measurement position. The results showed that the hemispherical CZT detector could complete the measurement of air kerma rate(K_a) and ambient dose equivalent rate(H*(10)) by using the G(E) function at energies between 48 keV and 1.25 MeV, and the relative intrinsic errors were, respectively, controlled within ± 2. 3 and ± 2. 1%.
基金Science Foundation (20070105) for Young Teachers of Northeast Normal University
文摘The strong contact finite determinacy of relative map germs is studied by means of classical singularity theory. We first give the definition of a strong relative contact equivalence (or KS,T equivalence) and then prove two theorems which can be used to distinguish the contact finite determinacy of relative map germs, that is, f is finite determined relative to KS,T if and only if there exists a positive integer k, such that M^5(n)ε(S;n)p ∩→ TKs,T(f).
文摘This note explores the relations between two different methods. The first one is the Alternating Least Squares (ALS) method for calculating a rank<em>-k</em> approximation of a real <em>m</em>×<em>n</em> matrix, <em>A</em>. This method has important applications in nonnegative matrix factorizations, in matrix completion problems, and in tensor approximations. The second method is called Orthogonal Iterations. Other names of this method are Subspace Iterations, Simultaneous Iterations, and block-Power method. Given a real symmetric matrix, <em>G</em>, this method computes<em> k</em> dominant eigenvectors of <em>G</em>. To see the relation between these methods we assume that <em>G </em>=<em> A</em><sup>T</sup> <em>A</em>. It is shown that in this case the two methods generate the same sequence of subspaces, and the same sequence of low-rank approximations. This equivalence provides new insight into the convergence properties of both methods.
文摘Realizing the physical reality of ‘tHooft’s self similar and dimensionaly regularized fractal-like spacetime as well as being inspired by a note worthy anecdote involving the great mathematician of Alexandria, Pythagoras and the larger than life man of theoretical physics Einstein, we utilize some deep mathematical connections between equivalence classes of equivalence relations and E-infinity theory quotient space. We started from the basic principles of self similarity which came to prominence in science with the advent of the modern theory of nonlinear dynamical systems, deterministic chaos and fractals. This fundamental logico-mathematical thread related to partially ordered sets is then applied to show how the classical Newton’s kinetic energy E = 1/2mv<sup>2</sup> leads to Einstein’s celebrated maximal energy equation E = mc<sup>2</sup> and how in turn this can be dissected into the ordinary energy density E(O) = mc<sup>2</sup>/22 and the dark energy density E(D) = mc<sup>2</sup>(21/22) of the cosmos where m is the mass;v is the velocity and c is the speed of light. The important role of the exceptional Lie symmetry groups and ‘tHooft-Veltman-Wilson dimensional regularization in fractal spacetime played in the above is also highlighted. The author hopes that the unusual character of the analysis and presentation of the present work may be taken in a positive vein as seriously attempting to propose a different and new way of doing theoretical physics by treating number theory, set theory, group theory, experimental physics as well as conventional theoretical physics on the same footing and letting all these diverse tools lead us to the answer of fundamental questions without fear of being labelled in one way or another.
文摘Equivalence in translation was first put forward by Firth. It has been the nuclear topic of translation studies in western countries."Functional equivalence", Eugene Nida's key notion of translation theories, advocated the receptor-oriented translation standard. Through the contrastive study between Xi Youji and its English version Journey to the West, the content focuses on the translation of the verbal predicates and aims at studying the application of transitivity theory into Chinese-English translation and finding out the improved translations of Chinese and English examples of different processes. Due to limited article, this paper only discusses three of six processes in the concrete context and provides new translations for the questioned ones. Finally, the last part summarizes that the functional equivalence can be achieved when verbs referring to process of action share the same semantic attribute with the Chinese originals, so the English version of Xi Youji should be further perfected according to transitivity theory.
基金Supported by the National Natural Science Foundation of China under Grant Nos. 10975047 and 10979008
文摘At the CERN large hadron collider (LHC), production of the Higgs boson in association with Z or W bosons provides a dramatic experimental signal for detecting the standard model (SM) Higgs boson. In this paper, we consider the contributions of the left-right twin Higgs (LRTH) model to the processes qq' --~ Z(W)H. Our numerical results show that, in the favorable parameter spaces, the cross sections deviate distinctly from the predictions of the SM. The possible signals of the LRTH model can be detected via these processes at the LHC experiments.
基金Supported by the State Key Program of National Natural Science Foundation of China (No. 50938008)the Fundamental Research Funds for Central Universities (No. 2012JBM077)
文摘In order to give the reasonable width of seismic gaps to prevent the structural pounding during ground motions,the maximum relative displacement of adjacent structures is studied in this paper.The factors that may have effects on the maximum relative displacement are discussed.As for multi-degree-of-freedom(MDOF) systems,they can be equivalent to single-degree-of-freedom(SDOF) systems with the influences of high modes neglected.The results show that the period ratio,height ratio and peak ground acceleration are the main factors that have great effects on the maximum relative displacement of adjacent structures.The maximum relative displacement of MDOF systems can be obtained from calculating the maximum relative displacement of the equivalent SDOF systems.
基金supported by the National Natural Science Foundation of China(Nos.12172012 and 11802005)。
文摘Curved-beams can be used to design modular multistable metamaterials(MMMs)with reprogrammable material properties,i.e.,programmable curved-beam periodic structure(PCBPS),which is promising for controlling the elastic wave propagation.The PCBPS is theoretically equivalent to a spring-oscillator system to investigate the mechanism of bandgap,analyze the wave propagation mechanisms,and further form its geometrical and physical criteria for tuning the elastic wave propagation.With the equivalent model,we calculate the analytical solutions of the dispersion relations to demonstrate its adjustability,and investigate the wave propagation characteristics through the PCBPS.To validate the equivalent system,the finite element method(FEM)is employed.It is revealed that the bandgaps of the PCBPS can be turned on-and-off and shifted by varying its physical and geometrical characteristics.The findings are highly promising for advancing the practical application of periodic structures in wave insulation and propagation control.
基金the Natural Science Found of Henan Province (No.0511010200)the Doctoral Fund of Henan Polytechnic University (No.2009A110007)the Natural Science Research Project for Education Department of Henan Province (No.2009A110007)
文摘Let Tx be the full transformation semigroup on a set X. For a non-trivial equivalence F on X, letTF(X) = {f ∈ Tx : arbieary (x, y) ∈ F, (f(x),f(y)) ∈ F}.Then TF(X) is a subsemigroup of Tx. Let E be another equivalence on X and TFE(X) = TF(X) ∩ TE(X). In this paper, under the assumption that the two equivalences F and E are comparable and E lohtain in F, we describe the regular elements and characterize Green's relations for the semigroup TFE(X).