• 제목/요약/키워드: static code analysis

검색결과 374건 처리시간 0.042초

GPS위성의 P코드/위상측정용 2주파수 수신기에 의한 정밀측위 (Precise Static Positioning with Dual-Frequency P-code/Phase Receivers in Global Positioning System)

  • 이영진
    • 대한토목학회논문집
    • /
    • 제13권2호
    • /
    • pp.219-228
    • /
    • 1993
  • 지구측위시스템(GPS)은 1980년대 측량분야에서 가장 중요한 기술발전이며 최근에는 수신기의 개선과 데이터 처리기법의 발전에 따라 높은 정확도로서 효율적인 GPS측량이 가능하게 되었다. 이 논문에서는 데이터 선형조합의 방법에 대해 고찰하고 P코드/위상측정용 수신기인 Wild GPS System-200의 테스트 결과를 제시하고 있다. 연구결과는 7km/37km의 기선에서 1ppm 이내의 높은 정확도의 측정이 가능하며 P-코드 수신에 의한 1점측위에서는 10m의 위치정확도가 쉽게 얻어질 수 있으므로 초기좌표 결정에 효과적임을 보여주고 있다.

  • PDF

외부벽체 강도증진형 보강이 적용된 비보강 조적조 건물의 내진성능평가 (Seismic Performance Evaluation of Unreinforced Masonry Buildings Retrofitted by Strengthening External Walls)

  • 설윤정;박지훈
    • 한국지진공학회논문집
    • /
    • 제24권2호
    • /
    • pp.77-86
    • /
    • 2020
  • Nonlinear static analysis and preliminary evaluation were performed in this study to evaluate the seismic performance of unreinforced masonry buildings subjected to various soil conditions based on the revised Korean Building Code. Preliminary evaluation scores and nonlinear static analyses indicated that all buildings were susceptible to collapse and did not reach their target performance. Therefore, retrofit of those building models was carried out through a systematic procedure to determine areas to be strengthened. It was possible to make most building models satisfy performance objectives through the reinforcement alone of damaged external shear walls. However, the application of a preliminary evaluation procedure to retrofit design was found to be too conservative because all the retrofitted building models verified with nonlinear static analysis failed to satisfy performance objectives. Therefore, it is possible to economically retrofit unreinforced masonry buildings through the fortification of external walls if a simple evaluation procedure that can efficiently specify vulnerable parts is developed.

Higher order static analysis of truncated conical sandwich panels with flexible cores

  • Fard, Keramat Malekzadeh
    • Steel and Composite Structures
    • /
    • 제19권6호
    • /
    • pp.1333-1354
    • /
    • 2015
  • A higher order analytical solution for static analysis of a truncated conical composite sandwich panel subjected to different loading conditions was presented in this paper which was based on a new improved higher order sandwich panel theory. Bending analysis of sandwich structures with flexible cores subjected to concentrated load, uniform distributed load on a patch, harmonic and uniform distributed loads on the top and/or bottom face sheet of the sandwich structure was also investigated. For the first time, bending analysis of truncated conical composite sandwich panels with flexible cores was performed. The governing equations were derived by principle of minimum potential energy. The first order shear deformation theory was used for the composite face sheets and for the core while assuming a polynomial description of the displacement fields. Also, the in-plane hoop stresses of the core were considered. In order to assure accuracy of the present formulations, convergence of the results was examined. Effects of types of boundary conditions, types of applied loads, conical angles and fiber angles on bending analysis of truncated conical composite sandwich panels were studied. As, there is no research on higher order bending analysis of conical sandwich panels with flexible cores, the results were validated by ABAQUS FE code. The present approach can be linked with the standard optimization programs and it can be used in the iteration process of the structural optimization. The proposed approach facilitates investigation of the effect of physical and geometrical parameters on the bending response of sandwich composite structures.

저소음 원심형 홴의 설계 프로그램 (Design Program of Low Noise Centrifugal Fans)

  • 박준철;손정민;김기황;이승배
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 2001년도 추계학술대회논문집 I
    • /
    • pp.529-535
    • /
    • 2001
  • A centrifugal fan design code was developed and packaged together with iDesignFan/sup TM/ as new models. This code generate centrifugal forward curved and backward curved bladed impeller optimally. It also predicts the aerodynamic performance and the overall sound pressure level of the rotating fan by assuming steady blade loading. The overall sound pressure level is used as an input parameter from the third loop of the designing process to acquire the most silent fan for the given aerodynamic performance parameters. With this kind of inverse design concept used in the code, the period of designing a fan is significantly shortened. A centrifugal fan design code, developed in this study and included in iDesignFan/sup TM/, predicts the aerodynamic performance such as design flow rate and static pressure. The aerodynamic performance in the design and off-design conditions is calculated by using the mean line analysis. For the steady loading calculation, the lift force distribution in a blade is used.

  • PDF

Assessment of nonlinear static and incremental dynamic analyses for RC structures

  • Oncu, Mehmet Emin;Yon, Merve Sahin
    • Computers and Concrete
    • /
    • 제18권6호
    • /
    • pp.1195-1211
    • /
    • 2016
  • In this study, seismic behaviour of reinforced concrete buildings using the pushover and incremental dynamic analysis method was investigated. A numerical study was performed for a reinforced concrete frame building. Pushover analysis according to uniform and triangular load shapes and incremental dynamic analyses were performed for selected building. For the nonlinear analysis, three ground motion records were selected to ensure compatibility with the design spectrum defined in the Turkish Seismic Code. The maximum response, dynamic pushover curve, capacity curves, interstorey drifts and moment rotation curves for various element ends of the selected building were obtained. Results were compared each other and good correlation was obtained between the dynamic analyses envelope with static pushover curves for the building.

EVALUATION OF STATIC ANALYSIS TOOLS USED TO ASSESS SOFTWARE IMPORTANT TO NUCLEAR POWER PLANT SAFETY

  • OURGHANLIAN, ALAIN
    • Nuclear Engineering and Technology
    • /
    • 제47권2호
    • /
    • pp.212-218
    • /
    • 2015
  • We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

강철도교의 실응답해석에 관한 연구 (A Study on Analysis of Real Response of Steel Railway Bridges)

  • 장동일;최강희;이희현
    • 대한토목학회논문집
    • /
    • 제9권2호
    • /
    • pp.43-54
    • /
    • 1989
  • 본 논문에서는 열차하중에 의해 강철도교에 일어나는 정 동적응답을 보다 정확하게 예측하기 위한 방법을 제시하기 위하여, 강철도교의 정 동적응답 측정치를 해석에 의한 것과 비교해 보았으며, 이를 토대로 열차의 속도가 설계속도보다 높은 고속(100km/h이상)으로 될때 철도교의 충격 계수가 어떻게 변하는지 살펴보았다. 실측은 철도교의 주설계대상이 되는 부분에 변형게이지와 처짐측정기에 의해 실시하여, 이로부터 교량의 정 동적응답, 기본진동수, 감쇄비 및 충격계수를 구하였다. 정적해석은 3차원 매트릭스 구조해석법에 따라 프로그램을 작성하여 실시하였으며 동적해석은 주행하중문제와 주행질량문제로 나누어 주행하중문제의 경우 동적응답은 모드중첩법에 의해, 주행질량문제의 경우는 직접적분법에 의해 구했다. 연구결과 철도교의 정적응답을 구하는 경우 도로교와 같이 교량을 1차원 또는 2차원으로 모델링하면 응답비(측정치/계산치)는 도로교에 비해 높고, 동적응답은 열차의 질량을 포함하는 주행질량문제로 해석해야 된다는 것을 알 수 있었다. 그리고 실측결과들을 현재의 철도교 시방서 규정과 비교해 본 결과 충격에 관한 규정은 현재의 공용속도(100km/h이하)하에서는 상당히 안전하나, 열차가 고속(100km/h이상)으로 되면 특히 단순 플레이트거어더교의 경우 충격계수가 상당히 커지므로 시방서의 충격에 관한 규정을 충분히 검토할 것을 제시하였다.

  • PDF

동력차용 대차프레임의 피로강도평가 (Fatigue Strength Evaluation of Bogie Frame for Power Car)

  • 이학주;한승우;;이상록
    • 연구논문집
    • /
    • 통권27호
    • /
    • pp.57-73
    • /
    • 1997
  • The bogie between the track and the railway vehicle body, is one of the most important component in railroad vehicle. Its effects on the safety of both passengers and vehicle itself, and on the overall performance of the vehicle such as riding quality, noise and vibration are critical. The bogie is mainly consisted of the bogie frame, suspensions, wheels and axles, braking system, and transmission system. The complex shapes of the bogie frame and the complicate loading condition (both static and dynamic) induced in real operation make it difficult to design the bogie frame fulfilling all the requirements. The complicated loads applied to the bogie frame are i) static load due to the weight of the vehicle and passengers, ii) quasi-static load due to the rolling in curves iii) dynamic load due to the relative motion between the track, bogie, and vehicle body. In designing the real bogie frame, fatigue analysis based on the above complicated loading conditions is a must. In this study, stress analysis of the bogie frame has been performed for the various loading conditions according to the UIC Code 6 15-4. Magnitudes of the stress amplitude and mean stress were estimated based on the stress analysis results to simulate the operating loads encountered in service. Fatigue strength of the bogie frame was evaluated by using the constant life diagram of the material. 3-D surface modelling, finite element meshing, and finite element analysis were performed by Pro-Engineer, MSC/PATRAN, and MSC/NASTRAN, respectively.

  • PDF

바이트코드 분석을 위한 중간코드에 관한 연구 (A Study on Informediated code for Analyzing Bytecodes)

  • 김경수;유원희
    • 한국컴퓨터정보학회논문지
    • /
    • 제11권1호
    • /
    • pp.107-117
    • /
    • 2006
  • 자바 언어는 객체지향 언어이며 다양한 개발 환경과 이식성에 맞는 언어로써 각광을 받고 있다. 하지만 자바 언어는 실행속도가 느리다는 단점을 가지고 있다. 이러한 이유는 자바 프로그래밍 환경에서 자바 가상 기계 코드인 바이트코드가 인터프리터 방식으로 사용되기 때문이다. 따라서 프로그램의 수행에는 실행속도가 현저히 저하되는 단점이 발생하게 된다. 또한 자바 언어는 컴파일러를 통해 생성된 클래스 파일에 프로그램의 수행과 관련된 정보가 숨겨져 있다. 클래스 파일의 분석으로 바이트코드를 위한 효율적인 분석 및 최적화를 할 수 있다. 본 논문에서는 자바 클래스 파일의 정보들을 이용해 자바 바이트코드 분석을 하려한다. 분석을 위해 정적 단일 배정문 형태로 변환하게 되는데 정적 단일 배정문 형태는 정의-사용체인에서 변형된 형태이다. 정적 단일 배정문 형태는 각각의 타입들을 오직 한번만 배정하고 재명명함으로써 프로그램을 정적으로 분석 할 수 있게 한다. 정적 단일 배정문 형태는 최적화와 분석을 위한 효과적인 중간 코드이다.

  • PDF

Static and seismic active lateral earth pressure coefficients for c-ϕ soils

  • Keshavarz, Amin;Pooresmaeil, Zahra
    • Geomechanics and Engineering
    • /
    • 제10권5호
    • /
    • pp.657-676
    • /
    • 2016
  • In this paper, the active lateral earth pressure is evaluated using the stress characteristics or slip line method. The lateral earth pressure is expressed as the lateral earth pressure coefficients due to the surcharge, the unit weight and cohesion of the backfill soil. Seismic horizontal and vertical pseudo-static coefficients are used to consider the seismic effects. The equilibrium equations along the characteristics lines are solved by the finite difference method. The slope of the ground surface, the wall angle and the adhesion and friction angle of the soil-wall interface are also considered in the analysis. A computer code is provided for the analysis. The code is capable of solving the characteristics network, determining active lateral earth pressure distribution and calculating active lateral earth pressure coefficients. Closed-form solutions are provided for the lateral earth pressure coefficients due to the surcharge and cohesion. The results of this study have a good agreement with other reported results. The effects of the geometry of the retaining wall, the soil and soil-wall interface parameters are evaluated. Non-dimensional graphs are presented for the active lateral earth pressure coefficients.