• 한국전산유체공학회:학술대회논문집
• /
• 2004.03a
• /
• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.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.

• Honam Mathematical Journal
• /
• v.30 no.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.05a
• /
• 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.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.19 no.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.04a
• /
• 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.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 1994.11a
• /
• 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
• /
• v.25 no.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.

• Journal of Elementary Mathematics Education in Korea
• /
• v.11 no.1
• /
• pp.81-98
• /
• 2007

In order to help students learn geometric concepts in mathematics in an easy and interesting way, the present study restructured the textbook so that it utilizes GSP based on van Hiele's theory. In addition, we purposed to examine how effective the restructured textbook is in enhancing students' van Hiele level and to lay a base for the active use of GSP in learning figures in elementary school. In conclusion, the results of this study is expected to solve problems in the structure of the current textbook such as the violation of continuity in van Hiele's theory and inconsistency between the level of textbook contents and students' level through the restructuring of the textbook using GSP and provide helps for effective figure learning. In addition, this research is expected to be an opportunity for the active use of GSP in teaching figures in elementary school.

• Structural Engineering and Mechanics
• /
• v.68 no.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.