• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1578-1580
• /
• 2012

모델 검증은 시스템이 만족해야 하는 속성을 자동으로 검사하는 정형 검증 기법으로써, 많은 도메인에서 활용되고 있다. 특히 모델 검증 도구들에 따라 상태 공간 탐색 방식이 다르고, 상태 공간 탐색 방식에 따라서 생성되는 반례도 달라진다. 본 논문에서는 모델 검증의 대표적인 도구인 SPIN과 SMV에서 생성하는 반례를 상호 비교한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.502-505
• /
• 2010

본 논문에서는 스마트폰 환경에서 개인 사용자 편의 서비스 프로그램 개발의 기초가 되는 작업 계획 모델 및 실행 모델을 제시하고, 이 모델을 활용하여 Android 플랫폼에서 개발된 자동 작업 실행 체계인 Smart Script 시스템의 설계와 구현에 대해 소개한다.

• Journal of The Korean Association of Information Education
• /
• v.11 no.4
• /
• pp.497-504
• /
• 2007

This study proposed the unplugged learning strategy of computer science that makes more easily to understand learning contents and to improve logical thinking of learners in elementary school. We reorganized the contents of data structure in computer science. The students write project papers from their own experiences and daily lives in the classroom, not in the computer room as applying unplugged learning methods. The result of this study shows that students can better understand computer through a study method of computer science on their step of growth. Through this study, the learners can be the abilities of organizing digital data and increasing the logical thinking, based on information education.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.22 no.5
• /
• pp.31-34
• /
• 2004

IT 인력개발은 일반적으로 컴퓨터과학(Computer Science)에 대한 교육을 중심으로 대학교육에 국한되어 인식되는 경향이 있다. 그러나 IT 환경의 변화나 관련 기술의 발달은 대학교육에서의 컴퓨터과학에 관한 교육체계의 변화만으로는 부족한 IT 인력의 양성이나 사회전반에 걸친 막대한 컴퓨터교육 비용을 감당하기 어렵게 한다. 우리 나라에서도 이와 같은 문제점을 개선하기 위해 많은 컴퓨터교육 관련 전문가들이 좋은 방향을 제시하고 개선책을 발표하는 등 활발히 활동하고 있다.

• 한국정보교육학회:학술대회논문집
• /
• 2010.01a
• /
• pp.37-44
• /
• 2010

현대 사회는 미래의 지식과 정보의 시대에 대비한 인재를 양성하기 위해서 컴퓨터교육에 대한 필요성이 날로 커져가고 있다. 이에 제7차 교육과정에서도 컴퓨터 교육의 활성화를 위하여 연간 34시간 이상 컴퓨터를 교육하도록 명시하고 있지만 가장 기초적이라 할 수 있는 초등학교에서의 컴퓨터 교육이 교사들에 의해 제대로 시행되고 있지 않고 있으며, 그에 대한 교사들의 인식과 실태를 파악하여 개선방안을 제시하는데 목적이 있다. 본 연구에서 얻은 결과를 바탕으로 초등학교 컴퓨터과학 교육 활성화를 위한 개선방안을 다음과 같이 제안하고자 한다. 첫째, 정보통신윤리 개정 지침안에 대한 교사 교육이 의무화되어야 하며, 컴퓨터과학 교수학습 방법 및 교육과정 운영에 필요한 프로그램의 기능 연수가 개설되어야 할 것이다. 둘째, 정보통신기술 교재 교사용 지도서가 전문화, 체계화 되어야 한다. 셋째, 컴퓨터과학 교육을 수업 현장에서 쉽게 실현할 수 있는 다양한 자료를 개발하여 보급해야 한다. 넷째, 초등학교 컴퓨터 교육 과정의 재정비가 필요하다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.894-897
• /
• 2013

서열 정렬(sequence alignment)은 유전학(genomic)에서 널리 사용되는 도구 중 하나이다. 최근에는 차세대 시퀀싱 기술(NGS)이 발달함에 따라 데이터의 생산량이 크게 증가했고, 이에 따라 높은 처리량(throughput)을 가진 서열 정렬 알고리즘의 필요성이 증가하였다. 본 논문에서 제안하는 염기 서열 정렬 알고리즘은 시퀀스(sequence)데이터를 그래프 형태로 변형시킨 다음, 마이크로소프트사의 그래프 기반인 메모리(in-memory) 분산시스템(distributed system) 트리니티(Trinity)를 이용해 서열 정렬을 수행한다. 본 논문의 알고리즘은 트리니티 시스템에서 시뮬레이션 염기 데이터를 성공적으로 정렬하였으며, 슬레이브의 개수가 늘어날수록 빠른 속도를 나타내어 확장성(scalability)을 입증했다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.313-316
• /
• 2011

본 논문에서는 파티클 필터를 이용한 이동 로봇의 위치 추정 방법을 제안한다. 이동 로봇의 위치를 추정하기 위해알기 위해 이동 로봇에 설치되어 있는 초음파 센서를 이용하여 주변 환경과의 거리를 측정한다. 그리고 측정된 센서 값과 이동 동작의 불확실성을 고려하여, 위치 추정 오차를 줄이고자 가우스 확률분포와 파티클 필터 기법을 이용하여 이동 로봇의 위치를 추정한다. 본 논문에서는 구현된 시스템과 실험 결과를 소개한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.319-322
• /
• 2011

본 논문에서는 스마트 폰과 가정 내의 이동 로봇을 결합하여, 스마트 폰 사용자가 이동 로봇을 통해 원격으로 가정의 수상한 침입자나 거동이 불편한 노약자 혹은 어린 아이들을 살펴볼 수 있도록 개발된 지능형 감시 시스템의 설계와 구현에 대해 소개한다. 이동 로봇의 제한적인 인식 능력과 계산 능력을 고려하여, 이동 로봇의 완전한 자율성에만 의존하여 감시 작업을 수행하지 않고, 사용자와 로봇의 혼합 제어 방식으로 감시 로봇을 제어하도록 설계하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.11a
• /
• pp.69-72
• /
• 2020

Log Structured Merged Tree(LSM-Tree)구조를 사용하여 빠른 데이터 쓰기 성능을 보유한 RocksDB에는 쓰기 증폭과 공간 증폭 현상이 발생한다. 쓰기 증폭은 과도한 쓰기 연산을 유발하여 데이터 처리 성능 저하와 플래시 메모리 기반 장치의 수명 저하를 초래하며, 공간 증폭은 데이터 저장 공간 점유로 인한 저장 공간 부족 문제를 야기한다. 본 논문에서는 쓰기 증폭과 공간 증폭 완화를 위해 RocksDB 의 성능에 영향 주는 주요 파라미터를 추출하고, 기계학습 기법인 랜덤 포레스트를 사용하여 추출한 파라미터가 쓰기 증폭과 공간 증폭에 미치는 영향을 분석하였다. 실험결과 쓰기 증폭과 공간 증폭에 영향을 많이 주는 주요 요소를 선별하였고 다른 파라미터에 대비해서 성능 격차가 61.7% 더 나타낸 것을 발견하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.05a
• /
• pp.84-85
• /
• 2023

본 논문에서는 엣지 컴퓨팅에서 다수의 스마트 카메라를 클러스터링하여 협업하며 로드 밸런싱을 수행하는 알고리즘을 제안하고, Kubernetes 환경에서 시뮬레이션을 통해 여러 가지 상황에서 성능을 검증하여 엣지 컴퓨팅에서의 AI 연산을 보다 효율적으로 수행할 수 있는 방법을 제시한다.