• 제목/요약/키워드: 들기

검색결과 188건 처리시간 0.029초

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

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

온라인 가상 세계를 위한 확장성 있는 P2P 오버레이 네트워크 (A Scalable P2P Overlay Network for the Inline Virtual World)

  • 이영준;정민선;이상환
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(D)
    • /
    • pp.266-271
    • /
    • 2010
  • 최근 MMORPG 게임이나 가상현실 게임들은 대규모의 사용자가 가상세계에 접속하여 게임을 즐긴다. 이러한 환경에서 서버-클라이언트 모델은 서버에 많은 부하를 가져오게 되어, 게임 서비스의 QoS에 나쁜 영향을 준다. 이러한 방법을 해결하기 위해서 서버를 증설 할 수 있으나, 비용이 많이 들기 때문에 최근에 P2P 모델로 구현하려는 시도가 늘고 있다. 하지만 P2P 모델로 구현할 경우 서버의 부하는 쉽게 해결할 수 있으나, 데이터의 동기화에 문제가 생겨서 게임을 아예 진행할 수 없게 되거나, 사용자간의 잘못된 P2P망 구성으로 인해 서버-클라이언트 모델보다 안정적이지 못하다는 문제 점이 있다. 이 논문에서는 기존의 P2P 기법을 통한 영역 분할에 대해 살펴보고, 새로운 영혁 분할 기법을 제안하려고 한다.

  • PDF

CNF의 수평적 분리를 이용한 공간 질의 최적화 기법의 제안 (The Design of Spatial Query Optimization Technique using Horizontal Splitting of CNF)

  • 이환재;정보흥;조숙경;이순조;배해영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
    • /
    • pp.229-231
    • /
    • 2001
  • 공간 데이터베이스 시스템에서의 질의처리 과정 중 질의 재작성 과정에 의해 다중 블록 질의가 단일 블록으로 변환되면 공간 서술자와 비공간 서술자가 OR와 AND에 의해 연결되어있는 복잡한 CNF가 생성된다. CNF 내의 공간 서술자는 공간연산의 정제단계의 수행 비용이 비공간 연산에 비해 상당히 많이 들기 때문에 비공간 서술자와는 다른 최적화 기법이 필요하다. 본 논문에서는 공간 서술자가 포함된 복잡한 CNF를 수평적으로 분리하여 질의를 재작성하고 수행순서를 재조정하는 기법을 제안한다. 제안하는 기법은 원시 CNF를 수행 비용이 상대적으로 적은 전처리 단계의 CNF와 이에 비해 수행비용이 많이 드는 후처리 단계의 CNF로 분리하고 질의를 재작성 한 후 비용 모델에 의거해서 실행 트리를 최적화 한다. 본 논문에서 제시하는 기법은 질의 최적화 단계에서 공간연산의 단계별 실행특성을 감안한 효율적인 실행 계획 생성이 가능하다는 장점이 있다.

  • PDF

안전밸브설비 설계에 관한 규정 ( I ) (The Design of Safety Valve Installations)

  • 조성환
    • 기계저널
    • /
    • 제18권2호
    • /
    • pp.122-127
    • /
    • 1978
  • 본 규정은 대한 기계학회가 공업진흥청의 의뢰를 받아 1977년도에 작성한 "압력배관 기술기준(I)" 의 부속서중의 하나로서 본 규정에서 기술수준이라고 하는것은 압력배관 기술기준(I)을 지칭하는 것이다. 분량관계로 본회에는 그의 일부로서 적용범위 및 정의와 하중에 관한 부분을 실었다. 압력배관 기술기준은 동력배관계통의 설계, 제작, 재료, 설치 및 시험에 대한 규정을 포함하고 있 다. 오랜경험에서 이들 규정은 안전밸브설비에 대해서도 합리적으로 적용할 수 있음을 보여 주었 다. 그러나 안전밸브설비의 설계가 압력배관 기술기준의 규칙을 충분하게 적용할 수 없는 경우도 있을 수 있다. 따라서 본 부록은 안전밸브설비에 기술기준의 규정을 적용하는 방법을 명백히 하 고, 또 예를 들기 위하여 준비되었으며, 설계자에서 설계지침과 별도의 설계방법을 제공한다. 다 만, 본 부록은 강제성의 규정은 아니다.의 규정은 아니다.

  • PDF

P.O.P 단말기를 이용한 근태통신관리 시스템의 설계 및 구현 (Design And Implementation of Diligence and Indolence Communication Management System for Using P.O.P Terminal)

  • 홍수열
    • 한국컴퓨터정보학회논문지
    • /
    • 제7권2호
    • /
    • pp.155-160
    • /
    • 2002
  • 일반 기업의 전산 업무 중 인사\ulcorner급여 관리 업무는 매우 중요하다. 인사.급여 관리 업무 중 사원에 대한 출퇴근 및 외입 \ulcorner외출 관리는 매우 중요한 데이터 요소이다. 일반 중소기업에서 전산 시스템 도입 에는 많은 비용이 들기 때문에 지금까지는 단순히 출근부에 의한 수 작업 데이터를 관리하였다. 한편, 이 비용문제를 해결하기 위해서 P.O.P단말기를 이용한 근태통신관리 시스템을 설계하고 구현하였다.

  • PDF

알루미늄 재료기술( I )

  • 황창규
    • 기계저널
    • /
    • 제29권1호
    • /
    • pp.23-28
    • /
    • 1989
  • 알루미늄 재료의 수요는 근년에 와서 눈에 띨만큼 급성장 하였다. 그 수요구조를 보면 일용품을 중심으로 하는 경공업용 재료중심에서 토목, 건축, 운송산업, 금속기계 부문으로 확대되어 철강 재료와 마찬가지로 기초금속재료로써 광범위하게 사용되고 있음을 알 수 있다. 알루미늄 재료가 근래에 와서 급성장한 배경에는 생산기술과 응용기술면에서의 향상도 있었지만 경제적 효과성이 깔려 있기 때문이 아닌가 생각한다. 이는 포장용 재료의 보급과 자동차용 재료의 동향을 생각할 때 앞으로도 개발의 여지가 많은 재료인 것은 확실하며 개발에 대한 노력의 중요성을 실감해 주고 있다. 한 때 알루미늄 산업은 에너지 소비형 산업이라는 의혹도 있었으나 현재에 와서는 성 에너지의 관점에 있어서도 장래가 밝고 유용성이 큰 재료라고 평가하고 있다. 이러한 상황 속에서 이 분야에 종사하는 업계나 현장 사람들이 알루미늄 재료에 대한 개략적이고 상식적인 문제들을 다시 한 번 검토하는 노력도 필요하리라 생각이 들기 때문에 알루미늄 재료의 특징, 종류, 호칭, 성질, 가공방법(성형가공만 소개), 용도 등에 관해서 부족한 감은 있지만 나름대로 정리하여 기술하고자 한다.

  • PDF

규칙적 들어올리기 작업에 있어서의 들기 가속도와 피로도와의 관계연구 (Fatigue Effect on Lifting Acceleration During Frequent Liftings)

  • Kim, Young-Joun
    • 대한인간공학회지
    • /
    • 제21권1호
    • /
    • pp.27-32
    • /
    • 2002
  • The objective of this study was to investigate the effects of fatigue, caused by frequent manual lifting. on lifting velocity and lifting acceleration. Ten male volunteers performed lifting at a rate of 4 times per minute, continuously, for two hours using the free-style posture A box($30cm{\times}30cm{\times}20$) with a fixed weight (15.9 Kg) was used as the load for lifting, Heart rate, oxygen consumption, and EMG were also measured to estimate the level of fatigue, The posture as well as acceleration was recorded. The results showed that the lifting acceleration at the end of two hour increased significantly (20%, p<0.001) compared to the acceleration after fifteen minutes of lifting. It was also found that subjects changed their lifting postures as the result of fatigue. All subjects also indicated pain in their upper legs and the lower back at the conclusion of the experiment.

촉각 센서를 이용한 로봇 손의 행위 기반 제어 (Control of robotic hand by behavior-based tactile servoing)

  • 박노훈;오상록;박종현;유범재;오용환;윤도영
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2003년도 하계학술대회 논문집 D
    • /
    • pp.2399-2401
    • /
    • 2003
  • 시각 장애인의 경우 어떤 물체를 집어 들기 위해서는 처음에 물체를 더듬으면서 전체 형상을 파악하게 된다. 손의 촉각을 이용하여 충분히 물체의 특징을 파악하게 되면, 무게 중심이 될 만한 지점에 접촉하여 물체를 한 번쯤 들어보게 된다. 시각 등 다른 감각의 제한을 받는 조건에서 촉각만으로 물체 파지(object-graping)을 수행하고자 할 때, 일련의 행위들을 반복하게 된다. 본 논문은 촉각을 이용한 로봇 손의 행위 기반 제어 연구에 관한 것으로 R.Brooks가 제안한 subsumption architecture(SA)을 진화시켜 본 연구실에서 개발한 4DOF hand에 적용하였다.

  • PDF

유전자 알고리즘을 이용한 하플로타입 추론 (Haplotype Inference Using Genetic Algorithm)

  • 이시영;김희철
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2004년도 춘계학술발표대회
    • /
    • pp.993-996
    • /
    • 2004
  • 사람들 사이에는 DNA 서열의 변이로 인한 유전적 차이가 있으며, 가끔 이러한 차이가 유전 질병의 원인이 되기도 한다. 일반적으로 DNA에서 가장 잘 알려진 변이가 바로 SNP(Single Nucleotide Polymorphism : 스닙)이다. SNP는 보통 블록단위로 유전되어지며 한쪽 부모로부터 유전되어진 SNP 블록을 SNP 하플로타입이라고 부른다. 생물학 실험을 통하여 추출되어진 결과물은 부모로부터 유전되어진 대립 유전자가 혼합되어진 지노타입(genotype)의 정보이다. 지노타입은 직관적으로 정확한 SNP 하플로타입을 추정하기가 힘들고, 생물학 실험을 통하여 하플로타입(haplotype)을 분석하는데 많은 비용이 들기때문에, 이를 컴퓨터 계산을 통하여 추론하는 연구가 Clark[1]에 의해서 제안되어진 이후 활발하게 진행되고 있다. 본 논문에서는 하플로타입을 효과적으로 추론하기 위해 유전자 알고리즘을 이용한 새로운 방법을 설명하고, 실험 결과를 기존의 연구 결과와 비교 분석한다.

  • PDF

Asymmetric Routing 개선을 통한 Network Bandwidth의 효율적인 운영방안 연구 (A Study for Effective Operation of Network Bandwidth based on Improvement of Asymmetric Routing)

  • 김태규;최현영;민성기
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2009년도 춘계학술발표대회
    • /
    • pp.1237-1240
    • /
    • 2009
  • 인터넷의 발달로 금융기관의 일반업무도 인터넷을 사용하여 수행되는 비중이 커짐에 따라 이를 수용하기 위한 대역폭이 확보되어야 한다. 그러나 늘어나는 트래픽을 수용하기 위한 금융권 본-지점의 통신을 위한 전용회선 등은 상대적으로 비용이 많이 들기 때문에 금융기관 본-지점간의 네트워크 구성을 위하여 물리적인 회선의 증설 대신 현재 사용중인 회선의 트래픽을 효율적으로 운영하는 등의 새로운 기법이 필요하기에 이르렀다. 이에 본 연구에서는 계속적으로 증가되고 있는 금융기관의 웹 기반의 각종 트랜잭션 트래픽을 원활하게 수용하기 위한 방안으로써 비대칭 라우팅의 개선을 통하여 영업점 네트워크 OSPF 라우팅에 대한 변형 수용으로 대역폭 Load Sharing 개선에 관한 방안을 제안하였다. 새로운 라우팅 기법을 실제환경에 적용하여 회선의 사용률이 적절하게 분산되어 사용되고 Load Sharing 성능이 향상됨을 증명하였다.