• 제목/요약/키워드: 누락

검색결과 702건 처리시간 0.031초

Concolic Testing 기반 프로그램 상호작용 슬라이싱 기법 설계 (Design of interactive slicing method based on Concolic Testing)

  • 서강복;김덕엽;이우진
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2019년도 춘계학술발표대회
    • /
    • pp.350-352
    • /
    • 2019
  • 프로그램 슬라이싱은 처음 발표된 이후로 지금까지 다양하게 연구되어 테스팅, 디버깅, 개발, 유지 보수 등 다양한 분야에서 사용되어 왔다. 프로그램 슬라이싱을 수행하기 위해서는 기준이 되는 변수에 대해 소스코드 내에 존재하는 모든 라인들에 대해 의존성을 계산하여 프로그램 슬라이싱을 수행하게 된다. 하지만 지정된 변수에 대해서만 의존성 계산을 수행하기 때문에 프로그램을 실행 가능하게 하는 정보들에 대해서는 누락될 수 있고 이 경우의 프로그램 실행은 보장되지 않을 수 있다. 이러한 문제를 개선하기 위해 본 논문에서는 concolic testing 기법을 이용하여 기준이 되는 변수에 대한 의존성 있는 구문들을 추출하고 프로그램 실행에 요구되는 구문들을 같이 추출해낼 수 있는 프로그램 상호작용 슬라이싱 기법을 제안한다.

스마트폰을 이용한 증강현실 기반 교량 정보 시스템 데이터베이스 설계 (Database Architecture of Augmented Reality Based Bridge Information System using Smartphone)

  • 배성한;이기열;이화민
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 춘계학술발표대회
    • /
    • pp.810-813
    • /
    • 2012
  • 증강현실은 가상세계와 현실세계를 혼합한 기술로, 현재 여러 분야에서 증강현실을 접목한 다양한 연구가 이루어지고 있다. 건설 산업은 복잡한 설계와 시설물을 기반으로 모든 업무가 행해지는 특징으로 인해 증강현실의 활용 가능성이 높은 분야로 주목되고 있다. 스마트폰을 이용하여 교량의 정보를 제공하는 증강현실 기반 교량 정보 시스템(InfoBridge)은 사용자들에게 많은 정보를 제공하기 위해서 최적화된 데이터베이스 모델링이 필요하다. 많은 사용자들이 원하는 정보를 찾을 때 정보의 누락이 없어야 하고 빠른 검색을 통해서 정보를 제공 받아야 한다. 또한 관리자는 사용자가 원하는 정보를 정확하게 제공하기 위해서 데이터베이스의 최신화가 필수이다. 이에 본 논문에서는 증강현실 기반 교량 정보 시스템의 데이터베이스 설계를 제안한다. 우리나라에 있는 많은 교량들의 내/외적인 정보를 데이터베이스에 담기 위해서는 적절한 설계가 필요하며 이러한 설계를 통해서 정보의 빠른 검색, 데이터베이스의 효과적인 유지보수를 제공한다.

LTL Synthesis를 이용한 다중 로봇 시뮬레이터 개발 (Development of Multi-Robot Simulator using LTL Synthesis)

  • 김성회;권령구;권기현
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2012년도 춘계학술발표대회
    • /
    • pp.1219-1222
    • /
    • 2012
  • Synthesis 기술은 요구사항을 입력 받아서 자동적으로 시스템을 생성한다. 그러므로 생성된 시스템에 대한 추가적인 테스팅과 검증을 요구하지 않는다는 장점이 있지만 자연어가 아닌 특별한 형태의 논리식으로 요구사항을 기술하기 때문에 정확하게 변환되었는지, 누락된 요구사항이 있는지 확인하는 과정이 반드시 필요하다. 이러한 Synthesis 기술을 로봇 계획 분야에 적용하면 다중 로봇의 작업 계획도 단일 로봇과 동일한 형태로 확장하는 것이 가능하다. 그러나 기존의 LTLMoP 시뮬레이터는 단일 로봇의 시뮬레이션만을 지원해서 다중 로봇의 시뮬레이션은 어려움이 많았다. 따라서 본 연구에서는 다중 로봇들의 작업 계획도 시뮬레이션 할 수 있도록 LTLMoP 시뮬레이터를 확장하였고 사례연구를 통하여 이를 확인하였다.

블록체인을 활용한 부산항 ITT 서비스 적용 사례 및 향후 계획

  • 박경철
    • 한국항해항만학회:학술대회논문집
    • /
    • 한국항해항만학회 2019년도 춘계학술대회
    • /
    • pp.117-118
    • /
    • 2019
  • 부산항만은 년간 천만 TEU 이상의 환적 물돌량을 처리하는 세계 2위 환적항이다. 이러한 환적 물량을 효과적으로 처리하기 위해서는 선사, 운송사, 트럭, 터미널 등 각 이해관계자간 정보의 신속하고 정확한 전달이 중요하나, 현재는 정보전달 방법이 다양하고, 정보 공유가 미흡하여 차량 대기, 정보의 누락, 터미널 혼잡 등 문제가 발생하고 있다. 이를 해결하기 위해 부산항만공사는 블록체인 기술을 활용하여 이해관계자 간에 정보를 실시간 공유함으로써 작업 우선순위를 고려한 운송계획 등을 수립할 수 있도록 하여 운송 효율을 높이기 위한 노력을 하고 있다. 본 사례 발표에서는 부산항의 ITT 관련 문제점 및 개선 방안, 향후 계획 등에 대해 논의하고자 한다.

  • PDF

텍스트 마이닝을 이용한 지능적 워드클라우드 (Intelligent Wordcloud Using Text Mining)

  • 김연창;지상수;박동서;이충호
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국정보통신학회 2019년도 춘계학술대회
    • /
    • pp.325-326
    • /
    • 2019
  • 본 논문은 텍스트 마이닝 기법으로 명사의 빈도수를 조사하여 워드클라우드를 나타내는 기존의 방법을 개선하여 지능적 워드클라우드를 구현하는 방법을 제안한다. 텍스트 마이닝 시에 명사 단어를 추출하는 사전에 누락된 신조어 등의 단어를 효과적으로 추가하고, 동사 등 다른 품사위주의 워드클라우드를 시각적으로 보여주는 방법을 제안한다. 실험에서 기존 명사의 빈도수 추출에는 KoNLP 패키지를 사용하였고, 지원되지 않는 신조어 80개를 추가하였고 빈도수를 수동으로 조사하여 추가하였다.

  • PDF

불완전 XML 문서의 파싱 (Parsing of Incomplete XML Document)

  • 조용윤;유재우
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2004년도 춘계학술발표대회
    • /
    • pp.589-592
    • /
    • 2004
  • 대표적인 웹 문서의 표준인 XML(eXtensible Markup Language)은 문서의 구조와 내용을 기술하기 위해 태그(tag)로 이루어진 문법 구조를 이용한다. 일반적인 텍스트 에디터 환경에서 XML 문서에 입력되는 내용(contents)과 그것을 포함하는 태그의 쌍은 완전하지 못한 형태로 입력될 수 있다. XML 문서를 작성하는 과정에서 문법적으로 불완전한 문장 입력은 정상적인 파싱을 보장하지 않는다. 본 논문은 XML 문서 편집기에 사용될 수 있는 XML 파서가 문법적으로 불충분한 문장의 입력에 대해 문법에 따라 빠진 부분을 인식하고, 누락된 문법 심벌을 찾아 부족한 부분 파스 트리를 완성함으로써 사용자에게 성공적인 XML 문서 편집을 보장할 수 있는 파싱 방법을 제안한다. 제안된 파싱 방법을 통해 사용자는 프로그래밍 편집 중 문법 오류에 대한 부담을 줄일 수 있다. 또한, 사용자는 불완전 입력에 대해 일반적인 에러 처리에 따른 편집 중단 없이 계속적인 문서 파싱을 보장받아 편집 효율을 높일 수 있다.

  • PDF

강화학습기법을 이용한 목적지 경로 탐색 (Destination Path Search using Reinforcement Learning Technique)

  • 이태경;전준리
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2013년도 춘계학술발표대회
    • /
    • pp.244-247
    • /
    • 2013
  • 본 논문에서는 목적지들의 중요도를 이용하여 강화학습에 의한 목적지 경로 탐색을 제안한다. 일반적인 목적지 경로탐색은 목적지의 중요도나 방문빈도를 고려하지 않는 최단경로탐색을 수행한다. 그러므로 방문객들의 요구에는 맞지 않는 경로를 탐색한다. 강화학습의 특징은 관심 대상에 대한 구체적인 지배 규칙의 정보 없이도 최적화된 행동 방식을 학습시킬 수 있는 특징이 있다. 이를 이용하면 주요목적지를 누락시키지 않고 방문객들의 요구에 만족하는 경로를 탐색할 수 있다. 기존에 이용되고 있는 경로탐색 알고리즘과 강화학습기법이 적용된 알고리즘을 서로 분석하여 비교한다.

셀룰러 V2X 통신에서 차량역학 기반 비주기적 메시지 발생시점 예측 (Prediction of vehicle dynamics-based aperiodic message generation times in cellular V2X communication)

  • 선현지;이호정;김효곤
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2022년도 춘계학술발표대회
    • /
    • pp.90-93
    • /
    • 2022
  • 좁은 ITS(Intelligent Transportation Systems) 대역에서는 채널 혼잡을 피하는 것이 필수적이다. 눈에 띄는 변화가 있을 때만 차량 운동을 보고하는 것은 대역폭 사용을 줄이기 위한 표준화된 접근 방식이다. 그러나 셀룰러 V2X(Vehicle-to-Everything) 통신에서 주기적인 비콘의 빈번한 누락으로 인한 비주기성은 자원 낭비와 자원 스케쥴링의 안정성 문제를 제기한다. 이에 대해 이 논문에서는 자동차의 운동이 물리적 특성에 의해 제약을 받기 때문에 딥러닝 기반 체계로 대부분의 메시지 생성 시간을 정확하게 예측할 수 있다는 것을 보여준다. 제안된 예측 방법은 통상적인 도로주행 시 94.9%의 정확도를 달성한다.

워터마크와 OCR 을 이용한 전자 캐비닛 시스템 (Electronic Cabinet System using Water Mark and OCR)

  • 김성민;하은용
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 추계학술발표대회
    • /
    • pp.1386-1388
    • /
    • 2011
  • 오늘날 컴퓨터 및 통신 기술의 급속한 발달로 인해 디지털 시대가 도래 하면서 전자 서비스가 보급 되었지만 전자 출력물들은 프린터로 출력하여 문서 창고 안에 보관되어 문서의 진위 여부 확인이나 법적인 문제가 발생시에 종이 문서 창고에 의지할 수 밖에 없었다. 이렇게 창고 안에 보관하는 것도 문서의 양이 비약적으로 많아져 운영하는데 막대한 비용이 발생되고 있다. 한편 기존 문서를 전자문서로 변환하면서 데이터 누락되거나 데이터가 변질되거나 유실되는 문제가 빈번하게 발생되었다. 본 논문에서는 기존 문서를 전자 문서로 변환하고, 이후 문서 수정이 발생할 때에는 버전 관리를 통해 안정성을 높인 워터마크와 OCR 기술을 적용한 전자 캐비닛 시스템을 설계 구현한다.

후보 레이블 정보를 반영한 멀티 디코더 모델 (Multi-decoder Model Reflecting Candidate Label Information)

  • 박원재;최기현;김학수
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.307-310
    • /
    • 2021
  • 지도 학습을 하기 위해선 레이블이 부착된 데이터셋이 필요하다. 크라우드소싱 서비스를 통해 데이터셋을 구축하는데 다수의 주석자(Annotator)가 관여한다. 다수의 주석자가 레이블을 할당하고 과반수인 레이블을 최종 정답으로 결정한다. 이 과정에서 최종 정답과 다른 후보 레이블의 정보가 누락된다. 이를 완화하고 목표 작업에 대한 성능을 높이기 위해 후보 레이블에 대한 정보를 반영하는 멀티 디코더 모델을 제안한다. KLUE-TC, SNLI, MNLI 데이터셋으로 정량적 성능 평가를 수행하였으며 실험한 데이터셋 모두 일괄적인 성능 향상을 보였다.

  • PDF