• Proceedings of the KIEE Conference
• /
• 2001.07a
• /
• pp.75-80
• /
• 2001

EMTDC가 FACTS 기기와 같이 전력전자소자가 포함된 계통을 신뢰성 있게 해석 할 수 있고 또한 다양한 제어기능과 각종 스위칭 소자 모델을 제공 하기때문에 실계통에서 운용되고 있는 서대구 SVC 제어시스템을 EMTDC로 개발하였다. 모델 개발을 위하여 서대구 SVC의 제작사인 ABB에서 제공한 서대구 SVC의 기능, 구성 및 특성을 분석하였으며 개발된 EMTDC SVC 제어시스템 모델의 신뢰성을 검증하기 위하여 제작사에서 제공한 TNA 테스트 결과와 비교하여 모델의 정확성을 검증하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 2009.05a
• /
• pp.81-84
• /
• 2009

우리나라에서는 2000년대 초반부터 u-City(유비쿼터스도시)라는 미래도시 모델을 정립하고 2008년에는 u-City에 관한 법률과 시행령을 제정 공포하여 u-City의 구축과 운영을 제도적으로 지원하고 있다. 다양한 목적과 지역적 특성에 맞게 u-City가 구축 운영되고 있지만, 표준 모델과 프레임워크가 정해져 있지 않은 상태이다. 한편, 지능형교통시스템(ITS, Intelligent Transport System)은 수년간 구축과 운영을 위한 표준모델과 프레임워크가 연구 검증되었으며, 최근 한국에서도 ITS 프레임워크와 관련하여 표준화된 모델이 제시되었다. 본 논문에서는 표준화되어진 ITS 프레임워크를 통해서 도시서비스를 구축 운영하는데 필요한 프레임워크의 구조와 기능을 파악하고, 2008년에 제안한 u-City 제공 서비스 프레임워크(UCSF)를 비교하여 UCSF의 구조와 기능을 검증한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.3
• /
• pp.224-231
• /
• 2009

In this study, an aerodynamic performance analysis code has been developed as a part of rotorcraft comprehensive program. Airloads on rotor blades are calculated based on the blade element theory with look-up tables of aerodynamic coefficients of 2-D airfoils. In order to calculate rotor induced inflow, various inflow prediction methods such as linear inflow, dynamic inflow, prescribed wake and free wake model are integrated into the present module. The aerodynamic characteristics of each method are compared and validated against available experimental data such as Elliot's inflow distribution and sectional normal force coefficients of AH-1G.

• Aerospace Engineering and Technology
• /
• v.8 no.2
• /
• pp.160-169
• /
• 2009

In the paper, the Image SNR(Signal-to-Noise) distribution proposed in [1] is reviewed from the three points of views: verification, variation, and application of the distribution. First, the proposed Image SNR distribution is verified through the noise-based simulation over a 2D image detector. Second, its variation over the linear/nonlinear gains shows that the noise-effect itself cannot explain every reason for the degraded Image SNR distribution. Third, through the application to optimal selection of the operation parameters, the usefulness of the proposed distribution is clarified.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Journal of the Korea Concrete Institute
• /
• v.21 no.5
• /
• pp.649-660
• /
• 2009

A nonlinear column model of an internally confined hollow (ICH) reinforced concrete (RC) column was suggested and a parametric study was performed. The suggested column model considered the confining effect and the material nonlinearity of concrete. To verify the suggested column model, its analysis results were compared with the test results from previous researchers and a quasi static test performed in this study. They showed that the suggested column model was reasonable and had acceptable accuracy. The results from parametric studies showed that the thickness of the internal tube, concrete strength, and the hollow ratio of the ICH RC column affected its behavior.

• ICROS
• /
• v.18 no.3
• /
• pp.37-42
• /
• 2012

이번 편에서는 첫 번째 편에서 소개된 블랙박스 모델을 결정하는 기법 중의 하나인 매개변수 시스템 식별법을 소개한다. 이 기법은 식별하고자 하는 대상 시스템에 대하여 매개변수들로 표현되는 여러 가지 후보 모델들을 선정한 후 확정된 입출력 데이터와 추정 알고리즘을 적용하고 여러 가지 검증과정을 통하여 실제 시스템의 데이터에 가장 가까운 특성을 보이는 모델을 선정하는 방법이다. 이를 위해서 본 편에서는 선형-시불변 시스템의 블랙박스 식별에서 종종 사용되는 여러 가지 모델구조들을 소개한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.379-383
• /
• 2008

본 연구의 목적은 3차원 수리 모델인 ELCOM(Estuary, Lake and Coastal Ocean Model)과 물질 전달모델인 CAEDYM(Computational Aquatic Ecosystem Dynamic Model)을 이용하여 성층화된 저수지로 밀도류 형태로 유입한 부유사의 이송과 확산 그리고 침강특성을 해석하는데 있다. ELCOM은 3차원 수리동력학 모델로써 시공간적인 유속과 수온변화를 예측하는데 사용되었으며, CAEDYM과 매 계산시간 마다 동적으로 연결(Dynamic coupling)되어 부유입자의 이송, 확산, 침강 과정을 모의하였다. 개발된 3차원 모델의 예측 성능은 2004년 홍수기 동안 대청호에서 실측한 자료를 사용하여 검증하였다. 모델의 모의변수는 입자크기별로 구분된 부유물질(SS) 그룹이며, 현장 실측자료인 탁도($C_T$)와 모델 변수인 SS간의 변환을 위해 저수지 지점 별로 측정한 SS-$C_T$ 상관관계를 사용함으로써 부유 입자의 크기분포의 공간적 변동 특성을 반영하였다. 모델은 탁수가 유입하는 환경에서 저수지 성층구조의 변화와 유입 탁수의 밀도류 거동특성, 유입한 부유사의 이송과 확산 그리고 침강특성을 비교적 잘 모의하였다. 저수지로 유입한 부유입자 중 입경이 $20{\mu}m$ 이상인 입자는 매우 빠른 속도로 저수지 바닥에 퇴적된 반면, $10{\mu}m$ 이하의 입자들은 중층에 오랜 시간 부유하며 장기탁수문제를 유발하는 원인이 되었다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.54-54
• /
• 2019

최근 이변량 가뭄 빈도해석시 Copula 함수 기반의 빈도해석모델을 활용한 분석이 이루어지고 있다. 그러나 기존 연구에서는 이변량 가뭄 빈도해석시 지점빈도해석에 국한되어 분석이 이루어지며, 지역을 대표하는 수문자료의 특성이 반영된 빈도분석에 대한 연구는 미진한 실정이다. 이에 본 연구에서는 Bayesian 기법과 이변량 Copula 가뭄 빈도해석 기법을 연계한 Bayesian 이변량 Copula 지역빈도해석 모델을 개발하였다. 개발된 모델에 모의자료를 적용하여 가정한 가뭄특성 및 매개변수를 추정하였으며, 유사하게 도출된 결과를 통해 모델의 적합성을 평가하였다. 최종적으로 최근 발생한 가뭄사례를 중심으로 이변량 가뭄 지역빈도해석을 수행한 결과, 기존 지점빈도해석보다 가뭄의 특성을 효과적으로 반영된 빈도해석이 이루어지는 것을 확인하였으며, 기존 Copula 모델에 Bayesian 기법을 도입하여 매개변수에서 발생하는 불확실성을 정량화 하였다. 본 연구에서 제안된 모델의 검증과정과 도출된 결과를 통해 가뭄자료의 지역적 분포특성 및 자료간의 상관성을 효과적으로 재현하는데 유리할 뿐만 아니라, 매개변수의 불확실성을 평가할 수 있는 장점을 제공할 것으로 판단된다.

• Journal of Internet Computing and Services
• /
• v.25 no.2
• /
• pp.29-38
• /
• 2024

After Transcatheter Aortic Valve Replacement (TAVR), comprehensive management of complications, including the need for Permanent Pacemaker Implantation (PPI), is crucial, increasing the demand for accurate prediction models. Departing from traditional image-based methods, this study developed an optimal PPI prediction model based on ECG data using the XGBoost algorithm. Focusing on ECG signals like DeltaPR and DeltaQRS as key indicators, the model effectively identifies the correlation between conduction disorders and PPI needs, achieving superior performance with an AUC of 0.91. Validated using data from two hospitals, it demonstrated a high similarity rate of 95.28% in predicting PPI from ECG characteristics. This confirms the model's effective applicability across diverse hospital data, establishing a significant advancement in the development of reliable and practical PPI prediction models with reduced dependence on human intervention and costly medical imaging.