This study presents a numerical analysis of three-dimensional steady laminar flow in a rectangular channel with a 180-degree sharp turn. The Navier-Stokes equations are solved by using finite difference method for Re ...This study presents a numerical analysis of three-dimensional steady laminar flow in a rectangular channel with a 180-degree sharp turn. The Navier-Stokes equations are solved by using finite difference method for Re = 900. Three-dimensional streamlines and limiting streamlines on wall surface are used to analyze the three-dimensional flow characteristics. Topological theory is applied to limiting streamlines on inner walls of the channel and two-dimensional streamlines at several cross sections. It is also shown that the flow impinges on the end wall of turn and the secondary flow is induced by the curvature in the sharp turn.展开更多
Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership de...Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.展开更多
The main purpose of this paper is devoted to generalizing the results of Browder[1,2]This paper consists of four parts. In the first part, we introduce the concepts of multivalued (S) and (S), type mappings and the co...The main purpose of this paper is devoted to generalizing the results of Browder[1,2]This paper consists of four parts. In the first part, we introduce the concepts of multivalued (S) and (S), type mappings and the concepts of the limits of multivalued (S) and (S) + type mappings. These kinds of mappings contain many monotone type mappings, such as maximal monotone mapping, bounded pseudo-monotone mapping and bounded generalized pseudo-monotone mapping, as its special cases. In the second part we define the pseudo-degree for (S) type mapping and the degree for (S)+ type mapping. These two kinds of degrees are all the generalizations of the degree defined by Browder[1,2] As applications, we utilize the degree theory presented in part 2 to study the existence of solutions for the multivalued operator equations (see part 3) and to obtain some new fixed point theorems in part 4.展开更多
Based on analyzing actual cases and referring to other discourses, this discourse analyzes the happiness of teachers in non-governmental funded universities from three perspectives： the subjectivity of ＂happiness＂,...Based on analyzing actual cases and referring to other discourses, this discourse analyzes the happiness of teachers in non-governmental funded universities from three perspectives： the subjectivity of ＂happiness＂, psychological condition and the influence of career. As a result, this discourse can find tools for evaluating happiness and use them to evaluate the degree of happiness in non-governmental funded universities.展开更多
The characteristics of novel cone-generated cylindrical worm and the machining princi- ple of using a grinding wheel with two degree-of-freedom motions are described. A systematic study is made on the first enveloping...The characteristics of novel cone-generated cylindrical worm and the machining princi- ple of using a grinding wheel with two degree-of-freedom motions are described. A systematic study is made on the first enveloping process of the grinding wheel forming a worm and the second enveloping process of the worm forming a worm wheel with the meshing theory of kinematic method. Some numerical calculation formulas and important conclusions are obtained.展开更多
Based on a recently formulated unified theory of coherence and polarization, a method is described to study turbulence-induced changes in the polarization, the coherence and the spectrum of partially coherent electrom...Based on a recently formulated unified theory of coherence and polarization, a method is described to study turbulence-induced changes in the polarization, the coherence and the spectrum of partially coherent electromagnetic beams on propagation. The electromagnetic Gaussian Schell-model beam is taken as a typical example of partially coherent electromagnetic beams, and the closed-form expressions for the degree of polarization, the degree of coherence and the spectrum of electromagnetic Gaussian Schell-model beams propagating through atmospheric turbulence are derived in the quadratic approximation of Rytov＇s phase structure function. Some interesting results are obtained, which are illustrated by numerical examples and are explained in physics.展开更多
Strict proof has been given to single valley character of level degree function by use of convex analysis theory, which provides reliable theoretical basis for the optimization of the data processing with respect to l...Strict proof has been given to single valley character of level degree function by use of convex analysis theory, which provides reliable theoretical basis for the optimization of the data processing with respect to level degree. As circle degree and cylindrical degree have the same mathematical structures, their single valley character can be proved by the same method.展开更多
This paper deals with a class of <em>n</em>-degree polynomial differential equations. By the fixed point theorem and mathematical analysis techniques, the existence of one (<em>n</em> is an odd...This paper deals with a class of <em>n</em>-degree polynomial differential equations. By the fixed point theorem and mathematical analysis techniques, the existence of one (<em>n</em> is an odd number) or two (<em>n</em> is an even number) periodic solutions of the equation is obtained. These conclusions have certain application value for judging the existence of periodic solutions of polynomial differential equations with only one higher-order term.展开更多
文摘This study presents a numerical analysis of three-dimensional steady laminar flow in a rectangular channel with a 180-degree sharp turn. The Navier-Stokes equations are solved by using finite difference method for Re = 900. Three-dimensional streamlines and limiting streamlines on wall surface are used to analyze the three-dimensional flow characteristics. Topological theory is applied to limiting streamlines on inner walls of the channel and two-dimensional streamlines at several cross sections. It is also shown that the flow impinges on the end wall of turn and the secondary flow is induced by the curvature in the sharp turn.
文摘Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.
文摘The main purpose of this paper is devoted to generalizing the results of Browder[1,2]This paper consists of four parts. In the first part, we introduce the concepts of multivalued (S) and (S), type mappings and the concepts of the limits of multivalued (S) and (S) + type mappings. These kinds of mappings contain many monotone type mappings, such as maximal monotone mapping, bounded pseudo-monotone mapping and bounded generalized pseudo-monotone mapping, as its special cases. In the second part we define the pseudo-degree for (S) type mapping and the degree for (S)+ type mapping. These two kinds of degrees are all the generalizations of the degree defined by Browder[1,2] As applications, we utilize the degree theory presented in part 2 to study the existence of solutions for the multivalued operator equations (see part 3) and to obtain some new fixed point theorems in part 4.
文摘Based on analyzing actual cases and referring to other discourses, this discourse analyzes the happiness of teachers in non-governmental funded universities from three perspectives： the subjectivity of ＂happiness＂, psychological condition and the influence of career. As a result, this discourse can find tools for evaluating happiness and use them to evaluate the degree of happiness in non-governmental funded universities.
文摘The characteristics of novel cone-generated cylindrical worm and the machining princi- ple of using a grinding wheel with two degree-of-freedom motions are described. A systematic study is made on the first enveloping process of the grinding wheel forming a worm and the second enveloping process of the worm forming a worm wheel with the meshing theory of kinematic method. Some numerical calculation formulas and important conclusions are obtained.
基金supported by the National Natural Science Foundation of China (Grant No. 60778048)
文摘Based on a recently formulated unified theory of coherence and polarization, a method is described to study turbulence-induced changes in the polarization, the coherence and the spectrum of partially coherent electromagnetic beams on propagation. The electromagnetic Gaussian Schell-model beam is taken as a typical example of partially coherent electromagnetic beams, and the closed-form expressions for the degree of polarization, the degree of coherence and the spectrum of electromagnetic Gaussian Schell-model beams propagating through atmospheric turbulence are derived in the quadratic approximation of Rytov＇s phase structure function. Some interesting results are obtained, which are illustrated by numerical examples and are explained in physics.
文摘Strict proof has been given to single valley character of level degree function by use of convex analysis theory, which provides reliable theoretical basis for the optimization of the data processing with respect to level degree. As circle degree and cylindrical degree have the same mathematical structures, their single valley character can be proved by the same method.
文摘This paper deals with a class of <em>n</em>-degree polynomial differential equations. By the fixed point theorem and mathematical analysis techniques, the existence of one (<em>n</em> is an odd number) or two (<em>n</em> is an even number) periodic solutions of the equation is obtained. These conclusions have certain application value for judging the existence of periodic solutions of polynomial differential equations with only one higher-order term.
