• 한국방재학회 논문집
• /
• 제8권3호
• /
• pp.37-42
• /
• 2008

본 연구는 지하철에서 화재발생시 최적의 제연모드 예측을 목적으로 수치해석을 수행하였다. 현재 국내 지하철 화재발생시 제연모드는 승강장 내 화재구역 배기, 비화재구역 급기 또는 정지로 설정 되어있다. 수치해석 조건은 2가지 국내 비상시 제연모드 및 발화 4분(승강장 피난허용시간, NFPA 130) 이전까지 승강장에서 배기를 하며, 발화 4분이 후 터널 배기로 전환되는 스위치모드의 3가지 경우에 대하여 비교 분석하였다. 승객 호흡높이(1.7 m)를 기준으로 열, 일산화탄소 및 가시거리를 비교하였다. 수치해석 결과 급기팬 작동은 연기를 교란시키고 확산시킬 수 있으며, 또한 승강장 및 터널 제연모드로 작동할 경우 승강장의 제연모드로만 작동한 경우에 비하여 연기 배출에 효과적임을 확인할 수 있었다.

• 한국추진공학회지
• /
• 제9권3호
• /
• pp.127-132
• /
• 2005

본 연구는 CRW형식 무인항공기 추진시스템의 밸브 작동을 고려한 비행모드에 따른 천이 성능 특성을 파악하기 위해 SIMULINK를 이용하여 모델링 하였다 그리고 밸브 시스템은 로터리 덕트와 메인덕트로 빠져나가는 유량을 제어하는 시스템으로서 밸브를 통해 로터리 덕트로 빠져나가는 유량과 메인덕트를 빠져나가는 유량의 합은 터빈의 출구 유량과 같다는 가정 하에 수행되었으며, 이때 밸브 각 변화에 따른 손실, 유량 및 유효 면적 등이 고려되었다. 성능 해석은 비행 천이 영역인 고도 1km 비행 마하수 0.1에서 엔진 최대회전수시 회전익 모드에서 고정익 모드로 변환되는 경우와 고정익모드에서 회전익 모드로의 변환되는 경우들이 수행되었다.

• 정보과학회 논문지
• /
• 제41권9호
• /
• pp.605-610
• /
• 2014

현재 가상화 기술은 많은 연구를 통해 다양한 분야에서 널리 쓰이고 있다. 그러나 여전히 I/O 워크로드는 가상화로 인한 성능 저하로 인하여 가상화 분야에 적용되지 못하고 있다. 이전의 많은 연구에서 가상화 I/O 과정의 모드전환과 중복된 I/O 스택을 이러한 성능 저하의 원인으로 파악하고, 이를 해결하기 위한 기법을 제안하였으나 여전히 가상화 되지 않은 환경의 물리장치에 비해 낮은 성능을 보여주었다. 본 논문에서는 가상화 라이브러리를 사용하는 새로운 I/O 가상화 기법을 제안한다. 본 제안기법은 가상화 I/O 과정에서 발생하는 모드 전환을 완전히 제거하고 게스트 운영체제의 I/O 스택을 우회함으로써 /O 성능을 향상 시킨다. 네트워크 환경을 위한 프로토타입 구현을 통해 본 제안기법은 네트워크 처리량을 169% 향상시키며 네트워크 지연을 38% 감소시킴을 확인하였다.

• 한국인터넷방송통신학회논문지
• /
• 제8권4호
• /
• pp.1-8
• /
• 2008

최근에 대표적인 센서 노드 운영체계인 TinyOS를 이용하여 센서 네트워크를 개발하여 다양한 유비쿼터스 응용 서비스를 개발하고 있다. 이들 TinyOS 기반의 센서 네트워크에서는 상황 정보를 획득하기 위해 센서로부터 센싱된 정보의 전달과 수집을 집중적으로 수행한다. 이에 본 논문에서는 센서 노드의 전력 상태를 파악하여 이를 토대로 센서 노드를 수면, 활동, power off 모드로 전환하는 센서 노드 제어 알고리즘을 제시한다. 그리고 이 알고리즘을 토대로 센서 네트워크의 센서 노드, 싱크, 서버에서 센서 제어 모듈을 설계하고 구현한다. 이를 위하여 센서 노드의 센서 전력제어 모듈과, USN 서버의 센싱 데이터 수신 및 도시 모듈과 센서 제어 모듈을 설계하고 TinyOS와 자바 언어를 이용하여 구현한다. 이를 통하여 센서 노드의 전력 상태를 확인하여 데이터 수집이 어려울 경우 수면이나 power off 모드로 전환하여 전력 손실을 방지하고, 주변 환경이 정상적일 경우 활동 모드로 변경함으로써 효과적으로 센서 노드의 전력을 제어할 수 있을 것으로 사료된다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• 한국항공우주학회지
• /
• 제33권5호
• /
• pp.57-64
• /
• 2005

현대의 고성능 전투기에 탑재되어 있는 전기식 비행제어계통(Digital Fly-By-Wire Flight Control System)은 통합 다기능 감지기(IMFP : Integrated Multi-Function Probe)에 의해 항공기의 고도/속도/받음각 정보를 얻는다. T-50에 적용되어 있는 3개의 IMFP는 3중 결함 및 분리되지 않는 2중 결함에 대해서 비행 안정성(Flight Stability)을 확보하기 위해 형상 재구성 모드(Air Data Reconfiguration Mode)를 제어법칙에 적용했다. 본 논문에서는 항공기 운용 시 발생할 수 있는 IMFP 결함으로 인한 형상 재구성 모드 제어법칙에 대해, 비행 안정성을 해석하기 위하여 선형해석(Linear Analysis) 및 HQS( Handling Quality Simulator) 조종사 시뮬레이션을 수행하였고, T-50 비행시험 시, 발생했던 IMFP 결함으로 인해 제어법칙이 형상 재구성 모드로 적용되었던 사례를 제시했다. 그 결과, T-50 훈련기의 제어법칙이 형상 재구성 모드로 전환될 경우, 항공기 안정성에는 영향이 없다는 것을 알았다.

• 한국항공우주학회지
• /
• 제34권3호
• /
• pp.93-100
• /
• 2006

현대의 고성능 전투기에 탑재되어 있는 전기식 비행제어계통(Digital Fly-By-Wire Flight Control System)은 항공기 조종면의 고장으로 인해 발생할 수 있는 항공기의 안정성을 보장하기 위해 조종면 형상 재구성 모드(Control Surface Reconfiguration Mode)가 설계되어 있다. T-50 제어법칙에는 단일 조종면이 고장 났을 경우, 정상작동중인 나머지 조종면을 이용하여 항공기를 원활히 조종할 수 있도록 형상 재구성 모드가 적용되어 있다. 본 논문에서는 항공기 운용 시 발생할 수 있는 조종면 결함으로 인해 형상 재구성 모드 제어법칙이 적용되었을 경우, 착륙외장형상에서 항공기 안정성을 해석하기 위하여 선형해석(Linear Analysis)을 수행하였다 그리고 착륙에 대한 비행성(Flying Quality) 저하여부를 판단하기 위해, HQS(Handling Quality Simulator)를 이용하여 조종사 시뮬레이션을 수행하였다. 해석결과, 조종면 고장으로 인해 제어법칙이 형상 재구성 모드로 전환될 경우, 항공기의 조종성 및 비행성의 저하가 다소 발생하였지만, HQS 조종사 시뮬레이션 결과 착륙과정에서는 비행성 요구도인 Level 1을 만족할 수 있었다.

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

전기자동차를 위한 양방향 탑재형 충전기의 장내구성을 달성하기 위해 전해캐패시터를 사용하지 않는 전력변환장치가 요구된다. 본 논문에서는 V2G-V2H 기능을 갖는 무 전해캐패시터 양방향 탑재형 충전기의 제어알고리즘을 제안한다. 제안하는 양방향 충전기는 정현파 충전방식이 적용되었고 인버터만 제어하여 V2G-G2V-V2H 모드전환이 끊김없는 장점을 갖는다 제안하는 알고리즘을 검증하기 위한 3.3kW급 시작품의 시험결과로 타당성을 검증하였다.

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

본 논문에서는 비절연 고승압 소프트 스위칭 양방향 DC-DC 컨버터의 PWM Plus Phase Shift(PPS) 제어기법을 제안한다. 제안하는 컨버터는 기존의 하프브리지 양방향 컨버터의 2배의 승 강압비를 가지며 CCM에서 모든 스위치가 소프트스위칭을 성취한다. 또한, PPS 제어기법을 적용하여 스위치의 전압/전류정격을 최소화할 뿐 아니라 매끄러운 모드전환이 가능하다. 제안하는 양방향 컨버터의 3kW 시작품은 5.2배의 승 강압동작에서 최고효율 97.2%, 97.5%를 달성하였다.

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

본 논문에서는 가정용 에너지저장장치(Energy Storage System : ESS)를 위한 비절연 고승압 양방향 DC-DC 컨버터를 제안한다. 제안하는 양방향 컨버터는 기존의 양방향 하프브리지 컨버터에 비해 2배 높은 승 강압비를 가지며 모든 스위치가 소프트스위칭을 성취한다. 또한, 매끄러운 충 방전 모드전환이 가능하며 인버터와 연계시에도 배터리 측의 저주파 리플을 제거할 수 있다. 제안하는 양방향 컨버터의 3kW급 시작품 실험을 통하여 3.4~5.2배의 승 강압동작에서 각각 최고효율 97.4%, 97.6%를 달성하였다.