• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 하계종합학술대회논문집
• /
• pp.481-484
• /
• 1998

In this study, oxide(TEOS) CMPs were carried out for various head pressures. Table and head speeds are fixed at 25 RPM. Head pressures are 5, 7.5, 10, 12.5 PSI, and under these conditions, 1,587, 1,631, 2,556, 2,871.agns./min of oxide (TEOS) removal rates and 14.7, 18.5, 9.52, 7.9% of uniformities are obtained, respectively. Also, these experiments for local and global planarizations were done using the patterned 4" wafers. These conditions are applicable to STI(shallow trench isolation) structures and planarizations for sub-half micron lithography.aphy.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 1995년도 추계 학술대회논문집
• /
• 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\;\%$.

• 대한기계학회논문집A
• /
• 제33권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.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2000년도 춘계학술대회논문집
• /
• 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.

• 한국분말야금학회:학술대회논문집
• /
• 한국분말야금학회 2006년도 Extended Abstracts of 2006 POWDER METALLURGY World Congress Part 1
• /
• 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

• 대한수학회논문집
• /
• 제34권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.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권1호
• /
• pp.62-66
• /
• 2009

많은 컴파일러는 속도를 높이기 위해서 최적화를 수행한다. 최적화의 결과로 프로그램의 구문이 변경된다. 단일 스레드 소프트웨어에서는 변경된 구문이 영향을 받지 않지만 멀티스레드 소프트웨어에서는 변경된 구문 때문에 예상하지 못한 실행 결과가 발생할 수 있다. 멀티 스레드자바 소프트웨어는 스레드들 간에 메모리를 통한 상호작용을 자바 메모리 모델을 통해서 명세 한다. 자바 메모리 모델은 자바언어의 표준 메모리 모델이다. 하지만 현재까지 나와 있는 어떠한 자바 모델 체킹 도구도 자바 메모리 모델을 지원하지 않는다. 본 논문에서는 자바 메모리 모델을 지원하는 모델 체킹 도구를 개발하기 위해서 자바 메모리 모델을 지원하는 시물레이터를 많은 모델 체킹 도구에서 사용되는 SMT 기반으로 구현했다. SMT 기반 메모리 모델 시뮬레이터는 기존의 메모리 모델 시뮬레이터에서 몇분이 걸리는 계산 결과를 1초 이내에 계산하였다. 또한 이를 통해 기존 소프트웨어 모델 체킹에서 표현할 수 없는 실행 결과를 빠르게 표현할 수 있다.

• Bulletin of the Korean Chemical Society
• /
• 제32권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.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권8호
• /
• pp.421-431
• /
• 2004

본 논문은 병렬 프로그램을 실행할 때 계산량이 작은 병렬 루프를 병렬로 실행하는 경우에 생기는 프로그램의 성능 저하를 피하기 위하여, 컴파일 시나 실행 시에 성능 예측 모델을 이용하여 병렬 루프의 성능을 예측한 다음 적응형 실행 기법을 이용하여 병렬 프로그램을 실행하는 방법을 소개한다. 성능예측 알고리즘과 적응형 실행 알고리즘은 컴파일러 전처리기에 구현이 되었으며, 이 전처리기는 병렬 루프가 실행되는 방식을 컴파일 시나 실행 시에 결정하는 코드를 원래의 병렬 프로그램에 삽입한다. Fortran77로 씌어진 다섯 개의 대표적인 과학 수치계산 병렬 벤치마크 프로그램을 32개의 프로세서로 구성된 분산 공유 메모리 병렬 컴퓨터(SGI Origin2000)에 실행하여 본 논문에서 제안한 방법의 성능 평가를 하였을 때, 제안한 기법을 적응한 경우가 32, 16, 8, 및 4개의 프로세서에서 원래의 병렬 프로그램 보다 각각 26%, 20%, 16%, 및 10% 빨리 실행되었다. 이중 한 프로그램은 원래 병렬 프로그램 보다 32개 프로세서에서 두 배 이상 빠르게 실행되었다.

• 정보처리학회논문지D
• /
• 제15D권1호
• /
• pp.99-106
• /
• 2008

최신의 컴파일러는 실행 속도를 높이기 위해서 최적화 작업을 수행한다. 그러나 최적화 작업 중에 프로그램 구문의 실행 순서가 바뀔 수 있다. 단일 스레드 소프트웨어 에서는 최적화가 실행 결과에 영향을 주지 않지만 멀티 스레드 소프트웨어에서는 최적화로 인해서 기존의 실행 과정을 계산하는 방법으로는 설명할 수 없는 실행 결과가 발생할 수 있다. 이 문제점을 해결하기 위해서 자바 메모리 모델이 제안되었다. 자바 메모리 모델은 구문의 재배치를 고려하여 멀티 스레드 소프트웨어의 가능한 실행 과정을 명세하고 있다. 현재 자바 메모리 모델은 자바의 표준 메모리 모델로 정의되어 있다. 하지만 대부분의 멀티스레드 소프트웨어 검증 도구는 자바 표준 메모리 모델인 자바 메모리 모델 대신에 순차 일관성메모리 모델만을 고려하고 있다. 순차 일관성 메모리모델에서는 구문의 재배치를 고려하지 않는다. 본 논문에서는 자바 메모리 모델을 이용한 소프트웨어 모델 체킹 기법을 설명한다. 이를 이용하여 기존 소프트웨어 검증 도구인 JavaPathFinder 에서 오류가 없다고 한 소프트웨어의 오류를 찾아내었다.