• 한국전산유체공학회:학술대회논문집
• /
• 1995.10a
• /
• pp.154-159
• /
• 1995

Numerical optimization technique with Navier-Stokes code has been used to reduce the drag of conventional ogival nose. Forebody optimizations are performed for supersonic laminar and turbulent flow conditions. To alleviate the computing time of aerodynamic drag calculation, axisymmetric boundary condition is implemented in the 3-dimensional Navier-Stokes code. The automated optimization procedure with gradient based method results in a drag reduction of $4\;\%$.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.33 no.1
• /
• pp.1-26
• /
• 2009

Cylindrical shells of isotropic and composite laminated materials are being used many engineering applications. This paper reviews the literature focusing on various aspects of shell research. The aspects of research receiving interest here are the cylindrical theory being used, the stress, buckling analysis and the impact analysis. The vibration analyses and stiffening characteristics of the cylindrical shell are investigated. The design optimizations of the cylindrical shell are reviewed. The studies on the conical and spherical shell are also reviewed. This review aticles contain 236 referencees.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2000.06a
• /
• pp.479-484
• /
• 2000

The topology optimization of electromagnetic systems is investigated and the TOPEM (Topology Optimization for Electromagnetic Systems) is developed using the finite element method (FEM). The design sensitivity equation for topology optimization is derived using the adjoint variable method. The proposed method is validated by applying it to the topology optimizations of a C-core actuator and an optical pickup actuator.

• Proceedings of the Korean Powder Metallurgy Institute Conference
• /
• 2006.09a
• /
• pp.231-232
• /
• 2006

Aluminum Alloys with a content of 22 wt.-% $Mg_2Si$ were spray formed. This alloy features by a low density and is therefore a superior material for leightweight applications. The main problem in spray forming of this type of alloy was the occurance of high porosities. First process optimizations have been performed to decrease porosity under a certain level, so that it can be closed by an extrusion process

• Communications of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.603-614
• /
• 2019

In the present paper, we derive two optimal inequalities for totally real submanifolds and C-totally real submanifolds of LCS-manifolds with respect to Levi-Civita connection and quarter symmetric metric connection by using T. Oprea's optimization method.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.1
• /
• pp.62-66
• /
• 2009

Recently developed compilers perform some optimizations in order to speed up the execution time of source program. These optimizations require the transformation of the sequence of program statements. This transformation does not give any problems in a single-threaded program. However, the transformation gives some significant errors in a multi-threaded program. State-of-the-art model checkers such as Java-Pathfinder do not consider the transformation resulted in the optimization step in a compiler since they just consider a single memory model. In this paper, we describe a new technique which is based on SMT solver. The Java Memory Model Simulator based on SMT Solver can compute all possible output of given multi-thread program within one second which, in contrast, Traditional Java Memory Model Simulator takes one minute.

• Bulletin of the Korean Chemical Society
• /
• v.32 no.1
• /
• pp.277-280
• /
• 2011

We studied the relative stability and atomic structure of five $C_{20}^{2+}$ isomers obtained by two-electron ionization of a $C_{20}$ cage (the smallest fullerene). All the isomers are bond-stretch isomers, i.e., they differ in bond length. In particular, in one of the isomers with Ih symmetry, all the bond lengths are equal. Full geometry optimizations of the dipositive ion $C_{20}^{2+}$ were performed using the hybrid density functional (B3LYP/6-31G(d)) methods. All isomers were found to be true minima by frequency analysis at the level of B3LYP/6-31G(d) under the reinforced tight convergence criterion and a pruned (99,590) grid. The zero-point correction energy for the cage bond-stretch isomers was in the increasing order $D_{2h}<C_{2h}<C_2<T_h<I_h$ of $C_{20}^{2+}$. The energy difference among the isomers of cage dipositive ions was less than that among neutral cage isomers. Our results suggest that these isomers show bond-stretch isomerism and that they have an identical spin state and an identical potential energy curve. Although the predominant electronic configurations of the isomers are similar, the frontier orbital characteristics are different, implying that we could anticipate an entirely different set of characteristic chemical reactions for each type of HOMO and LUMO.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.8
• /
• pp.421-431
• /
• 2004

This paper presents adaptive execution techniques that determine whether parallelized loops are executed in parallel or sequentially in order to maximize performance. The adaptation and performance estimation algorithms are implemented in a compiler preprocessor. The preprocessor inserts code that automatically determines at compile-time or at run-time the way the parallelized loops are executed. Using a set of standard numerical applications written in Fortran77 and running them with our techniques on a distributed shared memory multiprocessor machine (SGI Origin2000), we obtain the performance of our techniques, on average, 26%, 20%, 16%, and 10% faster than the original parallel program on 32, 16, 8, and 4 processors, respectively. One of the applications runs even more than twice faster than its original parallel version on 32 processors.

• The KIPS Transactions:PartD
• /
• v.15D no.1
• /
• pp.99-106
• /
• 2008

Recently developed compilers perform some optimizations in order to speed up the execution time of source program. These optimizations require the reordering of the sequence of program statements. This reordering does not give any problems in a single-threaded program. However, the reordering gives some significant errors in a multi-threaded program. State-of-the-art model checkers such as JavaPathfinder do not consider the reordering resulted in the optimization step in a compiler since they just consider a single memory model. In this paper, we develop a new verification tool to verify Java source program based on Java Memory Model. And our tool is capable of handling the reordering in verifying Java programs. As a result, our tool finds an error in the test program which is not revealed with the traditional model checker JavaPathFinder.

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• v.11B no.3
• /
• pp.81-85
• /
• 2001

Processes for optimizing the coil shape of deflection yoke are proposed A very accurate and practical winding modeler is developed and volume integral equation method (VIEM) is used for field calculation. Two steps of optimizations are done by using (1+1) evolution strategy. Those are dimensional optimization and pin-position optimization Various techniques are applied for reducing computational time for the optimization.