• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2016년도 제54차 하계학술대회논문집 24권2호
• /
• pp.5-6
• /
• 2016

항공전자와 같은 실시간 시스템을 위한 어플리케이션은 신뢰성을 보장하는 것이 중요하다. 기존의 동적 분석 도구가 사용하는 Sampling기법이나 Instruction측정은 성능 저하 구간을 올바르게 탐지하지 못하기 때문에 프로그램의 품질을 상승시키기 어렵고 디버깅 비용을 증가시킨다. 본 논문은 이러한 문제의 해결을 위해 함수 별 실행 시간을 측정하고, 함수의 수행 구조를 추적하여 성능저하구간을 직관적으로 식별할 수 있는 수행시간 분석 도구를 제시한다.

• 한국콘텐츠학회논문지
• /
• 제16권10호
• /
• pp.608-616
• /
• 2016

Smith-Waterman(SW) 알고리즘은 DNA 시퀀스 분석에서 중요한 연산 중 하나인 지역 정렬을 처리하는 알고리즘이다. SW 알고리즘은 동적 프로그래밍 방법으로 최적의 결과를 도출할 수 있지만 수행시간이 매우 길다는 문제가 있다. 이를 해결하기 위해서 다수의 노드를 이용한 병렬 분산 처리 기반의 SW 알고리즘이 제안되었다. Apache Spark을 기반으로 하는 병렬 분산 DNA 처리 프레임워크인 ADAM에서도 SW 알고리즘을 병렬로 처리하고 있다. 하지만, ADAM의 SW 알고리즘은 Smith-Waterman 이 동적프로그래밍 기법이라는 특성을 고려하지 않고 있어 최대의 성능을 얻지 못하고 있다. 이 논문에서는 ADAM의 병렬 SW 알고리즘을 개선한다. 제안하는 병렬 SW 기법은 두 단계에 걸쳐 실행된다. 첫 번째 단계에서는 지역정렬 대상인 DNA 시퀀스를 다수의 파티션(partition)으로 분할하고 분할된 각 파티션에 대해서 SW 알고리즘을 병렬로 수행한다. 두 번째 단계에서는 파티션 각각에 대해서 독립적으로 SW를 적용함으로써 발생하는 오류를 보완하는 과정을 역시 병렬로 수행한다. 제안하는 병렬 SW 알고리즘은 ADAM을 기반으로 구현하고 기존 ADAM의 SW와 비교를 통해서 성능을 입증한다. 성능 평가 결과 제안하는 병렬 SW 알고리즘이 기존의 SW에 비해서 2배 이상의 좋은 성능을 내는 것을 확인하였다.

• 한국정보통신학회논문지
• /
• 제19권3호
• /
• pp.683-688
• /
• 2015

최근 소프트웨어의 결함을 탐지할 수 있는 다양한 종류의 동적분석 도구가 점점 더 많이 활용되고 있다. 하지만 업계에서 실제로 발생하는 결함에 대한 조사는 지금까지 거의 없었다. 본 논문에서는 C/C++, 자바 프로그램에서 결함을 찾아내는 툴인 CodeSonar가 찾아낸 결과를 분석하고자 한다. 분석결과 동남권 지역에서 가장 많이 발생하는 결함들을 다양한 방법으로 제시한다.

• 정보보호학회지
• /
• 제23권2호
• /
• pp.21-28
• /
• 2013

스마트폰의 급증 현상은 모바일 생태계의 패러다임을 변화시켰으며 다양한 SW 컨텐츠의 양산과 더불어 그 활용 영역의 확대를 가져왔다. 이에 따라 필연적으로 모바일 악성코드도 증가되고 있으며 개인정보 또는 회사 기밀정보의 무단 유출이라는 사회적 이슈도 대두되게 되었다. 이러한 문제를 해결하기 위해서는 모바일 어플리케이션에 대한 검증이 필요하고, 검증하는 방법에는 크게 정적분석 방법과 동적분석 방법이 있으며 분석 방법에 대한 자세한 내용은 선배 전문가들의 앞선 연구 사례와 논문에 몇 차례 소개된 바 있다. 이에 본 고에서는 정적분석 및 동적분석 방법을 응용하여 (주)안랩에서 실제로 운용 중인 모바일 어플리케이션의 분석 및 검증 솔루션(AMSD) 구현사례를 소개하고자 한다. 여기에는 기 알려진 정적분석 방법과 동적분석 방법에 대한 간략한 서술이 포함되어 있으며 시스템 아키텍처 정보와 실제 오픈 마켓을 대상으로 운용하면서 얻어진 앱 분석 사례 및 개선 방향도 담고 있다. 이를 통해 모바일 오픈 마켓 운영 시의 안전성과 신뢰성 확보 및 건전한 모바일 생태계 유지를 도모하는 데 조금이나마 도움이 되었으면 하는 바램이다.

• EDISON SW 활용 경진대회 논문집
• /
• 제5회(2016년)
• /
• pp.593-597
• /
• 2016

항공기의 비행 안정성을 판별하기 위해서는 정적(static)안정성과 동적(dynamic)안정성을 모두 고려해야 한다. 본 연구는 EDISON_CFD의 KFLOW_EDISON_2D3DOF, 2D_Com_P해석자를 이용해 2차원익형의 정적(static)계수와 동적(dynamic)계수를 구해 항공기 전체형상의 정적 안정성 및 동적 안정성을 분석하였다. 그 중 2015년도 인간 동력 항공기대회 건국대학교 참가 기체를 예시로 연구를 진행하였다. 주익 익형 SG6043과 미익 익형 NACA0012을 EDISON_CFD를 이용하여 각 익형의 모멘트계수를 구하고 그 결과값을 이용하여 기체의 무게중심에 대한 각 익형의 감쇠계수를 계산하였다. 그리고 주익과 미익의 면적비율과 코드길이의 비율을 고려해 전체 항공기형상의 안정성과 비행 형태를 분석하였다.

• 한국정보처리학회논문지
• /
• 제7권8S호
• /
• pp.2587-2596
• /
• 2000

본 논문은 ATM-Forum의 WATM 기반 제3세대 무선 멀티미디어 망 환경에서 하나의 M.E.SW(Mobility Enabled ATM Switch)가 단순화된 많은 AP들을 관리하는 방안에 대하여 고려하였다. 또한 WATM 망 환경에서 가변 그룹 크기와 동적인 그룹 페이징 순서 방법을 사용하는 효율적인 페이징 방안을 제안하였다. 그리고 제안한 방안과 기존의 방안에 대해 성능을 평가 및 분석하였다. 여기서는 blanket-polling, sequential-polling 그리고 고정크기 그룹화 방안과 같은 대부분의 기존 방안들을 제안한 가변적이면서 동적인 그룹화 방안과 비교 분석하였다. 분석결과 offered-load가 낮은 환경에서는 단순한 blanket-polling paging 방안이 약간 더 우수한 성능을 보였다. 그러나 트래픽 밀도가 높아지면서 제안한 방안이 기존의 방안들 보다 더 우수한 성능을 보였다. 성능개선은 주로 가변적인 그룹 크기와 MS(Mobile Station)기반 동적인 페이징 순서 방안에 기인한다. 또한 제안한 방안은 MS에 대한 아주 간단한 이력정보와 최종적으로 통신한 AP 정보만이 필요하다. 따라서 이 방안은 효율적으로 구현하는 것이 가능하다.

• 전기전자학회논문지
• /
• 제27권1호
• /
• pp.93-102
• /
• 2023

악성코드 분석을 위한 기술 중 하나로 실행 프로그램의 함수 호출 관계를 시퀀스 또는 그래프 작성한 후, 그 결과를 분석하는 기술이 제안되었다. 이러한 기술들은 일반적으로 실행 프로그램 파일의 정적 분석을 통해 함수 호출 코드를 분석하고, 함수 호출 관계를 시퀀스 또는 그래프로 정리한다. 그러나 난독화 된 실행 프로그램의 경우, 실행 프로그램 파일의 구성이 표준구성과 다르기 때문에 정적분석 만으로는 함수 호출관계를 명확히 분석하기 어렵다. 본 논문에서는 난독화 된 실행 프로그램의 함수 호출관계를 분석하기 위한 동적 분석 방법을 제안하고, 제안된 기술을 이용하여 함수 호출관계를 그래프로 구성하는 방법을 제안한다.

• 한국과학교육학회지
• /
• 제26권3호
• /
• pp.367-375
• /
• 2006

이 연구에서는 물질의 입자성에 대한 개념 학습에 제공되는 다양한 외적 표상들 간의 연계와 통합을 촉진시키는 방안으로 고안된 그리기와 쓰기에서, 학생들에게 제공되는 시각적 정보의 형태(정화상/동화상)에 따른 교수 효과를 조사하였다. 남녀공학 중학교 1학년 233명을 통제 집단, 정적 그리기(SD) 집단, 동적 그리기 (DD) 집단, 정적 쓰기(SW) 집단, 동적 쓰기(DW) 집단으로 배치한 후, '보일의 법칙'과 '샤를의 법칙'에 대하여 2차시 동안 수업을 실시하였다. 개념이해도 검사 점수에 대한 이원 공변량 분석 결과, 그리기(SD, DO) 집단과 쓰기(SW,DW) 집단의 점수가 통제 집단의 점수보다 통계적으로 유의미한 차이로 높았다. 사각적 정보의 형태(정화상/동화상)에 따른 교수 효과를 비교한 결과, 쓰기에서는 정화상보다 동화상을 제공하였을 때 공간 시각화 능력이 낮은 학생들의 개념 이해도 검사 점수가 더 높았으며, 그 차이가 통계적으로 유의미하였다. 반면, 그리기에서는 공간시각화 능력에 관계없이 시각적 정보의 형태에 따른 개념 이해도 검사 점수 차이가 유의미하지 않았다. 수업에 대한 인식 검사 결과에서는 동화상을 사용하는 집단(DD, DW) 학생들의 대부분이 그리기나 쓰기에서 동화상을 제공하는 것에 대해 긍정적으로 인식하는 것으로 나타났다.

• 한국컴퓨터정보학회논문지
• /
• 제25권1호
• /
• pp.21-27
• /
• 2020

본 논문에서는 전투관리체계의 QoS를 향상시키기 위해 동적 가중 결손 라운드로빈과 우선 순위 기반의 혼합 스케줄링 알고리즘을 제안한다. 제안된 알고리즘인 DWDRR은 큐의 트래픽과 중요도에 따라 가중치를 동적으로 부여하여 패킷을 전송하는 방법이다. 제안된 알고리즘의 타당성을 분석하기 위해 모의실험을 통해 제안된 알고리즘이 특정구간에서 높은 효율성을 나타내는 것을 증명하였다. 따라서 기존의 알고리즘과 제안된 알고리즘을 혼합하여 사용하는 방법을 제안한다. 또한, 빈번한 기법 전환을 방지하기 위해 히스테리시스 기법을 적용하였다. 제안한 알고리즘은 동일한 트래픽에서 기존 알고리즘보다 낮은 패킷 손실률과 지연 시간을 나타낸다.

• EDISON SW 활용 경진대회 논문집
• /
• 제3회(2014년)
• /
• pp.533-538
• /
• 2014

NACA0012형상을 사용하여 천이현상을 고려한 유동해석이 Dynamic Stall에 미치는 영향에 대해 살펴보았다. 천이 현상을 고려한 진동하는 익형의 공력 계수 변화를 비교하기 위해 완전 난류로 가정한 해석 결과와 실험 결과를 비교하였다. NACA0012익형을 사용하였으며 두께 변화에 따른 해석 결과를 비교하기 위해 NACA0009익형도 사용하였다. 정상유동해석의 천이 발생 지점과 비정상 유동해석의 천이 발생 지점을 비교하였으며, 익형주위의 유동결과를 비교하여 천이해석과 완전 난류해석 결과의 차이를 분석하였다.