• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(C)
• /
• pp.470-473
• /
• 2011

오류 정적 분석기가 출력하는 분석 경보 사이의 종속 관계를 안전하게 계산하여, 분석 경보들을 무리 짓는 짓고, 대표 경보들만을 출력하는 기법을 소개한다. 경보 1이 가짜 경보일 때 경보 2도 항상 가짜 경보가 된다면, 경보 1을 살펴 가짜 경보임을 안 경우에 경보 2를 살펴볼 필요가 없다. 따라서, 경보 2는 경보 1에 종속적이라고 말할 수 있다. 버퍼 오버런 분석기의 분석 경보 보고서를 개선하기 위해 이러한 기법을 적용한 결과, 여러 개의 오픈 소스 소프트웨어들의 분석 후에 보고되는 경보의 수를 평균 60% 줄일 수 있었다. 종속 관계 계산을 위해 소요되는 추가적인 분석 시간은 평균 20% 이다. 제안하는 기법은 요약 해석에 기반을 둔 모든 정적 분석기에 적용할 수 있으며, 실제 오류일 가능성이 높은 경보를 먼저 보여주는 통계적인 기법들과 독립적으로 사용될 수 있다.

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

Syslog는 Unix 시스템에서 로깅과 오류 보고를 위해 설계되었다. 즉, Syslog는 시스템 전반에 걸친 일상적 알림에서부터 치명적인 오류들과 네트워크 노드들 전반의 각종 행위들에 대한 감사 기록이다. 때문에 침해 사고 발생시 가장 우선적으로 사용되는 보안 감사 자료이며 장애나 침해가 발생하였음을 확인할 수 있는 유일한 증거이다. 그러나 기존의 Syslog 관리에서는 같은 WAN 환경에서도 로그 서버들 간의 로그 정보 공유가 제한적으로 행해지고 있다 따라서 본 논문은 신뢰 가능한 로컬 네트워크로 구성된 WAN 환경에서 에이전트를 이용한 로컬 네트워크들 간의 원활한 로그 정보의 공유를 통해 보다 효과적인 Syslog 관리를 위한 시스템 모델을 제안하고자 한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권5호
• /
• pp.508-524
• /
• 2006

이 논문에서는 정적 프로그램 분석(static program analysis)과 통계적 분석(statistical analysis)의 조합을 가지고 실제적인 C 프로그램을 검증한 경험을 보고한다. 정적 분석과 통계적 분석의 조합은 입력 프로그램에 제한을 두지 않는 정적 분석기에서 발생하는 불가피한 허위 경보를 줄이기 위한 것이다. 우리는 ANSI C 프로그램이 실행 중에 겪을 수 있는 모든 배열 참조 오류(buffer overrun)를 찾아주는 정적 프로그램 분석기 아이락(Airac, Array Index Range Analyzer for C)을 고안하고 구현하였다. 분석의 안전성(soundness)을 유지하면서 프로그램 분석 분야에서 오랫동안 축적된 기술들을 활용하여 분석 비용 절감 및 정확도 향상을 달성했다. 대상 프로그램에 제한을 두지 않는 안전한 분석은 정확도에 한계가 있으므로 불가피한 허위 경보가 존재할 수 있다. 이러한 허위 경보(예를 들어 530만 줄짜리 상용 C 프로그램에 대한 분석 결과 아이락은 970개의 배열 참조 오류 경보를 발생시켰으나 그 중 737개는 허위 경보였다.)에 대처하기 위해 우리는 통계적 사후 분석을 시도하였다. 통계적 사후 분석은 주어진 경보가 실제 오류를 가리킬 확률을 계산한다. 이렇게 계산된 확률은 두 가지 방법으로 사용된다. 1) 경보를 걸러내거나, 2) 실제 오류에 대한 경보일 가능성이 높은 것들을 우선적으로 사용자에게 보여준다. 우리는 리눅스 커널 프로그램과 알고리즘 교과서의 프로그램들을 대상으로 실험을 수행했다. 우리 실험에서 실제 오류를 놓칠 위험이 허위 경보의 위험의 3배라고 설정한 경우 74.83%의 허위 경보를 걸러낼 수 있었고, 참일 확률이 높은 경보부터 검증하는 경우 15.17%의 허위 경보만이 실제 오류 50%와 섞여 있었다.

• 방송공학회논문지
• /
• 제14권2호
• /
• pp.228-237
• /
• 2009

본 논문에서는 최근 많은 관심을 받고 있는 초 고화질 방송(Ultra-High Definition TV: UD-TV) 에 대하여 간략히 알아보고, 무선 채널에 비해 잡음의 영향이 적은 케이블 채널에서의 전송 가능성과 효율적인 전송방식에 대하여 살펴 보고자 한다. 국내 및 북미에서 디지털 케이블 방송의 전송 표준으로 채택하고 있는 오픈 케이블(OpenCable, J.83 Annex B) 시스템을 근간으로 하여, 기존의 256QAM에서 1024QAM으로 단순 확장된 시스템의 TOV(Threshold of Visibility) 증가를 살펴 보고, 이를 개선하기 위한 오류 정정 부호기의 부호율 변화 및 터보 부호의 적용을 통해 수정 확장된 시스템의 성능을 분석함으로써 수정 확장된 1024QAM 오픈 케이블 시스템의 최대 성능 한계를 알아본다. 그 결과 기존 오류 정정 부호기의 구조를 갖는 오픈 케이블 시스템은 31.5dB 이하의 신호 대 잡음비에서는 오류 없는 수신이 불가능하며, 그보다 낮은 TOV를 얻기 위해서는 기존 오류 정정 부호기의 수정이 불가피함을 확인했다. 또한 UD-TV의 전송 가능성을 기존 6MHz채널 대역폭 내에서의 섀논 한계(Shannon Capacity) 및 차세대 동영상 압축 기술과의 관계를 통해 고찰해 보고, 2개 이상의 채널을 결합하여 UD-TV를 전송하는 여러 가지 시나리오를 제시한다.

• 한국어정보학회:학술대회논문집
• /
• 한국어정보학회 2017년도 제29회 한글및한국어정보처리학술대회
• /
• pp.270-271
• /
• 2017

본 연구는 한국어 학습자 작문의 자동 평가 시스템 개발의 일환으로, 자동 평가 결과에 대한 설명과 근거가 될 수 있는 평기 기준 범주를 선정하기 위한 데이터 구축과 선정 방법을 제시한다. 작문의 평가 기준의 영역과 항목은 평가체계에 대한 이론적 연구에 따라 다양하다. 이러한 평가 기준은 자동 평가에서는 식별되기 어려운 경우도 있고, 각각의 평가 기준이 적용되는 작문 오류의 범위도 다양하다. 그러므로 본 연구에서는 자동 평가 기준 선정의 문제는 다양한 평가 기준에 중 하나를 선정하는 분류의 문제로 보고, 학습데이터를 구축, 기계학습을 통해 자동 작문 평가에 효과적인 평가 기준을 선정 가능성을 제시한다.

• 정보화사회
• /
• 통권118호
• /
• pp.47-64
• /
• 1997

본 보고서는 '97년 6월말 현재를 기준으로 작성된 것이며, 기술방식의 변화를 주었다. 첫째, 5.6월 통계비교는 제표작업을 하지 않고 서술방식으로 기재되었다. 따라서 5월 통계는 월보 또는 정보화사회를 참조하면 된다. 둘째, '96년, '97년 1/4.2/4.상반기의 통계 비교는 다소 무리가 따르지만 '96년을 단순 산술평균하여 비교하였다. 경영.경제 환경 변화 등 수많은 요인들에 의해 사업체별로 생산, 내수, 수출, 수입 등의 변화가 촉발되어 상기의 방식은 오류가 있을 수 있으나, '정보통신 통일분류체계 및 개선(안)'에 의한 월별 조사는 금년이 최초 개시년도이므로 비교자료가 없는 상황이다. 따라서 추세를 어림잡는 작은 의미라도 있으리라 생각된다. 이후 연보에 의한 확정치가 공표되고 금년말 또는 내년초에 조사품목의 확대 및 과거 통계 보안을 통해 보다 신뢰성 있는 통계를 근거로 분석, 보고할 수 있으리라 확신한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.1043-1044
• /
• 2009

본 논문에서는 GPS 편차 정보를 이용하여 도로 네트워크 지도 제작시 불가피하게 발생하는 오차를 탐지하는 기법을 제안한다. 제안된 기법은 수십에서 수백 킬로미터 범위에 위치한 노드들이 공통적인 GPS오차를 겪는다는 점에 착안하고 있으며 각 도로 네트워크의 차량들이 동시간에 보고하는 위치 좌표를 이용하여 맵 매칭을 수행한 후 해당 시간스탬프의 오차를 계산한다. 이 오차를 이용하여 각 위치 좌표들를 보정한 후 다시 맵 매칭을 수행하여 맵 매칭의 오류가 한계치 이하라면 보고된 위치에 해당하는 도로들은 정확하게 플롯되어 있음을 알 수 있다. 이와 같은 통계들이 오랜 시간동안 쌓인다면 별도의 장비나 통신채널을 사용하지 않고 소프트웨어만으로 도로망 지도의 정확성을 검증할 수 있다.

• 대한골관절종양학회지
• /
• 제14권1호
• /
• pp.62-67
• /
• 2008

섬유성 골 이형성증이 골육종, 연골육종, 섬유육종 등으로 악성 변환을 하는 것은 매우 드무나 잘 알려져 있다. 악성 변화가 흔히 일어나는 부위는 두경부, 근위 대퇴골, 상완골, 골반골, 경골, 및 견갑골 순이다. 41세 다발성 섬유성 이형성증 환자가 상완골의 동통을 주소로 내원하였다. 방사선 상 상완골 간부의 골 팽윤 및 파괴를 보였다. 생검 상 저악성도의 연골육종으로 진단하여 변연부 절제를 하였으나 7개월 만에 근위부에서 국소 재발 후 재 절제한 표본은 연골아세포형 골육종으로 진단하였다. 다발성 섬유성 이형성증에서 속발한 연골아세포형 골육종을 저악성도 연골육종으로 오진하여 치료방침에 오류가 있었던 1례를 문헌고찰과 함께 보고하는 바이다.

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

공유메모리 병렬프로그램의 오류수정에서 경합의 탐지는 중요하다. 왜냐하면 경합은 잘못된 수행 결과를 초래할 뿐만 아니라, 의도하지 않은 프로그램의 비결정적인 수행을 유발하여 오류수정을 어렵게 하기 때문이다. 특히 최초경합의 탐지는 더욱 중요하다. 그 이유는 최초경합을 제거함으로써 나머지 경합들을 방지할 수도 있기 때문이다. 기존의 수행중 경합 탐지기법들은 접근별 보고방식을 기반으로 하는데, 이 기법들은 임의 공유변수에 대한 병행 쓰레드들의 모든 접근사건들을 검사하기 위해서 접근역사라는 유일한 공유정보를 이용하므로 탐지과정에 심각한 병목현상을 유발시킨다. 그러나, 최초경합 탐지를 위한 경우 이러한 병목현상은 크게 개선될 수 있다. 본 논문에서는, 각 접근사건 검사를 위해 각 쓰레드에 공유되지 않는 독립적인 접근역사를 별개로 두고, 경합을 보고하는 시점인 쓰레드 합류시점에서만 공유되는 접근역사를 이용하도록 함으로써 병목현상을 개선하여 최초경합을 탐지할 수 있는 새로운 수행중 탐지기법을 제안한다. 그러므로 본 기법은 최초경합을 보다 효율적으로 탐지할 수 있기 때문에 수행중 경합 탐지를 더욱 효율적이고 실용적으로 할 수 있다. Abstract Detecting races is important for debugging shared-memory parallel programs, because the races lead to unintended nondeterministic executions of the programs as well as erroneous result and then make debugging programs difficult. Especially, detecting the first races is more important. The reason is that the removal of the first races can make other races disappear. Most existing on-the-fly techniques to detect the races are based on per- access reporting method incurring the serious central bottleneck, because the techniques use unique shared information called access history for checking all accesses of concurrent threads to a shared variable. Such bottleneck, however, can be improved considerably in case of detecting first races. This paper presents a new on-the-fly technique which detects the first races with reduced bottleneck through checking each accesses with private access histories and finally reporting races with shared access histories. Therefore, this technique makes on-the-fly race detection more efficient and practical.

• 한국통신학회논문지
• /
• 제40권2호
• /
• pp.253-263
• /
• 2015

최근 다수의 후 순위 사용자(Secondary User)가 각각의 검출 결과를 융합 센터(Fusion Center)에 보고하여 대역 검출의 성능을 향상시키기 위한 협력 대역 검출 기법이 이루어지고 있다. 또한 선 순위 사용자(Primary User)에게 할당된 주파수 대역을 융합 센터가 공유하는 인지 무선(Cognitive Radio)기술이 개발되고 있다. 이 논문에서는 분산 협력 대역 검출 환경에서 후 순위 사용자의 검출 정보가 융합 센터로 보고되는 채널의 오류 확률을 고려한 기존 분산 협력 대역 검출 기법의 성능 저하를 보완하는 새로운 분산 협력 대역 검출 기법을 제안하였다. 또한 분산 협력 대역 검출 기법의 오류 확률을 최소화 하는 검출 문턱값의 최적화 방법을 수식의 유도를 통해 제안하였다. 최적의 검출 문턱값은 분산 협력 대역 검출의 성능을 최대화 하는 것을 확인하였다.