• Title/Summary/Keyword: Automated Error Detection

Search Result 42, Processing Time 0.027 seconds

An automated memory error detection technique using source code analysis in C programs (C언어 기반 프로그램의 소스코드 분석을 이용한 메모리 접근오류 자동검출 기법)

  • Cho, Dae-Wan;Oh, Seung-Uk;Kim, Hyeon-Soo
    • The KIPS Transactions:PartD
    • /
    • v.14D no.6
    • /
    • pp.675-688
    • /
    • 2007
  • Memory access errors are frequently occurred in C programs. A number of tools and research works have been trying to detect the errors automatically. However, they have one or more of the following problems: inability to detect all memory errors, changing the memory allocation mechanism, incompatibility with libraries, and excessive performance overhead. In this paper, we suggest a new method to solve these problems, and then present a result of comparison to the previous research works through the experiments. Our approach consists of two phases. First is to transform source code at compile time through inserting instrumentation into the source code. And second is to detect memory errors at run time with a bitmap that maintains information about memory allocation. Our approach has improved the error detection abilities against the binary code analysis based ones by using the source code analysis technique, and enhanced performance in terms of both space and time, too. In addition, our approach has no problem with respect to compatibility with shared libraries as well as does not need to modify memory allocation mechanism.

An Automated Code Generation for Both Improving Performance and Detecting Error in Self-Adaptive Modules (자가 적응 모듈의 성능 개선과 오류 탐지를 위한 코드 자동 생성 기법)

  • Lee, Joon-Hoon;Park, Jeong-Min;Lee, Eun-Seok
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.9
    • /
    • pp.538-546
    • /
    • 2008
  • It has limits that system administrator deals with many problems occurred in systems because computing environments are increasingly complex. It is issued that systems have an ability to recognize system's situations and adapt them by itself in order to resolve these limits. But it requires much experiences and knowledge to build the Self-Adaptive System. The difficulty that builds the Self-Adaptive System has been problems. This paper proposes a technique that generates automatically the codes of the Self-Adaptive System in order to make the system to be built more easily. This Self-Adaptive System resolves partially the problems about ineffectiveness of the exceeded usage of the system resource that was previous research's problem and incorrect operation that is occurred by external factors such as virus. In this paper, we applied the proposed approach to the file transfer module that is in the video conferencing system in order to evaluate it. We compared the length of the codes, the number of Classes that are created by the developers, and development time. We have confirmed this approach to have the effectiveness.

Simple Camera-based Evaluation System for Lower Limb Alignment during Pedalling (자전거 페달링 시 하지 정렬 평가를 위한 영상 시스템 개발)

  • Oh, Ho-Sang;Choi, Jin-Seung;Kang, Dong-Won;Seo, Jeong-Woo;Bae, Jae-Hyuk;Tack, Gye-Rae
    • Korean Journal of Applied Biomechanics
    • /
    • v.22 no.1
    • /
    • pp.123-129
    • /
    • 2012
  • Simple camera-based system for evaluation of lower limb alignment as a part of an automated cycling fitting system was developed and verified in this study. Developed imaging system can evaluate lower limb alignment quantitatively during pedaling using a general camcorder and single marker attached on the knee. Threshold-based marker detection algorithm was proposed in this study. Experiment was carried out to compare the trajectory data from marker detection algorithm of the developed imaging system with the trajectory data from 3-D motion capture system. Results showed that average error between trajectories was 2.33 mm (0.92 %) in the vertical direction and 0.62 mm (1.86 %) in the medio-lateral direction. There existed significant correlation between two measured values (r=0.9996 in the vertical direction and r=0.9975 in the medio-lateral direction). It can be concluded that developed imaging system be applied to evaluate lower limb alignment which is an important factor for dynamic bicycle fitting.

Automated Satellite Image Co-Registration using Pre-Qualified Area Matching and Studentized Outlier Detection (사전검수영역기반정합법과 't-분포 과대오차검출법'을 이용한 위성영상의 '자동 영상좌표 상호등록')

  • Kim, Jong Hong;Heo, Joon;Sohn, Hong Gyoo
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.26 no.4D
    • /
    • pp.687-693
    • /
    • 2006
  • Image co-registration is the process of overlaying two images of the same scene, one of which represents a reference image, while the other is geometrically transformed to the one. In order to improve efficiency and effectiveness of the co-registration approach, the author proposed a pre-qualified area matching algorithm which is composed of feature extraction with canny operator and area matching algorithm with cross correlation coefficient. For refining matching points, outlier detection using studentized residual was used and iteratively removes outliers at the level of three standard deviation. Throughout the pre-qualification and the refining processes, the computation time was significantly improved and the registration accuracy is enhanced. A prototype of the proposed algorithm was implemented and the performance test of 3 Landsat images of Korea. showed: (1) average RMSE error of the approach was 0.435 pixel; (2) the average number of matching points was over 25,573; (3) the average processing time was 4.2 min per image with a regular workstation equipped with a 3 GHz Intel Pentium 4 CPU and 1 Gbytes Ram. The proposed approach achieved robustness, full automation, and time efficiency.

Development of Distributed Smart Data Monitoring System for Heterogeneous Manufacturing Machines Operation (이종 공작기계 운용 관리를 위한 분산 스마트 데이터 모니터링 시스템 개발)

  • Lee, Young-woon;Choi, Young-ju;Lee, Jong-Hyeok;Kim, Byung-Gyu;Lee, Seung-Woo;Park, Jong-Kweon
    • Journal of Digital Contents Society
    • /
    • v.18 no.6
    • /
    • pp.1175-1182
    • /
    • 2017
  • Recent trend in the manufacturing industry is focused on the convergence with IoT and Big Data, by emergence of the 4th Industrial Revolution. To realize a smart factory, the proposed system based on MTConnect technology collects and integrates various status information of machines from many production facilities including heterogeneous devices. Also it can distribute the acquisited status of heterogeneous manufacturing machines to the remote devices. As a key technology of a flexible automated production line, the proposed system can provide much possibility to manage important information such as error detection and processing state management in the unmanned automation line.

Preventive Maintenance System based on Expert Knowledge in Large Scale Industry (대규모 산업시설을 위한 전문가 지식 기반 예방정비시스템)

  • Kim, Dohyeong;Kang, Byeong Ho;Lee, Sungyoung
    • KIISE Transactions on Computing Practices
    • /
    • v.23 no.1
    • /
    • pp.1-12
    • /
    • 2017
  • Preventive maintenance is required for best performance of facilities in large scale industry. Ultimately, the efficiency of production is maximized by preventing the failure of facilities in advance. Typically, regular maintenance is conducted manually; however, it is hard to prevent repeated failures. Also, since measures to prevent failure depend on proactive problem-solving by the facility expert, they have limitations when the expert is absent or diagnosis error is made by an unskilled expert. Alarm system is used to aid manual facility diagnosis and early detection. However, it is not efficient in practice, since it is designed to simply collect information and is activated even with small problems. In this study, we designed and developed an automated preventive maintenance system based on expert's experience in detecting failure, determining the cause, and predicting future system failure. We also discussed the system structure designed to reuse the expert's knowledge and its applications.

Auto-detection of Halo CME Parameters as the Initial Condition of Solar Wind Propagation

  • Choi, Kyu-Cheol;Park, Mi-Young;Kim, Jae-Hun
    • Journal of Astronomy and Space Sciences
    • /
    • v.34 no.4
    • /
    • pp.315-330
    • /
    • 2017
  • Halo coronal mass ejections (CMEs) originating from solar activities give rise to geomagnetic storms when they reach the Earth. Variations in the geomagnetic field during a geomagnetic storm can damage satellites, communication systems, electrical power grids, and power systems, and induce currents. Therefore, automated techniques for detecting and analyzing halo CMEs have been eliciting increasing attention for the monitoring and prediction of the space weather environment. In this study, we developed an algorithm to sense and detect halo CMEs using large angle and spectrometric coronagraph (LASCO) C3 coronagraph images from the solar and heliospheric observatory (SOHO) satellite. In addition, we developed an image processing technique to derive the morphological and dynamical characteristics of halo CMEs, namely, the source location, width, actual CME speed, and arrival time at a 21.5 solar radius. The proposed halo CME automatic analysis model was validated using a model of the past three halo CME events. As a result, a solar event that occurred at 03:38 UT on Mar. 23, 2014 was predicted to arrive at Earth at 23:00 UT on Mar. 25, whereas the actual arrival time was at 04:30 UT on Mar. 26, which is a difference of 5 hr and 30 min. In addition, a solar event that occurred at 12:55 UT on Apr. 18, 2014 was estimated to arrive at Earth at 16:00 UT on Apr. 20, which is 4 hr ahead of the actual arrival time of 20:00 UT on the same day. However, the estimation error was reduced significantly compared to the ENLIL model. As a further study, the model will be applied to many more events for validation and testing, and after such tests are completed, on-line service will be provided at the Korean Space Weather Center to detect halo CMEs and derive the model parameters.

Feasibility of Ultrasonic Inspection for Nuclear Grade Graphite (원자력급 흑연의 산화 정도에 따른 초음파특성 변화 및 초음파탐상의 타당성 연구)

  • Park, Jae-Seok;Yoon, Byung-Sik;Jang, Chang-Heui;Lee, Jong-Po
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.28 no.5
    • /
    • pp.436-442
    • /
    • 2008
  • Graphite material has been recognized as a very competitive candidate for reflector, moderator, and structural material for very high temperature reactor (VHTR). Since VHTR is operated up to $900-950^{\circ}C$, small amount of impurity may accelerate the oxidation and degradation of carbon graphite, which results in increased porosity and lowered fracture toughness. In this study, ultrasonic wave propagation properties were investigated for both as-received and degradated material, and the feasibility of ultrasonic testing (UT) was estimated based on the result of ultrasonic property measurements. The ultrasonic properties of carbon graphite were half, more than 5 times, and 1/3 for velocity, attenuation, and signal-to-noise (S/N) ratio respectively. Degradation reduces the ultrasonic velocity slightly by 100 m/s, however the attenuation is about 2 times of as-receive state. The results of probability of detection (POD) estimation based on S/N ratio for side-drilled-hole (SDHs) of which depths were less than 100 mm were merely affected by oxidation and degradation. This result suggests that UT would be reliable method for nondestructive testing of carbon graphite material of which thickness is not over 100 mm. In accordance with the result produced by commercial automated ultrasonic testing (AUT) system, human error of ultrasonic testing is barely expected for the material of which thickness is not over 80 mm.

Automated Image Matching for Satellite Images with Different GSDs through Improved Feature Matching and Robust Estimation (특징점 매칭 개선 및 강인추정을 통한 이종해상도 위성영상 자동영상정합)

  • Ban, Seunghwan;Kim, Taejung
    • Korean Journal of Remote Sensing
    • /
    • v.38 no.6_1
    • /
    • pp.1257-1271
    • /
    • 2022
  • Recently, many Earth observation optical satellites have been developed, as their demands were increasing. Therefore, a rapid preprocessing of satellites became one of the most important problem for an active utilization of satellite images. Satellite image matching is a technique in which two images are transformed and represented in one specific coordinate system. This technique is used for aligning different bands or correcting of relative positions error between two satellite images. In this paper, we propose an automatic image matching method among satellite images with different ground sampling distances (GSDs). Our method is based on improved feature matching and robust estimation of transformation between satellite images. The proposed method consists of five processes: calculation of overlapping area, improved feature detection, feature matching, robust estimation of transformation, and image resampling. For feature detection, we extract overlapping areas and resample them to equalize their GSDs. For feature matching, we used Oriented FAST and rotated BRIEF (ORB) to improve matching performance. We performed image registration experiments with images KOMPSAT-3A and RapidEye. The performance verification of the proposed method was checked in qualitative and quantitative methods. The reprojection errors of image matching were in the range of 1.277 to 1.608 pixels accuracy with respect to the GSD of RapidEye images. Finally, we confirmed the possibility of satellite image matching with heterogeneous GSDs through the proposed method.

Nondestructive Examination of PHWR Pressure Tube Using Eddy Current Technique (와전류검사 기술을 적용한 가압중수로 원전 압력관 비파괴검사)

  • Lee, Hee-Jong;Choi, Sung-Nam;Cho, Chan-Hee;Yoo, Hyun-Joo;Moon, Gyoon-Young
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.34 no.3
    • /
    • pp.254-259
    • /
    • 2014
  • A pressurized heavy water reactor (PHWR) core has 380 fuel channels contained and supported by a horizontal cylindrical vessel known as the calandria, whereas a pressurized water reactor (PWR) has only a single reactor vessel. The pressure tube, which is a pressure-retaining component, has a 103.4 mm inside diameter ${\times}$ 4.19 mm wall thickness, and is 6.36 m long, made of a zirconium alloy (Zr-2.5 wt% Nb). This provides support for the fuel while transporting the $D_2O$ heat-transfer fluid. The simple tubular geometry invites highly automated inspection, and good approach for all inspection. Similar to all nuclear heat-transfer pressure boundaries, the PHWR pressure tube requires a rigorous, periodic inspection to assess the reactor integrity in accordance with the Korea Nuclear Safety Committee law. Volumetric-based nondestructive evaluation (NDE) techniques utilizing ultrasonic and eddy current testing have been adopted for use in the periodic inspection of the fuel channel. The eddy current testing, as a supplemental NDE method to ultrasonic testing, is used to confirm the flaws primarily detected through ultrasonic testing, however, eddy current testing offers a significant advantage in that its ability to detect surface flaws is superior to that of ultrasonic testing. In this paper, effectiveness of flaw detection and the depth sizing capability by eddy current testing for the inside surface of a pressure tube, will be introduced. As a result of this examination, the ET technique is found to be useful only as a detection technique for defects because it can detect fine defects on the surface with high resolution. However, the ET technique is not recommended for use as a depth sizing method because it has a large degree of error for depth sizing.