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

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

• 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 the KSME
• /
• v.50 no.2
• /
• pp.28-35
• /
• 2010

최근 학문간의 장벽이 무너지고 융합학문이 큰 이슈가 되면서 다양한 결합이 시도되고 있다. 의학분야중 특히 정형외과 분야는 기계공학의 고체 및 바이오공학과의 융합연구로 매우 매력도가 높은 분야이다. 이 글을 통해 정형외과 분야 중 슬관절 분야가 기계공학도에게 왜 흥미로울 수밖에 없는가에 대해서 몇 가지 내용들을 소개하고자 한다.

• Clinical and Experimental Pediatrics
• /
• v.45 no.3
• /
• pp.376-382
• /
• 2002

Purpose : To identify clinical and laboratory features of atypical Kawasaki disease(KD), and to develop criteria for early diagnosis of atypical KD patients. Methods : All patients with KD treated at our hospital from January 1998 to June 2000 were reviewed retrospectively. Results : Among a total of 167 patients, 28(16.8%) were atypical KD of which seven(25%) were infants. Among the five cardinal symptoms, oral mucosal change(96.4%) occurred most frequently, followed by conjuntivitis(57.1%) and rash(46.4%). Most notable laboratory findings were anemia, and increased erythrocyte sedementation rate(ESR) or C-reactive protein(CRP). Coronary artery abnormalities developed in seven(25.8%) atypical KD patients, compared with 14.4% in typical KD patients. We considered oral mucosal change as major criterion, and conjunctivitis, rash, hematocrit <35% and ESR >30 mm/hr or CRP >3.1 mg/dL as minor criteria. Proposed modification in diagnostic criteria for atypical KD include fever of ${\geq}5$ days＋major criterion＋${\geq}2$ minor criteria, or fever of ${\geq}5$ days＋4 minor criteria. Conclusion : The modified diagnostic criteria has yielded a sensitivity 89.3%. Our diagnostic criteria may be used for early diagnosis of atypical KD.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• Journal of the Korean Orthopaedic Association
• /
• v.55 no.6
• /
• pp.487-494
• /
• 2020

Purpose: No attempt has been made to identify the relationship between the study characteristics and citation rates of articles published in the Journal of the Korean Orthopaedic Association (JKOA). This study classified the study characteristics of articles in the JKOA and analyzed the relationship between the study characteristics and citation rates. Materials and Methods: A cohort study was conducted on all articles published from February 2001 to December 2015. Three independent reviewers classified the articles according to the article type, material, time of the study, design, clinical categories, number of authors, and number of cases. The citation numbers of each article by other journals were taken in January 2020. Univariate analyses were conducted to assess the effect of each characteristic, and multivariate linear regression analysis was performed to analyze the overall relationship between the characteristics and the citation rates. Results: A total of 1,640 articles were published from 2001 to 2015, and 724 articles were cited more than once. The articles published in 2009 had the highest average number of citations. Original articles had the highest citation rates, followed in descending order by surgical techniques and reviews, instructional course lectures, and case reports (p<0.001). Among the case reports, articles dealing with general trauma scored significantly higher average citations (mean=1.5, p=0.006). Among the original articles, articles on general orthopedics had the highest citation rates, followed in order by clinical articles and experimental articles. Among the clinical articles, epidemiologic studies (mean=5.0, p<0.001) and studies on the spine (mean=1.7, p<0.001) recorded significantly higher citation rates than the others. Conclusion: Of all the articles published in the JKOA from 2001 to 2015, articles dealing with general trauma had the highest citation rates among case reports. Among the original articles, epidemiologic studies and studies concerning the spine were cited significantly more than others.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.335-338
• /
• 2016

최근 디지털 정보들은 각종 매체에 저장되어 다양하게 활용되고 있다. 그 중 범죄관련 비정형데이터의 분석과 활용은 범죄수사에 유용한 자료로 활용될 수 있다. 그러나 기존의 범죄통계 자료의 분석 및 활용은 정형데이터를 이용한 제한적 접근에 그치고 있다. 따라서, 본 논문은 수사 자료 중 처리되지 못한 비정형데이터를 분석, 저장, 처리하여, 수사 자료로 활용할 수 있도록 정형데이터화 함으로 범죄 프로파일링에 도움이 될 것으로 기대된다.

• 대한정형외과스포츠의학회:학술대회논문집
• /
• 2005.04a
• /
• pp.39-39
• /
• 2005

• 대한정형외과스포츠의학회:학술대회논문집
• /
• 2002.11a
• /
• pp.22-23
• /
• 2002

• 대한정형외과스포츠의학회:학술대회논문집
• /
• 2005.11a
• /
• pp.38-38
• /
• 2005