• Title/Summary/Keyword: 자동진행

Search Result 1,442, Processing Time 0.065 seconds

Boundary Testing research using Dynamic Symbolic Execution (동적 심볼릭 수행을 이용한 경계 테스팅 연구)

  • Koo, Keun-Hoi;Choi, Seok-Won;Choi, Jin-Young
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2016.10a
    • /
    • pp.429-432
    • /
    • 2016
  • 전통적인 태스팅은 테스트케이스를 만드는데 많은 시간과 비용이 들기 때문에 시기적절한 출시를 해야 하는 휴대전화, TV와 같은 제품을 테스팅하는데 많은 어려움을 겪고 있다. 이러한 문제를 해결하려는 노력으로 관련 학계 및 산업체에서는 동적 심볼릭 수행을 이용한 커버리지가 높은 테스트케이스 자동생성 연구가 진행 중이다. 특히, Microsoft Research에서 만든 동적 심볼릭 수행도구인 PEX는 C#언어로 작성된 웹 또는 윈도우 프로그램의 테스트케이스를 자동 생성한다. 그러나 PEX의 사용자들로부터 테스트케이스가 부족하다는 피드백올 받았고, 그 결과로 경계 값 테스트케이스를 추가하는 연구를 진행하여 경계 값 테스트케이스를 추가하지 않았을 때 보다 더 많은 오류를 찾았다. 본 논문에서는 소프트웨어 오류가 있을 경우 엄청난 재산, 인명 피해가 발생하는 임베디드 소프트웨어 분야에서 자주 사용하는 언어인 C언어를 지원하는 동적 심볼릭 수행 도구 CREST를 수정하여 경계 값 테스트 케이스를 생생하는 연구를 진행한다.

Development of Energy Management System for 42V Mild-Hybrid Vehicle (42V 마일드 하이브리드 자동차용 에너지 관리장치 개발에 관한 연구)

  • Lee, Baek-Haeng;Shin, Dong-Hyun;Song, Hyun-Sik;Kim, Byeong-Woo;Kim, Hee-Jun
    • Proceedings of the KIEE Conference
    • /
    • 2006.07b
    • /
    • pp.968-969
    • /
    • 2006
  • 환경 친화적인 자동차, 안전한 자동차, 편리하고 편안한 자동차 등에 대한 다양한 요구에 효과적으로 대응하기 위해 기존의 기계/유압식 자동차 부품들을 전기장치로 대체하기 위한 연구가 꾸준히 진행되고 있으며, 특히 반도체 기술의 발전에 의한 가격경쟁력 강화에 힘입어 신규부품 개발 분야를 중심으로 자동차 부품의 전기/전자화가 급격히 진행되고 있다. 이에 따라 자동차에서 사용되는 전기에너지의 소요도 지속적으로 증가하여 새로운 차량용 전원체계에 대한 연구, 개발의 필요성이 대두되었고, 1990년대 중반 미국의 MIT/Industry Consortium 등을 중심으로 선행연구가 진행되어 자동차용 42V 전원체계가 새로운 대안으로 제시되었으며, 아울러 연비개선을 위한 마일드 하이브리드 기능의 채용이 검토되었다. 본 논문에서는 42V 전원체계 및 마일드 하이브리드 시스템 성능 구현에 핵심적인 역할을 하는 에너지 저장시스템에 관해 소개하고, 마일드 하이브리드 운용에 적합한 에너지 관리장치 개발에 대해 간략히 소개하고자 한다.

  • PDF

Implementation of APDU Auto-Analyzer for using applications on Java Card (자바카드 애플리케이션 활용을 위한 APDU 자동 분석기 구현)

  • 조증보;김도우;정민수
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2002.05d
    • /
    • pp.983-988
    • /
    • 2002
  • 전자 화폐에 대한 관심이 많이 증가한 요즘, 스마트 카드 기반의 자바 카드에 대한 연구가 활발히 진행되고 있다. 이에, 자바 카드 플랫폼으로 수행 가능한 다양한 애플리케이션을 실제로 생성해서 실행 가능한 파일로 변환하는 과정과 사용되는 파일들의 분석을 본 논문에서 중점으로 다룬다. 그리고 생성된 파일의 구조을 자동으로 분석해내는 APDU 자동 분석기에 대한 내용도 다룬다.

  • PDF

The selection of Best suited Automatic Web Document Classification Based on Intranet (인트라넷 기반의 최적의 웹문서 자동 분류기법 선정)

  • 김국희;윤희병
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2004.10a
    • /
    • pp.423-426
    • /
    • 2004
  • 인트라넷에서는 증가하는 웹문서의 검색을 목적으로 웹 검색엔진의 도입이 활발히 진행 중이며 대부분 찾아야할 키워드를 알고 접근하는 검색엔진 형태이다. 그러나 사용자가 무엇을 찾아야 하는지 모르는 경우 웹문서 분류체계는 효율적인 방법을 제시할 수 있다. 일부 구축되어 있는 분류체계는 수작업에 의한 분류로 인해 증가하는 웹문서의 양에 효율적으로 대처하기 곤란하므로 자동분류기법을 활용한 분류가 더 효율적일 것이다. 본 논문에서는 국방인트라넷의 수작업으로 구축된 분류체계를 대상으로 용어 가중치를 계산하는 방법을 달리하여 다양한 분류기법을 적용하여 성능을 비교평가하고 웹문서 자동분류시스템에 적용하여 분류성능의 향상을 도모하고자 한다.

  • PDF

카이트 추진형 레저보트의 자동항해에 관한 연구

  • Gang, Min-Su;Sin, Il-Sik;Yun, Cheol-Won
    • Proceedings of the Korean Institute of Navigation and Port Research Conference
    • /
    • 2013.10a
    • /
    • pp.93-94
    • /
    • 2013
  • 카이트 보딩은 윈드서핑, 요트 등과 같이 바람을 이용한 수상레저기구이며 국내에서는 소수의 동호인을 중심으로 매니아 층을 형성하고 있다. 최근 해양레저장비 분야에서도 친환경기술과의 접목이 진행되고 있으며, 특히 해외에서는 대형선박의 연료비 절감 및 환경오염 인자 저감을 위한 선박 추진용 카이트 시스템이 개발되어 사용 중에 있다. 본 연구에서는 카이트 추진형 레저보트를 대상으로 풍속, 풍향, 카이트의 위치 등에 따라 자동제어 및 운항 가능한 시스템을 제안하고자 한다.

  • PDF

Text Animation with Music (음악이 흐르는 텍스트 애니메이션)

  • Park Doojin;Park Jong C.
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.526-528
    • /
    • 2005
  • 음악은 스토리텔링에서 이야기의 분위기와 흐름을 전달하는데 중요한 역할을 한다. 최근 컴퓨터 애니메이션에 자동으로 알맞은 음악을 삽입하기 위하여 많은 연구가 진행되고 있지만 이야기가 있는 애니메이션보다는 주로 영상물의 동기화를 위한 연구가 대부분이었다. 텍스트 애니메이션은 동화를 자동으로 분석하여 애니메이션을 만들어 주는 연구이다. 본 논문에서는 동화의 이야기 구조에 근거하여 각 장면의 분위기에 맞는 음악 자질을 자동으로 추출하는 과정을 보이고 이를 이용하여 텍스트 애니메이션에 음악이 삽입될 수 있는 방법에 대하여 논의한다.

  • PDF

Case Study on RFID Technology Applications (유비쿼터스 환경에서의 RFID 활용사례)

  • Park, Seong-Taek;Kim, Yeong-Gi
    • 한국디지털정책학회:학술대회논문집
    • /
    • 2005.11a
    • /
    • pp.337-349
    • /
    • 2005
  • 언제, 어디서나, 어떤 기기와도 접속을 가능하게 하는 유비쿼터스 컴퓨팅 시대가 다가오고 있다. 이러한 유비쿼터스 컴퓨팅이 가능하기 위해서는 기본적으로 사람과 사물을 유일하게 식별하고, 이를 바탕으로 하여 서비스가 제공되어야한다. RFID(Radio Frequency IDentification)는 자동 인식 및 데이터 획득 기술의 하나로 사람의 작업이나 판단을 요구하지 않으면서 객체의 ID를 자동적으로 취득하고 온라인으로 관련정보를 자동 처리하는 기술이다. 즉, 차세대 유비쿼터스 컴퓨팅의 핵심 기반의 기술이다. 현재 신성장 동력 산업의 하나로 RFID가 선정되었으며, 다양한 응용서비스 시험 사업과 관련 기술의 개발이 활발하게 진행되고 있다. 이에 본 연구에서는 RFID 활용 사례를 파악하여 기업들이 새로운 비즈니스 가치를 창출하기 위한 전략을 수립하는데 도움을 주고자 한다.

  • PDF

A Development of Multi-Agent based Automated Negotiation System (멀티 에이전트 기반 자동 협상 시스템 개발)

  • 최형림;김현수;홍순구;박영재;박용성;강무홍
    • Proceedings of the Korea Association of Information Systems Conference
    • /
    • 2004.05a
    • /
    • pp.109-121
    • /
    • 2004
  • 현재 오프라인에서 행해지고 있는 거래들을 온라인에서 지원하기 위란 거래 시스템에 대한 연구들이 많이 진행되고 있다. 하지만 이러한 거래 시스템들은 일반적인 상거래, 즉 판매자가 제시한 가격에 구매자가 구매를 하는 고정가격제 거래방식을 지원하는 시스템이 대부분 이었고 판매자와 구매자가 협상을 통해 적절한 가격선을 찾을 수 있도록 지원해 주는 거래 시스템에 대한 연구는 미흡하다. 이러한 자동 협상 시스템은 전자상거래 환경에서의 다양한 환경변화와 복잡한 문제 등에 보다 빠르고 유연하게 대처하고 많은 협상을 일관성있고 효율적으로 수행하기 위해서 필요하다. 본 연구에서는 전자상거래 환경에서 자동으로 협상을 수행하는 자동협상시스템을 개발하였다. 이 시스템은 협상안을 자동으로 생성하고, 또한 상대방의 협상안을 평가하여 Counter 협상안을 작성${\cdot}$전송하거나 Accept 또는 Reject를 할 수 있는 멀티 에이전트 기반 자동협상 시스템이다.

  • PDF

The Trends of Machine Translation Technology and Case Study (자동번역 기술 동향 및 응용 사례)

  • Kim, Un;Choe, Seung-Gwon;Kim, Chang-Hyeon;Hwang, Yeong-Suk;Seo, Yeong-Ae;Gwon, O-Uk;Kim, Yeong-Gil
    • Electronics and Telecommunications Trends
    • /
    • v.23 no.1 s.109
    • /
    • pp.89-98
    • /
    • 2008
  • 최근 들어 인터넷 보급과 확산, 그리고 국제 교류가 심화됨에 따라 사람들이 단일언어의 장벽을 뛰어넘어 다른 언어 정보에 대한 수요가 급증하고 있는 추세이다. 또한 의사소통 방법도 기존의 면대면 대화나 편지 등으로부터 메신저, 이메일, 핸드폰 등으로 다양화되면서 자동 통/번역 기술을 통한 의사소통 및 타 언어 정보의 획득이 가능해지고 있으며 자동 통/번역 기술 또한 크게 각광받고 있다. 이에 대비하여 각국에서는 자동번역 기술을 국가주도 하에 경쟁적으로 진행하고 있으며, 그 응용도 웹 문서, 특허문서, 구어체 등으로 다양화되고 있다. 본 고에서는 자동번역 기술의 동향 및 국내외 응용사례를 소개하고 향후 자동번역 기술 개발의 방향을 점검해보고자 한다.

A method of Automatic Schema Evolution on DBpedia Korea (한국어 디비피디아의 자동 스키마 진화를 위한 방법)

  • Kim, Sundong;Kang, Minseo;Lee, Jae-Gil
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2014.04a
    • /
    • pp.741-744
    • /
    • 2014
  • 디비피디아 온톨로지는 위키피디아에서 구조화된 데이터를 추출한 지식 베이스이다. 이러한 지식 베이스의 자동 증강은 웹을 구조화하는 속도를 증가시키는데 큰기여를 할 수 있다. 본 연구에서는 한국어 디비피디아를 기반으로 새로운 트리플을 입력받아 기존의 지식 베이스를 자동 증강시키는 시스템을 소개한다. 스키마를 자동 증강하는 두 가지 알고리즘은 최하위 레벨인 인스턴스가 지닌 프로퍼티, 즉 rdf-triple 단위에서 진행되었다. 알고리즘을 사용한 결과 첫째, 확률적 격상 방법을 통해 단계별로 입력받는 인스턴스와 하위 클래스의 프로퍼티를 이용하여 상위 클래스의 스키마가 정교해졌다. 둘째, 이를 바탕으로 타입 분류가 되어 있지 않았던 인스턴스들이 가장 가까운 타입에 자동 분류되었다. 지식 베이스가 정교해지면서 재분류된 인스턴스와 새로운 트리플셋을 바탕으로 두 가지 알고리즘은 반복적으로 작동하며, 한국어 디비피디아 지식 베이스의 자동 증강을 이루었다.