• 한국정보과학회논문지:시스템및이론
• /
• 제26권8호
• /
• pp.884-894
• /
• 1999

순서적 동기화 및 내포 병렬성을 포함하는 공유메모리 병렬 프로그램에서의 경합(race)은 프로그램 수행에서 원하지 않은 비결정성(nondeterminism)을 야기할 수 있기 때문에 반드시 탐지되어져야 한다. 특히 프로그램 수행에서 최초경합(first race)을 탐지하는 것은 중요한데, 그 이유는 이 경합을 제거하면 다른 경합이 나타나지 않을 수도 있기 때문이다. 본 논문에서는 결정적 공유메모리 병렬프로그램을 위한 2단계 수행중 (two-pass on-the-fly) 최초경합 탐지 기법을 제시하며, 이것은 공유메모리 병렬 프로그램의 특정 수행에서 "최초로 발생되는" 경합들을 탐지하는 기법이다. 그리고 HPF 컴파일러를 이용하여 본 탐지 프로토콜을 공인된 벤치마크 프로그램에 적용하여, 병렬 프로그램 디버깅 시 고려하여야 할 파라미터들에 대한 실험으로부터 본 기법의 효율성을 보였다.Abstract Detecting races is important in debugging shared-memory parallel programs which have ordered synchronization and nested parallelism, because the races result in unintended non- deterministic executions of the programs. The first races are important in debugging, because the removal of such races may make other races disappear. It is even possible that all races reported would disappear once the first races are removed. This paper presents a new two-pass on-the-fly algorithm to detect the first races in such parallel programs. The algorithm reported in this paper is an on-the-fly algorithm that detects the races that "occur first" in a particular execution of shared-memory parallel programs. The experiment has accomplished, where two certified benchmark programs which can be executed under High Performance Fortran environments to get some parameters which improve debugging performance with our algorithm. with our algorithm.

• 한국산학기술학회논문지
• /
• 제17권7호
• /
• pp.42-48
• /
• 2016

본 논문에서는 플라이백 DC-DC 컨버터에 사용되는 출력전압 정보를 보다 정확하게 감지하는 피크검출기를 집적회로로 설계하였다. 제안하는 피크검출기의 회로는 하나의 op-amp와 세 개의 트랜지스터로 이루어져 있다. 제안하는 회로는 단순한 구조로 이루어져 있기 때문에 제안하는 회로는 출력전압을 감지하는 과정에서 지연시간을 최소화 할 수 있다. 회로에서 op-amp와 몇 개의 트랜지스터를 사용함으로써, 제안하는 피크검출기가 종래의 커패시터와 다이오드로 설계된 피크검출기를 대신해 칩의 집적화가 가능해지고, 플라이백 컨버터의 모듈을 구성하는 소자가 트랜지스터로 대체되고 칩의 면적이 줄어들어 가격을 줄일 수 있다. 제안하는 회로는 0.35 um CMOS 공정을 이용하여 칩으로 제작하여 측정하였고, 칩 측정결과 모의실험결과와 잘 일치함을 보였다. 시뮬레이션 결과 사인파의 입력신호를 출력신호가 최대 0.3 ~ 3.1 %의 오차 범위 내에서 피크전압을 유지하는 것을 확인하였다. 칩 측정결과 모의실험결과와 잘 일치함을 보였다. 제안하는 회로의 결과를 통하여 종래의 피크검출기 회로의 좋지 않은 레귤레이션을 향상시키기 위하여 높은 플라이백 컨버터의 동작을 보일 수 있다. 플라이백 컨버터의 출력전압을 정확하게 감지하여 안정적인 컨버터 동작을 할 수 있을 것으로 사료된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.774-776
• /
• 1999

공유메모리 병렬프로그램에서의 경합은 프로그램 수행에서 원하지 않는 비결정성을 야기할 수 있기 때문에 반드시 탐지되어져야 한다. 기존의 탐지 기법들은 경합을 탐지하기 위해서 공유 자료구조를 사용하므로 심각한 병목현상을 일으킨다. 본 논문에서는 동기화가 있는 프로그램에서 병목현상을 줄임으로써 탐지의 효율성을 높임과 동시에, 최초로 발생한 경합을 탐지하기 위해서 감시대상이 되는 접근사건들의 수를 감소시키는 기법을 제시한다. 이러한 목적을 위해서 사건선택 알고리즘과 실제적인 실험결과를 통해 본 기법의 효율성을 보인다.

• 정보과학회 논문지
• /
• 제42권2호
• /
• pp.155-161
• /
• 2015

멀티 스레드 프로그램의 수행 중에 발생하는 자료경합과 원자성 위배 등과 같은 동시성 오류는 스레드들의 비결정적 수행으로 인해 다양한 수행 순서를 고려해야 하고 재생산 또한 어렵기 때문에 디버깅하기 어렵고 귀찮은 오류로 잘 알려져 있다. 이러한 자료경합을 디버깅하기 위해서는 스레드의 수행 순서와 메모리 접근 및 동기화 정보 등과 같은 프로그램의 수행 중에 발생한 정보를 수집 및 분석해야 한다. 본 논문에서는 멀티 스레드 프로그램의 수행 중에 벡터 클록 시스템을 기반으로 스레드의 병행성과 접근사건들 간의 순서관계를 생성 및 유지함으로써 정확하면서도 효율적인 감시와 분석이 가능한 도구인 VcTrace를 제시한다. 제시된 감시 도구를 사용하여 멀티 스레드 기반의 응용 프로그램을 대상으로 수행 중 발생한 스레드와 접근사건 등의 정보를 감시 및 유지하고, 자료경합을 탐지하는 기술과 접목하여 실용성을 분석한다.

• 한국전자파학회논문지
• /
• 제30권5호
• /
• pp.389-398
• /
• 2019

본 논문에서는 실제 환경을 고려하여 비행 중인 소형 무인기를 탐지할 수 있는 기법을 제안한다. 소형 무인기는 일반적으로 시가지 혹은 산악 지형 내에서 저고도 비행을 수행하므로 클러터(clutter)에 의해 자주 가려지게 된다. 따라서 우수한 탐지 성능 획득을 위해서는 잡음뿐만 아니라, 클러터를 고려한 탐지가 필수적이며, 각각의 클러터 제거 기법에 따른 성능 분석이 요구된다. 제안된 탐지 과정은 클러터 제거 기법 및 펄스 합성 기법을 통해 클러터 및 잡음을 억제한 후, CFAR 검출기를 통해 소형 무인기 탐지를 수행한다. 이때, 3가지 클러터 제거 기법을 적용한 후, 각 기법에 따른 소형 무인기 탐지 성능을 분석한다. 실제 야외 환경에서의 실험을 통한 측정 데이터(data)를 토대로 소형 무인기 탐지에 적합한 클러터 제거 기법을 도출할 수 있었다.

• 한국측량학회지
• /
• 제29권5호
• /
• pp.509-517
• /
• 2011

최근 일본, 뉴질랜드의 대지진과 같은 대규모 자연재해가 빈번하게 발생하고 있으며, 그 피해규모 역시 방대하다. 자연재해로 인한 긴급 상황에 효율적으로 대처하기 위해서는 재해지역의 정보를 신속 정확하게 취득하는 것이 중요하다. UAV는 낮은 고도에서 비행할 수 있고, 적은 운용비용으로 재해지역의 정보를 수집할 수 있는 효과적인 방법이다. 본 연구에서는 국내외 재해탐지용 UAV운용 관련 규정에 대한 조사 및 분석을 수행하여, 문제점을 도출하고 개선방안을 제시하고자 하였다. 재해탐지용UAV는 항공법 상 명확한 규정이 수립되어 있지 않지만 초경량비행장치로 분류할 수 있으므로 초경량비행장치에 재해탐지용UAV의 정의, 범위, 탑재장비 등의 항목이 추가되어야 할 것이다. 또한 비행허가절차로 인해 효율적인 운용이 어려운 실정이며, 이러한 문제 해결을 위한 예외 규정의 제정이 필요하다. 향후, UAV를 적용한 실제 재해탐지 사례를 바탕으로 현행 규정에 대한 분석적인 연구가 병행된다면 실시간 재해탐지 및 피해조사를 위한 체계적인 개선방안을 제시할 수 있을 것이다.

• 자원리싸이클링
• /
• 제17권3호
• /
• pp.3-9
• /
• 2008

하수슬러지 소각재를 대상으로 화학 조성과 물리화학적 물성을 측정하고 재활용을 위한 경량재료 제조실험을 수행하였다. 경량재료는 하수슬러지 소각재를 원료로 하여 경량충진제와 무기바인더를 첨가하여 성형 및 소성하는 방법으로 제조하였으며, 제조 조건에 따른 비중과 압축강도 변화를 측정하였다. 비산재의 pH 경우 배기가스 중화를 위한 알칼리 첨가로 인하여 알칼리성인 pH 8.69로 나타났으나 바닥재는 중성인 pH 6.48이었다. 공정시험법에 근거하여 하수슬러지 소각재에 대한 중금속 용출실험 결과, Cd, Cu, Pb, As, Cr의 5개 원소 모두에 대하여 용출량이 검출한계치 이하로 나타났다. 동일한 혼합비율의 경우 비산재를 사용한 경량재료 시편의 압축강도가 바닥재에 비해 높게 나타나 비산재를 원료로 사용하는 것이 보다 효과적임을 알 수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.712-714
• /
• 1998

공유 메모리 병렬 프로그램의 주요 문제의 하나는 공유 변수에 접근하는 비 결정적 수행이다. 본 연구에서는 공유 메모리 병렬 프로그램의 접근이상(access anomaly)을 탐지하는 방법들중 수행중 탐지 기법을 보인다. 수행중 접근이상 탐지기법은 접근이상이 존재하면 적어도 하나는 탐지 할 수 있는 장점을 가지고 있다. 수행중 탐지 기법인 English-Hebrew Labeling 은 동기화 명령을 가지고 내포 병렬 루프 프로그램에서 적용될 수 있는 레이블링 기법으로 레이블링에 많은 저장장소를 필요로 하는 단점을 가지고 있었다. 본 연구에서는 새로운 레이블링 방법을 소개하고, 기존의 English-Hebrew Labeling과 최악의 경우에 기억 장소 복잡도의 측면과 시잔 복잡도의 측면에서 효율성을 비교, 분석하게 된다.

• 정보처리학회논문지A
• /
• 제17A권1호
• /
• pp.9-18
• /
• 2010

OpenMP와 같은 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 탐지되어야한다. 이러한 경합의 존재를 수행 중에 검증하는 기존의 기법들은 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 가능하다. 하지만 이 조건을 만족하지 못한다면 경합검증을 위해서 각 임계구역마다 적어도 N! 만큼의 프로그램 수행이 필요하다. 여기서 N은 탐지 대상 프로그램이 가진 최대 병렬성을 의미한다. 본 논문에서는 프로그램 슬라이싱을 이용하여 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 한번의 수행으로 실제 경합뿐만 아니라 잠재적 경합까지 탐지할 수 있는 경합 전처리기를 제안한다. 제안된 도구는 OpenMP 병렬 프로그램에서 발생할 수 있는 비결정적 접근사건들에 대해서 항상 결정적으로 감시할 수 있으므로 임계구역 가진 프로그램 모델에 적용할 수 있는 어떠한 경합탐지 프로토콜을 사용하더라도 경합 검증이 가능하다. 본 도구의 실험적 증명을 위해서 비결정성이 포함된 합성 프로그램, 공인된 벤치마크 프로그램인 OpenMP Microbenchmark, NAS Parallel Benchmark, 그리고 OpenMP 응용 프로그램을 이용하여 제안된 도구의 정확성을 보인다.

• 한국안전학회지
• /
• 제28권6호
• /
• pp.11-16
• /
• 2013

This paper presents a study on the analyzing reliability of smoke fire detector using accelerated life test. In general, the smoke fire detector is broken by dust which flow in smoke detection chamber. In order to conduct accelerated life test of smoke fire detector dust is set accelerated factor in this paper. The dust is fly-ash which is test particle 5th regulated by KS A 0090. The dust accelerated level is 60 g, 180 g and 360 g and failure time is measured by smoke sensitivity testing. It is considered to failure of detector if detector don't operate within 30 secconds when subjected to an air stream having a velocity of 20 cm/s~40 cm/s containing smoke with a concentration of 15% of rate of light-response of 1 m. The goodness of fit test and mean life prediction conduct using the failure time. The result show that life distribution fits the weibull distribution for failure time data and the mean lifes calculate 22.5 year in domestic product and 14.7 years in overseas product applied dust stress only.