• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2003년도 춘계학술대회 논문집
• /
• pp.547-552
• /
• 2003

In mold machining, there are many concave machining regions where chatter and tool deflection occur since MRR (material removal rate) increases as curvature increases even though cutting speed and depth of cut are constant. Boolean operation between stock and tool model is widely used to compute MRR in NC milling simulation. In finish cutting, the side step is reduced to about 0.3mm and tool path length is sometimes over 300m. so Boolean operation takes long computation time and includes much error if the resolution of stock and tool model is larger than the side step. In this paper, curvature of CL(cutter location) surface and side step of tool path is used to compute the feedrate for constant MRR machining. The data structure of CL surface is Z-map generated from NC tool path. The algorithm to get local curvature from discrete data was developed and applied to compute local curvature of CL surface. The side step of tool path was computed by point density map which includes cutter location point density at each grid element. The feedrate computed from curvature and side step is inserted to new tool path to regulate MRR. The resultants wire applied to feedrate optimization system which generates new tool path with feedrate from NC codes for finish cutting. The system was applied to speaker mold machining. The finishing time was reduced to 12.6%. tool wear was reduced from 2mm to 1.1mm and chatter marks and over cut on corner were removed.

• 소성∙가공
• /
• 제16권7호
• /
• pp.555-560
• /
• 2007

This paper shows some achievements at bending of extruded aluminum profiles during the extrusion process. The conventional process for the production of bent profiles involves a successive extrusion, stretching, and bending of the profiles. Conventional bending methods can not meet demands far precision and cost-effective production in some cases, due to cross sectional deformation, irregular decrease of tube wall thickness and a complication of the process design. An estimation of spring-back required for precision of the bending radius can not always be achieved by the over bending of the profile. Since the profile is hot during the bending process, the spring-back phenomenon can be avoided. This means that an additional bending process is not necessary. Consequently, flexible bending can be achieved with cost reduction and quality improvement. Experimental tests were completed to study the relationship between curvature radius of profile and position of guide on the extrusion for vehicle bumper. A7108 is applied as a billet material in order to increase strength. The overall correlation between the experimental and numerical results is good. It is therefore concluded that the present method provides an efficient means for the constant curvature extrusion process.

• 대한수학회지
• /
• 제55권6호
• /
• pp.1359-1380
• /
• 2018

In this paper, we prove that if a metric measure space satisfies the volume doubling condition and the Hardy type inequality with the same exponent n ($n{\geq}3$), then it has exactly the n-dimensional volume growth. Besides, three interesting applications of this fact have also been given. The first one is that we prove that complete noncompact smooth metric measure space with non-negative weighted Ricci curvature on which the Hardy type inequality holds with the best constant are isometric to the Euclidean space with the same dimension. The second one is that we show that if a complete n-dimensional Finsler manifold of nonnegative n-Ricci curvature satisfies the Hardy type inequality with the best constant, then its flag curvature is identically zero. The last one is an interesting rigidity result, that is, we prove that if a complete n-dimensional Berwald space of non-negative n-Ricci curvature satisfies the Hardy type inequality with the best constant, then it is isometric to the Minkowski space of dimension n.

• 한국수학사학회지
• /
• 제11권1호
• /
• pp.42-46
• /
• 1998

Using Fermi coordinates and the principle curvature on the tubula hypersurfaces, we characterize space of constant sectional curvature by analysing the shape operator on the tubular hypersurfaces.

• 대한수학회지
• /
• 제41권5호
• /
• pp.795-808
• /
• 2004

In this article, we establish sharp relations between the sectional curvature and the shape operator and also between the k-Ricci curvature and the shape operator for a totally real submanifold in a locally conformal Kaehler space form of constant holomorphic sectional curvature with arbitrary codimension. mean curvature, sectional curvature, shape operator, k-Ricci curvature, locally conformal Kaehler space form, totally real submanifold.

• 대한수학회보
• /
• 제50권3호
• /
• pp.867-871
• /
• 2013

It has been conjectured that, on a compact 3-dimensional orientable manifold, a critical point of the total scalar curvature restricted to the space of constant scalar curvature metrics of unit volume is Einstein. In this paper we prove this conjecture under a condition that ker $s^{\prime}^*_g{\neq}0$, which generalizes the previous partial results.

• 대한수학회지
• /
• 제61권1호
• /
• pp.149-160
• /
• 2024

In this paper, we study the unicorn's Landsberg problem from an intrinsic point of view. Precisely, we investigate a coordinate-free proof of Numata's theorem on Landsberg spaces of scalar curvature. In other words, following the pullback approach to Finsler geometry, we prove that all Landsberg spaces of dimension n ≥ 3 of non-zero scalar curvature are Riemannian spaces of constant curvature.

• 호남수학학술지
• /
• 제38권3호
• /
• pp.593-611
• /
• 2016

This paper is concerned with the classifications of quadric surfaces of first and second kinds in Euclidean 3-space satisfying the Jacobi condition with respect to their curvatures, the Gaussian curvature K, the mean curvature H, second mean curvature $H_{II}$ and second Gaussian curvature $K_{II}$. Also, we study the zero and non-zero constant curvatures of these surfaces. Furthermore, we investigated the (A, B)-Weingarten, (A, B)-linear Weingarten as well as some special ($C^2$, K) and $(C^2,\;K{\sqrt{K}})$-nonlinear Weingarten quadric surfaces in $E^3$, where $A{\neq}B$, A, $B{\in}{K,H,H_{II},K_{II}}$ and $C{\in}{H,H_{II},K_{II}}$. Finally, some important new lemmas are presented.

• 에너지공학
• /
• 제8권2호
• /
• pp.293-297
• /
• 1999

Direct comparisons are made between curvature-corrected eddy viscosity models and the present experimental data. The results show that the curvature effects can be quantified through a curvature parameter R$\sub$c/ or S$\sub$c/ and a non-equilibrium value of p/$\varepsilon$. The data reveal a significant dependence of the eddy viscosity on the curvature and strain history for a fluid in a stabilizing curvature field, S$\sub$c/>1.0. Especially, experimental result shows that the eddy viscosity coefficient ratio at S$\sub$c/=3 changes from 10 to -10 although shear rate preserved constant. It is therefore suggested that proper curvature modifications, particularly the strain history effect, must be introduced into current eddy viscosity models for their application to turbulent flows subjected to curvature straining field for a non-negligible period of time.

• 호남수학학술지
• /
• 제31권3호
• /
• pp.381-398
• /
• 2009

Let $G\;=\;O(k){\times}O(k){\times}O(q)$ and let $M^n$ be a closed G-invariant minimal hypersurface with constant scalar curvature in $S^{n+1}$. Then we obtain a theorem: If $M^n$ has 2 distinct principal curvatures at some point p, then the square norm of the second fundamental form of $M^n$, S = n.