• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.460-462
• /
• 2001

테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 데스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이틀 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서 는 프로그램을 실 행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법 을 제안한다.

• Analytical Science and Technology
• /
• v.28 no.3
• /
• pp.236-245
• /
• 2015

Recently, candles have been widely used to create a romantic atmosphere and to heat tea. In this study, a small combustion chamber for candle was designed using an 0.008 m³ bell jar. The emission factors of combustion products were then measured. The combustion chamber includes a glass dish, which prevents candle flame from affecting the composition of the gas emitted through the exhaust outlet. The outlet in the combustion chamber was designed as a cone shape, and it was lengthened to prevent flow from the outside, which could affect the homogeneous composition of the exhaust gas. The temperature at the outlet of the chamber was 34 ℃~41℃. The major combustion products of the candle, such as such aldehydes and acids, contained oxygen. The mass specific emission rates of benzene, toluene, ethylbenzene, and TVOC were 0.04 μg/g, 0.01 μg/g, 0.02 μg/g, and 3.81, respectively. The mass specific emission rates of formaldehyde, acetaldehyde and benzaldehyde were 4.48 μg/g, 1.09 μg/g, and 0.67 μg/g, respectively. Considering the different compositions of the candle samples, their mass specific emission rates were similar to those obtained by using a large chamber 0.17 m³~50 m³ in size.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2000.04a
• /
• pp.9-9
• /
• 2000

액체 램제트 엔진의 V형 유입구에 3개의 안내깃이 있은 경우에 대하여 유동 해석을 수행하였다. 수치해석에 앞서 본 연구에서는 ONERA에서 발표한 고체 램제트 연소기에 대한 실험 결과를 유동 해석 결과와 비교하여 해석의 정확성을 검증하였다. 안내깃에 의하여 연소실로 유입되는 공기는 유입구 곡관에서 효율적인 흐름을 유지할 수 있고 분사되는 연료의 분포도 제어될 수 있다. 안내깃의 두께가 큰 경우 자칫 유입되는 공기의 흐름을 방해하는 장애물의 역할을 할 수 있으므로 두께의 변화에 대한 영향도 계산하였으나 선정된 안내깃에 의한 연소실에서의 유동특성 변화는 적은 것으로 나타났다. 입구조건을 균일 유동으로 주고 해석한 결과, 연소실에서의 유동은 안내깃의 유무에 따라 큰 영향을 받지 않았다. 그러나 흡입구로 유입되는 공기의 속도 분포는 다양한 비행조건에서 균일하지 않기 때문에 주 유동을 방해하지 않는 안내깃의 설치는 연소실에서의 좀 더 안정된 화염의 생성을 위해 필요하다.

• Journal of the korean Society of Automotive Engineers
• /
• v.7 no.3
• /
• pp.19-29
• /
• 1985

기관실린더내 Swirl의 생성과 감쇠의 예측은 종래부터 Swirl을 강체회전적인 속도분포를 갖는 흐 름으로 판정하여 행해져 왔다. 본 원고는 이제까지 실험되어져 왔던 예측명을 대략 설명하고, 실 제기관에 대한 측정결과와의 관계를 서술과 함께, 기관 실린더내 Swirl속도계측방법의 구체적인 예를 소개한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.641-642
• /
• 2011

저궤도 위성은 지상과의 접축시간이 극히 제한되어 있어 위성에서 생성된 원격측정 데이터들을 위성의 대용량 메모리에 저장하였다가 지상과의 접촉시간에 저장된 데이터를 지상으로 전송하는 방식으로 운영된다. 위성에 저장할 수 있는 전체 데이터 크기는 대용량 메모리의 크기와 지상과의 통신 가용시간에 따라 제한을 받게 된다. 대용량 메모리 저장용량과 다운링크 버짓을 만족해야 하므로 일반적으로 각 탑재체로부터 수신하여 위성에 저장되는 원격측정 데이터들은 종류별로 일정한 주기를 가지게 되고 그 크기도 고정되어 있다. 그리고 각 데이터 종류별로 저장여부를 지상명령으로 조절할 수 있도록 되어 있다. 그러나 생성되는 데이터가 일정하지 않고 비주기성을 갖는 경우 데이터량을 예측할 수 없으므로 지상명령으로 데이터 저장여부를 제어하는 것은 거의 불가능하다. 이러한 경우에 생성되는 데이터량을 모니터링하면서 데이터를 전송할 수 있는 자동화된 데이터 통신 방식이 요구된다. 본 논문은 저궤도 위성 탑재체에서 비주기적으로 생성되는 데이터를 자동으로 전송받기 위한 데이터 자동 전송기능과 시험 결과에 대해서 기술하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.245-248
• /
• 2001

비디오 데이터에서 캡션은 비디오의 중요한 부분과 내용을 나타내는 가장 보편적이 방법이다. 본 논문에서는 축구 비디오에서 캡션이 갖는 특징을 분석하고 캡션에 의한 키 프레임을 추출하도록 하며, 비디오 요약 생성 규칙에 따라 요약된 비디오를 생성하도록 한다. 키 프레임 추출은 이벤트 발생에 따른 캡션의 등장과 캡션 내용의 변화를 추출하는 것으로 탬플리트 매칭과 지역적 차영상을 통하여 추출하며 샷의 재설정 통하여 중요한 이벤트를 포함한 요약된 비디오를 생성하도록 한다.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.21 no.1
• /
• pp.273-286
• /
• 2022

An HD map is essential in the automated driving of level 4 and above to generate the vehicle's global path since it contains road information and each road's lane information. Therefore, all the road elements in the HD map must be correctly defined to construct the correct road network necessary to generate the global path. But unfortunately, it is not difficult to find various errors even in the most recent HD maps. Hence, a preprocessing algorithm has been developed to detect and correct errors in the HD map. This error detection and correction result in constructing the correct road network for use in global path planning. Furthermore, the algorithm was tested on real roads' HD maps, demonstrating its validity.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.494-494
• /
• 2023

수치모형을 활용하여 하천 흐름을 해석하기 위해서는 하도의 형태를 나타내는 지형자료가 요구되며, 주흐름 방향에 직각 방향으로의 횡단면도는 다량의 자료가 필요하다. 측량을 통한 횡단면도의 확보는 시간과 비용이 많이 소요될 뿐 아니라 날씨와 같은 외부적 요인에 따라 측량 결과물의 정확도가 달라질 수 있다. 또한 하천의 유속이 매우 빠를 때에는 정확도 높은 횡단 측량자료를 얻기는 불가능하며 접근이 어려운 지역이나 중소규모의 하천 측량자료는 구축되어 있지 않은 실정이다. 이에 따라 위성영상과 수치표고모델(Digital Elevation Model, DEM)에 기반하여 하천구역과 하도의 특성을 정의하는 방법이 대안으로 제시되고 있다. 본 연구에서는 하천지형 측량자료가 존재하는 섬진강댐부터 오수천 합류전까지를 대상으로 가상하도 생성기법을 적용하고, 1차원 하천흐름해석을 수행하여 가상하도 구축방안의 유효성을 검토하고자 하였다. 위성영상 자료를 활용하여 하천구역을 정의하였으며 DEM에서 추출된 표고에 기반하여 제방고와 횡단면도를 구축하였다. 구축된 횡단면도와 실단면 비교시, DEM 표고 및 하천구역 정의 지점의 정확도에 따라 제방고가 달라지는 것으로 나타났으며, 홍수터에 대한 고려가 포함되지 않아 실단면과 다소 차이가 있는 것으로 확인된다. 구축한 지형자료를 1차원 하천흐름해석 모형인 K-River에 적용하였으며, 상류단 경계조건으로는 섬진강댐 방류량을 하류단 경계조건으로는 등류조건을 적용하였다. 구축영역 내 존재하는 지류의 유입량은 측방유입으로 고려하였다. 수치모의 결과로부터 구축된 횡단면의 최심고와 실단면의 최심고가 유사한 지점에서는 수위재현성이 양호한 것으로 확인되었다.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.13 no.8
• /
• pp.667-673
• /
• 2001

As an alternative cooling method to reduce environmental hazard, vortex tubes have been studied for energy separation into cold and hot streams. Hence, the experiments were carried out systematically to find the best ratio of vortex chamber diameter to tube diameter. Also, the work was don to investigate how inlet pressure and geometric ratios of vortex tube affected temperature differences at tow needs as ell as cooling capacity and cooling efficiency. The result showed that the maximum temperature differences at the both ends and the maximum cooling efficiency were obtained when the ratio of vortex chamber diameter was about 1.45, while the inlet pressure ws not higher than 0.7 MPa.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2003.03a
• /
• pp.884-891
• /
• 2003

이 논문는 지오신텍스 보강토 구조물의 보강 메카니즘을 수치계산을 통해 규명하고자 하는 목적으로 쓰여졌다. 이 연구에서는 보강 메카니즘은 전단에 의한 다짐토의 체적 팽창(부의 다일렌탄시)을 지오신텍티스에 의해 구속 억제하는 과정에서 생성되는 효과로 간주하고 있다. 보강 메카니즘의 규명을 위해 1992년 일본 Kanazawa에서 실시된 실모형 실험과 실내 실험 결과를 이용하였으며. 수치계산에서는 다짐토의 다일렌탄시 특성을 표현 가능한 탄소성 구성모델을 이용하여 유한요소(FEM)을 이용하고 있다. 수치 계산에 의해 실모형, 실험 실내실험 결과를 비교 분석하였다.