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

수재해는 수자원 인프라의 부족 및 관리 미흡 등 많은 요인들이 있지만 강우의 유무와 크기가 가장 원초적인 요인들 중 하나이다. 정확한 강우량 추정 및 강우발생시간 예측은 수재해로 인한 피해를 예방하고 빠르게 대처할 수 있다. 그러나 강우예측에는 많은 불확실성을 내포하고 있기 때문에 이러한 불확실성을 이해하고 줄여 나가는 것이 필요하다. 최근 컴퓨터의 성능의 발전에 비례해 강우 예측 자료들도 점진적으로 발전을 거듭하고 있다. 이를 강우-유출 모형에 적용시 유출량 예측의 정확성 또한 비례하여 한층 더 발전할 수 있을 것이다. 하지만 신뢰성이 낮은 입력자료를 대상으로 하는 유출해석 모형은 많은 불확실성을 내포할 것이다. 따라서 본 연구에서는 위천 유역에 대해 LENS(Limited area ENsemble prediction System) 강우앙상블 예측자료의 적용성을 검토하고 그리드 기반 강우 유출 모델 GRM(Grid based Rainfall-runoff Model) 에 적용하여 유출예측의 불확실성을 평가하고자 하였다. 또한 강우예측 및 유출예측은 수 많은 매개변수를 포함하며 최종적인 예측은 더 큰 불확실한 범위로 산출될 수 있다. 이에 따라 본 연구에서는 Python3 기반 코딩으로 LENS 자료 구축 및 GRM 모형의 매개변수 보정을 각 2000회 씩에 걸쳐 총 2회 실시하여 수문학적, 지형학적 인자에 따른 불확실성 범위를 보정하고자 하였다. 매개변수의 보정은 비정형우도(Informal likelihood) NSE, 정형우도(Formal likelihood) Lognormal(Log-likelihood function)의 우도에 따른 행위모델을 산정하여 보정하였다. 따라서 본 연구에서는 선행연구들을 참고한 정형, 비정형 우도의 임계치를 이용한 불확실성해석에 적용하였으며 이는 사용자의 행위모델선정 임계치 범위 선정으로 인한 불확실성을 줄여나감에 기여할 수 있을것으로 사료된다.

• Journal of the Korean Orthopaedic Association
• /
• v.56 no.5
• /
• pp.377-390
• /
• 2021

Reverse total shoulder arthroplasty (RTSA) is a surgical method that has recently been conducted in widely irrepairable rotator cuff tears with pseudoparalysis, cuff tear arthropathy, and osteoarthritis of the shoulder joint. Several topics can be described, but this review article provides an opinion on the criteria for the choice of implant in RTSA.

• Korea Science and Art Forum
• /
• v.37 no.4
• /
• pp.205-216
• /
• 2019

Today, there have been more museums with architectural freeform structure. From an academic perspective, that caused a change in the paradigm of the genealogy of architectural forms. Accordingly, it has been required to find whether the freeform architecture influences an exhibition space. Therefore, in order to analyze the correlation between freeform architecture and exhibition space, this study looks into the tendency of actual freeform architecture through case analysis after 2000. An exhibition space of museum serves as a socially, culturally, and locally symbolic icon and has the function of delivering information to viewers through the aesthetic presentation of articles on exhibition. This study is meaningful in the point that it drew the conclusion of the correlation between freeform architecture and exhibition space in order to infer that a freeform exhibition space is more effective at viewers' spatial experience. The method and results of this study are presented as follows: Firstly, literature survey on the concept of the freerform architecture of museum and the classification of architectural forms was conducted and previous studies were analyzed in order to establish criteria. Secondly, a case study was conducted through visits to Singapore, Germany, and the Netherlands in order to look into the current state and characteristics of freeform architecture and exhibition space. In this case, Karel Vollers' architectural freeform criteria were used for analysis. Thirdly, to prove the correlation between freeform architecture and exhibition space, each case was cross-checked on the basis of Karel Vollers' architectural freeform criteria and freeform exhibition classification, and then results were drawn. The study results are presented as follows: Firstly, EX(angle, ortho) of freeform architecture had a significant correlation with the diagonal form of exhibition space. That was proved 92.3% accurately more in the Netherlands and Germany than in Singapore. However, the curve form of exhibition space had a unclear correlation. In Singapore case, the curve form correlation was made through RO, FR, and TW. Secondly, freeform architecture had complex-typed combination with the diagonal and curve forms of exhibition space. In particular, N-02 and G-02 had a combination form, basically EX, and partially various forms so as to induce the complexity of free form. As such, architectural freeform makes it possible to achieve infinite transformation in various combinations. For responses, combinational approaches are required in multilateral ways. Based on this study, it will be planned to analyze the correlation between freeform architecture of museum and exhibition presentation.

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

Purpose: The purpose of this study was to evaluate the radiologic features of juxtafacet cyst and determine the correlation between these features and clinical outcome. Materials and Methods: We analyzed a total of 23 patients. The degree of facet joint degeneration was classified using the Fujiwara method. The facet joint angles were measured with an magnetic resonance imaging to determine whether there was a difference between the cystic lesion that was occupied and the cystic lesion that was not occupied. Disc degeneration was measured by the Pfirrmann classification method. The clinical result was evaluated using the Oswestry disability index score and visual analogue scale. Results: The L4-5 level of juxtafacet cyst was mostly affected, as found in previous studies. Facet joint arthritis was more severe within the side with the cystic lesion. Significant correlation was found between disc degeneration and juxtafacet joint cyst. All patients underwent wide decompression and fusion. Clinical result was excellent. No patients had signs of recurrence during the follow-up periods. Conclusion: Juxtafacet cyst has a significant correlation with facet joint degeneration. Therefore, aggressive surgical treatment-not just simple cyst excision-should be considered as the treatment option for juxtafacet cyst associated with degenerative lumbar disease.

• Journal of the Korean Orthopaedic Association
• /
• v.56 no.1
• /
• pp.82-86
• /
• 2021

A traumatic sternal segment dislocation in children is very rare. Of the few cases reported, some recommended surgical treatment, while others reported good results by conservative treatment. Therefore, the treatment remains unclear. This paper reports a case of completely remodeled traumatic sternal segment dislocation in a 13-year-old boy treated by the restriction of activity and periodic observations.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.05d
• /
• pp.661-664
• /
• 2002

컴포넌트를 개발하는데 있어서 컴포넌트 명세의 정확성과 명세의 검증을 통하여 에러를 찾아 낸다는 것은 컴포넌트의 전체 품질에 매우 중요한 의미를 갖는다. 그러나, 기존의 컴포넌트 명세는 구문적인 측면은 잘 정의하고 있지만, 의미적인 측면은 자연어를 사용하여 모순과 모호성이 흔히 발생한다. 컴포넌트 명세에 있어서 정형적 문법을 사용할 경우 이러한 모호성을 제거함으로써 명세 오류들을 매우 효과적으로 줄여준다. 본 논문에서는 컴포넌트의 품질을 높일 수 있도록 분석력과 논리성이 검증된 정형 명세 언어 Z의 스키마 확장을 이용하여 컴포넌트를 명세하므로써 컴포넌트 구현 및 사용상의 오류를 분석할 수 있는 방법을 제안한다.

• 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 채널을 통해 생성된 비정형 데이터들을 인공신경망모형에 적용하여 하천수위를 예측하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.406-411
• /
• 2006

DO-178B는 항공분야 소프트웨어의 안전성 인증 기준으로서 실질적인 국제 표준으로 인정받고 있다. 그러나 목표달성 중심의 기준만을 제시함으로써 안전성 분석 및 검증에 대한 구체적인 가이드라인의 부족이 문제시 되어왔다. 본 논문을 통해 DO-178B의 취약점을 분석하고 정형기법을 적용한 개선방안을 제시한다. DO-178B 내용 중 정형기법을 적용하여 수행되어야 할 활동 요소들을 식별하고 정형언어를 통한 설계와 검증, 그리고 그 결과에 대한 증빙자료의 제출을 기준에 포함시킴으로써 개발 활동의 방향과 범위를 명확히 하고 인증 절차의 투명성을 향상시킬 수 있다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.2
• /
• pp.141-148
• /
• 2006

This paper suggests method of safe security S/W by verifying and its result of formal verification tool. We will survey many formal verification tools and compare features of these tools. And we will suggest what tool is appropriate and methodogoly of developing safe security S/W. The Z/EVES is the most appropriate tool. This paper proposes formal verification of ACS by using RoZ tool which is formal verification tool to create UML model. The specification and verification are executed using Z/EVES tool. These procedures can find weak or wrong point of developed S/W.