• 한국정보과학회논문지:소프트웨어및응용
• /
• 제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%와 섞여 있었다.

• 한국통신학회논문지
• /
• 제27권6B호
• /
• pp.629-637
• /
• 2002

RLS 알고리즘은 스마트 안테나에서 가중치 벡터를 갱신하기 위한 적응형 배열 안테나 알고리즘으로서 배열안테나 출력신호와 송신기에서 보내주는 학습 신호열의 차를 이용한다. 본 논문에서 제안된 알고리즘은 RLS 알고리즘을 기반으로 하고 블라인드 적응형 알고리즘 방법을 응용하여 구한 참조신호를 사용하여 오류신호를 구하였다. 그리고 모의실험을 통해 제안된 알고리즘이 기존의 블라인드 적응형 알고리즘(LS-DRMTA, LS-DRMTCMA)보다 BER 기준에서 사용자 수용비율이 67∼74%정도 향상 되었음을 확인하였고 빔패턴을 도시하여, 빔이 원하는 신호와 간섭신호에 올바르게 형성하는지 알아보았다

• 대한수학교육학회지:학교수학
• /
• 제13권1호
• /
• pp.65-88
• /
• 2011

본 연구에서는 먼저 수학사에서 미적분학의 기본정리의 발달 과정을 고찰하고 기하적, 대수적, 형식적 관점에서 그 발생과정을 구분하여 배열한 다음, 이를 바탕으로 학생들이 겪을 수 있는 인식론적 장애와 교과서의 관련 내용을 분석하였다. 그리고 미적분학의 기본정리와 관련된 수학사, 학생들의 오류, 교과서 분석 내용을 바탕으로 미적분학의 기본정리를 학생들에게 의미충실하게 지도할 수 있도록 교사의 'folding back 사고 모형'을 개발하였다([그림 V-1] 참조). 'folding back 사고 모형'은 미적분학의 기본정리와 관련된 수학사, 학생들의 오류, 교과서 분석 내용을 바탕으로 교사가 어떤 교수학적 중재를 활용하는지를 결정하는 단계와 미적분학의 기본정리 개념의 역사발생적 배열 및 학생의 개념 이해 수준을 고려하여 재구성한 '발생적 이해 수준에 따른 개념 모형'([그림 V-2])을 중심으로 제작되었다. 'folding back 사고 모형'의 교수학적 중재 단계에서는 교사가 실제 수업을 설계할 때 활용할 수 있는 자기질문 형식의 'folding back 사고의 적용 요령'(<표 V-1>)을 개발하여 제시하였다. 본 연구에서 제안한 'folding back 사고 모형'은 Pirie-Kieren(1991)의 이론에서 제시된 folding back 개념을 활용하여 교사가 실제로 수학 수업을 설계할 때 수학사와 학생의 오류를 고려할 수 있도록 개발된 사고 모형이다. 이는 수학 교사의 전문성 신장을 이끌고 학생에게는 교과 내용을 배우면서 사고력을 향상 시킬 수 있는 수업을 제공하는데 기여할 수 있을 것이다.