• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
• /
• pp.319-323
• /
• 2006

본 논문에서는 동작 모델과 작업 목표에 따라 지능 로봇 시스템의 작업 순서를 결정하는 작업 계획기의 설계와 데모시스템에 대해 설명한다. 블랙보드 중심의 분산 제어 구조에서 하나의 독립적인 지식원으로 동작하는 작업 계획기는 작업 관리기의 요청이 있을 때마다 지식베이스로부터 동작 모델과 월드 상태 정보를 제공받아 작업 목표 달성을 위한 작업 계획을 생성한다. 그리고 이렇게 생성된 작업 계획은 오류로 인해 재 계획이 필요할 때까지 작업 관리기를 통해 실행된다. 본 연구의 작업 계획기는 효율적인 작업 계획 생성을 위해 지역 상태공간 탐색법의 하나인 EHC+ 탐색법과 계획그래프-기반의 휴우리스틱 계산법을 적용한다. 본 논문에서는 작업 계획기의 효율성과 블랙보드와의 연계성을 시험하기 위한 데모 시스템에 대해 자세히 설명한다. 이를 통해 지식베이스, 작업 관리기, 컴포넌트 서비스기 등 로봇 제어 구조내의 다른 지식원들과의 인터페이스를 위한 메시지 설계도 소개한다.

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

본 논문에서는 A-GPS를 이용한 스마트폰 투어게임을 제안하였다. 본 게임은 관광과 학습이 융합된 콘텐츠이다. 이 게임은 신라의 시대적 배경과 경주의 공간적 배경을 바탕으로 한다. 게임 이벤트는 미리 측정된 GPS값과 스마트폰에서 측정된 A-GPS 값을 비교하여 발생했다. 이벤트 필드 테스트는 3회에 걸쳐 실시하여 A-GPS오류를 보정하였다. 게임의 기획과 실행 화면에 대해 살펴보았으며, 향후 발전방향에 대하여 논하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2015년도 제27회 한글 및 한국어 정보처리 학술대회
• /
• pp.240-245
• /
• 2015

일반영역 음성인식은 n-gram 희소성 문제로 인해 대용량의 언어모델이 필요하다. 대용량 언어모델은 분산형 모델로 구현될 수 있고, 사용자 입력에 대한 동적 언어모델 보간 기술을 통해 음성인식 성능을 개선할 수 있다. 본 논문은 동적 언어모델 보간 기술에 대한 새로운 접근방법을 시도한다. 텍스트 군집화를 통해 주제별 언어모델을 생성한다. 여기서 주제는 사용자 입력 영역에 대응한다. 본 논문은 사용자 입력에 대하여 실시간으로 주제별 언어모델의 보간 가중치 값을 계산하는 접근 방법을 제시한다. 또한 언어모델의 보간 가중치 값 계산의 부담을 감소하기 위해 언어모델 군집화를 통해 대용량 언어모델 보간 접근 방법의 연산 부담을 해소하기 위한 시도를 한다. 주제별 언어모델에 기반하고 언어모델 군집화를 통한 동적 언어모델 보간 기술의 실험 결과 음성인식 오류 감소율 6.89%를 달성했다. 또한 언어모델 군집화 기술은 음성인식 정확도를 0.09% 저하시켰을 때 실행 시간을 17.6% 개선시키는 실험결과를 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (B)
• /
• pp.247-249
• /
• 2006

프로그래밍 언어 실습을 위해 일반적으로 실습 소프트웨어를 여러 대의 PC에 개별적으로 설치하거나, 실습 소프트웨어를 특정 서버에 설치한 후 라이센스를 받아 운영하고 있는 경우에는 접속자의 수를 제한 받게 되는데, 이러한 모든 경우들에는 지정된 장소에서만 실습을 해야 하는 문제점과 실습자 수의 제한 문제점이 있다. 본 논문에서는 실습 소프트웨어 1본을 서버에 설치한 후 인터넷이 가능한 어떠한 장소에서 다수의 학습자가 프로그래밍 실습을 할 수 있도록 웹기반 학습시스템을 개발하였다. 이 웹기반 학습시스템에서 학습자가 인터프리팅 또는 컴파일링, 실행 등을 요청할 때에만 실습 소프트웨어를 점유하기 때문에 접속자 수의 제한 문제를 해결하였다. 뿐만 아니라, 이 웹기반 학습시스템은 실습 효과를 증진시키기 위하여, 예제 프로그램과 그에 대한 동영상 설명, 학습자의 학습 이력, 오류가 발생하였을 때 그에 대한 참고자료 등을 이용할 수 있도록 개발되었다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 추계학술발표대회
• /
• pp.565-568
• /
• 2014

사물 간의 인터넷 연결 확산으로 IoT 시대가 도래하면서, 사람이 접근하기 어렵거나 위험한 환경에서 활용 가능한 지상 이동형 IoT 디바이스에 대한 연구가 활발하게 진행 중이다. 특히 Amazon과 같은 사이트에서 전 세계적으로 유통되는 Sphero Ball 이 각광받고 있다. 그러나, Sphero Ball 애플리케이션을 개발하기 위해서는 디바이스의 특성이나 주변 환경으로 인해 생길 수 있는 기술적 이슈에 대한 이해가 필요하다. 본 논문에서는 Sphero Ball 애플리케이션 개발 및 실행의 기술적 이슈에 대해 나열한다. 이를 통해 Sphero Ball 애플리케이션 개발 이슈에 대한 이해를 돕고, 효율적인 개발과 운용 시 발생할 수 있는 오류의 예방이 가능하다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.280-280
• /
• 2017

국내의 사면안정평가는 국토교통부, 국민안전처, 산림청 등의 주요 기관에서 사면을 구성하고 있는 토양특성과 사면경사 등을 평가할 수 있는 기준을 마련하고 있다. 대부분 경우 이 기준을 가지고 자연사면의 안정성에 대한 전반적인 평가가 이루어지고 있다. 하천관리에서는 다양한 요소들을 고려하여 계획이 수립되고 실행되고 있으며 이 중 산지와 기타 지역에서 유입유사는 그 정도에 따라 하천의 통수능력 감소와 하천생태계 교란 등의 많은 영향을 미치고 있다. 이러한 이유에서 유사는 하천관리에 있어 매우 중요한 관리 대상이다. 그러나 현재 평가기준을 이용하여 사면의 붕괴 및 취약정도를 판단할 수 있으나 유역의 유사발생여부를 평가하기에는 상당한 오류를 가지게 된다. 본 연구에서는 사면평가기준을 통한 1차적인 평가와 강우로부터 발생하는 토양침식과 퇴적을 분석 결과를 적용한 종합적인 2차적인 평가를 수행하였다. (1)기존에 사용하고 있는 사면안정평가기준을 가지고 대상유역인 금호강유역의 토양특성에 대한 등급을 분류한다. (2)토층, 토지이용, 빈도별 강우자료 등 다양한 인자를 고려할 수 있는 C-SEM(Cell-based Sediment Erosion Model)을 이용하여 침식 및 퇴적 깊이를 계산한다. (3)사용하고 있는 평가기준과 침식 및 퇴적깊이에 대한 분석결과를 조합하여 금호강유역에서의 유사발생 평가를 위한 지도를 작성한다. 이 연구는 국가에서 제공하고 있는 유역관련 자료를 이용하여 대상유역에서 유사발생을 평가하고 유사발생 관련인자를 대상으로 평가기준을 제안하였다.

• 한국인터넷방송통신학회논문지
• /
• 제19권1호
• /
• pp.103-109
• /
• 2019

자동차 전장 시스템에는 여러 개의 전자 제어 장치에 시간 제약성을 갖는 다수의 응용프로그램들이 탑재되어 안전하게 수행될 수 있는 방법이 제공 되어야 한다. 본 논문은 자동차 전장용 실시간 운영체제 규격인 AUTOSAR에서 실시간성 태스크의 스케줄링시에 각 태스크의 마감시간을 준수할 수 있는 효율적인 스케줄링 기법은 제시하고, 타이밍 보호 메커니즘을 적용하는 방안을 제안한다. 고정 우선 순위나 동적 우선순위 태스크의 유연한 마감 시간 보장하기 위한 동적 비선점 알고리즘과, 오류 발생에 대한 실행 시간 모니터링 가능 위치를 제시하고, AUTOSAR 타임 보호 매커니즘 구현 방안을 제시하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 춘계학술발표대회
• /
• pp.954-957
• /
• 2013

고안전성이 요구되는 내장형 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증의 고비용 문제를 해결하기 위하여, 기존연구에서는 안전성 특질기반 테스트 대상함수를 추출하여 테스트 시나리오 생성하는 생성기를 개발하여 검증 효율을 높이는데 기여하였다. 그러나 기존의 도구는 함수포인터를 탐색 하지 못한 문제와, 변수에 대한 규칙 부족문제 그리고 모듈화 되지 않아 유지 및 보수가 어려운 문제가 있었다. 본 논문에서는 기존도구의 문제점들을 개선하여 정확도를 높인 새로운 함수탐색기를 소개한다. 개발된 함수탐색기는 모듈화 되어 차후에 수정 및 보완 문제에 대하여 유연하게 대처할 수 있게 하였다. 개선된 함수탐색기를 OSEK/VDX[1] 기반의 개방형 차량전장용 운영체제인 Trampoline을 대상으로 테스트 해 본 결과 기존 도구보다 약 68%의 높은 정확도를 보였다.

• 정보보호학회논문지
• /
• 제19권2호
• /
• pp.75-82
• /
• 2009

본 논문에서는 전세계적으로 90%이상의 사용자층을 보유하고 있는 윈도우즈 OS의 API에 대한 보안 테스팅 중 Fuzz Testing을 적용하여 그 안전성을 검증하였다. 본 논문에서는 윈도우즈의 시스템 폴더 내에 구현된 함수들을 대상으로 테스팅하기 위해 Fuzz Testing 기반 자동화 방법론인 AWAFT를 제안하였다. AWAFT는 보안 취약점 중 버퍼오버플로우와 함수 파라미터 파싱 오류에 초점을 맞추고 있다. AWAFT를 자동화하기 위한 도구를 구현하였으며 Windows XP SP2 시스템 폴더에 적용한 결과 177개의 프로그램 종료 에러를 발견하였으며, 이 중 10개는 프로그램의 실행 흐름을 변경시킬 수 있는 보안상 위험한 취약점이었다. AWAFT는 윈도우즈 기반으로 개발되는 소프트웨어의 라이브러리에 대해 보안 향상을 위해 적용 가능하다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2023년도 춘계학술발표대회
• /
• pp.206-208
• /
• 2023

비대면 활동 및 원격 작업 증가에 따라 문서 파일을 이용한 사이버 공격 빈도가 증가하고 있으며, 별도의 실행 파일 대신 문서 내의 기본적인 기능을 악용하는 문서 공격은 기존의 악성코드 탐지 메커니즘을 우회할 수 있기 때문에 큰 문제가 되고 있다. 이러한 문제에 대응하기 위한 여러 기술 중 CDR 기술은 악성 행위에 이용될 가능성이 있는 액티브 콘텐츠를 제거하거나 비활성화하여 사전에 악성코드로 탐지되지 않았던 파일에 대한 보안성을 제공하지만, 문서의 내용을 분석하고 안전하게 재조합하는 과정에서 오류가 발생하여 전달하고자 했던 내용을 제대로 표현할 수 없게 되거나, 파일을 사용할 수 없게 되는 문제가 발생할 수 있다. 본 논문에서는 파일을 후처리하는 방식으로만 CDR을 적용하는 것이 아니라, 확장 프로그램이나 가상 환경 등을 이용해 문서의 작성 단계에서부터 CDR 처리과정을 거치게 하는 방법을 제안하여 파일 손상이나 내용 누락 문제를 완화하고 사용자의 업무 효율을 높이는 동시에 강화된 보안성을 제공한다.