• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2004년도 춘계 학술대회논문집
• /
• pp.35-41
• /
• 2004

A numerical investigation has been made for flows in an axisymmetric circular cylinder with a rotating cone located at the bottom of the container. The axisymmetric container is completely filled with a viscous fluid. Major parameter for the present research is the vertex angle of the cone, otherwise Reynolds number of fluid and aspect ratio of the vessel is fixed. Main interest is in vortex breakdown of meridional circulation by rotation of the cone with respect to the longitudinal axis of the cylinder. The method to this problem is numerically to integrate momentum and continuity equations on a generalized body fitted grid system. The pattern of vortex breakdown is quite different from that in a right circular cylinder with flat end wall disks. Flow visualization photographs of a preceeding work are compared with the present numerical results.

• 대한수학회보
• /
• 제34권2호
• /
• pp.273-285
• /
• 1997

The aim of this paper is to present theorems on the exitence of zeros for mappings defined on convex subsets of topological vector spaces with values in a vector space. In addition to natural assumptions of continuity, convexity, and compactness, the mappings are subject to some geometric conditions. In the first theorem, the mapping satisfies a "Darboux-type" property expressed in terms of an auxiliary numerical function. Typically, this functions is, in this case, related to an order structure on the target space. We derive an existence theorem for "obtuse" quasiconvex mappings with values in an ordered vector space. In the second theorem, we prove the existence of a "common zero" for an arbitrary (not necessarily countable) family of mappings satisfying a general "inwardness" condition againg expressed in terms of numerical functions (these numerical functions could be duality pairings (more generally, bilinear forms)). Our inwardness condition encompasses classical inwardness conditions of Leray-Schauder, Altman, or Bergman-Halpern types.

• 호남수학학술지
• /
• 제30권4호
• /
• pp.589-602
• /
• 2008

As a survey-type article, the paper reviews various digital topological utilities from digital covering theory. Digital covering theory has strongly contributed to the calculation of the digital k-fundamental group of both a digital space(a set with k-adjacency or digital k-graph) and a digital product. Furthermore, it has been used in classifying digital spaces, establishing almost Van Kampen theory which is the digital version of van Kampen theorem in algebrate topology, developing the generalized universal covering property, and so forth. Finally, we remark on the digital k-surface structure of a Cartesian product of two simple closed $k_i$-curves in ${\mathbf{Z}}^n$, $i{\in}{1,2}$.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2011년 춘계학술대회논문집
• /
• pp.6-9
• /
• 2011

In this study, the two-phase incompressible flow in two-dimensional channel considering the effect of surface tension is simulated using an improved level-set method. Quadratic element is used for solving the continuity and Navier-Stokes equations to avoid using an additional pressure equation, and Crank-Nicholson scheme and linear element are used for solving the advection equation of the level set function. Direct approach method using geometric information is implemented instead of the hyperbolic-type partial differential equation for the reinitializing the level set function. The benchmark test case considers various arrays of defomable droplets under different flow conditions in straight channel. The deformation and migration of the droplets are computed and the results are compared very well with the existing studies.

• 한국기계가공학회지
• /
• 제19권7호
• /
• pp.35-40
• /
• 2020

This work is concerned with various planar deformations of an isotropic sandwich beam, which generally consists of three layers: two stiff skin layers and one soft core layer. When one layer of the sandwich beam is modeled as a beam, the variational-asymptotic method is rigorously used to construct a zeroth-order beam model, which is similar to a generalized Timoshenko beam model capable of capturing the transverse shear deformations but still carries out the zeroth-order approximation. To analyze the planar sandwich beam, the sum of the energies of the two skin layers and one core layer is then formulated with different material and geometric properties and represented by a universal beam model in terms of the core-layer kinematics through interface displacement and stress continuity conditions. As a preliminary validation, two extreme examples are presented to demonstrate the capability and accuracy of this present approach.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2007년도 춘계 학술대회논문집
• /
• pp.95-98
• /
• 2007

A general purpose program NUFLEX has been extended for two-phase flows with topologically complex interface and cavitation flows with liquid-vapor phase change caused by large pressure drop. In analysis of two-phase flow, the phase interfaces are tracked by employing a LS(Level Set) method. Compared with the VOF(Volume-of-Fluid} method based on a non-smooth volume-fraction function, the LS method can calculate an interfacial curvature more accurately by using a smooth distance function. Also, it is quite straightforward to implement for 3-D irregular meshes compared with the VOF method requiring much more complicated geometric calculations. Also, the cavitation process is computed by including the effects of evaporation and condensation for bubble formation and collapse as well as turbulence in flows. The volume-faction and continuity equations are adapted for cavitation models with phase change. The LS and cavitation formulation are implemented into a general purpose program for 3-D flows and verified through several test problems.

• 한국전기전자재료학회:학술대회논문집
• /
• 한국전기전자재료학회 1994년도 추계학술대회 논문집
• /
• pp.40-45
• /
• 1994

The TCAD(Technology Computer Aided Design) software tool is a popular name to be able to simulate the semiconductor process and device circuit. We have developed a two-dimensional TCAD software tool included an editor, parser, each process unit, and 2D, 3D graphic routine that is Integrated Environment. The initial grid for numerical analysis is automatically generated with the geometric series that use the user default(given) line and position separated with grid interval and the nodes corresponding to each mesh point stoic the all the possible attribute. Also, we made a data structure called PIF for input or output. Methods of ion implantation in this paper arc Monte Carlo, Gaussian Pearson and Dual-Pearson. Analytical model such as Gaussian, Pearson and Dual-Pearson were considered the multilayer structure and two-dimensional tilted implantation. We simuttaneously calculated the continuity equation of impurity and point defect in diffusion simulation. Oxidation process was simulated by analytical ERFC(Complementary Error Function) model for local oxidation.

• Structural Engineering and Mechanics
• /
• 제25권6호
• /
• pp.753-765
• /
• 2007

The response histories and distribution of dynamic interlaminar stresses in composite laminated plates under free vibration and thermal load is studied based on a thermoelastodynamic differential equations. The stacking sequence of the laminated plates may be arbitrary. The temperature change is considered as a linear function of coordinates in planes of each layer. The dynamic mode of displacements is considered as triangle series. The in-plane stresses are calculated by using geometric equations and generalized Hooke's law. The interlaminar stresses are evaluated by integrating the 3-D equations of equilibrium, and utilizing given boundary conditions and continuity conditions of stresses between layers. The response histories and distribution of interlaminar stress under thermal load are presented for various vibration modes and stacking sequence. The theoretical analyses and results are of certain significance in practical engineering application.

• 한국초등수학교육학회지
• /
• 제11권1호
• /
• pp.81-98
• /
• 2007

현재 초등학교 학생들은 도형 영역을 어려워하고 있으며, 학교 수학에서 배운 도형 관련 지식을 실제 생활에 잘 적용시키지 못하고 있다. 도형의 성질을 제대로 알지 못하거나 도형 사이의 포함관계를 이해하지 못하며, 전형적인 예에서 조금만 벗어나면 무슨 도형인지 알아채지 못하는 학생들이 많이 있다. 이에 본 연구에서는 학생들이 수학의 기하적 개념들을 쉽고 재미있게 학습할 수 있도록 하기 위하여 van Hiele의 이론을 바탕으로 하여 GSP를 활용할 수 있도록 교과서를 재구성하였다. 또한 재구성한 교과서가 실제 학생들의 van Hiele 수준 상승에 어떤 효과가 있는지 살펴보고, 초등학교 도형 학습에 GSP가 활발히 활용될 수 있는 계기를 마련하는데 목적이 있다.

• Structural Engineering and Mechanics
• /
• 제68권5호
• /
• pp.603-619
• /
• 2018

In this research, an effective computational technique is carried out for nonlinear and post-buckling analyses of cracked imperfect composite plates. The laminated plates are assumed to be moderately thick so that the analysis can be carried out based on the first-order shear deformation theory. Geometric non-linearity is introduced in the way of von-Karman assumptions for the strain-displacement equations. The Ritz technique is applied using Legendre polynomials for the primary variable approximations. The crack is modeled by partitioning the entire domain of the plates into several sub-plates and therefore the plate decomposition technique is implemented in this research. The penalty technique is used for imposing the interface continuity between the sub-plates. Different out-of-plane essential boundary conditions such as clamp, simply support or free conditions will be assumed in this research by defining the relevant displacement functions. For in-plane boundary conditions, lateral expansions of the unloaded edges are completely free while the loaded edges are assumed to move straight but restricted to move laterally. With the formulation presented here, the plates can be subjected to biaxial compressive loads, therefore a sensitivity analysis is performed with respect to the applied load direction, along the parallel or perpendicular to the crack axis. The integrals of potential energy are numerically computed using Gauss-Lobatto quadrature formulas to get adequate accuracy. Then, the obtained non-linear system of equations is solved by the Newton-Raphson method. Finally, the results are presented to show the influence of crack length, various locations of crack, load direction, boundary conditions and different values of initial imperfection on nonlinear and post-buckling behavior of laminates.