• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 춘계학술대회
• /
• pp.1546-1551
• /
• 2004

This paper presents a mathematical model to predict the frost properties and heal and mass transfer within the frost layer formed on a cold plate. The laminar flow equations for the air-side are analyzed. and the empirical correlations of local frost properties are employed in order to predict the frost layer growth. The correlations of local frost density and effective thermal conductivity of frost layer, obtained from various experimental conditions, are derived as functions of various frosting parameters (Reynolds number, frost surface temperature, absolute humidity and temperature of moist air, cooling plate temperature, and frost density). The numerical results are compared with experimental data and the results of various models to validate the present model, and agree well with experimental data within a maximum error of 10%. The heat and mass transfer coefficients obtained from the numerical analyses are presented, as the results, it is found that the model for frost growth using the correlation of heat transfer coefficient without solving air flow have a limitation in its application.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 B
• /
• pp.1544-1546
• /
• 2004

This paper describes the element of solar cell's characteristics, photovoltaic system and solar tracking through experiment. Furthermore, it proposes the experiment results of the PV system is contained solar modules, power conditioning system and the solar tracking system using air compress charging energy The experimental results show that the PV system is always operated at maximum power of solar cells and tracking the sun in order to generate efficiently power generation and propose a capability of its application.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (하)
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 C
• /
• pp.1546-1547
• /
• 2006

오늘날 전자기파의 영향은, 제어장비의 내부에 있는 기판의 전자 부품에 전자기적인 충격을 주어 장비의 오동작이나 고장을 일으키는 등 심각한 문제들이 제기 되고 있다. 이러한 임펄스 전자기파는 제어 장치에 연결된 제어전선으로 타고 들어와서 전자장비 내부의 부품들과 반사,공진등을 일으켜서 결국에는 PCB(printed circuit board)에 손상을 입혀서 그 장치들을 사용 못하게 할 수가 있다. 주파수가 광대역인 50MHz 에서 800MHz 까지의 EMI(electro magnetic interference)환경을 만들 수 있는 장치를 제작 하였다. 이러한 UWB(ultra wide band)장치는 고전압펄스를 압축 성형하여, 동작시간이 아주 빠른 ultra fast 스위치를 통해서, 펄스의 기림 시간이 수백ps의 파형을 만들어, 안테나로 전송하여 공간으로 방사시키는 장치에 대해 설계 제작하여 실험한 결과에 대해 논하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 C
• /
• pp.1544-1546
• /
• 2003

In this study, composite materials were put to dry interfacial treatment by use of plasma technology. It has been presented that the optimum parameters for the best wettability of the samples at the time of generation of plasma were oxygen atmosphere, 0.1 torr of system Pressure, 100 W of discharge power, and 3 minutes of discharge time. The decrease in surface potential of charged samples by corona discharge indicates that the amount of accumulated electrical charges reduces and the charges that have been injected lessen rapidly when the duration of UV irradiation increases. The surface resistivity and the tensile strength of plasma treated samples, a longer UV irradiation time resulted in decreased insulation.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (하)
• /
• pp.1543-1546
• /
• 2002

인터넷 사용이 보편화됨에 따라 컴퓨터뿐만 아니라, 휴대폰이나 PDA(Personal Digital Assistant)를 이용한 인터넷 사용이 증가하고 있다. 다양한 학습방법의 개발과 제공은 사용자에게 알맞은 학습형태를 선택할 수 있는 폭을 더 넓혀줄 것이다. 모바일 학습은 이러한 요구 사항에 적합하고 시대적으로 필요하다. Web과 함께 모바일 인터넷 환경을 이용한 교육 컨텐츠 제공에 대한 요구가 증가하고 있다. 따라서 본 논문에서는 이러한 인터넷 환경에서 모바일을 이용한 교육용 컨텐츠를 J2ME기반으로 구현하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 제38회 하계학술대회
• /
• pp.1546-1547
• /
• 2007

휴대용 면역진단 시스템을 구현하기 위하여 설계된 공기주입기로 구동되는 랩온어칩 내의 유체 유동을 컴퓨터 시뮬레이션을 통하여 해석하고, 문제점을 보완할 수 있는 구조로 랩온어칩을 재설계하였다. 공기주입기에서 흘러나오는 공기를 이용해 완충액 저장고 내에 있는 완충액을 토출시킬 때 다량의 기포가 발생함을 시뮬레이션 결과를 통해 알 수 있었다. 완충액 저장고의 내부에 계단형 구조를 삽입함으로서 완충액 이송 시 형성되는 기포를 상당히 억제할 수 있었다. 또한 계단형 구조는 유선을 역행 방지판 쪽으로 분산시켜 역행 방지판의 효율을 높일 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 추계학술발표대회
• /
• pp.1543-1546
• /
• 2012

반응형 시스템은 외부 환경과 지속적으로 상호작용하는 시스템이다. 반응형 시스템이 요구 사항을 만족하는지를 검사하기 위해서 상호 작용을 수행할 환경 모델을 구축 해야 한다. 환경 모델은 반응형 시스템에게 항상 올바른 입력들을 제공 해야만 검사 결과의 신뢰성을 보장할 수 있기 때문에 올바른 입력들을 포함하는 것은 매우 중요하다. GR(1) Synthesis 는 수학적 정형 기법으로써 논리식으로 표현된 요구 사항을 보장할 수 있는 모델을 자동으로 생성할 수 있다. 이 기법을 이용하여 올바른 환경 모델을 생성하고 반응형 시스템에게 올바른 환경의 입력들을 자동으로 제공 함으로써 반응형 시스템의 행위가 올바른지를 환경 모델 상에서 검사하였다. 또한 사례 연구를 통해 환경 모델을 이용한 검사가 기존 방법에 비해 우수함을 알 수 있었다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1546-1565
• /
• 2019

Signcryption schemes offer the possibility to simultaneously sign and encrypt a message. In order to guarantee the authentication of both signer and receiver in the most efficient way during the signcryption, certificate based solutions have been proposed in literature. We first compare into detail three recently proposed certificate based signcryption systems relying on the elliptic curve discrete logarithm problem and without the usage of compute intensive pairing operations. Next, we demonstrate how the performance of these certificate based systems can be improved by using the Elliptic Curve Qu Vanstone (ECQV) implicit certificates. What is more, generalized signcryption schemes are easily derived from these schemes and the anonymity feature of sender and receiver is already inherently included or can be very efficiently obtained without a significant additional cost.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.1544-1546
• /
• 2013

도시철도는 대표적인 대중교통으로써, 하루에도 수백만명의 승객들이 이용하고 있다. 따라서 도시철도를 이용하는 승객들의 안전이 보장되어야 하며, 안전한 서비스 제공 및 예방 노력이 제반되어야 한다. 이를 위해 설치된 폐쇄회로 CCTV와 상황실은 넓은 구역내의 모든 위험상황을 감지하고 대응하기에 미흡하다. 따라서 이러한 영상감시의 미흡한 점을 보완하여 기설치된 CCTV를 통해 위험구역내 보행자를 자동으로 인지하여 큰 사고를 미연에 방지하고자 역사내 지능형 영상감시 시스템을 설계하였다.