• Journal of the Korea Institute of Building Construction
• /
• v.13 no.5
• /
• pp.434-440
• /
• 2013

Generally, the envelope of a freeform building is composed of a structure made with rectangular or C-shaped steel pipe, and steel or aluminum panel finishes on the structure. However, these construction methods increase material loss and cost and time. There are also numerous cases of misunderstanding of design and difficulties in construction, which frequently cause construction errors. Such construction errors decrease construction productivity, resulting in poor construction quality and the need for rework, as well as cost and time overruns. To solve the problem, this study proposes a 3D coordinate control technology for freeform structure implemented through a CNC(Computerized Numerical Control) Twisted tube method, and by extension, develops a BIM-based envelope construction method for freeform building.

• The Journal of the Korea Contents Association
• /
• v.21 no.3
• /
• pp.88-102
• /
• 2021

This study focused on the museums mainly holding permanent exhibitions except for the function of special exhibition in museum architectural works. This study aimed to draw the possibility to establish the relation between architectural form and central space of museums, by applying the forms like formal form, informal form, segment form, and diagonal form shown through a case study to total 164 work cases, reclassifying the architectural form into informal form, formal form, semi-formal form, segment form, diagonal form, and linear form, and then analogizing the matter of correlation between architectural form and central space of museums. The relevant contents could be summarized as follows. overall, most of the central spaces according with the informal architectural form of museums were the informal form, which showed 92.7% distribution rate. overall, there were many cases of informal architectural form of museums. Compared to the formal form, the informal architectural form showed the higher correlation with central space. The informal architectural form of museums is estimated to be continuously developing in the future. This study aims to present the basic data aiming for interior architecture design by considering the correlation between central space and architectural form.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2017.11a
• /
• pp.168-169
• /
• 2017

기존의 정형적인 디스플레이 형태뿐만 아니라 비정형적인 구조의 디스플레이의 관심이 증가하고 있다. 미래에는 기존의 직사각형의 디스플레이와 더불어 비정형적인 디스플레이의 기술이 발전할 전망으로 보인다. 이러한 비정형 사이니지 기술이 발전함에 따라 비정형 영상 표출에 대한 연구가 시행될 필요성이 있다. 하지만 큐브 디스플레이와 같은 비정형 디스플레이에 바로 영상을 표출하기에는 실질적으로 구현이 어려운 점이 있다. 따라서 현실적인 하드웨어 구현이 아닌 비정형 영상 시뮬레이션을 실행할 수 있는 환경을 구축함으로써 이러한 한계를 극복하고자 한다. 본 논문은 립모션(Leap Motion)과 유니티(Unity3D)를 연동하여 제스처 인식 기반의 비정형 디스플레이 표출 시뮬레이션을 시행하였다. 사용자의 명령에 따라 큐브모형이 제어가 되어 비정형 디스플레이로 인식하고 영상을 표출한다. 이는 실제 공간에서 사용할 수 있는 조립형 큐브 디스플레이에 영상을 직접 표출하기 전 시뮬레이션으로 활용 할 수 있을 것으로 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.535-537
• /
• 2002

인터넷의 확산과 네트워크 기술의 발전에 따라 네트워크 메커니즘은 그 설계 및 이해가 더욱 복잡해져 가고 있고, 분산 시스템 환경에서의 역할과 중요성도 날로 더해져 가고 있다. 본 논문에서는 네트워크 메커니즘의 정확성 검증을 위한 정형검증 연구의 일환으로, Reactive system의 모델링 및 검증을 위해 개발된 정형검증 언어인 Esterel을 이용한 Abracadabra 프로토콜의 정형 검증을 통해, 통신 프로토콜에 대한 Esterel의 정형검증 능력을 분석하고 좀더 복잡한 통신 프로토콜에 대한 정형 검증의 적용 가능성을 타진하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.486-488
• /
• 2000

본 연구는 정형기법을 사용하여 Safety-Critical System의 개발 방법론을 제시한다. Safety-Critical System의 전체적인 개발 과정을 제시하고 Safety-Critical System 중의 하나인 원자력 발전소 시스템 중 Reactor Protection System(RPS)을 정형 명세(Formal Specification)하고 정형 검증(Formal Verification)하는 과정과 그에 따른 각 과정의 Compliance를 확인하는 예를 든다. 여기서 정형 명세에는 Software Cost Reduction(SCR)이하는 도구가 사용되었고, 정형 검증에는 SPIN이, Compliance를 확인하는 데에는 Prototype Verification System(PVS)를 사용하였다.

• Journal of Korean Foot and Ankle Society
• /
• v.22 no.4
• /
• pp.184-184
• /
• 2018

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.388-388
• /
• 2020

매년 국지성호우 및 태풍으로 인해 하천 범람이나 저지대침수가 발생하고 있으며 이는 인명 피해 사례로 이어지기도 한다. 피해 발생을 최소화시키기 위해 강우와 유량과 같은 정형데이터로 홍수예보가 이뤄지고 있으나 기존의 정형데이터만 사용하다보니 도심지역이나 소규모 하천에서 인명 피해 예측에 어려움이 있다. 이를 보완하기 위해서는 인구의 유동성을 고려한 비정형데이터를 활용해야 한다. 최근 소셜 네트워크 서비스(SNS)의 사용자가 증가됨에 따라 텍스트나 사진과 같은 다양한 비정형데이터가 생성되고 있다. 이렇게 생성된 데이터는 다양한 분야에서 활용되고 있으며 특히 지진이나 홍수와 같은 재난 발생 시 유용한 데이터로 활용된 사례가 증가하고 있다. 이는 사람들이 GIS와 같은 위치정보나 시간 등을 포함한 다양한 정보를 포함하기 때문이다. 하지만 이렇게 생산된 비정형데이터를 기존 물리적 기반의 수문모형의 데이터로 활용하기에는 많은 한계점이 있다. 따라서 본 연구에서는 SNS 채널을 통해 생성된 비정형 데이터들을 인공신경망모형에 적용하여 하천수위를 예측하였다.

• The Journal of the Korea Contents Association
• /
• v.21 no.4
• /
• pp.795-814
• /
• 2021

With the development of science and technology in recent years, various types of unstructured buildings have begun to be implemented by combining traditional architectural styles with digital tools, which are significantly different from conventional formal buildings. Designers will use various methods or digital tools to complete the unstructured and freer architectural forms when building an unstructured building. Based on this background, the need for research on the criteria for evaluating the characteristics of unstructured architectural forms is raised. First, the text was reconstructed by considering and integrating the elements of the unstructured exterior form based on prior research, with the external form of the unstructured building as the main research object. Second, the purpose of this study was to classify various types of unstructured forms and to provide important basic data for designing digital processes of unstructured architectural forms.Third, from 2000 to 2020, the text focused on the study of unstructured buildings and conducted in-depth analysis of the characteristics of their form expressions. While providing a case basis for the study of related fields, distribution laws and presence values related to the characteristics of unstructured buildings were sought. In addition, the analysis was conducted in combination with the distribution of functional use of buildings, and this study is differentiated from the existing research in that the atypical form is applied to the buildings by use, and the application trend of this type is understood to enhance understanding of the atypical form of buildings.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.9 no.9
• /
• pp.1041-1048
• /
• 2019

Recently, social demands on atypical buildings and building spaces are increasing, and examples of atypical buildings are easily seen in major cities around the world. This study investigates the user behaviors in the typical atypical buildings currently constructed and analyzes the characteristics of human behavior in the atypical building space. Ultimately, this study aims to develop human behavior simulation technology for reviewing residential performance of atypical building space design, and the results of this study can be used for user behavior modeling and simulation technology development. This is because it is difficult to find an investigation or analysis of what behavioral characteristics occur in the atypical building space in previous studies. This study derives the characteristics of human behavior in the atypical architectural space that has been overlooked in the existing human behavior simulation tools. In other words, the site visits and surveys typical atypical buildings to investigate user behaviors in typical spaces and other atypical buildings.