• 제목/요약/키워드: Execution error

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

효과적인 프로그래밍 오류분석을 위한 지식표현연구 (A Study of Knowledge Representation for Effective Programming Error Detection)

  • 송종수;송두헌
    • 한국컴퓨터산업학회논문지
    • /
    • 제4권10호
    • /
    • pp.559-570
    • /
    • 2003
  • 프로그래밍 초보자의 개인차에 따라 효과적인 개별학습을 제공하는 프로그래밍 언어 교사 시스템 구축을 위해서는 초보자의 프로그램에 있는 오류를 분석하고 그 원인을 파악할 수 있어야 한다. 본 연구에서는 플랜 정합과 프로그램 실행에 기반한 효과적인 프로그래밍 오류분석 시스템을 제안하고자 한다. 프로그램 실행 결과를 이용하여, 연관된 프로그래밍 플랜간의 연결 관계를 유연하게 표시하고, 플랜 정합의 차이점을 검증하며, 플랜간 공유변수의 조건에 따른 인과관계의 파악할 수 있게 된다. 또한 초보자에게 제공하는 오류 메시지는 플랜 간의 인과관계에 따라 오류의 원인과 그 파급 효과를 지적하고 예제나 반례에 해당하는 사례를 구체적으로 제공할 수 있게 되어, 사용자가 쉽고 명확하게 이해할 수 있게 제공이 가능해졌다.

  • PDF

STEP-NC의 피쳐 기반 공구경로 생성 및 갱신 (Feature Based Tool Path Planning and Modification for STEP-NC)

  • 조정훈;서석환
    • 한국CDE학회논문집
    • /
    • 제4권4호
    • /
    • pp.295-311
    • /
    • 1999
  • An increasing attention is paid to STEP-NC, the next generation CNC controller interfacing STEP-compatible data. In this paper, we first propose an Architecture for the STEP-NC (called FBCC: Feature Baled CNC Controller) accepting feature code compatible with STEP-data, and executing NC motion feature by feature while monitoring the execution status. The main thrust of the paper has been to develop an automatic on-line tool path generation and modification scheme for milling operation. The tool path it generated iota each feature by decomposing into a finite number of primitive features. The key function in the new scheme is haw to accommodate unexpected execution results. In our scheme, the too1 path plinker is designed to have a tracing capability iota the tool path execution so that a new path can be generated from the point where the operation is stopped. An illustrative example is included to show the capability of the developed algorithm.

  • PDF

깊이 정보를 이용한 템플릿 매칭 기반의 고속 얼굴 추적 방법 (Template-Matching-based High-Speed Face Tracking Method using Depth Information)

  • 김우열;서영호;김동욱
    • 방송공학회논문지
    • /
    • 제18권3호
    • /
    • pp.349-361
    • /
    • 2013
  • 본 논문에서는 깊이 정보만을 이용하여 얼굴을 고속으로 추적하는 방법을 제안하다. 그 방법으로는 템플릿 매칭 방법을 사용하며, 템플릿 매칭 방법의 문제점인 과다한 수행시간의 문제를 해결하여 고속으로 얼굴을 추적하기 위하여 조기종료 기법과 sparse 탐색 기법을 적용하고, 그에 따른 추적오류를 보정하고자 주변 화소들을 대상으로 매칭보정을 수행한다. 얼굴의 움직임에 따른 깊이의 변화를 보정하기 위해 추적할 얼굴의 깊이 값을 추정하고 그 결과에 따라 템플릿의 크기를 조정한다. 또한 조정된 템플릿의 크기에 따라 템플릿 매칭을 수행할 탐색영역을 조정한다. 자체 제작한 테스트 시퀀스들을 사용하여 추적에 필요한 파리미터들을 결정하였으며, 또 다른 자체 제작한 테스트 시퀀스들과 MPEG에서 제공한 다시점 테스트 시퀀스를 제안한 방법에 적용하는 실험을 수행하였다. 실험결과 Kinect을 이용하여 자체제작($640{\times}480$) 시퀀스에서는 약 3%의 추적오류와 2.45ms의 수행시간을 보였으며, Lovebird1($1024{\times}768$) 시퀀스에서는 약 1%의 추적 오류와 7.46ms의 수행시간을 보였다.

유선상류 유한요소법을 이용한 유동장의 해석 (An Analysis of Fluid Flow Using the Streamline Upwinding Finite Element Method)

  • 최형권;유정열
    • 대한기계학회논문집
    • /
    • 제18권3호
    • /
    • pp.624-634
    • /
    • 1994
  • A numerical method which combines equal-order velocity-pressure formulation originated from SIMPLE algorithm and streamline upwinding method has been developed. To verify the proposed numerical method, we considered the lid-driven cavity flow and backward facing step flow. The trend of convergence history is stable up to the error criterion beyond which the maximum value of error is oscillatory due4 to the round-off error. In the present study, all results were obtained with the single precision calculation up to the given error criterion and it was found to be sufficient for our purpose. The present results were then compared with existing experimental results using laser doppler velocimetry and numerical results using finite difference method and mixed interpolation finite element method. It has been shown that the present method gives accurate results with less memories and execution time than the coventional finite element method.

Self-Checking Look-up Tables using Scalable Error Detection Coding (SEDC) Scheme

  • Lee, Jeong-A;Siddiqui, Zahid Ali;Somasundaram, Natarajan;Lee, Jeong-Gun
    • JSTS:Journal of Semiconductor Technology and Science
    • /
    • 제13권5호
    • /
    • pp.415-422
    • /
    • 2013
  • In this paper, we present Self-Checking look-up-table (LUT) based on Scalable Error Detection Coding (SEDC) scheme for use in fault-tolerant reconfigurable architectures. SEDC scheme has shorter latency than any other existing coding schemes for all unidirectional error detection and the LUT execution time remains unaffected with self-checking capabilities. SEDC scheme partitions the contents of LUT into combinations of 1-, 2-, 3- and 4-bit segments and generates corresponding check codes in parallel. We show that the proposed LUT with SEDC performs better than LUT with traditional Berger as well as Partitioned Berger Coding schemes. For 32-bit data, LUT with SEDC takes 39% less area and 6.6 times faster for self-checking than LUT with traditional Berger Coding scheme.

건설사업관리 분야에서 BIM적용을 통한 도서의 적합성 검토 사례 (A Case Study On The Suitability Of Drawings Through Application Of BIM In Construction Management)

  • 박영진;송경철
    • 한국건축시공학회:학술대회논문집
    • /
    • 한국건축시공학회 2017년도 춘계 학술논문 발표대회
    • /
    • pp.33-34
    • /
    • 2017
  • The purpose of this case study is to reduce the flaw and reconstruction occur at the level of construction by determining the propriety of estimate and error on a drawing and specification at working design level through case studies of BIM application at the level of design review. As a preliminary to apply BIM technology, it is needed to review the drawing, and then it is required to define BIM range by selecting the section in which construction error occurs frequently except for the type of part that is constructed repeatedly. At the execution level, the drawing is reviewed vertically, horizontally and spatially by proceeding structure and finish modeling on the defined BIM range, and also the propriety of estimate and error on the drawing and specification are examined. We aim to raise the completion rate, improve quality of construction, reduce the cost for construction and shorten period of construction by preparing for the error on the drawing and specification in advance through this review procedures.

  • PDF

미래기억 기능을 측정하기 위한 패러다임의 고안 (Development of Paradigm for Measuring Prospective Memory Function)

  • 박지원;권용현;김현정
    • 한국전문물리치료학회지
    • /
    • 제12권3호
    • /
    • pp.67-73
    • /
    • 2005
  • Prospective memory (PM) is related to remember to carry out a previously intented behaviour. The purpose of this study was to develop a paradigm for measuring PM function to diagnosis in mild cognitive impairment 1 or brain injury in patients 2. among brain injured patients Thirty-eight normal healthy subjects participated in current study. The paradigm was composed of four conditions: a baseline and three intention conditions (expectation, execution 1 and 2). In the expectation condition, subjects were asked to make a new response to intented stimuli during ongoing task, but the intented stimuli never occurred. In the execution 1 (one type of expected stimulus) and 2 (two types of expected stimuli), the intended stimuli did occur in 20% of trials. The reaction time and error rate were calculated in each condition. Repeated measures using ANOVA of subject's mean reaction times (RTs) and mean error rates (ERs) showed main effects of conditions during ongoing task. The comparison of PM tasks in executive condition 1 and 2 also showed significance in RTs and ERs. This paradigm reflects sufficiently the performance of prospective memory function during ongoing task in normal individuals. Thus, we suggest that the paradigm will be helpful to study neural network of PM function using brain imaging techniques and diagnosis of PM dysfunction.

  • PDF

DiLO: Direct light detection and ranging odometry based on spherical range images for autonomous driving

  • Han, Seung-Jun;Kang, Jungyu;Min, Kyoung-Wook;Choi, Jungdan
    • ETRI Journal
    • /
    • 제43권4호
    • /
    • pp.603-616
    • /
    • 2021
  • Over the last few years, autonomous vehicles have progressed very rapidly. The odometry technique that estimates displacement from consecutive sensor inputs is an essential technique for autonomous driving. In this article, we propose a fast, robust, and accurate odometry technique. The proposed technique is light detection and ranging (LiDAR)-based direct odometry, which uses a spherical range image (SRI) that projects a three-dimensional point cloud onto a two-dimensional spherical image plane. Direct odometry is developed in a vision-based method, and a fast execution speed can be expected. However, applying LiDAR data is difficult because of the sparsity. To solve this problem, we propose an SRI generation method and mathematical analysis, two key point sampling methods using SRI to increase precision and robustness, and a fast optimization method. The proposed technique was tested with the KITTI dataset and real environments. Evaluation results yielded a translation error of 0.69%, a rotation error of 0.0031°/m in the KITTI training dataset, and an execution time of 17 ms. The results demonstrated high precision comparable with state-of-the-art and remarkably higher speed than conventional techniques.

회귀 테스팅의 테스트 케이스 우선 순위화 기법의 실험적 연구 (Empirical Study on Test Case Prioritization Techniques of Regression Testing)

  • 소선섭;채의근
    • 정보처리학회논문지D
    • /
    • 제12D권2호
    • /
    • pp.283-288
    • /
    • 2005
  • 테스트 케이스 우선 순위화는 회귀 테스팅이 시간 제약 하에서 주어진 모든 테스트 케이tm를 수행할 수 없을 때 테스트 케이스의 실행 순서를 스캐쥴링하는 것이다. 본 논문에서는 장기적인 회귀 테스팅 환경에서 과거의 테스트 실행 및 오류 검출 정보를 활용한 HED우선 순위화 방법을 제안하고, 이를 기존의 Random 및 LRU 방법과 비교하였다. 본 실험을 통해 몇 가지 중요한 통찰을 얻을 수 있었다. 첫째, 우선 순위화 방법들이 프로그램의 특성에 따라 성능 면에서 상호 보완적이라는 점이다. 오류를 찾는 테스트 케이스들을 많이 갖고 있는 프로그램의 경우에는 Random이 효과적이고, 상대적으로 오류를 찾는 테스트 케이스의 비율이 작은 경우에는 제안된 HED방법이 좋은 성능을 보였으며, 중간 정도인 경우에는 LRU 방법이 효과적이었다. 둘째, 전체적인 성능이 테스트 스위트의 크기에 영향을 많이 받는다는 점이다. 테스트 스위트의 크기를 달리하여 실험한 결과 오류의 수명 값과 그 성능 순위에 차이를 보였다. 마지막으로 전체 테스트 케이스의 $20\%$만을 실행하여도 전체 테스트 케이스 모두를 실행하는 것과 성능 면에서 유사한 결과를 얻을 수 있다는 점 등이다.

Sensitivity Calibration 루틴 수행시 Tilt에 의한 방위각 측정 오차의 분석 (Analysis of Measured Azimuth Error on Sensitivity Calibration Routine)

  • 우광준;강수민
    • 전자공학회논문지SC
    • /
    • 제48권1호
    • /
    • pp.1-8
    • /
    • 2011
  • MR 센서에 의해 지구자기장의 세기를 측정하여 방위각을 결정하는 전자 Compass의 정밀도는 MR센서 및 OP-Amp.의 온도 Drift, DC Offset등 소자에 의한 오차, 측정주변 자성체에 의한 자기장의 왜곡, 및 Compass Tilt에 의한 오차 등의 영향을 받는다. 본 연구에서는 Set/Reset Pulse 방법에 의해 MR 센서 및 OP-Amp의 온도 Drift 및 DC Offset에 의한 오차를 해결하였고, 주변 자성체에 의한 자기장의 왜곡에 의한 오차를 Hard-Iron Calibration 루틴 수행에 의해 보상하였으며, Compass Tilt에 의한 오차를 Euler Rotational Equation에 의해 보상할 수 있는 3축 MR 센서 및 3축 Accelerometer를 기반으로 하는 전자 Compass 를 설계하였다. 특히 이와 샅이 설계한 전자 Compass를 가지고 3측 MR 센서의 서로 다른 Sensitivity와 OP-Amp.의 서로 다른 Gain등을 규준화하기 위한 Sensitivity Calibration 루틴 수행 시 Tilt의 발생으로 야기되는 오차를 정량적으로 분석하였으며, 이를 바탕으로 $1^{\circ}$정도(精度) Compass를 설계할 수 있었다.