http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
대한간학회지 제2차 춘계학술대회 초록집 : 식도정맥류 출혈시 내시경적 경화요법과 고무밴드 결찰요법의 치료 효과
김영탁 ( Kim Yeong Tag ),금민수 ( Geum Min Su ),이양일 ( Lee Yang Il ),최성곤 ( Choe Seong Gon ),이창형 ( Lee Chang Hyeong ),권영오 ( Kwon Yeong O ),김성국 ( Kim Seong Gug ),최용환 ( Choe Yong Hwan ),정준모 ( Jeong Jun Mo ) 대한간학회 1996 Clinical and Molecular Hepatology(대한간학회지) Vol.2 No.2(S)
C-DEVS형식론을 이용한 실시간 이산사건 제어시스템의 논리 해석 기법
송해상(HAESANG SONG)김탁곤(Tag-Gon Kim) 한국시뮬레이션학회 2012 한국시뮬레이션학회 논문지 Vol.21 No.4
실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다. As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.
Intelligent interpolation methods for a full-scale SPOT-DEM
Kim, Seung Bum,Park, Won Kyu,Kim, Tag Gon 대한원격탐사학회 1999 International Symposium on Remote Sensing Vol.15 No.1
Intelligent schemes for an automatic generation of DEM (digital elevation model) are implemented. The need for these post-processing schemes is that interpolation alone produces severe blunders, however sophisticated it is. These blunders occur mast seriously along the boundaries of a scene, over rivers, and along the coast. Even a state-of-the-art commercial software retains such blunders. The intelligent schemes implemented are (1) center-of-gravity and empty-center-index which quantify how evenly distributed interpolants are within an interpolation radius, (2) a segmentation scheme to discern whether ar not an empty segment in stereo-match results should be interpolated, and (3) a segmentation scheme far removing noise-like features. With these methods, in the final DEM, identical coastline and river region to those in the original SPOT scenes are achieved. The DEM exhibits substantial improvements over the products of an existing commercial software.
Daejin Park,Tag Gon Kim,Jeonghun Cho IEEE 2014 Journal of display technology Vol.10 No.12
<P>The proposed sync-processor enables a fractional-order time-synchronization to generate an efficient lens shutter-control timing for the charge-shared LCD lens driving in the 3DTV active shutter glasses. This design implements a universal sync-edge tracer as a pre-processor to form the unit event of the wireless sync-packet, a fractional-order timer to measure the timing period for accurate synchronization of the stereo-vision, and charge-shared driver controlled by the proposed symmetric even/odd timer to provide an efficient charge equalization method. The proposed symmetric even/odd timer block sequentially generates the driver switching events by distributing the driver activation into four pins of the LCD active shutter lenses to reuse the pre-pumped charge of the charge-shared LCD driver, which is sequentially shared between four pins for LCD lens. The proposed sequential lens control by distributing the charge-sharing events also enables the reduction of the hardware size required for the counters and overflow comparators in the switching timer to generate the pulse width modulation (PWM) pulse waveform of the LCD lens control for time-sequential 3D stereo-vision. The implemented one-chip solution, which is applied with all of the proposed techniques to improve the previous work, reduces about 140 μA of LCD lens driving current, which results in about 30% current reduction in total. This paper describes the system's architecture and the details of the proposed techniques, while also identifying the key concepts and functions.</P>