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

검색결과 499건 처리시간 0.028초

요부 안정화운동이 만성요통환자의 다열근 단면적, 정적자세조절, 통증에 미치는 영향 (Effects of lumbar stabilization exercise on multifidus muscle cross-sectional area, static posture control and pain in patient's with chronic low back pain)

  • 김대훈
    • 융합정보논문지
    • /
    • 제11권10호
    • /
    • pp.223-229
    • /
    • 2021
  • 만성요통환자를 대상으로 요추의 구조와 기능적 안정성에 미치는 영향을 알아보기 위하여 요부 안정화운동과 근력강화운동을 병행한 운동 프로그램과 요부 근력강화운동만 적용한 운동 프로그램의 다열근 단면적, 정적자세조절, 요부통증에 미치는 영향을 알아보았다. 연구방법은 만성요통환자 28명을 대상으로 각각의 운동그룹으로 나누워 주 3회씩 8주간 운동프로그램을 실시하였다. 본 연구의 자료분석은 t-test를 활용하여 그룹 운동프로그램 적용전과 적용후, 그리고 각각의 그룹간을 비교하였다. 연구결과 다열근 단면적, 정적자세조절, 요부통증 등 각각의 그룹내 운동프로그램 적용전과 적용후에 유의한 결과가 나타났으나 (p<.05), 각각의 그룹간에는 요부 안정화운동과 근력강화운동을 병행한 운동 프로그램이 더 효과적인 것으로 나타났다 (p<.05). 결론적으로 요부 안정화운동을 추가적으로 실시한 운동 프로그램이 다양한 요추의 구조와 기능을 향상시키고, 요부통증을 감소시키는 것으로 나타났다.

구조 형태에 따른 1차원 보와 2차원 평판 구조 해석 비교

  • 강유진;심지수
    • EDISON SW 활용 경진대회 논문집
    • /
    • 제4회(2015년)
    • /
    • pp.274-278
    • /
    • 2015
  • There are different kinds of aircrafts, such as conventional airplane, rotorcraft, fighter, and unmanned aerial vehicle. Their shape and feature are dependent upon their assigned mission. One of the fundamental analyses during the design of the aircraft is the structural analysis. The structural analysis becomes more complicated and needs more computations because of the on-going complex aircrafts' structure. In order for efficiency in the structural analysis, a simplified approach, such as equivalent beam or plate model, is preferred. However, it is not clear which analysis will be appropriate to analyze the realistic configuration, i.e., an equivalent beam or plate analysis for an aircraft wing. It is necessary to assess the boundary between the one-dimensional beam analysis and the two-dimensional plate theory for an accurate structural analysis. Thus, in this paper, the static structural analysis results obtained by EDISON solvers were compared with the three-dimesional results obtained from MSC NASTRAN. Before that, EDISON program was verified by comparing the results with those from MSC NASTRAN program and analytic solution.

  • PDF

프로펠러 날개의 동적 구조해석 시스템 개발 (A Dynamic Structural Analysis System for Propeller Blades)

  • 노인식;이정렬;이현엽;이창섭
    • 대한조선학회논문집
    • /
    • 제41권2호
    • /
    • pp.114-120
    • /
    • 2004
  • Propeller blades have complex airfoil section type geometry and the thickness is continuously varied to both its length and cord-wise direction. in the present research, the finite element analysis program PROSTEC (Propeller Stress Evaluation Code) is developed to calculate the structural responses of propeller blades in irregular ship wake field. To represent the curved and skewed geometry of propeller blades accurately, 20-node curved solid element using the quadratic shape function is adopted. Input data for the analysis including the geometry and pressure distribution of propeller blades can be generated automatically from the propeller design program. And to visualize the results of analysis on windows system conveniently, the post processor PROSTEC-POST is developed.

함수 요약에 기반한 메모리 누수 정적 탐지기 (A Static Analyzer for Detecting Memory Leaks based on Procedural Summary)

  • 정영범;이광근
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제36권7호
    • /
    • pp.590-606
    • /
    • 2009
  • C프로그램에서 발생할 수 있는 메모리 누수(memory leaks)를 실행 전에 찾아 주는 분석기를 제안한다. 이 분석기는 SPEC2000 벤치마크 프로그램과 여러 오픈 소스 프로그램들에 적용시킨 결과 다른 분석기에 비해 상대적으로 뛰어난 성능을 보여준다. 총 1,777 KLOC의 프로그램에서 332개의 메모리 누수 오류를 찾아냈으며 이 때 발생한 허위 경보(false positive)는 47개에 불과하다(12.4%의 허위 경보율). 이분석기는 초당720 LOC를 분석한다. 각각의 함수들이 하는 일을 요약하여 그 함수들이 불려지는 곳에서 사용함으로써 모든 함수에 대해 단 한번의 분석만을 실행한다. 각각의 함수 요약(procedural summary)은 잘 매개화 되어 함수가 불려질 때의 상황에 맞게 적용할 수 있다. 실제 프로그램들에 적용하고 피드백 받는 방법을 통해 함수가 하는 일중에 메모리 누수를 찾는데 효과적인 정보들만으로 추리는 과정을 거쳤다. 분석은 요약 해석(abstract interpretation)에 기반하였기 때문에 C의 여러 문법 구조와 순환 호출 (recursive call), 루프(loop)등은 고정점 연산(fixpoint iteration)을 통해 자연스럽게 해결한다.

리플렉션과 문자열 암호화를 이용한 안드로이드 API 난독화 도구 (An Android API Obfuscation Tool using Reflection and String Encryption)

  • 이주혁;박희완
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제4권1호
    • /
    • pp.23-30
    • /
    • 2015
  • 자바 리플렉션은 프로그램 구성 요소들을 조사하여 호출 및 조작할 수 있는 자바 언어의 기능이다. 이를 이용하면 보다 많은 호출 단계를 거치는 구조로 변형되기에 난독화 효과를 얻을 수 있다. 그러나 이를 이용할 때, 프로그램 자체의 구성 요소 이름이 문자열 형태로 노출된다. 본 논문에서는 안드로이드 애플리케이션에서 리플렉션을 적용하여 난독화하고, 이때 노출되는 문자열들을 비즈네르 암호화 알고리즘으로 은닉하여 정적분석을 방해하는 기법 및 도구를 제시한다. 실험 결과 소스 코드의 전체적인 복잡도를 증가시키는 데 효과가 있었다. 또한 서버와 로컬 기반의 두 가지 복호화 방법을 제공하는데, 이는 애플리케이션의 실행속도에 영향을 미치기 때문에 API의 중요도에 따라 선택할 수 있다.

반응표면분석법을 이용한 FRP Leaf Spring의 최적설계 (Optimal Design of FRP Taper Spring Using Response Surface Analysis)

  • 임동진;이윤기;김민호;윤희석
    • Composites Research
    • /
    • 제17권2호
    • /
    • pp.1-8
    • /
    • 2004
  • 본 논문은 겹판 스프링의 정적 스프링 상수를 가지고 복합재료 데이퍼 스프링을 최적설계 하였다. 두께와 폭을 설계변수로 실정하였다. 회귀모형의 목적함수는 상용 해석 프로그램을 통해 얻었다. 회귀모형의 함수를 가지고 회귀계수를 계산한 후, DOT를 이용하여 최적해를 구하였다. 설계에 이용된 복합재료로는 E-glass/epoxy와 carbon/epoxy를 선정하였고 겹판 스프링과 비교 해석하였다. 그 결과 정적 스프링 상수는 최적화된 복합재료 스프링들과 겹판 스프링이 1%내로 일치함을 보였다.

정적-내연적 유한요소법을 이용한 Roof 판넬 해석에 관한 연구 (Study of Analyzing Roof Panel Using Static Implicit Finite Element Method)

  • 안현길;정동원
    • 한국정밀공학회지
    • /
    • 제22권3호
    • /
    • pp.78-85
    • /
    • 2005
  • The static implicit finite element method is applied effectively to analyze total roof panel stamping processes, which include the forming stage. complicated and abnormal Large size roof panel was analyzed by using commercial program called AutoForm. Analysis results examining possibility and validity of the AutoForm software and the factor study are presented. Further, the simulated results for the total roof panel stamping processes are shown and discussed. Its application is being increased especially in the automotive industrial area for the cost reduction, weight saving, and improvement of strength.

판금형 해석을 위한 정적/외연적 유한요소 프로그램의 병령화에 관한 연구 (On The Parallel Inplementation of a Static/Explicit FEM Program for Sheet Metal Forming)

  • 진석기;정동원
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1995년도 추계학술대회 논문집
    • /
    • pp.625-628
    • /
    • 1995
  • A static/implicit finite element code for sheet forming (ITAS3D) is parallelized on IBM SP 6000 multi-processor computer. Computing-load-balanced domain decomposition method and the direct solution method at each subdomain (and interface) equation are developed. The system of equations for each subdomain are constructed by condensation and calculated on each processor. Approximated operation counts are calculated to set up the nonlinear equation system for balancing the compute load on each subdomain. Th esquare cup tests with several numbers of elements are used in demonstrating the performance of this parallel implementation. This procedure are proved to be efficient for moderate number of processors, especially for large number of elements.

  • PDF

Controller Design for Static Reactive Power Generator in Transmission System

  • Han, B.M.;Soh, Y.C.;Kim, H.W.
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 1998년도 Proceedings ICPE 98 1998 International Conference on Power Electronics
    • /
    • pp.398-403
    • /
    • 1998
  • This paper describes a controller design for the stator reactive power generator in the transmission system. The controller of static reactive power generator was designed using a mathematical model and non-linear state feedback. The performance of controller was verified using computer simulation with EMTP code and experimental work with scaled-model. The dynamic interaction with a simple power system was also analyzed using both the simulation model and hardware scaled-model. Both simulation and experimental results prove that the controller using PI block and non-linear state feedback offers better performance than the controller using PI block only.

  • PDF

Numerical simulation of the total hip prosthesis under static and dynamic loading (for three activities)

  • Mohammed El Sallah Zagane;Abdelmadjid Moulgada;Murat Yaylaci;Sahli Abderahmen;Mehmet Emin Ozdemir;Ecren Uzun Yaylaci
    • Structural Engineering and Mechanics
    • /
    • 제86권5호
    • /
    • pp.635-645
    • /
    • 2023
  • This study aims to simulate the mechanical behavior of the total prosthesis model of Charnley (CMK3) by the 3D finite element method and to determine the state of the stresses in the femoral components (prosthesis, cement, and bone). The components are subjected to a dynamic load due to three activities (normal walking, climbing stairs, and standing up a chair). Static loading is by selecting the maximum load for the same activities mentioned. The results show that the maximum stresses in the proximal part of the cement are very important. Moreover, new results obtained for different parameters were discussed in detail. It is understood that current research provides important lessons for the surgeon to contribute to the clinical diagnosis of durable implantations and a better understanding of the process of bone remodeling and bone prosthesis.