• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.460-462
• /
• 2001

테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 데스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이틀 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서 는 프로그램을 실 행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법 을 제안한다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.247-250
• /
• 2010

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

• Journal of the KSME
• /
• v.55 no.3
• /
• pp.28-32
• /
• 2015

이 글에서는 정형외과 인공관절 치환술 중 가장 많은 부분을 차지하고 있는 인공슬관절 치환술과 임상적 이론과 함께 적용되는 기계공학적 해석 및 설계 방법의 접근에 따른 연구 개발 동향을 소개하고자 한다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2012.04a
• /
• pp.377-378
• /
• 2012

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2011.10a
• /
• pp.432-433
• /
• 2011

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2013.10a
• /
• pp.124-125
• /
• 2013

• Journal of Korean Association for Spatial Structures
• /
• v.11 no.4
• /
• pp.79-88
• /
• 2011

Recently, complex-shaped tall buildings represented by 3T(Twisted, Tapered, Tilted) are planed largely. A diagrid structural system is one of the most widely used structural system for complex-shaped tall buildings because of its structural efficiency and formativeness. Plans for tilted tall buildings are largely presented because of beauty of a sculpture and many of buildings use diagrid structural systems. Lateral displacements of tilted tall buildings are induced by not only lateral loads but also self weight. Therefore, reduction of lateral responses of tilted tall buildings is as important as typical tall buildings. In this study, a smart TMD is introduced to reduce seismic responses of tilted diagrid tall buildings and its control performance is evaluated. MR damper is employed for the smart TMD and ground-hook controller is used as a control algorithm for the smart TMD. 100-story tall building is used as an example structure. Control performances of uncontrolled case, controlled case with TMD and controlled case with smart TMD are compared and investigated. Numerical simulation has shown that smart TMD presented good control performance for displacement response but acceleration response was not controlled well.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.26 no.5
• /
• pp.10-19
• /
• 2022

Irregularity in structural shape is a ubiquitous phenomenon. Structural hazards evoked from irregularity need to be checked against extreme lateral loadings. Structures containing four distinct types of irregularities in terms of continuity and discontinuity in upper half-length and all story levels along with O-shape are investigated. The structures were analyzed numerically and different seismic responses such as displacements, bending moment, axial forces, torsions, story drift, etc. were scrutinized. The seismic and wind load analysis was conducted for ACI 318-11 conditions. Results show that buildings having discontinuous beams on the upper half exhibit better resilience. It is also concluded that O-shaped building structures provide better resistance to overturning, making this shape relatively safe.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2008.04a
• /
• pp.253-256
• /
• 2008

The objective of this study is to evaluate the seismic weakness of existing nonseismic low-rise piloti-type apartment buildings which have the irregularities of weak story, soft story, and torsion simultaneously. A prototype 4-story RC building was selected, analyzed using linear dynamic procedure and finally evaluated according to the acceptance criteria of FEM356. This building satisfies the criteria.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.279-282
• /
• 2009

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