• Journal of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.703-719
• /
• 2014

This paper is concerned with the traveling wave solutions of nonlocal dispersal models with nonlocal delays. The existence of traveling wave solutions is investigated by the upper and lower solutions, and the asymptotic behavior of traveling wave solutions is studied by the idea of contracting rectangles. To illustrate these results, a delayed competition model is considered by presenting the existence and nonexistence of traveling wave solutions, which completes and improves some known results. In particular, our conclusions can deal with the traveling wave solutions of evolutionary systems which admit large time delays reflecting intraspecific competition in population dynamics and leading to the failure of comparison principle in literature.

• Proceedings of the KSME Conference
• /
• 2000.04b
• /
• pp.37-44
• /
• 2000

Numerical investigation is made to study the effects of natural convection on the formation of macrosegregation of a Pb-Sn alloy solidification process in a 2-D confined rectangle mold. The governing equations are calculated using previous continuum models with SIMPLE algorithm doring the solidification process. In addition. to track the solid-liquid interface with time variations. the moving boundary condition Is adopted and irregular interface shapes are treated with Boundary-Fitted Coordinate system. As the temperature reduce from the liquidus to the solidus, the liquid concentration of Sn. the lighter constituent, increases. Then the buoyancy-driven flow due to temperature and liquid composition gradients, called thermosolutal convection or double diffusion, occurs in the mushy region and forms the complicated macrosegregation maps. Related to this phnomena, effects on the macrosegregation formation depending on the cooling condition and gravity values are described.

• The KIPS Transactions:PartB
• /
• v.8B no.3
• /
• pp.311-318
• /
• 2001

본 논문에서는 중첩되는 영상사이의 평면 투영 변환을 구하는 방법을 제안하였다. 제안한 방법은 정규상관과 직사각형-사변형 평면 투영 변환에 기반 한다. 블록 정합을 이용하여 전역 이동을 계산하고, 중첩되는 영역의 정규 상관 계수 값을 최대로 하는 4개의 대응점을 찾기 위하여 가우시안 영상 피라미드에서 SA(simulated annealing) 알고리즘을 사용하였다. 이들 대응점에서 직사각형-사변형으로의 사상을 이용하여 평면 투영 변환을 계산하고, 마지막으로 중첩되는 영역의 RGB 컬러 값을 선형 가중치에 의해 혼합하였다. 실험으로 세 장의 영상을 한 장읠 큰 모자익 영상으로 합성하는 결과를 보였다.

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

대용량의 멀티미디어 자료를 기반으로 하는 산업의 급성장은 이에 적합한 효율적인 저장 및 검색시스템을 요구하고 있다. 그러나, 멀티미디어 자료의 고차원적인 특성은 저장과 검색에 있어 성능을 저하시키는 문제점으로 지적되고 있다. 이를 해결하기 위하여 멀티미디어 자료로부터 저차원의 특성을 추출하여 내용기반 검색을 수행하는 연구가 진행되어오고 있다. 본 논문에서는 이미지내의 객체 MBR(Minimum Bounding Rectangle)을 이용하여 저차원의 색상정보와 모양정보를 추출하는 기법을 제안한다. 히스토그램정보는 이미지의 객체를 포함하는 MBR을 이용하여 9개의 타일로 균등분할하여 추출하며, 모양정보는 객체 MBR의 중심으로부터 16방향의 스캐닝을 통해 16개의 점으로 구성된 모양정보를 추출한다. 실험을 통하여 추출된 정보의 검색성능을 평가하였다.

• Transactions of Materials Processing
• /
• v.4 no.4
• /
• pp.390-397
• /
• 1995

A simple kinematically admissible velocity field is proposed to determine the final-stage extrusion load and the average extruded length in the square-die forward extrusion of non-axisymmetric bars from circular billets. The proposed velocity field is applied to the square-die extrusion of trochoidal gear-shaped bars and rectangular-shaped bars. The profile function of a rectangle is approximated by using a Fourier series. Experiments have been carried out with hard solder billets at room temperature. The theoretical predictions of the extrusion load are in good agreements with the experimental results and there is generally reasonable agreements in average extruded length between theory and experiment.

• Journal of the Korean Society for Precision Engineering
• /
• v.22 no.7 s.172
• /
• pp.79-87
• /
• 2005

This paper summarizes the work on the development of a simulation program for modelling the process of machining quasi-three dimensional shape with the excimer laser beam on a constantly moving polymers. Relatively simple masks of rectangle, triangle and half circle shape are considered. The etching depth is calculated by considering the number of laser pulses irradiated on the specimen surface. It was found that similar shapes as experimental results can be obtained by choosing suitable parameters of moving velocity, moving distance and mask sizes.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.9
• /
• pp.151-156
• /
• 2002

A new position correction method using four fiducials as reference points was developed and examined. It was aimed to calibrate nonlinear deformation by numerous error sources. A correlation for correction was derived from the geometric relationship between four fiducials and chip position. Compared with three points method, it exhibited more accurate correction, especially for inner area of a quadrilateral composed of four fiducial points. Its accuracy was found to be increased as fiducials moves outwardly within a printed circuit board (PCB) and/or as they form more rectangle-like shape As for arbitrarily nonlinear deformation, this method can be applied using more than five fiducials. In this case, local-area calibration is carried out by sectioning a board area into several rectangular are as.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.598-600
• /
• 2002

영상에서 타원을 추출하는 것은 얼굴 인식, 홍채 인식과 같은 컴퓨터 비전분야에서 인식할 영역을 찾는 방법으로 상당히 유용하게 사용된다. 본 논문에서는 기존의 퍼지 C-means 기법이 초기의 클러스터 개수와 중심 값에 따라서 결과가 민감하다는 단점을 보완한 개선된 퍼지 C-means 기법을 타원 추출에 적용한다. 이것은 영상 분할(Segmentation)로부터 후보 초기 클러스터 개수 및 초기 클러스터 중심을 결정하는 방법으로서 본 논문에서는 이 기법으로 영상 클러스터링을 수행하여 타원 영역 추출에 필요한 타원 후보 영역의 최소 인접 사각형(Minimum Enclosed Rectangle)을 찾아낸다. 이렇게 찾아진 최소 인접 사각형에 대해서 면적에 맞는 초기 타원들을 영역 내에 설정한 뒤 적합도(fittness)검사를 기반으로 한 타원 검증을 실시하고 적합도가 높은 영역을 타원 영역으로 추출한다.

• Journal for History of Mathematics
• /
• v.30 no.5
• /
• pp.261-287
• /
• 2017

De Zolt's axiom which is a precise formulation of Euclid's Common Notion 5, "the whole is greater than the part", for the notion of 'content' holds in any Hilbert plane. In this article, we study the history of de Zolt's axiom which has its origin in Euclid's Common Notions, and introduce an example of a plane geometry in which de Zolt's axiom does not hold. We show that there is no area function in this geometry and every square is equidecomposable with a square which is properly contained in the first one. From this we also show that there are two equidecomposable rectangles which have the same base and do not have the same altitude, and there is a rectangle which is equicomplementable with an emptyset.

• Phonetics and Speech Sciences
• /
• v.7 no.2
• /
• pp.157-162
• /
• 2015

This study reports on the effective way of displaying dynamic formant information on F1-F2 space. Conventional ways of F1-F2 space (different name of vowel triangle or vowel rectangle) have been used for investigating vowel characteristics of a speaker or a language based on statistics of the F1 and F2 values, which were computed by spectral envelope search method. Those methods were dealing mainly with the static information of the formants, not the changes of the formant values (i.e. dynamic information). So a better way of investigating dynamic informations from the formant values of speech signal is suggested so that more convenient and detailed investigation of the dynamic changes can be achieved on F1-F2 space. Suggested method used visualization of static and dynamic information in overlapped way to be able to observe the change of the formant information easily. Finally some examples of the implemented display on some cases of the continuous vowels are shown to prove the usefulness of suggested method.