• 제목/요약/키워드: Program Transformation

검색결과 385건 처리시간 0.032초

OAPR-HOML'1: Optimal automated program repair approach based on hybrid improved grasshopper optimization and opposition learning based artificial neural network

  • MAMATHA, T.;RAMA SUBBA REDDY, B.;BINDU, C SHOBA
    • International Journal of Computer Science & Network Security
    • /
    • 제22권4호
    • /
    • pp.261-273
    • /
    • 2022
  • Over the last decade, the scientific community has been actively developing technologies for automated software bug fixes called Automated Program Repair (APR). Several APR techniques have recently been proposed to effectively address multiple classroom programming errors. However, little attention has been paid to the advances in effective APR techniques for software bugs that are widely occurring during the software life cycle maintenance phase. To further enhance the concept of software testing and debugging, we recommend an optimized automated software repair approach based on hybrid technology (OAPR-HOML'1). The first contribution of the proposed OAPR-HOML'1 technique is to introduce an improved grasshopper optimization (IGO) algorithm for fault location identification in the given test projects. Then, we illustrate an opposition learning based artificial neural network (OL-ANN) technique to select AST node-level transformation schemas to create the sketches which provide automated program repair for those faulty projects. Finally, the OAPR-HOML'1 is evaluated using Defects4J benchmark and the performance is compared with the modern technologies number of bugs fixed, accuracy, precession, recall and F-measure.

GARCH-X(1, 1) model allowing a non-linear function of the variance to follow an AR(1) process

  • Didit B Nugroho;Bernadus AA Wicaksono;Lennox Larwuy
    • Communications for Statistical Applications and Methods
    • /
    • 제30권2호
    • /
    • pp.163-178
    • /
    • 2023
  • GARCH-X(1, 1) model specifies that conditional variance follows an AR(1) process and includes a past exogenous variable. This study proposes a new class from that model by allowing a more general (non-linear) variance function to follow an AR(1) process. The functions applied to the variance equation include exponential, Tukey's ladder, and Yeo-Johnson transformations. In the framework of normal and student-t distributions for return errors, the empirical analysis focuses on two stock indices data in developed countries (FTSE100 and SP500) over the daily period from January 2000 to December 2020. This study uses 10-minute realized volatility as the exogenous component. The parameters of considered models are estimated using the adaptive random walk metropolis method in the Monte Carlo Markov chain algorithm and implemented in the Matlab program. The 95% highest posterior density intervals show that the three transformations are significant for the GARCHX(1, 1) model. In general, based on the Akaike information criterion, the GARCH-X(1, 1) model that has return errors with student-t distribution and variance transformed by Tukey's ladder function provides the best data fit. In forecasting value-at-risk with the 95% confidence level, the Christoffersen's independence test suggest that non-linear models is the most suitable for modeling return data, especially model with the Tukey's ladder transformation.

FFT-FEM을 이용한 윤활 기구에서 표면온도에 관한 연구 (Surface Temperature in Sliding Systems Using the FFT Finite Element Analysis)

  • 조종두;안수익
    • 한국윤활학회:학술대회논문집
    • /
    • 한국윤활학회 1999년도 제29회 춘계학술대회
    • /
    • pp.73-79
    • /
    • 1999
  • Finite element equations by using fast Fourier transformation were formulated for studying temperatures resulting from frictional heating in sliding systems. The equations include the effect of velocity of moving components. The program developed by using FFT-FEM that combines Fourier transform techniques and the finite element method, was applied to the sliding bearing system. Numerical prediction obtained by FFT-FEM was in an excellent agreement of experimental temperature measurements.

  • PDF

Hopfield neuron based nonlinear constrained programming to fuzzy structural engineering optimization

  • Shih, C.J.;Chang, C.C.
    • Structural Engineering and Mechanics
    • /
    • 제7권5호
    • /
    • pp.485-502
    • /
    • 1999
  • Using the continuous Hopfield network model as the basis to solve the general crisp and fuzzy constrained optimization problem is presented and examined. The model lies in its transformation to a parallel algorithm which distributes the work of numerical optimization to several simultaneously computing processors. The method is applied to different structural engineering design problems that demonstrate this usefulness, satisfaction or potential. The computing algorithm has been given and discussed for a designer who can program it without difficulty.

실시간3차원 그래픽 프로그램 개발에 관한 연구 (A Study on Graphic Program for 3D Image Display System)

  • 배성찬;권승탁;양연식
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2001년도 하계종합학술대회 논문집(4)
    • /
    • pp.227-230
    • /
    • 2001
  • In this paper, We present a 3D image data for ocular refina. This 3D display techniques are used voxel(cuboid) projection. Voxel is 3D reconstruction method of the pixel. In this paper, 3D image display system is constructed under PC environment and programed based on modular programming by using Visual C++. The hole procedures are composed of data preparation, 3D Display over transformation and scaling.

  • PDF

프로그램 변환 및 클래스추출기법의 설계 (Program Transformation and Design of Class Extraction Technique)

  • 진영배
    • 한국컴퓨터정보학회논문지
    • /
    • 제3권3호
    • /
    • pp.63-71
    • /
    • 1998
  • 원시 코드로부터 이 언어들을 충분히 다시 표현할 수 있는 공통의 언어 즉 메타 언어를 설계하여 역공학 시스템의 내부 표현으로 사용하였다. 이것을 입력으로 하여 변수와함수 사이의 관계에 기반한 유사도 공식을 사용하여 가장 적절한 클래스를 추출하고, 추출된 클래스의 가시성을 자동적으로 분류한다.

  • PDF

실시간 시뮬레이션을 위한 기호연산기법의 유용성 검증에 관한 연구 (Efficiency of a Symbolic Computation Method for the Real Time Simulation)

  • 최대한;유완석
    • 대한기계학회논문집A
    • /
    • 제24권7호
    • /
    • pp.1878-1884
    • /
    • 2000
  • In multibody dynamic analysis, one of the most important problems is to reduce computation times for real time simulation. In this paper, a symbolic computation method is implemented and tested for each dynamic analysis step. Applying symbolic formulations to the vehicle dynamics program AutoDyn7, the effectiveness of the symbolic computation method is verified.

Mobile C 기반의 GVM 응용프로그램을 Java 기반으로 변환하는 Process (A transformation process of GVM application program based on from Mobile C to Java)

  • 신수원;최윤석;정기원
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
    • /
    • pp.103-105
    • /
    • 2002
  • 본 논문에서는 Mobile C 언어 기반으로 만들어진 GVM 응용프로그램을 자바 기반의 모바일 응용프로그램으로 변환하는 절차를 제안한다. 자바 기반으로 변환된 모바일 프로그램은 높은 확장성 및 새로운 기능 추가의 용이함을 기대할 수 있다. GVM에서 자바 기반으로의 변환을 위해 필요한 구조를 분석하였으며, 이러한 구조로 응용프로그램을 변환하기 위한 6개의 단계를 제시하였다. 제안된 변환절차는 GVM 코드의 재사용에 중점을 두고 있으므로, 재사용을 통해 개발시간과 변환시간을 단축시킬 것으로 기대된다.

  • PDF

FFT-FEM을 이용한 윤활 기구에서 표면온도에 관한 연구 (Surface Temperature in Sliding Systems Using the En Finite Element Analysis)

  • 조종두;안수익
    • Tribology and Lubricants
    • /
    • 제16권3호
    • /
    • pp.218-222
    • /
    • 2000
  • Finite element equations by using fast Fourier transformation were formulated for studying temperatures resulting from frictional heating in sliding systems. The equations include the effect of velocity of moving components. The program developed by using FFT-FEM that combines Fourier transform techniques and the finite element method, was applied to the sliding bearing system. Numerical prediction obtained by FFT-FEM was in an excellent agreement of experimental temperature measurements.

프로그램 변환을 통환 J2ME 프로그램의 동적 이벤트 분석 (Dynamic Event Analysis of J2ME Programs by Program Transformation)

  • 최윤정;창병모
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
    • /
    • pp.874-876
    • /
    • 2004
  • J2ME 모바일 프로그램은 모바일 기기가 보편화되면서 그 사용이 증가하고 있다. J2ME 프로그램은 자원이 제한된 모바일 환경에서 실행되므로 자원의 효율적인 사용이 매우 중요하다. J2ME 프로그램은 대부분 이벤트-구동 프로그램이여 효과적인 이벤트 관리가 자원 최적화에 않은 영향을 미치며 이벤트 관련 디버깅은 매우 어려운 부분이다. 본 연구에서는 실행 중에 실시간으로 이벤트 발생 및 처리 정보를 보여줄 수 있는 시스템을 설계 개발하였다. 이 시스템은 사용자 옵션에 따라 사용자가 관심 있는 이벤트만을 실행 중에 추적하거나 실행 후에 이벤트 관련 프로파일 정보를 제공한다.

  • PDF