• Journal of the Korean Orthopaedic Association
• /
• v.54 no.5
• /
• pp.393-401
• /
• 2019

The shoulder pain is one of the most common problems to orthopaedic surgeons in clinic. Among therapeutic modality used to manage this pain, joint and periarticular injection, as well as suprascapular nerve block, show good clinical outcome. Ultrasound guidance is a safe technique, increasing the safety and accuracy of the procedure and reducing complications. An accurate understanding of the surface anatomy is important in performing the ultrasound-guided shoulder injections. This article aims to describe the surface anatomy and sono anatomy of both the shoulder and the surrounding structures and also summarize different infiltration techniques and peripheral nerve blocks.

• Korean Journal of Construction Engineering and Management
• /
• v.15 no.4
• /
• pp.95-106
• /
• 2014

The outer surfaces of free form buildings contain panels with two-directional curvatures. To construct these panels, complex geometric surfaces should be divided into forms and sizes that can be manufactured and constructed efficiently. Because the bigger the curvatures of these panel, the more expensive the construction costs, these complex curvatures should go through optimal process of reinterpretation to minimize the curved surfaces with complex two-directional curvatures, which is called panel optimization. Small construction and design companies have trouble in calculating even rough estimate and cannot adjust expected construction cost of the panels based on comparison of design alternatives in conjunction with panel optimization process due to lack of knowledge and experience. This study conducts the research that can support designers' cost decision-making in the design stage of the free form buildings with respect to the panel optimization process. A 3D commercial application specialized to modeling free form shapes is used for the purpose.

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

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.111-114
• /
• 1998

본 논문에서는 CPU의 역할을 최대한으로 줄이고, 고속으로 트패픽을 정형화 하는 효율적인 정형화기를 설계하였다. 기존에 제시되었던 대부분의 정형화 알고리즘들은 큐를 가지고 CPU에 의해 소프트웨어적으로 트래픽 정형화를 수행하게 된다. 본 논문에서는 주로 하드웨어적으로 정형화 작업을 수행하여 CPU의 부하를 줄여 고속으로 정형화를 수행할 수 있도록 BOP(Bandwidth Oriented Priority) Markovian 정형화기와 Circular 정형화기를 설계하고 시뮬레이션을 수행하였다.

• Communications of Mathematical Education
• /
• v.19 no.1 s.21
• /
• pp.271-290
• /
• 2005

오래 전부터 수학과의 연구는 학생들의 문제 해결력에 관하여 집중되어 온 것이 사실이다. 그럴 때마다 수학적 사고력에 관한 연구도 상당히 많은 부분이 있어 왔다. 본고에서는 학생들의 수학적 사고를 돕기 위한 방법으로 메타 인지를 강조함으로써 보다 까다로운 (비정형) 문제들의 문제 해결을 돕고자 하였다. 따라서 메타 인지를 유발하는 수업(소수 학습)을 통하여 학생들의 문제 해결력(정형 - 비정형)에서 유의미한 차이가 있는지를 알아보고, 궁극적으로는 메타 인지적 사고가 비정형 문제들을 해결하는 데 미치는 영향을 밝혀 수학 학습의 발전 방안을 찾고자 한다.

• Review of KIISC
• /
• v.5 no.1
• /
• pp.25-46
• /
• 1995

소프트웨어 개발에서, 사용자 요구 사항을 잘 표현하면 할수록 시스템은 오류가 적고, 사용자가 요구하는 시스템으로 만들어지며, 시스템 검증이 쉬워지는 것 같이, 정형적 사양(formal specification)은 시스템 개발 전반에 영향을 준다. 이 정형적 사양은 암호 프로토콜이 완전(completeness)하고 안전(soundness)한가를 검증하는 데에도 유용하게 사용될 수 있다. 암호 프로토콜을 사양하고 분석하는 방법은 크게 대수적, 논리적, 상태 변환적 접근 방법등과 통신 프로토콜의 검증에 쓰는 패트리넷을 이용한 방법등이 있다. 이들 방법중에는 프로그램으로 구현되어 자동 검증 tool로 개발된 사례도 있다. 본 고에서는 암호 프로토콜을 위한 사양 기법과 그에 따른 분석 기법을 알아보고 그것들을 비교, 분석하였다.

• Journal of Korean Orthopaedic Sports Medicine
• /
• v.6 no.1
• /
• pp.27-32
• /
• 2007

골연골 병변에 관한 논문들을 살펴본 결과, 연구 방법, 각기 다른 치료 방법에 의해 얻어진 결과가 상당한 가변성을 보였다. 현 시점에서 골연골편 제거술 및 병변의 변연 절제와 천공술 그리고 자가 골연골 이식술 등이 가장 널리 이용되고 있으며 효과적인 치료 방법으로 사료된다. 그러나 가장 적절한 치료 수단이 무엇인지에 대한 명확한 결론을 유추하기 위해서는 무작위 임상 실험과 동일한 연구 방법에 의한 결과 측정의 비교가 우선되어져야 할 것으로 사료된다.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.62-70
• /
• 2001

Correct descriptions for software component functions become a strong requirement in developing critical software especially on the area of real-time applications. In this paper, we introduce both formalization of software design using patterns and verification methods in order for the components to increase their understandability. In particular, the paper investigates into a means of formal description techniques based on VDM++ for the software components, and provides adequacy proof steps for a given functional descriptions.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.25-27
• /
• 2002

반응형 실시간 시스템의 특성을 가진 원자력 발전소 제어시스템은 안정성이 크게 중요시되며, 소프트웨어의 오류가 많은 인적 물질적 피해를 줄 수 있는 시스템이므로 높은 신뢰도를 가지고 있는 소프트웨어가 요구된다. 높은 신뢰도를 뒷받침하기 위해 내장되는 소프트웨어는 적합한 정형명세기법과 정형검증기법의 적용이 필요하다. 소프트웨어 개발시 적용되는 정형기법은 명세의 모호성을 제거하고 검증을 수행하기에 용이하게 하므로, 높은 신뢰도를 요구하는 반응형 실시간 시스템인 원자력 분야의 소프트웨어 개발에 유용하다. 그러므로, 본 논문에서는 반응형 실시간 시스템의 특성을 가진 원자력분야의 소프트웨어 개발시 유용하게 적용할 수 있는 정형기법을 기반으로 한 소프트웨어 개발 방법론을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.421-423
• /
• 2002

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 복잡하고 구성요소가 다양한 웹 프로그램의 기능을 정형적 명세를 이용하여 핵심적으로 나타내고 이를 이용하여 웹 프로그램의 실행 동작을 테스트할 수 있는 과정을 제안하고 실험하였다. 실험 대상은 웹 뱅킹 업무로 정하고 정형화 명세에서 상태 천이도를 구성하고 테스트 시나리오를 추출하는 방법을 기술하였다. 제안한 방법은 웹 프로그램의 사용 기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요란 요소가 될 수 있다.