• 제목/요약/키워드: 정형해석

검색결과 306건 처리시간 0.04초

요약 해석을 이용한 데스트 데이터 자동 생성 기법 (Automatic Test Data Generation Using Abstract Interpretation)

  • 한승희;강제성;정인상;권용래
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.460-462
    • /
    • 2001
  • 테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 데스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이틀 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서 는 프로그램을 실 행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법 을 제안한다.

  • PDF

구조해석모델 생성을 위한 파라메트릭 모델러의 적용성 연구 (A Study on Parametric Modeler to Generate Structural Analysis Model)

  • 김치경;이상수;최현철
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2010년도 정기 학술대회
    • /
    • pp.247-250
    • /
    • 2010
  • 최근 많은 건축가들이 파라메트릭 디자인 도구에 관심을 가지고 형태에 대한 다양한 실험을 하고 있는 것과는 달리, 구조 엔지니어들은 이에 적절하게 대응하지 못하고 있다. 현재 파라메트릭 모델과 구조해석 프로그램사이의 자료교환을 가능하게 하는 인터페이스가 없는 것이 주된 원인이다. 따라서 구조 엔지니어들도 자유롭게 파라메트릭 방법론의 장점을 활용한 모델을 생성하고, 그것을 구조해석에 바로 사용할 수 있도록 하는 일이 오늘날 구조계가 당면한 과제이다. 본 연구에서는 파라메트릭 모델로부터 구조해석 모델을 자동으로 생성하는 인터페이스의 실무 적용가능성을 살펴보기 위하여, 파라메트릭 디자인 도구의 특성과 확장성을 검토하고, 라이노를 기반으로 하는 구조해석 모델 생성 플러그인을 개발하였다.

  • PDF

인공슬관절의 소개 및 연구 개발 동향

  • 강경탁;전흥재
    • 기계저널
    • /
    • 제55권3호
    • /
    • pp.28-32
    • /
    • 2015
  • 이 글에서는 정형외과 인공관절 치환술 중 가장 많은 부분을 차지하고 있는 인공슬관절 치환술과 임상적 이론과 함께 적용되는 기계공학적 해석 및 설계 방법의 접근에 따른 연구 개발 동향을 소개하고자 한다.

  • PDF

경사진 다이어그리드 비정형 초고층 건물에 대한 스마트 TMD의 제진성능평가 (Vibration Control Performance Evaluation of Smart TMD for a Tilted Diagrid Tall Building)

  • 김현수;강주원
    • 한국공간구조학회논문집
    • /
    • 제11권4호
    • /
    • pp.79-88
    • /
    • 2011
  • 근래에 들어와서 3T (Twisted, Tapered, Tilted)로 대별되는 비정형 초고층 건축물이 다수 계획되고 있다. 이러한 비정형 초고층 건물을 위해서 구조적인 효율성 및 조형성 때문에 다이어그리드 구조시스템이 현재까지 가장 널리 사용되고 있는 구조시스템 중의 하나이다. 건축적인 조형미 등의 이유로 경사진 비정형 초고층 건물에 대한 계획안이 다수 발표되고 있으며 다수의 구조물들이 다이어그리드 구조시스템을 활용하고 있다. 경사진 비정형 초고층 건물은 횡하중뿐만 아니라 자중에 의해서도 횡방향 변위가 발생한다. 따라서 정형적인 초고층 건물보다 횡방향 응답을 저감시카는 젓이 더 중요한 문제로 대두된다. 본 연구에서는 경사진 다이어그리드 비정형 초고층 건물의 지진응답을 저감시키기 위하여 스마트 TMD를 적용하였고 그 제어성능을 평가하였다. 스마트 TMD를 구성하기 위하여 MR 감쇠기를 사용하였으며 스마트 TMD는 그라운드훅 제어알고리즘을 사용하여 제어하였다. 100 층의 예제구조물에 대하여 제어를 하지 않은 경우와, 일반적인 TMD를 사용한 경우, 그리고 스마트 TMD를 사용하여 제어한 경우를 비교 검토하였다. 수지해석결과 스마트 TMD가 변위 응답 제어에는 우수한 성능을 나타냈지만 가속도응답제어에는 효과적이지 못했다.

보부재 불연속성과 수평비정형성을 고려한 건물의 풍하중과 지진하중에 의한 응답해석 (Structural Performance Assessment of Buildings Considering Beam Discontinuity and Horizontal Irregularity under Wind and Earthquake Loads)

  • 수딥타 차크라보르티;앰디 라지불 이스람;김두기
    • 한국구조물진단유지관리공학회 논문집
    • /
    • 제26권5호
    • /
    • pp.10-19
    • /
    • 2022
  • 구조물의 비정형성이 풍하중과 지진하중을 받는 구조물의 안전성에 미치는 영향에 대해 검토하였다. 층별 보부재의 불연속성과 O자형 수평비정형성의 관점에서 4가지 유형의 구조물을 선정하여 구조거동을 평가하였다. ACI 318-11 조건에 대해 풍하중 및 지진하중에 의한 구조물의 변위, 휨모멘트, 축력, 비틀림, 층간변위 응답을 검토하였다. 보부재 불연속성을 갖는 구조물의 상부에 갖는 건물이 가장 큰 복원력을 보였으며, O자형 수평비정형 건물은 전도에 대한 저항이 크므로 횡하중에 대해 안전하였다.

저층 RC 필로티형 집합 주택의 내진 성능 평가 (Seismic performance evaluation of piloti-type low-rise RC apartment building)

  • 이한선;이정재
    • 한국콘크리트학회:학술대회논문집
    • /
    • 한국콘크리트학회 2008년도 춘계 학술발표회 제20권1호
    • /
    • pp.253-256
    • /
    • 2008
  • 본 연구는 목적은 1층에 연층/약층 및 비틀림 비정형성을 동시에 보유한 우리나라 비내진 현존 필로티형 저층 집합주택의 내진 취약성을 평가하는 것이다. 해석 구조물로서 4층 RC 집합 주택이 선정되었고, 선형 동적 해석법을 사용하여 해석되었으며, FEMA356에 의하여 평가되었다. 해석 결과 본 구조물은 FEMA356의 선형 동적 해석법 규정을 만족하였다.

  • PDF

정적행렬응축기법을 이용한 가변형 입체 복합 공간 구조 시스템 해석기법에 관한 연구 (Analysis Method of Changeable Integrated Multi-purpose Spatial Structure Using Static Matrix Condensation)

  • 정주홍;정형석;최창식
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2009년도 정기 학술대회
    • /
    • pp.279-282
    • /
    • 2009
  • 본 논문에서는 행렬응축기법 및 부구조기법을 이용하여 가변형 입체 복합 공간 구조물을 효율적으로 해석할 수 있는 해석기법을 제안하였다. 최근 구조공학의 발전과 더불어 다양한 사회적 경제적 요구에 의해 가변형 입체 복합 공간 구조물에 대한 연구가 진행되고 있다. 가변형 입체 복합 공간 구조물은 많은 구조부재가 필요 하며, 부재 수가 많아짐에 따라 각 절점이 가지는 자유도수가 크게 증가하여 초기 해석 과정에서 많은 시간이 요구된다. 또한 구조물이 변경되는 경우에는 변경되는 부분의 강성의 변화에 따라 전체 구조물의 강성이 변경되므로 이에 따른 전체 구조물의 재해석 과정이 필요하다. 이러한 점에서 구조물의 자유도수를 줄여주는 행렬응축기법과 반복적인 해석과정을 줄여주는 부구조기법은 가변형 입체 복합 공간구조물을 효율적으로 해석 할 수 있는 방법이 될 수 있다. 본 논문에서는 행렬응축기법과 부구조기법을 이용하여 가변형 입체 복합 공간 구조물을 효율적으로 해석할 수 있는 해석기법을 제안하고, 이를 토대로 구체적인 알고리즘을 작성하였다. 또한 알고리즘을 구체화시켜 가변형 입체 복합 공간 구조시스템에 적합한 구조해석 프로그램을 개발하여 예제 구조물에 대하여 구조해석을 수행하였으며, 구조해석 결과를 상용프로 그램의 구조해석 결과와 비교하여 해석기법에 대한 정확성 및 효율성을 검토하였다.

  • PDF