• 충청수학회지
• /
• 제33권2호
• /
• pp.287-292
• /
• 2020

In this paper, we prove that a distal homeomorphism f of a compact connected metric space X does not have the eventual pseudo orbit tracing property.

• 소성∙가공
• /
• 제9권4호
• /
• pp.348-355
• /
• 2000

The backward tracing scheme(BWT) of the finite element method has been extended lot the design of sheet blank in three-dimensional deformation. Originally the scheme was developed for preform design in bulk forming, and applied to several forming processes successfully. Its key concept is to trace backward from the final desirable configuration to an intermediate preform or initial blocker. A program for initial blank design in sheet forming which contains the capabilities of forward loading simulation by the finite element method and backward tracing simulation, has been developed and proved the effectiveness by applying to a square cup stamping process. In the blank design of square cup stamping, the backward tracing program can produce an optimum blank configuration which forms a sound net-shape cup product without machining after forming. For the confirmation of the analytic result derived from the backward tracing simulations as well as forward loading simulations, a series of experiment were carried out. The experiments include the first trial sheet forming process with a rectangular blank, an improved process with a modified blank preform and the final process with an optimum blank resulted from the backward tracing scheme. The experiments show that the backward tracing scheme has been implemented successfully in blank design of sheet metal forming.

• 인터넷정보학회논문지
• /
• 제17권5호
• /
• pp.43-49
• /
• 2016

This paper presents a workflow validation method for data-intensive graphical workflow models using real-time workflow tracing mode on data-intensive workflow designer. In order to model and validate workflows, we try to divide as modes have editable mode and tracing mode on data-intensive workflow designer. We could design data-intensive workflow using drag and drop in editable-mode, otherwise we could not design but view and trace workflow model in tracing mode. We would like to focus on tracing-mode for workflow validation, and describe how to use workflow tracing on data-intensive workflow model designer. Especially, it is support data centered operation about control logics and exchange variables on workflow runtime for workflow tracing.

• 인터넷정보학회논문지
• /
• 제17권5호
• /
• pp.131-139
• /
• 2016

This paper presents a workflow validation method for data-intensive graphical workflow models using real-time workflow tracing mode on data-intensive workflow designer. In order to model and validate workflows, we try to divide as modes have editable mode and tracing mode on data-intensive workflow designer. We could design data-intensive workflow using drag and drop in editable-mode, otherwise we could not design but view and trace workflow model in tracing mode. We would like to focus on tracing-mode for workflow validation, and describe how to use workflow tracing on data-intensive workflow model designer. Especially, it is support data centered operation about control logics and exchange variables on workflow runtime for workflow tracing.

• 소성∙가공
• /
• 제18권2호
• /
• pp.128-134
• /
• 2009

The present study covers an integrated simulation method to evaluate optical performance of an aspheric plastic lens by connecting an injection molding analysis with a ray tracing simulation. Traditional ray tracing methods have based on the assumption that the optical properties of a lens are homogeneous throughout the entire volume. This assumption is to a certain extent unrealistic for injection-molded plastic lenses because material properties vary at every point due to the injection molding effects. To take into account the effects of the inhomogeneous optical properties of the molded lens, a numerical scheme is developed to calculate the distribution of refractive index induced from the injection molding process. This index distribution is then reflected onto CODE $V^{(R)}$ simulation and used to calculate ray paths in inhomogeneous media. The proposed tracing scheme is implemented on the tracing of an aspheric lens for a mobile phone camera module.

• BMB Reports
• /
• 제48권12호
• /
• pp.655-667
• /
• 2015

Lineage tracing is a widely used method for understanding cellular dynamics in multicellular organisms during processes such as development, adult tissue maintenance, injury repair and tumorigenesis. Advances in tracing or tracking methods, from light microscopy-based live cell tracking to fluorescent label-tracing with two-photon microscopy, together with emerging tissue clearing strategies and intravital imaging approaches have enabled scientists to decipher adult stem and progenitor cell properties in various tissues and in a wide variety of biological processes. Although technical advances have enabled time-controlled genetic labeling and simultaneous live imaging, a number of obstacles still need to be overcome. In this review, we aim to provide an in-depth description of the traditional use of lineage tracing as well as current strategies and upcoming new methods of labeling and imaging.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.276-277
• /
• 2011

본 논문에서는 Reactive Power Tracing 기법을 이용하여 무효전력의 흐름을 분석한다. 이 기법은 Real Power Tracing을 기반으로, 무효전력의 특성에 맞게 변형시킨 것이다. 이를 위해 Real Power Tracing과 달리 무효전력의 손실을 고려하기 위해 모든 선로 사이에 가상 모선을 추가하게 된다. 이를 이용하여 국내 계통에 적용하여 무효전력의 흐름을 발전원측면에서 생산된 무효전력이 어느 범위까지 도달하는지 분석한다. 또한, 기존 민감도 해석과 차별화된 Reactive Power Tracing을 이용한 선로 사고에 대한 민감도 해석 방안을 제시한다.

• 한국정보통신설비학회:학술대회논문집
• /
• 한국정보통신설비학회 2007년도 학술대회
• /
• pp.251-255
• /
• 2007

In this paper, propagation analysis method in using 3D Ray Tracing propagation model in wireless cell planning is proposed. Through 3D Ray Tracing model, we can predict the distribution of propagation loss of the received signal. For correct and a low complex analysis, Quad Tree and Pre-Ordering and Hash Function algorithms are included in 3D Ray Tracing algorithm. And 3D Ray Tracing model is embodied in CellTREK that is developed by KT and used to plan Wibro system analysis. In CellTREK, propagation analysis is performed and that result is represented in 3D viewer. In numerical results, it is showed that the proposed scheme outperforms Modified HATA model when comparing with measurement data.

• 소성∙가공
• /
• 제6권5호
• /
• pp.408-415
• /
• 1997

The backward tracing scheme of the finite element analysis, which is counted to be unique and useful for process design in metal forming, has been developed and applied successfully in industry to several metal forming processes. Here the backward tracing scheme is implemented for process design of three-dimensional plastic deformation in metal forming, and it is applied to a precision coining process. The contact problem between the die and workpiece has been treated carefully during backward tracing simulation in three-dimensional deformation. The results confirm that the application of the developed program implemented with backward tracing scheme of the rigid plastic finite element leads to a reasonable initial piercing hole configuration. It is concluded that three-dimensional extension of the scheme appears to be successful for industrial applications.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 학술대회 논문집 정보 및 제어부문
• /
• pp.35-37
• /
• 2005

In this study, a P- and T-wave detection algorithm in ECG, obtained by minimized filtering to prevent waveform distortion, has been realized. The algorithm uses two slope tracing waves, the descending slope tracing wave and the ascending slope tracing wave, developed for efficient determination of slope inverting points and sudden slope changing points. The algorithm generates the slope tracing waves which trace the original ECG wave, and subtracts one tracing wave from the other to detect P- and T-waves. The algorithm has been applied to MIT/BIH database in order to verify its efficacy and validity in practical applications.