• 한국정보처리학회논문지
• /
• 제4권12호
• /
• pp.3159-3174
• /
• 1997

본 논문은 매우 방대하고 복잡한 실시간 소프트웨어를 이해하기 위한 하나의 방법론과 도구의 개발 연구에 대하여 보고한다. 대부분 본 논문의 저자에 의하여 개발된 이 방법론과 도구는 ARSU(Architecture-based Real-time Software Understanding)과 SRE(Software Re/reverse-engineering Environment)이다. 재공학과정중에 실시간 소프트웨어의 이해한다는 것은 방대한 규모와 복잡성 때문에 일반적으로 매우 어려운 일이다. 그러나 이러한 어려움을 극복하기 위하여 본 논문에서는 architecture에 근거하여 구조적 ${\cdot}$ 기능적 ${\cdot}$ 행위적 측면에서 3차원적인 이해를 가능하게 한다. 이 방법을 통하여 실시간 소프트웨어를 점진적이며 체계적으로 재${\cdot}$역공학할 수 있게 한다. 첫째, 구조적인 관점은 부모－자식간의 관계에 기초한 상하 층충적으로 이루어진 소프트웨어의 전체적 구조, 그리고 명세와 알고리즘 뷰들을 통하여 관측할 수 있다. 여기에서 구조를 구성하는 기본단위는 SWU(Software Unit)이며 이 SWU는 특정 기준에 준하여 추출된다. 이 구조는 상하 또는 그 역방향으로 소프트웨어를 항해(navigation) 할 수 있게 한다. 이는 소프트웨어에 대한 개요와 상세에 관한 정보를 분리하여 상호간에 연관성이 있게 보여준다. 구조의 어떤 단계, 즉 어떤 추상화 단계에서라도 소프트웨어에 대한 기능적 ${\cdot}$ 행위적 대한 정보를 얻을 수 있게 한다. 둘째, 기능적 뷰는 자료와 제어의 흐름, 입력과 출력, 정의와 사용, 변수와 참조 등을 보여준다. 이 뷰의 각 사항들은 소프트웨어에 대한 특정 기능 정보를 제공하여 준다. 셋째, 행위적 뷰는 상태도, IEL(interleaved event list) 등을 들 수 있다. 이 뷰는 소프트웨어에 대한 실행시 동적 성질을 보여준다. 이 뷰들 외에도 각 측면과 뷰들을 위한 기능, 접속, 주석, 코드 등의 다수의 서류들이 제공된다. 본 연구의 가장 큰 장점은 구조를 항해하면서 여러 차원의 정보를 추상화하거나 세부적으로 확장할 수 있는 기능이다. 이러한 기능들은 이러한 실시간 소프트웨어를 이해 할 수 있는 토대를 마련해 준다. 그리고 이러한 장점은 재사용 가능한 요소를 체계적으로 식별하거나 검증할 수 있게 한다.

• 한국의학물리학회지:의학물리
• /
• 제12권1호
• /
• pp.41-50
• /
• 2001

신장 핵의학 영상의 정량적 분석시 설정하게 되는 관심영역은 그 설정 위치 및 모양과 크기에 따라 서로 다른 분석 결과를 도출하게 한다. 따라서, 관심영역을 사용자가 직접 육안으로 판별하여 수동으로 설정하는 경우, 사용자별 주관적 요소에 의해 위치 및 형태가 서로 상이한 관심영역을 설정하게 되어 동일한 자료를 분석하더라도 그 결과가 모두 상이한 값을 갖게 되는 문제점이 발생한다. 본 연구에서는 관심영역 수동설정시 사용자별 관심영역 설정의 변화도가 실제 신장기능 분석결과에 어느 정도의 영향을 주는지를 조사하였으며, 수동설정시보다 일관성 있는 결과를 얻기 위해 여러방법의 자동설정 기능을 개발하여 그 적용 결과를 분석하였다. 관심영역의 설정에 따른 결과분석을 위한 지표값으로 좌ㆍ우 신장의 상대적 섭취도, 사구체여과율 및 평균통과시간을 선정하였고, IDL5.2로 프로그래밍하여 분석용 도구로서 적합한 소프트웨어를 개발하였으며, $^{99m}$ Tc-DTPA를 주입하여 얻은 총 11명의 정상인 신장 핵의학 영상을 대상으로 9명의 사용자들이 수행한 신장기능 평가 결과를 분석하였다. 신장 관심영역의 자동설정을 위해 영상내 화소들의 gradient값을 이용한 역치(threshold)의 계산과 border tracing기법을 적용하였으며, 배후 관심영역과 대동맥의 관심영역은 좌ㆍ우 신장의 관심영역이 설정 완료된 후, 영상내 기하학적 정보와 화소값을 참조로 하여 자동으로 설정되도록 하였다. 신장 관심영역의 자동설정 기능으로 사용자 주관적 요소의 배제 정도에 따라 4가지 방법을 개발하였으며, 각각의 적용결과를 비교, 분석하였다. 이 4가지 관심영역 자동설정 기능들은 그 구현 방법에 따라 조금씩의 차이는 있었지만, 수동설정시보다 정량적 분석 결과값의 사용자별 편차를 확연히 감소시켜, 신장 핵의학 영상의 정량적 분석시 객관적 기준을 통한 일관성 있는 결과를 도출함에 있어 그 기능의 상대적 우수성을 입증하였다.

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

소프트웨어의 규모가 커지면서 시스템 기능 테스트 단계에 일일이 원시코드를 참조하면서 테스트하는 것은 현실적으로 불가능하다. 따라서 시스템 테스트 단계에서 다양한 요구명세 정보들을 이용하는 블랙박스 테스트 방법들이 많이 연구되고 있다. 테스트 기법에 활용한 요구명세는 시스템을 표현하는 기술 방법과 의미의 차이로 인해 테스트 케이스와 커버리지가 크게 달라서 테스트 계획 단계에서 테스트 기법과 그 기법의 적용 결과에 대해 깊이 고려해야 한다. 이러한 필요성으로 인해 본 연구에서는 다양한 블랙박스 테스트 기법들에 대한 실험과 그 결과에 대해 논하였다. 기법의 특성이 미치는 테스트 결과를 분석하고 평가하기 위해 객체지향 시스템의 명세와 모델링 기법으로 가장 잘 알려진 UML을 이용한 테스트 기법을 포함하여 다섯 가지의 블랙박스 테스트 기법을 실행하고 비교하였다. 그리고 다섯 가지 기법들을 서로 다른 두 응용 시스템에 적용하였고 그 결과로 추출된 테스트 케이스의 커버리지를 분석하였다.

• 융합보안논문지
• /
• 제12권1호
• /
• pp.79-87
• /
• 2012

미래인터넷은 현 인터넷 구조의 한계를 극복하여 미래의 새로운 요구사항을 수용하기 위해 Clean-slate에 기반을 둔 설계와 개발이 국내 외에서 활발히 이행되고 있다. 미래인터넷 관련 연구개발은 이미 미국, 유럽 등의 선진국에서 정부의 대규모 투자와 지원이 이루어져 미래인터넷 연구 프로그램이 추진되어 진행되고 있다. 미래인터넷의 세부 기술의 특성을 기준으로 인프라 기술, 아키텍처, 그리고 서비스 기술 분야로 구분된다. 우리나라는 특히, 인프라기술과 서비스 기술은 우위에 있는 분야이다. 이러한 기반 서비스를 미래 인터넷에 접목하기 위한 신뢰통신에 대한 연구 및 기술 개발은 경쟁력을 가질 수 있는 분야이다. 이에 본 논문에서는 미래인터넷을 위한 신뢰통신 참조모델 검증 기술 연구를 위해 미국 NSF 4개 과제에서 보안 기술 분석과 각 구조에서 보안 기능 분석에 대하여 설명한다.

• 한국산학기술학회논문지
• /
• 제13권10호
• /
• pp.4780-4785
• /
• 2012

최근 스마트폰과 태블릿과 같은 소형 모바일 기기가 확산됨에 따라, 모바일 기기에서 동영상 촬영시 이용되는 비디오 인코더의 성능 최적화의 필요성이 제기되고 있다. 본 논문에서는 모바일 기기를 대상으로 하는 H.264/AVC 기본 프로파일 비디오 인코더를 모바일 기기에 구현하고, 실험을 통해 H.264 인코더의 주요 제어 변수를 최적화하였다. 실험으로는 인코더의 복잡도에 영향을 주는 것으로 알려진 라그랑지안 최적화, 하다마드 변환, 움직임 벡터 탐색 범위, I-프레임 주기, 참조 프레임 수를 다양하게 조합하여 변화시키면서 동영상의 화질, 비트율, 인코딩 시간, 움직임 추정 시간 그리고, 인코딩에 따라 보드에서 소모되는 전력을 측정하였다. 실험에서 측정된 데이터를 분석하여, 모바일 기기에서의 비디오 인코더에서 요구되는 조건을 만족할 수 있는 최적의 H.264/AVC 제어 변수를 위의 다섯 가지 기능 모듈에 대해 결정하였다.

• 한국통신학회논문지
• /
• 제36권1A호
• /
• pp.28-34
• /
• 2011

본 논문에서는 소출력 우선 통신 기기(SRD : Short Range Device)에 적용 기능한 광대역 하이브리드 직교 폴라 송신(Wideband Hybrid Quadrature Polar transmitter) 구조를 제시하였다. 먼저 시스템 성능 분석을 위한 시뮬레이션 환경을 구축한 후 송신기 성능 파라미터들에 의한 성능 열화 분석을 실시하였다. 주요 성능 열화 요인으로 VVA(Voltage Variable Attenuator)의 슬루율(Slewrate), 크기 및 위상 신호의 시간 지연 그리고 DAC(Digital-to-Analog Converter) 비트수를 고려하였으며, 성능 열화 분석 시뮬레이션을 통해서 송신기 요구 규격을 만족하는 최소 요구 파라미터 값을 확인하였다. 또한 성능 분석 결과를 바탕으로 광대역 하이브리드 직교 폴라 송신기 플랫폼을 구현하였고 3GPP 표준 규격을 참조하여 송신기 성능 측정 및 분석을 실시하였으며 그 결과를 확인하였다.

• 한국측량학회지
• /
• 제33권1호
• /
• pp.1-9
• /
• 2015

원격탐사영상의 기상조건과 계절에 따른 모의는 영상 전처리 단계 중 대기보정 알고리즘의 역방향 구현을 통해 수행될 수 있다. 본 연구는 상용 원격탐사영상처리 프로그램에서 제공되는 대기보정기능으로 보정된 Landsat영상을 특정기상조건이 고려된 대기보정 이전 상태로 모의하는 방법을 실험하였다. 실험에 적용한 방법은 Forster 알고리즘(1984)과 6S RTM (Radiative Transfer Model) 이고, 모의된 결과영상을 특정기상조건의 원영상과 비교하여 일치성을 분석하였다. 6S RTM을 적용한 결과가 Forster 알고리즘보다 일치성이 높았고, 결과연구대상지역 영상으로 모의영상을 제작한 결과, 원영상과의 평균 RMSE of DN difference가 9.35이고, 평균 $R^2$는 0.7이였다. 결과적으로 참조 영상과 계절이 동일하고 시기가 유사한 모의영상 생성 시 실용적 활용 가능성을 입증하였다.

• 한국도서관정보학회지
• /
• 제47권2호
• /
• pp.201-229
• /
• 2016

이 연구의 목적은 KCR4와 그 후속 논의에서조차 배제되어 왔던 접근점, 그 중에서도 '개인'을 대상으로 하여 개인의 전거레코드 및 전거형 접근점의 작성 방안을 제안하는데 있다. 이를 위해, 이 연구에서는 (1) FRBR와 FRAD 개념모델, FRBR 실행 시나리오, ICP 등을 토대로 하여 개인명 전거레코드 및 전거형 접근점의 기능에 대해 고찰하고, (2) RDA와 일본목록규칙 개정(안)에 수록된 개인의 속성과 접근점에 관한 규정을 세밀하게 분석하였다. 이어, (3) 미의회도서관(LC)과 일본국립국회도서관(NDL)에서 구축한 개인명 전거레코드 및 전거형 접근점의 사례를 분석하고, (4) 관련 규정의 부재 속에서 그간 국내 도서관들이 나름의 방식에 따라 구축해 온 개인명 전거레코드의 사례를 참조하면서 향후 KCR 개정에 반영할 개인명 전거레코드 및 전거형 접근점의 작성 방안을 구체적인 예시와 함께 제안하였다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2006년도 추계 종합학술대회 논문집
• /
• pp.47-51
• /
• 2006

최근 기능성 화장품법이 공포되면서 피부 관련 화장품 및 의약품의 효능 측정 및 정확성 향상에 관한 연구가 필요하게 되었다. 특히 피부개선 정도를 확인하기 위해서는 피부의 정확한 위치를 비교하여야 하는데 현재까지는 사람의 눈을 통해 수동적으로 영상을 매칭하여 평가하는 실정이다. 이로 인해 비교 영상끼리의 매칭 정확성이 떨어지며 개선정도 측정 또한 정확하게 이루어지지 않고 있다. 본 연구는 피부개선 정도 평가의 정확성을 높이기 위한 영상의 자동 매칭 시스템을 제안한다. 첫째로 피부 영상의 특징을 모공 및 주름으로 정의하여 모공 및 주름이라 예상되는 후보영역들을 추출하고, 각 추출된 영역의 모멘트를 이용하여 모공과 주름을 구분한다. 그 후 구분된 각 영역들 질량 중심점을 계산하여 계산된 중심점들 간의 벡터값을 계산한다. 이렇게 각 영상에서 계산된 벡터값의 유사성을 비교하여 기 획득된 피부 영상과 참조 영상의 매칭을 수행한다. 본 알고리즘의 우수성은 실험을 통해 평가하였다.

• 인터넷정보학회논문지
• /
• 제21권3호
• /
• pp.93-102
• /
• 2020

디지털 범죄 수사의 전 단계에 걸쳐 획득된 자료가 증거 능력으로 인정 받을 수 있기 위해서는 법적/기술적 요구사항을 만족하여야 한다. 본 논문에서는 파일 시스템에서 기본적으로 제공하는 정보에 의존하지 않고, 저장장치 디스크 내부의 비할당 영역을 블록 단위로 스캔/검사하여 파일을 자동 복구하여 디지털 포렌식 증거 자료로 확보하는 메커니즘을 제시하였고 이를 직접 SW로 구현하였다. 제시한 기법은 분석 대상 시스템의 RAW 디스크 데이터에 대해 운영체제에서 제공하는 파일 시스템 관련 정보를 참조하지 않으면서 디스크 내에 저장된 각종 파일의 저장 포맷/파일 구조에 관한 정보를 토대로 512 바이트 블록 단위로 검사/분석하는 파일 카빙 과정을 구현하였으며, 저장 장치 내에 삭제되거나 손상된 파일을 지능적으로 복원하는 Smart Carving 메커니즘을 제시하였다. 구현한 기법을 이용할 경우 디지털 포렌식 분석 과정에서 시스템 내부에 저장된 파일에 대한 위변조 여부를 지능적으로 판별할 수 있는 블록 기반 스마트 카빙 기능을 제공한다.