• 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 Computational Structural Engineering Institute Conference
• /
• 2010.04a
• /
• pp.263-266
• /
• 2010

비정형 형상의 초고층 건물이 증가함에 따라, 설계 시공 계획 단계에서의 시공 중 건물의 구조적 안정성 검토가 핵심 사항으로 부각되고 있다. 시공 중 비정형 초고층 건물의 안정성을 확보하기 위해서는, 횡력저항시스템이 완전히 형성되기 전 구조체 자중의 불균형 분포에 의해 발생하는 수직부재의 불균등 축소, 골조의 기울어짐 혹은 횡변위 등이 시공단계해석에 의하여 검토되어야 하며, 시공단계해석은 구조건전성모니터링, 시공 보정 프로그램, 시공계획 수립 등과 체계적으로 결합되어 진행되어야 한다. 이 논문은 시공 중 비정형 초고층 건물의 구조 안정성 검토를 위하여, 실제 비정형 초고층 프로젝트에 시공단계해석을 적용하였으며, 시공 중 초고층 건물의 안정성 확보를 위한 주요 검토 항목 및 방법을 제시하였다.

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

최근 들어 보안에 대한 관심이 높아지고 있으며, 많은 보안 관련 프로그램이 사용되고 있는 상황이다. 하지만 안전성을 예측하기 어려운 보안 기능을 완벽하게 구현하기 위해서 현재의 테스팅 방법론만으로는 완전성을 보장할 수 없으므로 보다 안전한 보안 기능을 구현하기 위해서 정형명세 방법은 반드시 필요하다. 또한 실제로 시스템들이 개발되는 과정에 있어서 설계될 당시와는 달리 결함을 가질 수 있다. 시스템에 대한 명세가 정확하다 하더라도 개발자인 사람의 개입으로 인해서 개발하는 도중에 명세와 다른 결과를 초래하여 결함이 발생할 수 있다. 이러한 결함은 개발자나 사용자에 의해 쉽게 발견되기 어렵다. 만일 보안 시스템이 알져지지 않은 결함이 있다면 비밀 정보가 쉽게 누설될 수 있다는 큰 문제가 발생할 수 있다. 통신망을 사용하는 인구의 확대와 더불어 다양한 형태의 통신 서비스가 제공됨에 따라 시스템의 특성이 복잡해지고 불법적인 자료 접근의 위험도 많이 노출되고 있다. 따라서 명확한 정형명세 보안기능으로부터 자동 코드 생성은 반드시 필요하다. 본 논문에서는 여러 정형 도구를 사용해서 보안기능에 대한 정형명세를 작성한 후에 소스코드 생성한 후, 정형명세를 이용하여 설계 및 구현한 프로그램에 대한 명세와 소스코드간 일치성 검토 방법을 개발하여, 정형명세를 통해 생성된 보안기능 소스코드의 보안성 측면과 성능적 측면의 Teade-Off 분석하는 것이다. 논문에서는 인증 관련 보안 기능인 S/KRY에 대해서 4개(STATEMATE MAGMUM, Rational Rose 98, SPEAR, VDM-SL)의 정형도구를 사용하여 명세 후, 소스 코드를 생성하여 생성된 각 코드에 대하여 비교하였으며, 현재 상용화 되어있는 Bellcore 의 S/KEY 시스템과의 비교를 수행하였다. 분석에서는 제품의 효율성뿐만 아니라 보안성을 중요하게 생각하였으며, 앞으로 보안 관련 소프트웨어 개발에 사용될 수 있는 도구들이 가이드 라인에 대한 정보를 제공한다.

• Korean Journal of Construction Engineering and Management
• /
• v.15 no.3
• /
• pp.38-46
• /
• 2014

The Global's top five Design Firms selected from BauNetz a German architectural magazine in 2007 designed free form building design which was 25% of the overall design by 2006-2010. Free form building is a landmark of the city and the country so its social and economic impacts are very large. In case of Korea, free form buildings such as Tribowl in Incheon, KINTEX Exhibition hall 2 and Dongdaemun Design Plaza have increased. However, those the increase in design trends and, the needs due to the lack of free form building design and construction management experience, free form building projects can't be expected to profitability and have a number of problems after completion. Especially, there are many excessive quality problems and the rising cost due to design changes frequently and lack of experience and data. Thus an initial plan regardless of considering of free form building's characteristics can be a huge risk because of the difference with the plan and actual projects, yet there aren't free form building project's performance data and case studies related to productivity. In this study, through selection of low-construction productivity works and an analysis of the work process and productivity data, hope to propose an actual field productivity of free form building and the ways to improve productivity.

• Journal of the Korean Orthopaedic Association
• /
• v.52 no.1
• /
• pp.97-102
• /
• 2017

The incidence of septic arthritis after knee arthroscopy surgery has rarely been reported in approximately 0.04% to 3.4%. Moreover, septic arthritis after arthroscopic meniscal repair is more rare. There have been some reported cases, but in Korea, it has not been reported thus far. Herein, we report two cases of septic arthritis after arthroscopic meniscal repair with review of literature.

• 한국HCI학회:학술대회논문집
• /
• 2007.02b
• /
• pp.445-451
• /
• 2007

시각과 관련된 정서 연구 중에서 색에 대한 연구나 움직임에 대한 연구는 많이 이루어져 왔으나 정적인 형태 자체에서 감성을 불러일으킬 수 있는가에 대한 연구는 많이 이루어지지 않았다. 따라서 이 논문에서는 2차원적인 형태 중, 모든 형태의 기본이 되는 3가지 기본적인 도형(삼각형, 사각형, 원)을 중심으로 도형의 물리적 속성에 따른 감성 차이가 있는지를 살펴보고자 하였다. 도형의 물리적 속성은 물체 인식과 시각 디자인에서 중요시되는 요소인 방향성, 정형성, 비례, 예리함을 중심으로 감성이 어떻게 달라지는지를 살펴보았다. 그 결과 방향성, 정형성, 비례, 예리함에 따라 도형에 따른 감성의 차이가 모두 존재함을 알 수 있었다. 도형간의 차이는 쾌 불쾌 차원에서는 원으로 갈수록 쾌함을 확인했고 각성 차원에서는 삼각형으로 갈수록 각성이 높아짐을 알 수 있었다. 방향성은 수평, 수직보다 기울어진 형태에서 쾌하고 각성이 낮음을 알 수 있었다. 비례는 너비와 높이의 비가 1:1 일 때 각성이 가장 낮고 쾌한 정도가 상대적으로 가장 높음을 알 수 있었고 비정형 도형일수록 불쾌하고 각성이 높음을 알 수 있었다. 아울러 도형과, 방향성 비례 그리고 정형성간의 상호작용 측면도 살펴보았고 어떤 요소가 더 영향을 미칠 수 있는지도 살펴보았다. 이러한 결과를 바탕으로 도형이 어떤 속성이 이러한 감성을 불러일으키는 요인인지를 알아보기 위한 추가실험도 실시하였다. 그 결과 도형의 속성 중 모서리의 예리함이 감성차이를 불러일으킬 수 있는 요인이 될 수 있음을 알 수 있었고 선 형태와의 상호 작용 시 예리함이 감성에 더 영향을 미칠 수 있는 요인임을 추론할 수 있었다. 이러한 도형이 주는 감성 연구는 도형의 감성적인 평가 과정이 인지와 정서간의 관계를 설명해 줄 수 있는 내용이 될 수 있다는 점에서 의의가 있다. 아울러 기본이 되는 도형의 형태로부터 감성의 차이가 있음을 확인함으로써 제품의 물리적 디자인에 대한 가이드라인을 제공해 줄 수 있을 것이라 예상된다. 특히 각성 상태가 인지적 수행에 중요한 영향을 미칠 수 있다는 사실로부터 학습도구에서의 도형의 효과적인 사용을 제안하고자 한다.

• Journal of Korea Water Resources Association
• /
• v.52 no.11
• /
• pp.931-940
• /
• 2019

In hydrologic models, parameters are mainly used to reflect hydrologic elements or to supplement the simplified models. In this process, the proper selection of the parameters in the model can reduce the uncertainty. Accordingly, this study attempted to quantify the uncertainty of SWAT parameters using the General Likelihood Uncertainty Estimation (GLUE). Uncertainty analysis on SWAT parameters was conducted by using the formal and informal likelihood measures. The Lognormal function and Nash-Sutcliffe Efficiency (NSE) were used for formal and informal likelihood, respectively. Subjective factors are included in the selection of the likelihood function and the threshold, but the behavioral models were created by selecting top 30% lognormal for formal likelihood and NSE above 0.5 for informal likelihood. Despite the subjectivity in the selection of the likelihood and the threshold, there was a small difference between the formal and informal likelihoods. In addition, among the SWAT parameters, ALPHA_BF which reflects baseflow characteristics is the most sensitive. Based on this study, if the range of SWAT model parameters satisfying a certain threshold for each watershed is classified, it is expected that users will have more practical or academic access to the SWAT model.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.563-565
• /
• 1999

실시간 시스템은 응용분야의 특성상 높은 신뢰성을 요구하므로 설계시 시스템의 정확성과 안전성을 보장하는 것은 매우 중요하다. 신뢰성 보장을 위한 방법으로 정형기법(formal method)을 이용한 명세 방법이 연구되어 왔다. 정형적인 명세를 사용하는 경우 원하는 시스템의 특성에 대한 검증이 가능하며 자연어로 명세한 경우보다 모호함이 줄어들어 의사소통을 하는데 있어서 명확성을 제공한다. 그러나 이런 장점에도 불구하고 객체 지향 개발 방법론에서의 정형적인 명세에 관한 연구가 미흡하다. 본 논문에서는 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 Timed State Chart(TSC)를 제안한다. TSC는 Statecharts와 같은 계층적 상태 기계 모델(state machine model)로서 다양한 시간 제약사항의 명세를 위해 클릭 변수(clock variable)를 도입하여 실시간 객체(Real-Time Object 또는 RTO)를 명세한다. TSC를 이용하여 기존의 연구에서 표현할 수 없었던 주가와 마감시간과 같은 실시간 시스템의 다양한 요구사항을 효과적으로 표현할 수 있다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.4259-4265
• /
• 2012

Digital technologies and raising problems in freeform building design and construction in Korea were examined in this paper. Three Korean building cases were researched by having interviews with experts and documentary survey for this purpose. The following problems and important points were drawn from this research. The necessity of panel optimization, significance of the secure file conversion, difficulties in securing constructability of freeform building and using of 3D data for manufacturing panels.

• Journal of the Korean Orthopaedic Association
• /
• v.54 no.1
• /
• pp.67-71
• /
• 2019

Klebsiella pneumoniae causes that liver abscess mostly, also spread to pneumonia, meningitis, urinary tract infections. Septic arthritis caused by K. pneumoniae is a quite rare and has not been reported in Korea. Therefore, the authors report a case of the septic arthritis in the knee joint caused by K. pneumoniae in a patient with type 2 diabetes mellitus and osteoarthritis of the knee that successfully treated by early detection and arthroscopic synovectomy.