• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.357-359
• /
• 2000

최근 들어 디지털(digital) 비디오나 오디오 같은 멀티미디어 응용 프로그램이 수요와 공급이 폭발적으로 늘어남에 따라, 이를 지원할 수 있는 새로운 프로토콜 아티텍쳐(architecture)들이 개발되고 있다. QoS(Quality-of-Service) 라우팅은 이러한 응용 프로그램들이 요구하는 QoS 요구사항을 기반으로 하는 라우팅(routing) 기법이다. QoS 라우팅은 네트워크의 동적인 상태를 반영하여 플로우(flow)가 요구하는 QoS를 만족시킬 수 있는 라우트를 찾아줌으로써 라우팅 성능을 향상시켰지만, 네트워크의 동적인 상태 정보를 모든 라우터가 가지고 있어야 함은 물론 적절한 시기에 네트워크 정보를 갱신시켜야만 한다. 이와 같이 네트워크 정보의 적절한 갱신 시기를 결정하는 것은 갱신 유발 정책이라 한다. 기존에는 라우팅 성능을 높이기 위해 네트워크 변화에 민감한 갱신 유발 정책을 사용하였으나, 이로 인해 발생하는 갱신 메시지는 또 하나의 트래픽(traffic)을 발생시켜 프로토콜 오버헤드(protocol overhead)를 초래하였다. 또한, 최근에는 이러한 프로토콜 오버헤드를 줄이기 위한 갱신 주기 정책이 제시되었지만 라우팅 성능 저하를 감수해야 하는 한계점이 발견되었다. 본 논문에서는 기존에 제시된 갱신 유발 정책에 비하여 프로토콜 오버헤드를 좀더 줄임과 동시에 라우팅 성능을 개선시킨 새로운 갱신 유발 정책을 제시하였다. 그리고, 이에 관한 시뮬레이션을 구현하여 프로토콜 오버헤드와 라우팅 성능을 비교한 결과, 기존 정책보다 더 효율적임을 발견하였다.

• Information and Communications Magazine
• /
• v.29 no.2
• /
• pp.30-38
• /
• 2012

차량용 무선 통신이 처음 제안된 이래 다양한 자동차 생산 기업에서 차량에 무선통신 설비를 설치하고자 하고 있으며, 여러 국가에서 차량 무선통신을 위한 인프라 설치를 논의하고 있다. 따라서 수 년 내에 실생활에서 차량용 무선 통신을 이용 가능할 것으로 전망된다. 차량용 무선 통신을 이용하여 차량의 상태를 전송할 수 있고, 각종 교통 정보를 전송 받을 수도 있기 때문에 교통이 보다 안전하고 원활해 질 것이다. 하지만, 차량용 무선 통신에서 전송되는 데이터는 차량의 위치나 상태와 같은 개인 정보를 많이 포함하고 있다. 따라서 전송되는 메시지들의 보안과 그 메시지의 송신자에 대한 익명성이 보장되어야 한다. 그러나 익명성만 보장된 경우, 허위 정보나 악성 코드가 전송되었을 때, 이를 보낸 차량이 어떤 것인지 판별할 수 없게 되는데, 이를 보완하기 위하여 전송되는 메시지의 송신자를 추적할 수 있는 장치가 펼요하다. 그리고 차량용 무선 통신에 참여하는 차량의 수가 늘어날수록 전송되는 데이터도 폭발적으로 증가하는데, 이들을 효율적으로 인증할 수 있는 시스템 역시 갖춰져야 한다. 본 고에서는 차량용 무선통신에서 전송되는 정보에 대하여, 송신자의 익명성 보장과 효율적인 일괄 메시지 인증, 그리고 송신자 추적을 제공하는 차량용 디지털 서명 기술을 소개하고자 한다.

• Journal of the KSME
• /
• v.33 no.12
• /
• pp.1043-1051
• /
• 1993

Nd:Yag 레이저의 제2고조파와 광대역 모드 없는 레이저를 광원으로 사용하고 이중회절발분광 기에 설치된 다채널광검출기로 분광된 CARS 스펙트럼을 레이저 펄스마다 측정 할 수 있는 광 대역 CARS 분광기를 제작하였다. CARS 온도측정 불확정도는 300K에서 1300K까지는 1.5% 이내였다. CARS 기술을 이용하여 분젠버너의 화염면에서의 온도 분포를 측정하였으며, 대향류 버너의 화염내부의 온도 분포 및 CO 농도분포를 측정하였다. 이러한 CARS 기술은 정상상태의 연소진단에 응용할 수 있을 뿐만 아니라 레이저 펄스마다 측정되는 온도의 분포함수를 조사하면 앞으로 난류연소의 진단에도 응용이 가능하며, 내연기관 등과 같이 연속폭발연소 상태의 기체의 온도나 농도 측정이 가능하다. 본 연구에서 연구된 CARS 기술의 온도 측정정확도는 약 2% 이 내이고 농도 측정은 측정기체의 농도가 상온에서는 약 0.1% 이상, 1500K 이상의 고온에서는 0.3%이상이면 가능하다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2004.05b
• /
• pp.1408-1412
• /
• 2004

인구의 폭발적 증가, 산업화, 도시화의 급진적, 과학기숙의 발달 등으로 물 소비는 급증하는 반면, 이상기후현상으로 수자원의 절대량이 줄어 수자원의 양적인 문제와 하천 및 저수지의 수질오염에 대한 질적인 문제가 ,대두되고 있다. 하천의 수질현상 및 이송은 상당히 비선형적이고, 시간에 따라 변화하려, 실제로 수질의 예측은 유량의 변동, 오염물질의 이송 및 확산, 하천 구조물 등의 여러 요인에 의하여 상당히 어렵다고 알려져 왔다. 또한 한정된 수자원으로 하천의 수량과 수질목표를 동시에 달성하기 위해서는 물의 수요와 공급을 실시간으로 감시하면서 기상과 유출예측기술을 활용하여 용수의 수요와 공급을 예측하고 이를 토대로 수량과 수질을 고려한 물관리 운영시스템이 구축되어야 한다. 이를 위해 본 연구에서는 모형의 입${\cdot}$출력 구성을 자유롭게 변형할 수 있는 상태공간 모형과 신경망 모형을 이용하여 금강수계 주요 지점의 수질예측 모형을 구성하고 모형의 적용성을 파악한 후 예측력이 우수한 모형을 Web기반 모형의 수질예측 모듈의 기본모형으로 선정하고 Web 상에서 수질예측이 가능하도록 시스템을 개발하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.4 no.3
• /
• pp.13-19
• /
• 1999

In this paper, we suggests a WIP (Work In Process) of FMC (Flexible Manufacturing Cell) analysis methods based on the TPN (Time Petri Nets) unfolding. Unfolding of PN is a partial order-based method for the verification of concurrent system without the state space explosion. The aim of this work is to formulate the general cyclic state scheduling problem to minimize the WIP to satisfy economical constraints. The method is based on unfolding of the original net into the equivalent acyclic description.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.3
• /
• pp.188-190
• /
• 2014

In mobile ad hoc networks(MANETs), each node rebroadcast received route request packets for route discovery. Flooding from large number of nodes induces the broadcast storm problem which causes severe degradation in network performance due to redundant retransmission, collision and contention. This paper presents a node status algorithm based on probabilistic scheme to alleviate the broadcast storm problem for wireless ad hoc networks.

• Journal of Korean Institute of Fire Investigation
• /
• v.9 no.1
• /
• pp.79-89
• /
• 2006

본 연구는 2004년 10월 3일 03시 29분경 전북 00시 00동 지리산 흑돼지 정육점에서 발생한 화재현장을 대상으로 화재조사 및 감식을 하여 그 원인을 규명하고자 하였다. 조사 결과 안쪽방과 매장 사이에 있던 냉장고가 심하게 소훼 되었고, 점포와 안방 출입문 부위를 중심으로 가장 심한 탄화상태를 보이는 것으로 발화지점으로 보이며, 점포 내 휴게공간에서 발화하여 점포내부와 화장실을 통해 연소 확대되었음을 확인하였다. 한편, 발화원인으로는 전기적원인, 가스 난방기구 및 담뱃불 등 미소화원 등에 의한 발화 가능성의 특이점이 보이지 않으며, 휴게공간에서의 급격한 연소현상, 폭발 후 화재로 진전된 흔적, 바닥의 가연성액체에 의한 연소흔적 등으로 보아 방화의 가능성이 높다. 화재는 휴식공간입구 우측 큰 교자상과 밑의 작은 교자상 밑, 그 주위에 연소매개체로서 등유를 뿌린 상태에서 휴대용가스렌지를 이용 방화한 것으로 추정된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.593-595
• /
• 1999

모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 객수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈을 반드시 주어진 성질을 만족한다는 가정-보증 추론(Assume-Guarantee Reasoing)을 이용한다.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.36 no.2
• /
• pp.197-204
• /
• 2012

We explore the evolution of metal plasma generated by high laser irradiances and its effect on the surrounding air by using shadowgraph images after laser pulse termination and X-ray diffraction (XRD) of aluminum plasma ablated by a high-power laser pulse (>1000 mJ/pulse) and oxygen from air. Hence, the formation of laser-supported detonation and combustion processes has been investigated. The essence of this paper is in observing the initiation of chemical reaction between the ablated aluminum plasma and oxygen from air by the high-power laser pulse (>1000 mJ/pulse) and in conducting a quantitative comparison of the chemically reactive laser-initiated waves with the classical detonation of an exploding aluminum (dust) cloud in air. The findings in this work may lead to a new method of initiating detonation from a metal sample in its bulk form without any need to mix nanoparticles with oxygen for initiation.

• The Journal of the Convergence on Culture Technology
• /
• v.9 no.3
• /
• pp.727-730
• /
• 2023

The operation of electric automatic windows is used in harsh environments, and the energy density decreases as charging and discharging are repeated, and as soundness deteriorates due to damage to the internal separator, the vehicle's mileage decreases and the charging speed slows down, so about 5 to 10 Batteries that have been used for about a year are classified as waste batteries, and for this reason, as the risk of battery fire and explosion increases, it is essential to diagnose batteries and estimate SOH. Estimation of current battery SOH is a very important content, and it evaluates the state of the battery by measuring the time, temperature, and voltage required while repeatedly charging and discharging the battery. There are disadvantages. In this paper, measurement of discharge capacity (C-rate) using a waste battery of a Tesla car in order to predict SOH estimation of a lithium-ion battery. A Support Vector Machine (SVM), one of the machine models, was applied using the data measured from the waste battery.