• Title/Summary/Keyword: dynamic program analysis

Search Result 1,183, Processing Time 0.025 seconds

A Study on Filtering Techniques for Dynamic Analysis of Data Races in Multi-threaded Programs

  • Ha, Ok-Kyoon;Yoo, Hongseok
    • Journal of the Korea Society of Computer and Information
    • /
    • v.22 no.11
    • /
    • pp.1-7
    • /
    • 2017
  • In this paper, we introduce three monitoring filtering techniques which reduce the overheads of dynamic data race detection. It is well known that detecting data races dynamically in multi-threaded programs is quite hard and troublesome task, because the dynamic detection techniques need to monitor all execution of a multi-threaded program and to analyse every conflicting memory and thread operations in the program. Thus, the main drawback of the dynamic analysis for detecting data races is the heavy additional time and space overheads for running the program. For the practicality, we also empirically compare the efficiency of three monitoring filtering techniques. The results using OpenMP benchmarks show that the filtering techniques are practical for dynamic data race detection, since they reduce the average runtime overhead to under 10% of that of the pure detection.

Dynamic Analysis of Gear System Using G.U.I. Program (G.U.I. 프로그램을 이용한 기어 시스템의 동적 해석)

  • 박왕준;윤구영
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 1996.11a
    • /
    • pp.857-860
    • /
    • 1996
  • The area of gear dynamics has recently been the focus of many studies. A new tooth profile modification was proposed by author for reducing vibration and noise of involute gears. A comparative dynamic analysis of the gear drive with the involute tooth and the modified tooth profile(using cubic splines) is performed to the unuformal transmission error reduces the gear vibration and noise due to less dynamic tooth load variation during the meshing cycle. This work also include a gear design process by the meaning of a practical approach, such as Win95 based simulation program with all using basic geardesign variables. Especially this program enables gear designers to dynamic analysis based on G.U.I.

  • PDF

Dynamic Design of Machine Tool Structure by Substructure Synthesis Method (부분구조 합성법을 이용한 공작기계 구조물의 동적설계)

  • 이원광
    • Journal of the Korean Society of Manufacturing Technology Engineers
    • /
    • v.5 no.4
    • /
    • pp.82-89
    • /
    • 1996
  • In this study, to choose the drilling m/c with analysis model for dynamic design of machine tool strctures, are used substucture syntheis method for reduction to degrees of freedom of dynamic model and analysis evaluation of substructures The dynamic factors of substurctures are examined by substructure synthesis method. And that dynamic design of structures for energy balancing are performed. The computer program for calculated of the dynamic and energy distribution analysis was developed. Result of numerical analysis by developed program obtained to conclusion as following. The design of machine tool structures by dynamic avoid the resonances, and are known to considered based on the energy balancing. These methods can be used effectively for the performance evaluation, design modification and improvement of dynamic performance evaluation, design modification and improvement of dynamic performance of machine tools.

  • PDF

A Study on Dynamic Response Analysis of the Cable-Stayed Bridge Using the Stochastic Finite Element Method (확률유한요소법을 이응한 사장교의 동적응답해석)

  • 한성호;정인수;김진홍;신재철
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2003.10a
    • /
    • pp.365-372
    • /
    • 2003
  • In this study, the program which determine the initial cable tension force by tile initial shape analysis for cable stayed bridge is developed. Also, DSFEMP(Dynamic Stochastic Finite Element Analysis Program) is developed to consider the variance of random variables at each step of dynamic response analysis, not use existing methods that apply to the theory of reliability at the final step of structural analysis. In addition, the output from the developed program was compared with the results from DMCSP(Direct Monte Carlo Simulation Program) to prove its validity.

  • PDF

Analysis of the Dynamic Stability for the K-TGV Using Vampire Program (Vampire를 이용한 경부고속철도 차량의 동적 안정성 해석)

  • 박찬경;김기환;홍진완;심태웅
    • Proceedings of the KSR Conference
    • /
    • 1998.05a
    • /
    • pp.510-516
    • /
    • 1998
  • Dynamic stability of a high speed train is very important. This paper presents a dynamic stability analysis of K-TGV using Vampire Program. The analysis of stability on this paper is performed in condition of track irregularity, curved track and strong gust. The critical speed of K-TGV is 140m1s, and it is stable when runs on 7000R(cant 150mm) curved track and on linear track with the body exerted 101kN lateral impulse force.

  • PDF

A Study of Dynamic Analysis of a Tracked Vehicle for Mining on Deep-Sea Bed (심해저 무한궤도식 채광차량의 동적 해석에 관한 연구)

  • Han, Hyung-Seok;Hong, Sub
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.20 no.6
    • /
    • pp.178-188
    • /
    • 2003
  • A study on the dynamic analysis of a tracked vehicle for mining on deep-sea bed with very soft soil is presented. An equation for the interaction between track and soft soil is employed to develop a track/soil interaction module called TVAS. The vehicle is modeled as a multi-body dynamic system using a multi-body dynamic analysis program. The developed module is incorporated into the multi-body dynamic analysis program with a user subroutine. The dynamic behavior and design of the mining vehicle on deep-sea bed is investigated.

The Generation of the Function Calls Graph of an Obfuscated Execution Program Using Dynamic (동적 분석을 이용한 난독화 된 실행 프로그램의 함수 호출 그래프 생성 연구)

  • Se-Beom Cheon;DaeYoub Kim
    • Journal of IKEEE
    • /
    • v.27 no.1
    • /
    • pp.93-102
    • /
    • 2023
  • As one of the techniques for analyzing malicious code, techniques creating a sequence or a graph of function call relationships in an executable program and then analyzing the result are proposed. Such methods generally study function calling in the executable program code through static analysis and organize function call relationships into a sequence or a graph. However, in the case of an obfuscated executable program, it is difficult to analyze the function call relationship only with static analysis because the structure/content of the executable program file is different from the standard structure/content. In this paper, we propose a dynamic analysis method to analyze the function call relationship of an obfuscated execution program. We suggest constructing a function call relationship as a graph using the proposed technique.

An application of wave equation analysis program to pile dynamic formulae

  • Tokhi, H.;Ren, G.;Li, J.
    • Geomechanics and Engineering
    • /
    • v.9 no.3
    • /
    • pp.345-360
    • /
    • 2015
  • Wave equation analysis programs (WEAP) such as GRLWEAP and TNOWave were primarily developed for pre-driving analysis. They can also be used for post-driving measurement applications with some refinements. In the case of pre-driving analysis, the programs are used for the purpose of selecting the right equipment for a given ground condition and controlling stresses during pile driving processes. Recently, the program is increasingly used for the post-driving measurement application, where an assessment based on a variety of input parameters such as hammer, driving system and dynamic behaviour of soil is carried out. The process of this type of analysis is quite simple and it is performed by matching accurately known parameters, such as from CAPWAP analysis, to the parameters used in GRLWEAP analysis. The parameters that are refined in the typical analysis are pile stresses, hammer energy, capacity, damping and quakes. Matching of these known quantities by adjusting hammer, cushion and soil parameters in the wave equation program results in blow counts or sets and stresses for other hammer energies and capacities and cushion configuration. The result of this analysis is output on a Bearing Graph that establishes a relationship between ultimate capacity and net set per blow. A further application of this refinement method can be applied to the assessment of dynamic formulae, which are extensively used in pile capacity calculation during pile driving process. In this paper, WEAP analysis is carried out to establish the relationship between the ultimate capacities and sets using the various parameters and using this relationship to recalibrate the dynamic formula. The results of this analysis presented show that some of the shortcoming of the dynamic formula can be overcome and the results can be improved by the introduction of a correction factor.

Development of train/bridge interaction Analysis program Consideration braking (열차 제동하중을 고려한 차량/교량 상호 작용 해석기법 개발)

  • Yun hee sub;Kim Man-Cheol;Han sang chel
    • Proceedings of the KSR Conference
    • /
    • 2005.11a
    • /
    • pp.1177-1183
    • /
    • 2005
  • This paper presents the effects of dynamic response of the railway bridge through the suspension system when the train is moving with uniform speed and non-uniform speed Railway bridges are subjected to dynamic loads generated by the interaction between moving vehicles and the bridge structures. these dynamic loads result in response fluctuation in bridge members. To investigate the real dynamic behavior of the bridge, a number of analytical and experimental investigation should be carried out. This paper, a train/bridge interaction analysis program considerate braking action. New scheme consideration of braking action on the bridge using speed-dependent braking function is presented. This program also used torsional degree of freedom and constraint equation based on geometrical relationship in order to take into consideration three-dimensional eccentricity effect due to the operation on double track through quasi three-dimensional analysis.

  • PDF

Detemination of Dynamic Stress Intensity Factor of Brittle Materials under Impact Loading (충격하중을 받는 취성재료의 동적응력확대계수 결정)

  • 이억섭;이찬석
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 1993.10a
    • /
    • pp.381-386
    • /
    • 1993
  • This paper describes the dynamic fracture behavior of brittle materials under impact loading by using INSAMCR program with instrumented charpy test machine. To calculate the Dynamic Stress Intensity Factor The finite element analysis methods program, INSAMCR, was used. Dynamic fracture characteristic was researched to verify a relationship between Dynamic Stress Intensity Factor and crack tip propagation velocity in WC-6%Co. The relationship between Dynamic Stress Intensity Factor and crack tip velocity revealed typical .GAMMA. shape. INSAMCR was run to verify experimental results in WC-6%Co and shows a good coincidence.

  • PDF