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

검색결과 345건 처리시간 0.026초

자바 적시 컴파일에서의 조건 수행을 이용한 비어 있는 포인터의 조기검사 (Early Null Pointer Check using Predication in Java Just-In-Time Compilation)

  • 이상규;최형규;문수묵
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제32권7호
    • /
    • pp.683-692
    • /
    • 2005
  • 자바에서는 어떤 객체에 접근하는 작업을 할 때마다 항상 해당 객체에 대한 레퍼런스가 널 (Null)인지 여부를 먼저 검사하도록 규정하고 있다. 자바 언어는 객체 중심 언어이기 때문에 객체 접근이 빈번하며 이러한 널 포인터 검사는 자바 프로그램의 성능을 크게 저하시킬 수 있다. 이러한 성능 저하를 줄이기 위한 방법으로 불필요하게 반복되는 널 포인터 검사를 제거하는 기법이 사용되고 있다. 즉, 적시 (Just-in-Time, JIT) 컴파일러가 사용되는 자바 수행 환경에서 코드 분석을 통해 불필요한 널 포인터 검사 코드를 제거하는 최적화를 한다. 본 논문은 JIT 컴파일러 수행 환경에서 조건 수행(predication)이라는 최근 마이크로프로세서의 특징을 이용하여, 기존의 최적화로는 제거할 수 없는 널 포인터 검사 코드를 추가로 없애는 방법을 제시한다. 일반적으로 널 포인터 검사 코드는 비교와 분기 두 명령어로 이루어져 있는데, 그 중에 비교 명령어를 객체를 사용하기 전에 수행하는 것이 아니라 객체가 정의된 직후에 미리 수행하도록 함으로써 널 포인터 검사를 위해 수행되는 총 비교 명령어 수를 줄이는 것이 이 방법의 주된 내용이다. 실험 결과 기존의 널 포인터 제거로 최적화된 코드에 비해 수행된 비교 명령어의 수는 SPECjvm98에서 평균 3.21$\%$줄었고, 생성된 비교 명령어 수는 1.98$\%$ 줄었다. 이는 인텔 IA-64 아이테니엄(Itanium) 컴퓨터에서 평균 0.32$\%$의 성능 향상을 가져왔다.

CFRP 시트로 부분 휨 보강된 철근콘크리트 보의 유한요소해석 (FEA for RC Beams Partially Flexural Reinforced with CFRP Sheets)

  • 김건수;박기태;김병철;김재환;정규산
    • 한국구조물진단유지관리공학회 논문집
    • /
    • 제24권5호
    • /
    • pp.9-16
    • /
    • 2020
  • CFRP 시트를 이용한 RC 구조물의 보강은 다양한 방법으로 적용되어 왔으며, 관련 연구도 오랜 기간 수행되어 왔다. 하지만 CFRP 보강에 대한 연구는 대부분 실험적으로 수행되어, 다양한 변수 효과를 효율적으로 분석하기에는 한계가 있었다. 본 연구에서는 CFRP 시트로 보강된 RC 보의 구조거동을 ABAQUS 프로그램을 이용하여 수치해석적으로 분석하였다. RC 보 하면과 시트 사이에 Cohesive 요소를 적용하여 CFRP 보강 RC 보의 주요 파괴모드인 CFRP 시트 탈락을 모사하였다. CFRP 시트 탈락에 의한 급격한 비선형 문제 및 효율적인 유한요소해석을 위하여 준정적 해석 기법과 2 차원 대칭 모델을 사용하였다. 본 연구에서 수행한 유한요소해석 결과는 기존 실험결과를 잘 반영하는 것을 확인하였으며, CFRP 보강 수준과 최대 강도, 초기 강성, 파괴시점의 관계를 분석하였다. 총 31개 모델에 대한 유한요소해석을 수행한 결과 보강 수준의 증가에 따라 최대 강도 및 초기 강성이 sin 함수 형태로 증가하는 것을 확인하였다. 또한 과도한 CFRP 시트 보강은 파괴시점을 앞당겨 보강 구조물의 취성파괴를 야기할 수 있음을 확인하였으며, 이를 방지하기 위한 적절한 수준의 CFRP 시트 보강 설계가 필요할 것으로 판단된다.

잭업드릴링 리그의 레그와 작업 지원선 충돌에 의한 구조붕괴 거동 평가 (Assessment of the Structural Collapse Behavior of Between Offshore Supply Vessel and Leg in the Jack-up Drilling Rig)

  • 박주신;서정관
    • 해양환경안전학회지
    • /
    • 제28권4호
    • /
    • pp.601-609
    • /
    • 2022
  • 잭업드릴링 리그는 해양 석유와 가스 탐사 산업에서 널리 사용되는 모바일 해양 플랫폼이다. 그것은 시추 및 생산을 위한 캔틸레버 시추 장치가 있는 독립적인 3개의 다리가 있는 자체 승강식 장치이다. 전형적인 잭업리그는 삼각형 선체, 타워형 데릭, 캔틸레버, 잭케이스, 거주구와 다리로 구성되며 여기에는 스퍼드캔 구조, 개방형 트러스, X-교차 구조로 구성된다. 일반적으로 잭업리그는 수심 130m~170m에서만 운용이 되고 있다. 최근 들어 개발 유정이 심해로 이동하면서, 깊은 수심과 가혹한 환경조건을 만족해야 한다. 리그의 작업 상태에서 모든 정적, 동적 하중은 레그(Leg)를 통해서 지탱되는 특징이 있다. 이러한 리그의 중요한 이슈는 순간적으로 큰 충격에너지를 발생시키는 충돌에 대한 레그의 안전성이다. 본 연구에서는 LS-Dyna 프로그램을 이용하여 DNV 선급에서 규정하고 있는 충돌에너지 35MJ 요구사항에 대한 수치해석 및 검증을 수행하였다. 충돌 선박은 배수량 7,500톤 작업 지원선을 사용하였고, 5가지 충돌조건을 선정하였다. 해석결과로부터 모든 충돌조건은 선급 기준을 만족하지 못한다. 코드 방향 충돌조건은 충돌에너지 15MJ, 브레이스 충돌조건은 6MJ이 합리적이다. 따라서 충돌시나리오에 따른 합리적인 충돌에너지 기준의 제정이 필요로 하다.

복합레진 수복물이 쐐기형 비우식성 치경부 병소의 응력 분포에 미치는 영향에 관한 3차원 유한요소법적 연구 (The influence of composite resin restoration on the stress distribution of notch shaped noncarious cervical lesion A three dimensional finite element analysis study)

  • 이채경;박정길;김현철;우성관;김광훈;손권;허복
    • Restorative Dentistry and Endodontics
    • /
    • 제32권1호
    • /
    • pp.69-79
    • /
    • 2007
  • 이 연구의 목적은 쐐기형 비우식성 5등급와동을 복합레진으로 수복하기 전, 후에 과도한 교합력에 의한 응력분포 변화를 비교 연구하기 위함이었다. 발치된 상악 제 2소구치를 이용하여 쐐기형 비우식성 치경부병소를 가진 3차원 유한요소모형을 제작한 후 탄성계수가 서로 다른 혼합형 복합레진과 흐름성 복합레진으로 각각 충전하고 이때의 상아질 접착제의 두께는 $40{\mu}m$로 하였다. 협측교두와 설측교두에 500 N의 하중을 각각 가한 후 ANSYS 프로그램을 이용하여 주응력분석법으로 병소의 심부와 와동 수직병의 응력분포를 비교하여 다음과 같은 결과를 얻?B다. 1. 협측교두에 하중이 가해지면 병소에 압축응력이 나타나고, 설측교두에 가해지면 인장응력이 나타난다. 두 가지 하중에서 모두 병소의 근심 끝 부위와 인접한 백악법랑경계 그리고 병소의 심부에 응력이 집중되었다. 2. 응력의 집중을 보였던 병소의 금심부근과 심부는 수복 후 응력이 많이 감소하였으며 대신 다른 부위에서는 응력이 약간 증가하였다. 3. 병소의 근심부위와 심부는 흐름형 복합레진으로 수복하였을 때 보다 혼합형 복합레진으로 수복하였을 때 응력이 더 많이 감소하였다.

$^{13}N$-암모니아 PET에서 반정량적 심근관류 점수와 절대적 심근혈류량의 상관관계 (Correlation between Semiquantitative Myocardial Perfusion Score and Absolute Myocardial Blood Flow in $^{13}N-Ammonia$ PET)

  • 이병일;김계훈;김정영;김수진;이재성;민정준;송호천;범희승
    • Nuclear Medicine and Molecular Imaging
    • /
    • 제41권3호
    • /
    • pp.194-200
    • /
    • 2007
  • 목적: $^{13}N$-암모니아는 심근혈류 측정에 유용한 방사성의 약품으로 최근 국내에 도입된 PET/CT를 이용하여 비침습적으로 정량적인 검사를 시행 할 수 있다. 이 연구에서는 $^{13}N$-암모니아를 이용한 동적 영상으로부터 얻은 심근혈류정보와 정적 영상으로부터 얻은 심근관류정보의 상관관계를 살펴봄으로써 심장핵의학 검사의 유용성을 알아보고자 하였다. 방법: 심혈관질환이 의심되어 핵의학 심근관류 검사를 시행한 12명(남 11명, 여 1명, 평균나이 $57.9{\pm}8.6$세)을 대상으로 $^{13}N$-암모니아 검사를 시행하였다. 휴식기와 부하기에서 영상획득을 위하여 $^{13}N$ 암모니아 0.3 mCi/kg를 15초간 순간주사하면서 동시에 동적영상을 6분간(5초씩 12회, 10초씩 6회, 20초씩 3회, 30초씩 6회) 획득하고 이어서 게이트 영상을 13분간 각각 획득하였다. 심근혈류의 측정은 기저부 4분절, 중간부 4분절, 그리고 심첨부로 구성된 9분절 모델을 이용하였으며, 추출한 시간-방사능곡선과 추적자 모델을 사용하여 정량화 하였다. 심근관류는 정량화 분석 소프트웨어를 사용하여 구하였다. 20분절 모델을 9분절 모델과 비교하기 위하여 최기저부 6분절은 제외하고 인접분절의 값을 평균하여 사용하였다. 결과: 심근혈류량(휴식기, 0.18-2.38 ml/min/g; 부하기, 0.4-4.95 ml/min/g)과 심근섭취율(휴식기, 22-91%; 부하기, 14-90%) 간에는 약한 상관관계가 있었으며, 휴식기 보정된 심근관류와 혈류의 상관이 부하기에서보다 더 컸다(휴식기 r=0.59, 부하기 r=0.80). 수축기 심근두꺼워짐이 좋을수록 보정된 관상동맥 혈류예비능과 심근관류 예비능이 상관관계를 보였다. 결론: $^{13}N$-암모니아를 이용한 관류값을 특성에 따라 보정하고 해석하였을 때, 동적영상에서 절대값으로 구한 심근혈류와 좋은 상관관계를 보였다. 따라서 심근관류가 심근혈류를 잘 반영하는 지표임을 보였으므로 심장질환에서의 PET-CT 검사를 유용하게 활용할 수 있을 것으로 기대한다.