• Journal of Korean Orthopaedic Sports Medicine
• /
• v.10 no.1
• /
• pp.13-17
• /
• 2011

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.7
• /
• pp.1019-1025
• /
• 2022

In recent years, the number of foot disease patients due to bad walking habits and living environment is increasing. We examine how patients with mild foot disease according to shoe design characteristics affect satisfaction and purchase intention when purchasing orthopedic shoes. The design characteristics of shoes consisted of functionality, convenience, and aesthetics. It was found that aesthetics had an effect on purchasing orthopedic shoes. Even if the factors of functionality and convenience have little effect, if the aesthetic is high, purchase intention and satisfaction are affected. Various elements are required for design according to the frequency of participation in social activities for each mild foot disease and the purpose of wearing it. It is expected that the development of useful orthopedic shoe designs that patients with mild foot disease can wear in their daily life will lead to practical application and satisfaction by further supplementing the characteristic factors of orthopedic shoe design identified through the research results.

• Annual Conference of KIPS
• /
• 2016.10a
• /
• pp.433-435
• /
• 2016

기술의 발전에 따라 첨단무기체계인 군용항공기는 전투임무 수행시 내장형소프트웨어(Embedded Software)를 통해 기체내의 항공전자 장치, 항법장치, 조종장치 등의 물리적 기계적 움직임을 제어하고 있으며, 내장형 소프트웨어의 비율은 점점 증가하고 있다. 기체의 물리적 기계적 움직임이 내장형 소프트웨어에 의해 제어 되기 때문에 군용항공기의 전투능력 보존과 국방 목적의 수행을 위해선 먼저 내장형 소프트웨어 고유의 특성을 만족하고, 나아가 소프트웨어 안전성, 신뢰성, 보안성을 확보하는 것이 필요하다. 본 논문에서는 설계 단계에서 스케줄성에 대해 정형검증 하여, 내장형 소프트웨어의 실시간성, 결정성, 생존성을 보증하고, 이러한 과정을 통해 전체적인 소프트웨어 안전성, 신뢰성, 보안성을 향상시키는 방안을 연구하며, 추가로 2011년 발표된 항공 소프트웨어 표준인 DO-178C에서 요구하는 정형검증을 적용한 국내 감항인증 표준 제정의 확대방안을 연구한다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.10 no.3
• /
• pp.59-70
• /
• 2021

With the recent advancements in the Internet of Things, context-aware system that provides customized services become important to consider. The existing context-aware systems analyze data generated around the user and abstract the context information that expresses the state of situations. However, these datasets is mostly unstructured and have difficulty in processing with simple approaches. Therefore, providing context-aware services using the datasets should be managed in simplified method. One of examples that should be considered as the unstructured datasets is a deep learning application. Processes in deep learning applications have a strong coupling in a way of abstracting dataset from the acquisition to analysis phases, it has less flexible when the target analysis model or applications are modified in functional scalability. Therefore, an abstraction model that separates the phases and process the unstructured dataset for analysis is proposed. The proposed abstraction utilizes a description name Analysis Model Description Language(AMDL) to deploy the analysis phases by each fat client is a specifically designed instance for resource-oriented tasks in edge computing environments how to handle different analysis applications and its factors using the AMDL and Fat client profiles. The experiment shows functional scalability through examples of AMDL and Fat client profiles targeting a vehicle image recognition model for vehicle access control notification service, and conducts process-by-process monitoring for collection-preprocessing-analysis of unstructured data.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.118-118
• /
• 2019

현재 홍수예보는 정형데이터인 유량 및 수위 등을 활용하여 이뤄지고 있다. 하지만 실제 사람들이 체감하는 홍수에 대한 위험도는 홍수예보 발령과는 달라 홍수예보가 이뤄지지 않은 지역에서 인명사고가 발생하기도 한다. 이는 수위 측정이 이뤄지지 않는 소규모 하천이나 사람들의 유동성이 큰 도심지역에서 빈번하게 발생한다. 이를 보완하기 위해서는 사람들의 체감 정도 및 인구의 유동성을 고려한 비정형데이터를 활용해야 한다. 특히 소셜 네트워크 서비스(Social Network Commuinty, SNS)를 사용하는 사람들이 많아지면서 기존에 사용되어 왔던 정형데이터 센서 이외의 데이터를 제공한다. 또한 개개인이 작성하는 글은 실시간으로 활용이 가능하여 인구의 유동성 및 시 공간적 데이터를 얻기에 유용하여 활용성이 매우 높은 비정형데이터이다. 따라서 본 연구에서는 SNS 데이터를 추출하고 이를 분석하여 2018년에 발생했던 강우사상과의 패턴을 비교하여 홍수예보에서의 활용성을 분석하였다. 홍수와 관련한 키워드를 중심으로 시 공간적 정보 및 추출이 가능한 웹 크롤러(Web Crawler) 프로그램을 작성하였으며 이를 토대로 데이터를 수집하였다. 수집한 데이터와 실제 홍수사상을 비교 분석을 한 결과 강우량 및 수위와 해당 지역에 대한 데이터의 양이 유사한 패턴을 보인 것으로 확인되었다. 실시간으로 데이터를 수집하고 이를 분석하여 리드타임을 충분히 확보한다면 홍수예측에 활용 가능할 것이라 생각된다. 본 연구는 한국건설기술연구원 19주요-대4-시드사업인 '커뮤니티 빅데이터 패턴 해석을 통한 수난(水難) 발생 및 규모 예측 기술 개발(20190126-001) '로 수행되었습니다.

• Journal of the Korean Orthopaedic Association
• /
• v.56 no.3
• /
• pp.261-265
• /
• 2021

A diagnosis of gout is often straightforward because gout has well known clinical presentations, laboratory analyses, and radiologic features. On the other hand, gout can mimic other diseases by showing a range of atypical clinical manifestations. This paper reports a 35-year-old male with no prior history of gout who developed tophaceous gout at his previously repaired Achilles tendon 11 years after surgery. He was initially misdiagnosed with cellulitis because of his atypical clinical features. This case is presented with a review of the relevant literature.

• Journal of the Korean Orthopaedic Association
• /
• v.54 no.3
• /
• pp.281-286
• /
• 2019

Avascular necrosis (AVN) is defined as the cellular death of bone and bone marrow components due to the loss of blood supply, and associated with post-traumatic or non-traumatic events. AVN usually involves the epiphysis of a long bone, such as the femoral and humeral heads, which are susceptible to osteonecrosis. Many studies have been conducted but they were restricted to investigations of femoral head avascular necrosis. The presence of osteonecrosis in the proximal femur may impair biological fixation after total hip arthroplasty. We report a 56-year-old male patient with avascular necrosis located not only at the femoral head, but also in the entire femur, including the medullary cavity, who underwent total hip arthroplasty 2 years earlier along with a review of the relevant literature.

• Journal of the Korean Orthopaedic Association
• /
• v.56 no.6
• /
• pp.519-524
• /
• 2021

Meningitis after spinal surgery occurs rarely but can be fatal. A 49-year-old male was diagnosed with compressive myelopathy due to cervical disc herniation at the C 5, 6 level and underwent anterior cervical discectomy and fusion (ACDF). He complained of severe neck pain and stiffness with fever postoperatively and one week after surgery, the patient presented with abrupt tetraplegia. The follow-up magnetic resonance imaging and cerebrospinal fluid analysis revealed bacterial meningitis complicated by myelitis. The patient was treated with antibiotics and steroid, but the outcome was poor. The authors report a case of meningitis combined with myelitis following anterior cervical spinal surgery.

• Journal of the Korean Orthopaedic Association
• /
• v.54 no.2
• /
• pp.182-186
• /
• 2019

Giant cell tumor is a benign but locally aggressive tumor with common recurrence. Most cases occur around the knee joint. Giant cell tumor of the foot is rare and very few cases involving the first metatarsal have been reported. Its characteristics and treatment in adult patients remain unclear. This paper reports a case of recurrent giant cell tumor at the first metatarsal that was excised surgically and subsequently reconstructed with non-vascularized fibula graft.