• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.474-476
• /
• 2000

소프트웨어 프로젝트의 비용의 대부분이 구현(implementation) 단계나 테스트 단계에서의 에러 수정에 소모되고 있으며, 이러한 에러들의 대부분은 프로젝트 개발 초기 단계에서의 부정확(imprecision)에 기안한 것이다. 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z나 VDM과 같은 정형 표기법에 의해 쓰여진다. 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP(Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 연구에서는 Z와 같은 범용 목적의 명세 언어가 병행성(concurrency)을 표현할 수 있도록 하기 위해서, 병행 프로세서(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.904-906
• /
• 2005

본 논문에서는 뇌 CT 혈관조영영상에서 슬라이스 정보를 이용한 뇌 분할 방법을 제안한다. 뇌 분할 과정은 현재 슬라이스와 이전 슬라이스 간 분할 영역의 크기 정보를 가지고 영역 성장 단계와 전파 단계로 구분하여 수행된다. 영역 성장 단계에서는 이차원 영역성장법을 통해 뇌 분할을 수행하고 누출이 발생하는 슬라이스에 대하여 방사선 투과 기법을 통해 영역보정을 수행한다. 전파 단계에서는 이전 슬라이스에서 분할된 뇌 영역을 현재 슬라이스로 전파함으로써 장벽을 생성하고 장벽 내에서 이차원 영역성장법을 수행함으로써 누출을 최소화한다. 또한 뇌 영역과 유사한 밝기값을 형성하고 있는 미세 요소들을 제거하기 위해 이차원 연결화소군 레이블링 기법을 통해서 최종적으로 뇌 분할을 수행한다. 본 논문의 실험을 위하여 뇌 CT 혈관조영영상을 사용하여 정확한 뇌분할 결과를 얻었다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.192-196
• /
• 1999

본 연구에서는 변환을 취하지 않고 M/G/c 시스템의 고객수분포를 구하는 방법으로 2단계 분석을 제시한다. I 단계에서는 마코비안 서비스를 따르는 전통적인 고객수분포로부터 출발하여 여기에 새롭게 정의된 모수를 도입해서 근사하여 고객수가 c명일 때까지의 분포를 구한다. II단계에서는 선수 작업으로 하나의 대기행렬을 각각의 고객의 대기공간으로 구별하여 나눈 후에 현재 시스템내의 고객수에 따라 고객의 도착시점에서 바라 본 대기공간의 부하 유형별로 나누고, 해당 대기공간에 부하를 주는 정도에 따라 정리된 식으로부터 축차적으로 고객수분포를 유도한다. 유도된 고객수분포로부터 평균 시스템 체재시간과 평균 대기시간 등을 구하고 이를 시뮬레이션과 비교하여, 본 근사법의 유용성을 논의한다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.13 no.3
• /
• pp.305-319
• /
• 2000

Numerical solution lot frictional contact problems of nonlinearly deformable bodies having large deformation is presented. The contact conditions on the possible contact points are expressed by using the contact error vector, and the iterative scheme is used to reduce the contact error vector monotonically toward zero. At each iteration the solution consists of two steps : The first step is to revise the contact force by using the contact error vector given by the previous geometry, and the second step is to compute the displacement and the contact error vector by solving the equilibrium equation with the contact force given at the first step. Convergence of the iterative scheme to the correct solution is analyzed, and the numerical simulations we performed with a rigid-plastic membrane and a nonlinear elastic beam.

• Journal of Digital Convergence
• /
• v.13 no.12
• /
• pp.209-215
• /
• 2015

In the past, there have been many theory and algorithms for vehicle tracking. But the time complexity of many feature point matching methods for vehicle tracking are exponential. Also, object segmentation and detection algorithms presented for vehicle tracking are exhaustive and time consuming. Therefore, we present the fast and efficient two stages method that can efficiently track the many moving vehicles on the road. The first detects the vehicle plate regions and extracts the feature points of vehicle plates. The second associates the feature points between frames using dynamic programming.

• Journal of the Society of Naval Architects of Korea
• /
• v.33 no.4
• /
• pp.48-59
• /
• 1996

The numerical step in the unsteady viscous flow analysis can be divided in the space analysis step satisfying continuity equation and the time marching step. In this study the spectral method is applied to solve the pressure Poisson equation in the space analysis step. If the highest order differential term of the pressure Poisson equation is transformed by Fourier series, pressure arid its first derivatives can be expressed by the integral form of Fourier series. So Gibb's phenomena can be eliminated and the spectral method can be applied to non-periodic problems. The numerical analysis of unsteady viscous flow around 2-dimensional circular cylinder and wing is carried out and compared for verification.

• Journal of Conservation Science
• /
• v.19
• /
• pp.19-30
• /
• 2006

Alteration of physical and chemical characteristics and the effect of removal of mineral substances in waterlogged archaeological woods by different cleaning processes were examined using oak wood(Quercus spp.) that was excavated from wetland near Gwangju, Korea. Cleaning methods employed in the present work were (1) tools, (2) deaeration, (3) EDTA and (4) ultrasonic cleaning, which are being currently applied in the field of preservation treatment. Cleaning process were performed independently or continuously. Composition of mineral substances in the waterlogged archaeological wood was almost same as the that of soil in which waterlogged archaeological woods were buried. In case of independent cleaning, tools cleaning efficiently removed the mineral substances on surface. Surface color become brighter after cleaning with EDTA. In contrast, deaeration and ultrasonic cleaning did not show any significant removal of mineral substances. In continuous cleaning process, tool cleaning as the first step treatment showed the same effect as shown in independent cleaning. Although deaeration as the second step cleaning did not remove the mineral substances, it could be assumed to contribute the infiltration of dimensional agents by homogenization of wood. EDTA treatment (the third step cleaning) removed the iron(Fe) and increased the whiteness of wood color. The ultrasonic treatment (the fourth step cleaning) removed the sodium(Na) remained after EDTA treatment and the fine mineral substances.

• The KIPS Transactions:PartB
• /
• v.16B no.4
• /
• pp.271-280
• /
• 2009

In this paper, we propose a smoke detection method using region growing method in outdoor video sequences. Our proposed method is composed of three steps; the initial change area detection step, the boundary finding and expanding step, and the smoke classification step. In the first step, we use a background subtraction to detect changed areas in the current input frame against the background image. In difference images of the background subtraction, we calculate a binary image using a threshold value and apply morphology operations to the binary image to remove noises. In the second step, we find boundaries of the changed areas using labeling algorithm and expand the boundaries to their neighbors using the region growing algorithm. In the final step, ellipses of the boundaries are estimated using moments. We classify whether the boundary is smoke by using the temporal information.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.11
• /
• pp.4796-4800
• /
• 2011

In this paper has been developed a process model for the international technical cooperation. Model consists of five steps: Beginning phase, Partner search phase, contract phase, execution phase and exit phaseInthe beginning phase. The industries need to know about their own require and in the partners search phase they have difficulty navigating partner and to find the fit partner. In agreement phase the industries have problme with international law and in the execution phase they have cultural difficulties. Therefore, the government may need to seek support programs for each step.

• Cartoon and Animation Studies
• /
• s.38
• /
• pp.71-91
• /
• 2015

This study is a process to study the life drawing teaching method considering professional characteristics in animation and has a study objective to design the model and teaching method which applies the strategies considering the creative mechanism of the brain. Recently, study results about integrated teaching method are being announced which apply brain based learning principles as the alternative arguments about teaching methods in each area based on creativeness. In other words, integrated education based on creative mechanism in the brain is applied not only to fine arts and drawing education, but also to the entire areas of the arts. Life drawing is an area which demands comprehensive teaching method that vivid expressions could be skillfully obtained by understanding the communication methods with the objects through cognitive senses, creativeness and movements beyond the structural knowledge about human body. Therefore in this study, the strategies and methods for the skillfulness of life drawing and consequently arranged education model structure drawing are to be designed based on the creativeness, study materials and content factors which were analyzed in previous stages of this study. In order to combine the content factors based on creativeness and study materials of the brain which are the results of previous studies, the conclusion has been reached that 5 step cognitive strategy stages to wake brain senses, flexibilize the brain, purify the brain, integrate the brain and become the master of the brain. Strategic methods to execute this were designed with brain gym, right brain energization drawing and HSP(high-level cognizance) training. Teaching and learning model structure diagram which is designed based on this is to be continued to teaching and learning guidelines during the relevant semesters after the research.