• 한국정보처리학회논문지
• /
• 제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) 등을 들 수 있다. 이 뷰는 소프트웨어에 대한 실행시 동적 성질을 보여준다. 이 뷰들 외에도 각 측면과 뷰들을 위한 기능, 접속, 주석, 코드 등의 다수의 서류들이 제공된다. 본 연구의 가장 큰 장점은 구조를 항해하면서 여러 차원의 정보를 추상화하거나 세부적으로 확장할 수 있는 기능이다. 이러한 기능들은 이러한 실시간 소프트웨어를 이해 할 수 있는 토대를 마련해 준다. 그리고 이러한 장점은 재사용 가능한 요소를 체계적으로 식별하거나 검증할 수 있게 한다.

• 전자공학회논문지CI
• /
• 제49권3호
• /
• pp.8-14
• /
• 2012

최근 3D TV나 영화, 증강현실과 같은 대용량 고화질의 영상 응용분야가 확산됨에 따라 빠른속도로 영상을 처리하는 것이 요구되고 있다. 여러개의 프로세서로 구성되어 병렬처리 성능을 극대화 시킬 수 있는 SIMD구조의 컴퓨터는 다양하고 많은 양의 데이터들을 처리하는 것을 가속화한다. 다중접근기억장치인 MAMS는 여러개의 PE와 고성능 SIMD 구조에 최적화된 시스템으로 MAMS는 메모리 모듈을 $M{\times}N$의 2-D array 개념을 적용하여 X, Y 좌표 및 임의의 간격으로 pq개의 데이터 각각에 수평, 수직, 대각선, 역대각선, 블록의 다양한 방식으로 충돌없이 접근하며, 이 메모리모듈(MM)의 개수 m은 pq 개수보다 큰 소수이다. MAMS-PP4는 4개의 PE와 5개의 MM로 구성되어 기존에 구현된 바 있다. 이 논문에서는 MAMS-PP4의 확장으로 16개의 PE와 17개의 MM으로 구성된 MAMS-PP16에 대한 영상처리 알고리즘의 구현과 그에 따른 성능평가에 대해 소개한다. MAMS-PP16의 인스트럭션 포맷은 64비트로 확장되어 새로 설계 되었으며 특정 어플리케이션의 추가와 새로운 인스트럭션이 포함되어 있다. 본 논문에서는 구현된 알고리즘이 수행될 수 있도록 MAMS-PP16의 시뮬레이터를 개발하였다. 이 시뮬레이터를 통해 구현된 영상처리 알고리즘을 수행함으로서 MAMS-PP16의 성능이 향상되었음을 확인하였다. 영상처리 알고리즘 중 피라미드 기법을 적용하여 수행한 결과, 캐시를 사용하는 Serial processor에서는 랜덤한 응답인 반면, 캐시를 사용하지 않는 MAMS-PP16에서 일정한 응답을 확인하였다.

• 대한공간정보학회지
• /
• 제23권1호
• /
• pp.89-99
• /
• 2015

최근 국내 도시개발 업계의 제3세계 개발도상국가 도시계획용역 및 도시개발사업 참여기회가 크게 증대하는 추세이며, 이는 국내 개발여건 침체국면 타개를 위한 유효 대안으로서 크게 기대되고 있다. 그러나 대부분 개발타당성 검토과정에서부터 당면하는 애로사항 중 하나가 당해 개발도상국의 기초통계자료 및 공간정보 부재라 하겠다. 국가지리정보나 수치지도 등의 구축은 개도국 차원에서 단기간 내 완성하기는 어렵기 때문에 따라서 개발참여를 위한 기초조사, 분석 및 기본계획 단계에서부터 큰 리스크를 감수할 수밖에 없는 것이 현실이다. 본 연구는 이러한 맥락에서 아프리카 북단에 위치한 알제리의 밥 에주아흐 지역을 대상으로 대체적 방법을 통해 지역현황 분석 및 기본계획 작성에 필요한 개략적인 지역 베이스맵 준비과정을 시연해 봄으로써 자료한계 문제를 극복하기 위한 대안을 제시해 보고자 한다. 이를 위해, 온라인에서 획득 가능한 맵타일로부터 모자이크 맵을 구축하고 위성사진을 기반으로 건축물 특성자료를 구축하며, 수치입력 방법으로 도로 네트워크를 구축하는 등 일련의 기술적 과정을 예시해 보고자 한다. 또한 이렇게 구축된 베이스맵에 근거해 기초적 마스터플랜 개념도를 예시해 봄으로써 그 응용 가능성을 예시해 보고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제16권6호
• /
• pp.165-178
• /
• 2011

선박 건조공정의 초기 단계인 강재적치처리공정에서는 입수한 강재를 어느 선박블록을 제작하는데 사용될 것인가에 따라 수십 개의 적치장을 이용하여 분류한다. 이 과정에서 강재를 잘못된 적치장에 적치하는 적치 오류, 무거운 강재를 다루는데 수반되는 작업자 안전 취약성, 각 적치장의 강재 정보 관리의 미비로 인한 작업 계획의 불확실성 등으로 인하여 생산성이 크게 저하된다. 이러한 문제점을 해결하기 위하여 상황인식 컴퓨팅 기술을 적용하여 지능형 강재적치처리시스템을 구축하였다. 연구의 효율성을 위하여 강재적치처리 작업과정을 보여줄 수 있는 시뮬레이터를 제작하였으며, 센서, RFID 태그, 실시간 위치추적시스템과 같은 기술을 활용하여 공간 내에 있는 객체들의 위치 및 작업 처리 상태 등, 상황정보를 실시간으로 획득할 수 있도록 유비쿼터스 컴퓨팅 공간을 구축 하였다. 본 연구는 유비쿼터스 컴퓨팅 기술을 적용한 선박 건조 생산성 제고는 물론 대규모 생산현장에 IT를 적용하는 제조IT 융합연구의 새로운 모델을 제시하였다는데 의미가 크다고 할 수 있다.

• 한국통신학회논문지
• /
• 제37권6A호
• /
• pp.405-419
• /
• 2012

본 논문에서는 다중 릴레이와 다중 사용자가 존재하고, 모든 노드에 다중 안테나가 탑재된 시스템에서 기지국, 릴레이 전처리기 공동 설계 기법을 제안한다. 설계 기준은 릴레이가 각자의 지역 채널 정보만 취할 수 있고, 전체 릴레이 합 전력 제약 환경일 때, 사용자 평균 자승 오류의 합(sum mean square error, SMSE)을 최소화하는 것이다. 한 릴레이의 지역 채널 정보는, 시스템의 모든 첫 번째 홉 및 두 번째 홉 채널 중에서, 그 릴레이 자신이 접속된 채널의 정보로 정의된다. 블록 대각화 전처리기가 연결된 기지국 전처리기 구조를 사용하면, 각 릴레이가 지역 채널 정보만을 활용하여 자신의 전처리기 구조를 결정할 수 있다. 제안 하는 기법은 SMSE 쌍대성을 사용하여 기지국 전처리기와 릴레이 전처리기를 결정하는 1단계 및 사용자 수신 필터를 결정하는 2단계의 순차적 반복을 기반으로 한다. 제안한 기법은 반드시 수렴하며, 이론적으로 이를 검증할 수 있다. 제안하는 기법이 Simple amplify-and-forward(SAF), MMSE 릴레이 및 [1]에서 제안한 방식에 비해서 SMSE 성능, 합 전송률 성능 모두 우월한 것을 확인한다.

• 한국측량학회지
• /
• 제37권4호
• /
• pp.267-277
• /
• 2019

사진측량과 컴퓨터비전 분야는 카메라에서 촬영된 영상에서 3차원 좌표를 결정하는 것은 동일하지만 두 분야는 카메라 렌즈왜곡 모델링 방법과 카메라 좌표계의 차이점으로 인하여 서로 간에 직접적인 호환이 어렵다. 일반적으로 드론 영상의 자료처리는 컴퓨터비전 기반의 소프트웨어를 이용하여 번들블록조정을 수행한 후 지도제작을 위해서 사진측량 기반의 소프트웨어로 도화를 수행하게 된다. 이때 카메라 렌즈왜곡의 모델을 사진측량에서 사용하는 수식으로 변환해야 하는 문제에 직면하게 된다. 이에 본 연구에서는 사진측량과 컴퓨터비전에서 사용되는 좌표계와 렌즈왜곡 모델식의 차이점에 대하여 기술하고 이를 변환하는 방법론을 제안하였다. 카메라 렌즈왜곡 모델의 변환식의 검증을 위해서 먼저 렌즈왜곡이 없는 가상의 좌표에 컴퓨터비전 기반의 렌즈왜곡 모델을 이용하여 렌즈왜곡을 부여하였다. 그리고 나서 렌즈왜곡이 부여된 사진좌표를 이용하여 사진측량 기반의 렌즈왜곡 모델을 이용하여 왜곡계수를 결정한 후 사진좌표에서 렌즈왜곡을 제거하여 원래의 왜곡이 없는 가상좌표와 비교하였다. 그 결과 평균제곱근거리가 0.5픽셀 이내로 양호한 것으로 나타났다. 또한 사진측량용 렌즈왜곡 계수를 적용하여 정밀도화 가능여부를 판단하기 위해서 에피폴라 영상을 생성하였다. 생성된 에피폴라 영상에서 y-시차의 평균제곱근오차가 계산한 결과 0.3픽셀 이내로 양호하게 나타났음을 알 수 있었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제37권3호
• /
• pp.517-544
• /
• 2023

본 연구는 교과 간 연계·융합 수업자료 개발의 필요성이 높아지고 있음에도 고등학교에서 관련 수업 자료 개발 빈도가 적다는 선행연구의 연구 결과에 근거하여 수학과 정보 과목의 연계·융합 수업자료 개발 과정 및 결과물을 제시한 연구이다. 특히 본 연구는 동일한 교원학습공동체 프로그램에 참여한 6명의 교사들이 수학과 정보 교과 간 연계·융합 수업자료로서의 적합성과 현장 수업 적용 가능성이 높은 자료 개발을 목표로 논의한 과정들에 대한 정보를 담고 있다. 자료 개발 절차에 따라 주제기반 설계 모형을 적용하여 자료를 개발하였으며, 선행연구와 교원학습공동체 구성원의 합의 결과를 반영하여 100분 블록 수업 시간 동안 수학과 정보 과목의 교사가 함께 수업을 진행할 수 있는 수업 자료를 개발하였다. 개발한 자료는 사회적으로 이슈가 되었던 문제상황을 두 과목의 연결고리로 삼아 학생들이 수학적 모델링과 코딩을 통한 문제해결을 경험할 수 있는 자료이다. 개발된 자료는 '개발 자료를 현장에 적용하기에 타당한 자료인지 살펴보고 적용 실천성을 높이기 위하여' 현장 교사를 대상으로 CVR 검증을 통하여 검증을 하였으며, 그 결과를 반영하여 최종 개발된 수업 자료를 지도안 형태로 제시하였다. 또한 자료 개발 과정에서 개발자들의 경험한 시행착오와 고민도 함께 기술하여 현장 연구자들의 관련 연구 수행에 기초가 될 수 있는 정보를 제공하고자 하였다. 이러한 연구 결과는 수업자료 개발 모형이 실제 수업에 적용가능한지 탐색할 수 있는 실증적인 자료로서의 가치를 가지며, 이들 자료의 축적은 이론적인 수업 모형과 실제적인 현장 수업 사이의 선순환적인 관계 구축에 도움이 될 것으로 보인다.

• 한국정보통신학회논문지
• /
• 제21권6호
• /
• pp.1061-1068
• /
• 2017

RVDT(Rotary Variable Differential Transformer)는 각도 변위를 측정하는 센서로써 출력 신호는 DSBSC-AM(Double SideBand Suppressed Carrier AM) 신호이기 때문에 출력 신호로부터 각도 변위를 알아내기 위하여 DSBSC-AM 복조 과정이 필요하다. 본 논문에서는 DSBSC-AM 신호의 복조기인 코스타스 루프를 수정하여 RVDT 출력 신호로부터 각도 변위를 추출하는 DADC(Digital Angle to DC)를 FPGA(Field Programmable Gate Array)로 구현하였다. 본 논문에서 설계된 DADC는 4선식과 5선식 RVDT에 적용가능하며, 코스타스 루프의 사용으로 기존의 아날로그 신호처리기와는 달리 외부의 소자를 사용하지 않고 RVDT 입력여기신호와 출력신호 사이의 위상 차이를 정확하게 보정할 수 있다. 또한 선형성 향상을 위하여 디지털 신호처리 기법이 적용되어 DADC는 기존의 아날로그 신호처리기의 선형성 오차 0.05%보다 적은 0.035%의 선형성 오차를 보였다. 구현된 DADC의 기능과 성능 테스트는 상용 RVDT 센서와 ADC(Analog to Digital Converter), 아날로그 출력단으로 구성된 통합 실험환경을 구성하여 진행하였다.

• 정보교육학회논문지
• /
• 제24권4호
• /
• pp.279-289
• /
• 2020

본 연구의 목적은 초중등 교원의 인공지능 교육역량 강화를 위한 교사 대상 연수 프로그램을 적용하여 그 효과를 분석하고 인공지능 교육에 대한 교사들의 요구를 분석하여 기초 연구 자료를 제공하는 것이다. 참조하기 위한 연수 프로그램은 다섯 가지 인공지능의 핵심 요소를 바탕으로 교육내용을 선정하여 ADDIE 모형을 기초로 설계하였으며, G광역시교육청 소속 교육 전문직 및 교사와 인공지능교육연구회 소속 교사들이 협업으로 프로그램을 개발하였다. 개발된 연수 프로그램 효과 및 교사 요구분석 설문 문항들은 내용 타당도 검사를 하였다. 개발된 프로그램을 적용하여 실시된 연수 결과, 연수의 각 교육과정에 대한 만족도 및 현장 적용 가능성이 높게 평가되었다. 교사들은 초등학교에서는 인공지능 교육을 위한 언플러그드 활동과 기초 인공지능 체험을, 중학교에서는 블록형 프로그래밍 언어와 피지컬 컴퓨팅 활동이 포함된 인공지능 교육내용을 가르쳐야 하는 것으로 인식하고 있음을 알 수 있었다.

• 정보보호학회논문지
• /
• 제25권4호
• /
• pp.863-872
• /
• 2015

커널 루트킷은 운영체제의 컴포넌트 사이의 통신을 가로채거나 수정할 수 있기 때문에, 운영 체제의 무결성을 훼손시킬 수 있는 가장 위협적이고 널리 퍼진 위협 중 하나로 인식되고 있다. 커널 루트킷이 이미 커널 권한을 획득하였기 때문에 루트킷이 설치된 공간에서 커널을 보호하는 것은 안전하지 않다. 따라서 커널보호 시스템은 커널과 동일한 공간으로부터 독립적이어야만 한다. 루트킷을 탐지하기 위해 많은 연구들이 수행되어 왔지만 다른 연구들과 달리 TrustZone 기반 연구는 커널과 동일한 공간으로부터 분리되고, 독립된 공간에서 커널을 보호하는 것이 가능하다. 하지만 제안된 방법들은 커널보호 시스템을 완전히 독립시킬 수 없는 단점이 있다. 이러한 이유로, 우리는 TrustZone의 시큐어 타이머를 이용한 효율적인 커널 검사 시스템을 제안한다. 이 시스템은 레퍼런스의 무결성을 보장하기 위해 커널 원본 이미지인 vmlinux을 활용하여 측정하였다. 또한, 보호영역 크기에 대한 유연성을 제공함으로써 효율적으로 커널보호 시스템을 운영하는 것이 가능하다. 실험 결과들은 제안된 커널보호 시스템이 완전히 독립되어 운영되고, 런타임동안 최대 6%정도의 성능만 저하시킨다는 것을 보여준다.