• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.07a
• /
• pp.5-6
• /
• 2016

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

• The Journal of the Korea Contents Association
• /
• v.16 no.10
• /
• pp.608-616
• /
• 2016

The Smith-Watrman (SW) algorithm is a local alignment algorithm which is one of important operations in DNA sequence analysis. The SW algorithm finds the optimal local alignment with respect to the scoring system being used, but it has a problem to demand long execution time. To solve the problem of SW, some methods to perform SW in distributed and parallel manner have been proposed. The ADAM which is a distributed and parallel processing framework for DNA sequence has parallel SW. However, the parallel SW of the ADAM does not consider that the SW is a dynamic programming method, so the parallel SW of the ADAM has the limit of its performance. In this paper, we propose a method to enhance the parallel SW of ADAM. The proposed parallel SW (PSW) is performed in two phases. In the first phase, the PSW splits a DNA sequence into the number of partitions and assigns them to multiple nodes. Then, the original Smith-Waterman algorithm is performed in parallel at each node. In the second phase, the PSW estimates the portion of data sequence that should be recalculated, and the recalculation is performed on the portions in parallel at each node. In the experiment, we compare the proposed PSW to the parallel SW of the ADAM to show the superiority of the PSW.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.19 no.3
• /
• pp.683-688
• /
• 2015

Recently, various static analysis tools for software defect detection are becoming widely used in practice. However, there is little public information of the most frequent defects in commercial areas until now. In this paper, we analyze the defects found by CodeSonar, a static analysis tool that finds defects in C/C++, Java programs. So we report the most frequent defects by various aspects in Dongnam area, Korea.

• Review of KIISC
• /
• v.23 no.2
• /
• pp.21-28
• /
• 2013

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

• Proceeding of EDISON Challenge
• /
• 2016.03a
• /
• pp.593-597
• /
• 2016

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

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.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 정보만이 필요하다. 따라서 이 방안은 효율적으로 구현하는 것이 가능하다.

• Journal of IKEEE
• /
• v.27 no.1
• /
• pp.93-102
• /
• 2023

As one of the techniques for analyzing malicious code, techniques creating a sequence or a graph of function call relationships in an executable program and then analyzing the result are proposed. Such methods generally study function calling in the executable program code through static analysis and organize function call relationships into a sequence or a graph. However, in the case of an obfuscated executable program, it is difficult to analyze the function call relationship only with static analysis because the structure/content of the executable program file is different from the standard structure/content. In this paper, we propose a dynamic analysis method to analyze the function call relationship of an obfuscated execution program. We suggest constructing a function call relationship as a graph using the proposed technique.

• Journal of The Korean Association For Science Education
• /
• v.26 no.3
• /
• pp.367-375
• /
• 2006

This study investigated the effects of varying visuals in drawing and writing as methods to assist students in connecting and integrating multiple external representations provided in learning the particulate nature of matter. Seventh graders (N=233) at a coed middle school were assigned to control, static drawing (SO), dynamic drawing (DD), static writing (SW), and dynamic writing (DW) groups. The students were taught about "Boyle's Law" and "Charles's Law" for two class periods. Two-way ANCOVA results revealed that the scores of a conception test for the two drawing (SD, DD) groups and the two writing (SW, DW) groups were significantly higher than those for the control group. Within the writing groups, students of lower spatial visualization ability in the DW group scored significantly higher than those in the SW group. However, no significant differences were found in the scores of the conception test for the two drawing (SD, DD) groups regardless of students' visualization ability. Researchers also found that most students in both DD and DW groups had respectively positive perceptions of dynamic visuals in drawing or writing.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.1
• /
• pp.21-27
• /
• 2020

In this paper, a hybrid scheduling algorithm is proposed for CMS(Combat Management System) to improve QoS(Quality of Service) based on DWDRR(Dynamic Weighted Deficit Round Robin) and priority-based scheduling method. The main proposed scheme, DWDRR is method of packet transmission through giving weight by traffic of queue and priority. To demonstrate an usefulness of proposed algorithm through simulation, efficiency in special section of the proposed algorithm is proved. Therefore, We propose hybrid algorithm between existing algorithm and proposed algorithm. Also, to prevent frequent scheme conversion, a hysteresis method is applied. The proposed algorithm shows lower packet loss rate and delay in the same traffic than existing algorithm.

• Proceeding of EDISON Challenge
• /
• 2014.03a
• /
• pp.533-538
• /
• 2014

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