A brand new direct and adaptive slicing approach is proposed, which canapparently improve the part accuracy and reduce the building time. At least two stages are includedin this operation: getting the crossing contour...A brand new direct and adaptive slicing approach is proposed, which canapparently improve the part accuracy and reduce the building time. At least two stages are includedin this operation: getting the crossing contour of the cutting plane with the solid part anddetermining the layer thickness. Apart from usual SPI algorithm, slicing of the solid model has itsspecial requirements. Enabling the contour line segments of the cross-section as long as possible isone of them, which is for improving manufacturing efficiency and is reached by adaptively adjustingthe step direction and the step size at every crossing point to obtain optimized secant height. Thelayer thickness determination can be divided into two phases: the geometry-based thicknessestimation and the material-based thickness verifying. During the former phase, the geometrytolerance is divided into two parts: a variety of curves are approximated by a circular arc, whichintroduces the first part, and the deviation error between the contour line in LM process and thecircular arc generates the second part. The latter phase is mainly verifying the layer thicknessestimated in the former stage and determining a new one if necessary. In addition, an example usingthis slicing algorithm is also illustrated.展开更多
Based on the Wigner function in local equilibrium, we derive hydrodynamical quantities for a system of polarized spin-1/2 particles: the particle number current density, the energy-momentum tensor, the spin tensor, an...Based on the Wigner function in local equilibrium, we derive hydrodynamical quantities for a system of polarized spin-1/2 particles: the particle number current density, the energy-momentum tensor, the spin tensor, and the dipole moment tensor. Compared with ideal hydrodynamics without spin, additional terms at the first and second orders in the Knudsen number Κ_(n) and the average spin polarization Χ_(s) have been derived. The Wigner function can be expressed in terms of matrix-valued distributions, whose equilibrium forms are characterized by thermodynamical parameters in quantum statistics. The equations of motion for these parameters are derived by conservation laws at the leading and next-to-leading order Κ_(n) and Χ_(s).展开更多
In this paper, we extend the notions of ideal statistically convergence for sequence of fuzzy number. We introduce the notions ideal statistically pre-Cauchy triple sequences of fuzzy number about Orlicz function, and...In this paper, we extend the notions of ideal statistically convergence for sequence of fuzzy number. We introduce the notions ideal statistically pre-Cauchy triple sequences of fuzzy number about Orlicz function, and give some correlation theorem. It is shown that x = {x<sub>ijk</sub>} is ideal statistically pre-Cauchy if and only if <img src="Edit_0f9eaa1e-440b-4bac-8bae-c50bb5e5c244.bmp" alt="" /> D (x<sub>ijk</sub>, x<sub>pqr</sub>) ≥ ε, i ≤ m, j ≤ n, t ≤ k}| ≥ δ} ∈I. At the same time, we have proved x = {x<sub>ijk</sub>} is ideal statistically convergent to x<sub>0</sub> if and only if <img src="Edit_343f4dfc-82c3-4985-aebc-95c52795bb2f.bmp" alt="" />. Also, some properties of these new sequence spaces are investigated.展开更多
The concept of linear tangle was introduced as an obstruction to mixed searching number. The concept of (maximal) single ideal has been introduced as an obstruction to linear-width. Moreover, it was already known that...The concept of linear tangle was introduced as an obstruction to mixed searching number. The concept of (maximal) single ideal has been introduced as an obstruction to linear-width. Moreover, it was already known that mixed search number is equivalent to linear-width. Hence, by combining those results, we obtain a proof of the equivalence between linear tangle and maximal single ideal. This short report gives an alternative proof of the equivalence.展开更多
Mather gave the necessary and suffcient conditions for the ?nite determinacy smooth function germs with no more than codimension 4. The theorem is very effective on determining low codimension smooth function germs. I...Mather gave the necessary and suffcient conditions for the ?nite determinacy smooth function germs with no more than codimension 4. The theorem is very effective on determining low codimension smooth function germs. In this paper, the concept of right equivalent for smooth function germs ring generated by two ideals ?nitely is de?ned. The containment relationships of function germs still satisfy ?nite k-determinacy under suffciently small disturbance which are discussed in orbit tangent spaces. Furthermore, the methods in judging the right equivalency of Arnold function family with codimension 5 are presented.展开更多
In 2000, Kostyrko, Salat, and Wilczynski introduced and studied the concept of I-convergence of sequences in metric spaces where I is an ideal. The concept of I-convergence has a wide application in the field of Numbe...In 2000, Kostyrko, Salat, and Wilczynski introduced and studied the concept of I-convergence of sequences in metric spaces where I is an ideal. The concept of I-convergence has a wide application in the field of Number Theory, trigonometric series, summability theory, probability theory, optimization and approximation theory. In this article we introduce the double sequence spaces and ,for a modulus function f and study some of the properties of these spaces.展开更多
In this study, we define (f, p)-Asymptotically Lacunary Equivalent Sequences with respect to the ideal I using a non-trivial ideal , a lacunary sequence , a strictly positive sequence , and a modulus function f, and o...In this study, we define (f, p)-Asymptotically Lacunary Equivalent Sequences with respect to the ideal I using a non-trivial ideal , a lacunary sequence , a strictly positive sequence , and a modulus function f, and obtain some revelent connections between these notions.展开更多
基金This project is supported by National Natural Science Foundation of China (No.59975015, No.50275018) Doctoral Foundation of Ministry of Edu-cation of China (No.1999014102).
文摘A brand new direct and adaptive slicing approach is proposed, which canapparently improve the part accuracy and reduce the building time. At least two stages are includedin this operation: getting the crossing contour of the cutting plane with the solid part anddetermining the layer thickness. Apart from usual SPI algorithm, slicing of the solid model has itsspecial requirements. Enabling the contour line segments of the cross-section as long as possible isone of them, which is for improving manufacturing efficiency and is reached by adaptively adjustingthe step direction and the step size at every crossing point to obtain optimized secant height. Thelayer thickness determination can be divided into two phases: the geometry-based thicknessestimation and the material-based thickness verifying. During the former phase, the geometrytolerance is divided into two parts: a variety of curves are approximated by a circular arc, whichintroduces the first part, and the deviation error between the contour line in LM process and thecircular arc generates the second part. The latter phase is mainly verifying the layer thicknessestimated in the former stage and determining a new one if necessary. In addition, an example usingthis slicing algorithm is also illustrated.
基金Supported by the National Natural Science Foundation of China (Grant Nos. 11890713, 11890710, 11947301, 11935007, 11221504,11861131009, 11890714, 11890710, and 12047528)the Strategic Priority Research Program of Chinese Academy of Sciences(Grant No. XDB34030102)。
文摘Based on the Wigner function in local equilibrium, we derive hydrodynamical quantities for a system of polarized spin-1/2 particles: the particle number current density, the energy-momentum tensor, the spin tensor, and the dipole moment tensor. Compared with ideal hydrodynamics without spin, additional terms at the first and second orders in the Knudsen number Κ_(n) and the average spin polarization Χ_(s) have been derived. The Wigner function can be expressed in terms of matrix-valued distributions, whose equilibrium forms are characterized by thermodynamical parameters in quantum statistics. The equations of motion for these parameters are derived by conservation laws at the leading and next-to-leading order Κ_(n) and Χ_(s).
文摘In this paper, we extend the notions of ideal statistically convergence for sequence of fuzzy number. We introduce the notions ideal statistically pre-Cauchy triple sequences of fuzzy number about Orlicz function, and give some correlation theorem. It is shown that x = {x<sub>ijk</sub>} is ideal statistically pre-Cauchy if and only if <img src="Edit_0f9eaa1e-440b-4bac-8bae-c50bb5e5c244.bmp" alt="" /> D (x<sub>ijk</sub>, x<sub>pqr</sub>) ≥ ε, i ≤ m, j ≤ n, t ≤ k}| ≥ δ} ∈I. At the same time, we have proved x = {x<sub>ijk</sub>} is ideal statistically convergent to x<sub>0</sub> if and only if <img src="Edit_343f4dfc-82c3-4985-aebc-95c52795bb2f.bmp" alt="" />. Also, some properties of these new sequence spaces are investigated.
文摘The concept of linear tangle was introduced as an obstruction to mixed searching number. The concept of (maximal) single ideal has been introduced as an obstruction to linear-width. Moreover, it was already known that mixed search number is equivalent to linear-width. Hence, by combining those results, we obtain a proof of the equivalence between linear tangle and maximal single ideal. This short report gives an alternative proof of the equivalence.
基金Supported by the National Natural Science Foundation of China(11671070,11501051)NSF of Heilongjiang Province of China(QC2016008)the Project of Science and Technology of Jilin Provincial Education Department(JJKH2090547KJ)
文摘Mather gave the necessary and suffcient conditions for the ?nite determinacy smooth function germs with no more than codimension 4. The theorem is very effective on determining low codimension smooth function germs. In this paper, the concept of right equivalent for smooth function germs ring generated by two ideals ?nitely is de?ned. The containment relationships of function germs still satisfy ?nite k-determinacy under suffciently small disturbance which are discussed in orbit tangent spaces. Furthermore, the methods in judging the right equivalency of Arnold function family with codimension 5 are presented.
文摘In 2000, Kostyrko, Salat, and Wilczynski introduced and studied the concept of I-convergence of sequences in metric spaces where I is an ideal. The concept of I-convergence has a wide application in the field of Number Theory, trigonometric series, summability theory, probability theory, optimization and approximation theory. In this article we introduce the double sequence spaces and ,for a modulus function f and study some of the properties of these spaces.
文摘In this study, we define (f, p)-Asymptotically Lacunary Equivalent Sequences with respect to the ideal I using a non-trivial ideal , a lacunary sequence , a strictly positive sequence , and a modulus function f, and obtain some revelent connections between these notions.
