• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.466-468
• /
• 2001

객체지향형 소프트웨어가 개발되고 분산 시스템에 적용되면서 소프트웨어 시스템의 분석 및 안전상의 보장이 매우 어려워지고 있다. 정형 기법을 이용해서 소프트웨어 시스템의 안전성을 증명하는 연구가 진행되고 있지만 소스코드 레벨에서의 보장은 아직 어려운 상태이다. 본 연구에서는 이러한 소프트웨어 시스템의 소스코드 레벨에서의 안전성 보장을 위한 연구로 Bandera toolset 을 이용한 정형검증에 대해 논한다.

• 한국소음진동공학회논문집
• /
• 제15권5호
• /
• pp.550-557
• /
• 2005

Korean 'Law of Aviation' and 'Test Method of Measuring Noise and Vibration' designate to use WECPNL metric based on $L_{max}$ measurement for the accessment of aircraft noise in Korea. However, time duration of noise event can not be considered in $L_{max}$ metric in principle, compensation on the duration has been utilized. A study was done recently to evaluate appropriate duration compensation for the accessment of military aircraft noise under current metric of WECPNL and $L_{max}$. This study was carried out to evaluate what metric is the most appropriate to express aircraft noise including time duration of single noise event, computing and comparing noise exposure with 1 second noise measurement data of military aircraft in $L_{max}$, $L_{Aeq,\;T}$ and SEL. This study shows SEL is the most appropriate noise metric for the evaluation of noise exposure with time duration such as aircraft noise without compensation. It is suggested to use SEL noise metric instead of $L_{max}$ noise metric with duration compensation for the aircraft noise accessment either military aircraft or civilian aircraft.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2007년도 춘계학술대회논문집
• /
• pp.604-608
• /
• 2007

The INM simulation program is used to estimate the condition of the exposed area to the noise near a military airport in Korea. $WECPNL_k$, the evaluation unit of korean airport noise, is different from the ICAO $WECPNL_I$ that is used in the simulation program. Therefore, it is inappropriate to compare these units each other directly. This study presents method of comparison between them by using $LA_{MAX}$. The aircraft events are classified into three classes, as departure, overfly and approach. In result, the measurement and simulation seemed to be similar at departure and approach pattern. However, overfly pattern had higher errors between measurement and simulation. Finally, it is necessary to examine the method to determine flight events and duration for the $WECPNL_k$ application.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2016년도 전력전자학술대회 논문집
• /
• pp.265-266
• /
• 2016

본 논문에서는 EV와 NEV 겸용 모듈형 급속충전기를 위한 10kW급 3레벨 DC-DC 컨버터를 제안한다. 제안한 컨버터는 600V 정격의 MosFET로 고속스위칭을 위하여 3레벨 컨버터를 채용하였고 순환전류를 최소화하기 위하여 커플인덕터를 적용한 듀티제어방식의 풀브릿지 컨버터로서 스위치의 ZVS 턴 온과 다이오드의 ZCS 턴 오프를 성취하였다. 또한 EV(200~500V)와 NEV(50~100V)의 넓은 충전전압 범위에서 고효율을 달성하기 위해 하이브리드 스위칭기법을 적용하였다. 10kW 시작품 개발을 통해 정격부하 효율 97.32%, 최고효율 97.43%를 달성하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2013년도 전력전자학술대회 논문집
• /
• pp.536-537
• /
• 2013

전기로와 같은 고압, 대용량의 산업응용분야에서 전원 안정화를 목적으로 하는 변동부하에 의해 발생되는 정상분 및 역상분의 무효전력을 보상하기 위한 고성능의 STATCOM의 개발이 요구되었다. 본 논문에서는 POSCO ICT에서 개발한 22.9kV 5MVA STATCOM(static synchronous compensator)에 대해 기술하였다. 개발된 STATCOM은 다단 멀티레벨 컨버터(Cascaded Multilevel Converter) 방식으로 Delta 구성하였으며, 각상당 12개의 H-Bridge Inverter가 직렬로 구성되어 25 레벨의 전압을 출력한다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2015년도 추계학술대회 논문집
• /
• pp.161-162
• /
• 2015

본 논문은 수중음향센서용 전력증폭기를 위한 멀티레벨 가변 출력전압 AC/DC 컨버터를 제안한다. 제안하는 AC/DC 컨버터는 멀티레벨 가변출력전압을 얻기 위해 2개의 flying-capacitor 3-level converters와 하나의 다이오드 브리지 회로로 구성되어 있다. 또한 본 논문에서는 제안하는 AC/DC 컨버터의 상세 회로도와 설계 가이드라인을 제시하였다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2011년도 하계학술대회
• /
• pp.199-201
• /
• 2011

본 논문에서는 현재 표준화가 진행중인 HEVC 의 고정 비트율(CBR) 부호화를 위한 비트율 제어(rate control) 기법을 다룬다. HEVC 의 임의접근(Random Access: RA) 부호화 모드는 계층적-B 부호화 구조를 통해 높은 부호화 효율을 제공할 수 있다. 기존의 HEVC 를 위한 비트율 제어 방식으로는 2 차 비트율-왜곡 모델 기반의 시간계층 및 프레임 타입에 따른 비트율 특성을 반영한 프레임 레벨의 비트율 제어 기법이 제시되었다. 이 같은 기존의 프레임 레벨의 비트율 제어 기법은 임의접근 모드의 계층적-B 구조에서 동작성능이 확인되었으나, HEVC 의 기본적인 부호화 단위(Coding Unit: CU)의 특성이 반영되지 않아 비트율 제어의 정확성이 제한되었다. 본 논문에서는 기존의 계층적 부호화 구조를 고려한 프레임 레벨의 비트율 제어 기법을 확장한 CU 레벨에서의 비트율 제어 기법을 제시하고 모의실험을 통해 제시된 기법의 비트율 제어 성능을 확인한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 2015년도 하계학술대회
• /
• pp.75-77
• /
• 2015

디스플레이 해상도가 지속적으로 고해상화가 되면서, 기존 저해상도 영상을 고해상도 디스플레이 크기에 맞춰 해상도를 키우는 기법인 초해상화(super-resolution, SR) 기법에 많은 관심이 쏟아지고 있으며 이에 대한 많은 초해상화 논문들이 게재되었다. 이 중 현재 최상 품질의 고해상도 영상을 복원하는 한 초해상화 기법은, 입력 받은 저해상도 영상을 자가 예제(self-examples)로 사용하여 선형 매핑(linear mapping)을 통해 점진적으로 여러 레벨(level)를 거쳐 조금씩 키우는 방법이다. 이때 각 레벨마다 기존 저해상도 영상 크기로 반복적으로 줄여 오차를 줄이는 역투영법(back-projection)을 사용하는데, 이 방법은 처리된 영상에 시각적 품질을 낮추는 링 아티팩트(ringing artifacts)를 생산하며, 이는 매 레벨마다 계속 누적이 되어 고해상도 결과 이미지 품질에 악영향을 미치는 단점이 있다. 이를 보완하기 위해, 본 논문에서는 저해상도 정지 영상을 고해상도 정지 영상으로 점진적으로 키울 때 일반적인 역투영법 대신 비국소적 평균법(non-local means, NLM) 기반 역투영법을 사용하는 초해상화 기법을 제안한다. 제안하는 기법은 매 레벨마다 생기는 링 아티팩트를 효과적으로 제거하여 높은 시각적 품질의 고해상도 영상을 복원할 수 있게 한다. 실험을 통해 제안된 초해상화 기법을 사용 시 기존 초해상화 기법보다 향상된 고품질 고해상도 영상 복원이 가능한 것을 확인하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2012년도 전력전자학술대회 논문집
• /
• pp.59-60
• /
• 2012

Cascaded H-bridge 멀티레벨인버터의 스위칭 패턴을 기본파 생성을 위한 저주파 동작과 파형 개선 목적의 고주파 PWM 스위칭 패턴으로 구분하여 스위칭 손실을 감소시킬 수 있지만 입력단의 DC 독립전압원은 각 H-bridge 모듈이 담당하는 출력전압의 레벨에 따라 용량의 차이가 발생한다. 이는 각 H-Bridge 모듈 스위치의 전류 스트레스 차이를 의미하며, 이로 인해 H-bridge 모듈별 수명 차이를 발생시킨다. 본 논문에서는 용량 창이에 따른 모듈 특성 개선과 인버터 수명 문제를 해결하기 위하여 기존의 다중 반송파 정현 펄스폭 변조방식에 스와핑 스위칭 방법을 적용하여 Cascaded H-bridge 멀티레벨인버터에 적용함으로써 스위칭 손실 개선과 함께 각 H-bridge 별 담당 부하 전력을 동일하게 하여 동일 전류 정격 스위치의 사용을 가능하게 한다. 제안된 스와핑 스위칭 패턴을 PD, POD, APOD방식으로 구현하고 이론적 분석과 시뮬레이션을 통해 타당성을 검증한다.

• 한국가스학회지
• /
• 제15권6호
• /
• pp.38-43
• /
• 2011

천연가스 액화공정은 극저온에서 운전되며 에너지 소비가 매우 크기 때문에 압축기의 에너지 소모를 최소화하는 것이 공정의 효율 측면에서 중요하다. 여러 가지 천연가스 액화공정 중 C3-MR(Propane Pre-cooled Mixed Refrigerant) 공정의 경우 순수냉매인 프로판과 혼합냉매를 사용하는 두 개의 냉각 사이클로 구성되어있다. 본 연구에서는 C3-MR 공정에서 최적의 프로판 압력 레벨을 찾기 위해 프로판 사이클을 별개로 구성하여 모사하였다. 또한, 압력 레벨에 따른 조건을 변화시켜가며 사례 연구를 수행하고 이를 통해 압축기에서 소모되는 에너지양을 비교하였다. 그 결과 압력 레벨이 높을수록 총 에너지 소모량이 감소하는 것을 확인 할 수 있었다. 압력 레벨이 3일때 보다 압력 레벨이 5일 때 에너지 소모는 약 23.7% 감소하는 값을 얻을 수 있었다.