• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.110-112
• /
• 2012

정형기법은 소프트웨어 및 하드웨어 시스템의 요구사항을 모순, 모호함 없이 정확하게 명세하고 검증할 수 있는 방법으로, 안전성이 중요한 소프트웨어에 많이 적용되어 반드시 보장되어야 할 속성을 소프트웨어가 만족하는지 확인하는데 사용되고 있다. 본 논문은 정형기법 커뮤니티에서 선정한 여러 도전 과제 중 하나인 인공 심장 박동기(pacemaker)를 실시간 속성을 표현할 수 있는 정형기법 도구인 UPPAAL을 사용하여 모델링하고 주요 속성을 검증하였다. 이를 통해 실시간 속성으로 인해 명세 및 검증하기 힘든 소프트웨어에 정형기법을 적용하여 안전성을 확인할 수 있음을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
• /
• pp.406-411
• /
• 2006

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.427-429
• /
• 2005

원자력 발전소의 제어 시스템은 safety-critical 소프트웨어로서 안정성이 중요시되는 시스템이다. 최근 기존의 시스템이 PLC 기반의 디지털 제어장치로 대체되면서 이에 사용되는 소프트웨어의 안정성과 품질을 보장하기 위한 정형검증 기법이 요구되고 있다. 특히 PLC 프로그램의 설계에 사용되는 FBD의 모델체킹을 통한 정형검증에 대한 연구는 미비한 수준이다. VIS 검증기는 위의 요구에 부합하는 도구로서 이를 사용하면 여러 종류의 정형 검증이 가능하다. 본 논문에서는 VIS를 이용한 FBD의 검증을 위해서 FBD를 Verilog로 변환 하는 기법을 제안한다. 제안하는 방법의 효율성을 검증하기 위해서 현재 KNICS 사업단에서 개발중인 APR-1400용 원자로 보호 시스템의 운전정지회로를 예로 사용하였다.

• 한국주거학회:학술대회논문집
• /
• 한국주거학회 2005년도 추계학술대회 논문집
• /
• pp.263-268
• /
• 2005

The aim of this study was to analyse the design characteristics of court housing. In spite of changes of housing design condition, especially density, there have been changes only in the height of housing block, not in the housing types, layout system and other design properties. Due to the situation, housing design in Korea has been criticised as too routine and monotonous one. As one of the alternatives to respond to the criticism, this study focused on the positive aspects of the court housing type, and suggested the design strategies throughout the analysis of 8 entries in the design competition of EunPyeong NewTown, which attempted to overcome the negative problems - mainly the daylighting, orientation, and privacy- of this housing type. Throughout the analysis, there suggested design strategies to respond to the problems of court housing type, which can be the basis for the court housing design in Korea.

• 대한정형외과학회지
• /
• 제55권4호
• /
• pp.294-304
• /
• 2020

전방십자인대 재건술은 수술의 시기, 수술 기법, 이식건의 선택 및 고정 방법, 재활 등 각각의 수술 과정을 성공적으로 수행해야하는 수술이다. 여러 과정들 중에서 이식건의 선택과 고정 방법은 아주 중요한 과정 중에 하나이지만 아직 술자들 간에 많은 논쟁의 여지가 있다. 이식건의 장단점에 관해 많은 연구들이 진행되고 있지만 여전히 이상적인 건에 대한 결론은 없다. 이와 유사하게 대퇴터널 및 경골터널 고정 방법에 대해서도 최근 많은 방법들이 개발되고 소개되고 있지만 그중에서 가장 좋은 방법을 찾지 못한 상태이다. 그래서 술자는 다양한 이식건과 고정 방법에 대하여 익숙해져야 하며 각각의 방법에 대한 장단점을 잘 알고 있어야 할 것이다. 따라서 본 종설은 전방십자인대 손상에서 이식건의 선택과 고정 방법에 대하여 지금까지 밝혀진 연구들을 분석하고 이에 관해 논의하고자 한다.

• 한국패류학회지
• /
• 제31권1호
• /
• pp.9-19
• /
• 2015

피뿔고둥, Rapana venosa의 정소소엽 내에서 정자형성과정 중에 생성되는 정상적인 생식세포의 발달과 함께 섞이어 일정 시기에만 출현하는 비정형세포들을 미세구조적으로 관찰하였고, 또한 정소 발달단계에 따른 저정낭 내층 상피세포들의 주기적 변화를 조직학적 관찰에 의해 조사하였다. 생식세포의 발달단계는 정원세포기, 정모세포기, 정세포기, 정자기로 나누어지며, 정모세포기는 다시 제1 정모세포기와 제2 정모세포기로 세분할 수 있어, 총 5 단계로 구분할 수 있었다. 정상적인 웅성생식세포들의 분화와 발달과정은 다른 복족류 종들과 유사하였다. 정자는 길이가 대략 $50{\mu}m$ 정도이었다. 정자의 미부 편모의 악소님 (axoneme) 은 주변에 9쌍의 미세소관들과 중앙에 1쌍의 미세소관들로 구성되어 있다. 즉, 9+2 구조를 이루고 있다. 특히, 대형 복족류 중 뿔소라과 피뿔고둥의 경우는 예외적으로 다른 이매패류나 두족류 등과 달리 정소소엽 내에서 정자형성과정 중에 정상적인 생식세포들 사이에서 총 4종 (Type IA, IB, Type IIA, IIB) 의 비정형세포들 (atypical cells) 이 함께 출현하는 특징을 보이고 있는데, 이러한 현상은 대형 복족류의 단지 소수의 종들에 한하여 출현하는 예외적인 특이한 현상이라 할 수 있다. 그러나 비정형세포들은 저정낭의 여러 단계 중 내층 상피세포들 내에서는 발견되지 않았다. 추측컨대 몇 가지 비정형세포들은 리소좀-모양의 공포들이나 리소좀-모양의 소체들을 가지는데, 이들은 정소소엽 내에서 붕괴나 그 자신들의 흡수에 관여하는 것으로 추정된다. 상당량의 정자들이 정소소엽 내에서 형성되어, 그들의 일부는 7월 말까지 정소에서 저정낭으로 이동된다. 교미 성기는 6-7 월 사이이었다. 피뿔고둥 저정낭 발달단계의 주기적 변화는 (1) S-1 단계 (휴지단계), (2) S-II 단계 (축적단계), 그리고 S-III 단계 (배정단계) 의 3 단계로 구분되었다.

• 대한족부족관절학회지
• /
• 제22권3호
• /
• pp.116-119
• /
• 2018

Gout occurs mainly in monoarthritis and is found in more than 50% of cases in hallux of the foot. In addition, symptoms sometimes begin in the hand, wrist, and elbow, but they are rarely observed in the spine. The patient was referred for tuberculous polyarthritis due to antituberculosis drug failure. Inflammatory findings were observed in the lumbar, elbow, wrist, hand and foot areas. Surgery was performed on the foot area and a pathology diagnosis revealed gouty arthritis. We report this case with a review of the relevant literature.

• 대한정형외과학회지
• /
• 제55권3호
• /
• pp.266-270
• /
• 2020

뇌전증에 의한 전신 발작 시 발생한 강력한 근육 수축에 의한 근골격계 손상이 발생할 수 있다. 외상 및 기저질환 없이 전신 발작 후 발생한 다발성 흉추 골절에 대한 국외 증례는 많지만 국내의 연구나 증례보고는 없다. 이전에 골다공증이나 특이 질환이 없는 42세 남자 환자의 수면 중 전신 간대성 발작에 의한 다발성 흉추 골절을 진단하였기에 증례를 보고하는 바이다.

• 대한정형외과학회지
• /
• 제56권6호
• /
• pp.530-534
• /
• 2021

소아, 특히 유아의 치상돌기 골절은 매우 드물고, 따라서 그 진단 및 치료에 대하여 정립된 기술을 쉽게 볼 수 없다. 특히 전위가 심한 경우 보존적 혹은 수술적 치료 중 무엇을 적용해야 할지 결정하기가 어렵다. 이론적으로 수술적 고정을 통해 골절의 조기 정복과 견고한 유지가 가능할 것으로 보이나, 작고 연약한 소아에서 안전하게 수행되기가 쉽지 않고, 환축추 관절의 영구적 고정이라는 문제가 남는다. 저자들은 교통사고로 발생한 2세 여아의 고도 굴곡 전위된 치상돌기 골절 1예를 보존적으로 치료하여 양호한 결과를 얻었기에 이 체험을 문헌 고찰과 함께 보고하는 바이다.

• 대한정형외과학회지
• /
• 제56권4호
• /
• pp.341-345
• /
• 2021

슬개골하 지방괴는 슬관절 전방 부위에 위치한 세 가지의 지방괴 중 하나로 슬개골하 지방괴의 손상이 비교적 흔하며, 원인은 주로 수술에 인한 의인성 손상 및 충돌 등에 의한 반복적인 미세 외상 등으로 알려져 있다. 저자들은 국내 및 국외에 보고된 적이 없는 슬관절의 과굴곡 상태로 전면부에 좌상을 입은 후 발생한 슬개골하 지방괴의 급성 분리 손상을 자기공명영상을 통해 확인하였고, 이를 보존적으로 치료하여 완치된 1예를 경험하였기에 보고하는 바이다.