부주상골을 동반한 이분 내측 설상골: 증례 보고

이태훈,남일현,문기혁,이영현,안길영,이영훈,Lee, Tae-Hoon,Nam, Il-Hyun,Moon, Gi-Hyuk,Lee, Yeong-Hyeon,Ahn, Gil-Yeong,Lee, Young-Hoon 대한족부족관절학회 2015 대한족부족관절학회지 Vol.19 No.1

Accessory navicular is a congenital anomaly appearing in the secondary ossification center on the tuberosity of the navicular that may cause flatfoot. Bipartite medial cuneiform is another rare congenital anomaly occurring as two primary ossification centers in the medial cuneiform. The authors report a rare case of symptomatic bilateral accessory navicular with bipartite medial cuneiform and flatfoot deformity in a 19-year-old man with a review of the literature.

대용변수를 이용한 가변형 부분군 크기 ${\bar{X}}$ 관리도의 경제적 설계

이태훈,이민구,권혁무,홍성훈,이주호,Lee, Tae Hoon,Lee, Min Koo,Kwon, Hyuck Moo,Hong, Sung Hoon,Lee, Jooho 한국품질경영학회 2017 품질경영학회지 Vol.45 No.4

Purpose: This paper proposes a VSS(Variable Sample Size) ${\bar{X}}$ control chart using surrogate variable and shows its effectiveness compared with FSS(Fixed Sample Size) ${\bar{X}}$ control chart using either performance variable or surrogate variable. Methods: The expected cost function of VSS ${\bar{X}}$ control chart is derived. The optimal designs are then found for numerical examples using a GA(genetic algorithm) and compared to those of the FSS ${\bar{X}}$ control charts. Results: Computational results show that VSS ${\bar{X}}$ control chart using surrogate variables is superior to FSS ${\bar{X}}$ control chart using either performance variable or surrogate variable from the economic view points. Conclusion: The proposed VSS ${\bar{X}}$ control chart will be useful in industry fields where a performance variable is not avaliable or too costly.

대용변수를 이용한 $\bar{X}$ 관리도의 경제적 설계

이태훈,이재훈,이민구,이주호,Lee, Tae-Hoon,Lee, Jae-Hoon,Lee, Min-Koo,Lee, Joo-Ho 한국품질경영학회 2009 품질경영학회지 Vol.37 No.2

The traditional approach to economic design of control charts is based on the assumption that a process is monitored using a performance variable. However, various types of automatic test equipments recently introduced as a part of factory automation usually measure surrogate variables instead of performance variables that are costly to measure. In this article we propose a model for economic design of a control chart which uses a surrogate variable that is highly correlated with the performance variable. The optimum values of the design parameters are determined by maximizing the total average income per cycle time. Numerical studies are performed to compare the proposed $\bar{X}$ control charts with the traditional model using the examples in Panagos et al. (1985).

변형 Weil 절골술의 중족지 단축 효과를 이용한 Freiberg병의 치료

이태훈,이영현,안길영,남일현,이경진,우상원,Lee, Tae-Hoon,Lee, Yeong-Hyeon,Ahn, Gil-Yeong,Nam, Il-Hyun,Lee, Kyung-Jin,Woo, Sang-Won 대한족부족관절학회 2021 대한족부족관절학회지 Vol.25 No.4

Purpose: This study sought to evaluate the clinical effectiveness of the shortening effect of the modified Weil osteotomy for the treatment of Freiberg's disease. Materials and Methods: We reviewed 21 cases treated with the modified Weil osteotomy for Freiberg's disease from November 2005 to June 2019. The average follow-up period was 32.5 months and the mean age of the patients was 38.3 years. The clinical results were analyzed using the American Orthopaedic Foot and Ankle Society (AOFAS) lesser metatarsophalangeal-interphalangeal scale, the visual analogue scale (VAS), and the range of motion (ROM) of the metatarsophalangeal joint. In the radiologic evaluation, the length of preoperative and postoperative metatarsal shortening was compared. Results: The average AOFAS lesser metatarsophalangeal-interphalangeal scale showed an improvement from 60.5 preoperatively to 90.9 at the latest follow-up. VAS showed a decrease from 5.4 preoperatively to 0.9 at the latest follow-up. ROM of the affected metatarsophalangeal joint increased from 40.2 degrees preoperatively to 58.6 degrees at the latest follow-up. The mean length of metatarsal shortening was 6.7 mm. There was no transfer metatarsalgia, osteonecrosis, and definite joint space narrowing. Conclusion: Modified Weil osteotomy with second layer cutting is an effective treatment option to restore the joint surface and painless joint motion for patients with Freiberg's disease.

임베디드 시스템을 위한 신뢰성 있는 NAND 플래시 파일 시스템의 설계

이태훈,박송화,김태훈,이상기,이주경,정기동,Lee Tae-hoon,Park Song-hwa,Kim Tae-hoon,Lee Sang-gi,Lee Joo-Kyong,Chung Ki-Dong 한국정보처리학회 2005 정보처리학회논문지 A Vol.12 No.7

NAND 플래시 메모리는 저전력 소비, 비휘발성, 읽기 속도의 항상 등의 장점이 있다. 그러나 제자리 덮어쓰기(in-place-update)가 불가능하고 지우는 횟수에 제한이 있으며 페이지 단위로 연산이 수행되는 단점이 있다. 이러한 NAND 플래시 메모리를 위한 전용 파일 시스템으로 YAFFS가 개발되었지만 여러 가지 문제점이 존재한다. 본 논문에서는 빠른 복구를 위한 기법, 효율적인 데이터 갱신 기법 그리고 균등한 메모리 사용을 위한 플레인 지움 정책을 사용하는 파일 시스템을 제안한다 전원 오류 발생시, 로그 정보를 사용하여 빠른 복구를 지원한다. 그리고 플래시 메모리의 효율적인 사용을 위해 데이터 쓰기 양을 최소화하고 이를 위해 새로운 메타 데이터 구조를 제안한다. 또한 플레인 지움 정책은 플래시의 균등 사용과 임베디드 시스템의 제한된 자원을 고려하여 연산을 최소화한다. 제안된 기법들의 성능을 실험을 통해 증명하고 그 결과를 분석한다. NAND flash memory has advantages of non-volatility, little power consumption and fast access time. However, it suffers from inability that dose not provide to update-in-place and the erase cycle is limited. Moreover, the unit of read and write operations is a page. A NAND flash file system called YAFFS has been proposed. But YAFFS has several problems to be addressed. In this paper, the Reliable Flash File System(RFFS) for NAND flash memory is designed and evaluated. In designing a file system the following four issues must be considered in particular for the design: (i) to minimize a repairing time when the system fault occurs, (ii) to balance the number of block erase operations by offering wear leveling policy, and (iii) to reduce turnaround time of memory operations by reducing the amount of data written. We demonstrate and evaluate the performance of the proposed schemes.

임베디드 자바 프로그램의 정형 검증

이태훈,권기현,Lee, Tae-Hoon,Kwon, Gi-Hwon 한국정보처리학회 2005 정보처리학회논문지D Vol.12 No.7

임베디드 소프트웨어는 크기나 기능면에서 복잡하기 때문에 에러가 숨어있을 확률이 높다. 그래서 에러를 효과적으로 찾아낼 수 있는 방법이 절실히 요구된다. 임베디드 소프트웨어에서 잠재적인 오류를 찾아내는 기술중의 하나가 모델 체킹이며, 대표적인 연구로서 SLAM 이 있다. SLAM은 임베디드 C 프로그램의 안전성 속성을 검증하는 소프트웨어 모델 체킹 도구이다. 본 논문에서는 임베디드 자바 프로그램을 검증하는 모델 체킹 도구를 개발했다. SLAM과는 달리 자바 프로그램의 안전성뿐만 아니라 궁극성 속성을 모두 검증할 수 있다. 개발된 모델 체킹 도구를 이용하여 레고 로봇을 제어하는 임베디드 자바 프로그램의 속성을 검증하였다. There may be subtle errors in embedded software since its functionality is very complex. Thus formal verification for detecting them is very needed. Model checking is one of formal verification techniques, and SLAM is a well-known software model checking tool for verifying safety properties of embedded C program. In this paper, we develop a software model checker like SLAM for verifying embedded Java program Compared to SLAM, our tool allows to verify liveness properties as well as safety ones. As a result, we verify some desired properties in embedded Java program for controlling REGO robot.

모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성

이태훈,권기현,Lee Tae-hoon,Kwon Gi-hwon 한국정보처리학회 2005 정보처리학회논문지D Vol.12 No.1

모델 체킹은 주어진 모델과 속성간의 만족성 관계를 검사한다. 만일 모델이 속성을 만족하지 않는 경우, 모델 체킹은 그 이유를 담은 반례를 생성한다. 반례는 모델의 디버깅에 사용되며 모델을 이해하는데 도움을 주기 때문에, 반례 생성은 모델 체킹의 필수 구성 요소 중의 하나이다. 본 논문에서는 모델 체킹에서 안전성 속성이 위반되었을 때 그에 대한 반례를 효율적으로 생성하는 방법을 제시하였고, 푸쉬 푸쉬 게임 풀이에 제안한 방법을 적용했다. 그 결과, 기존 NuSMV로는 전체 50게임 중에서 42게임밖에 풀지 못했으나 본 논문의 방법으로는 50게임을 모두 풀었다. 뿐만 아니라, 반례 생성에 소요된 시간과 메모리 사용량이 기존 NuSMV에 비해서 각각 $86{\%}$와 $62{\%}$ 개선되었다. Given a model and a property, model checking determines whether the model satisfies the property. In case the model does not satisfy the property model checking gives a counterexample which explains where the violation occurs. Since counterexamples are useful for model debugging as well as model understanding, counterexample generation is one of the indispensable components in the model checking tool. This paper presents efficient counterexample generation techniques when a safety property is falsified. These techniques are used to solve Push Push games which consist of 50 games. As a result, all the games are solved with the proposed techniques. However, with the original NuSMV, 42 games are solved but 8 failed. In addition, we obtain $86{\%}$ time improvement and $62{\%}$ space improvement compared to the original NuSMV in solving the game.

급성 아킬레스 건 파열에서의 초음파 이용

이태훈,이희동,김학준,Lee, Tae-Hoon,Lee, Hee-Dong,Kim, Hak-Jun 대한정형외과초음파학회 2015 대한정형외과 초음파학회지 Vol.8 No.1

There are many traumatic foot and ankle problems in orthopaedic fields. Though it is not life-threatening problems, a delay in accurate diagnosis and treatments can danger limb function and therefore correct diagnosis can prevent long-term complications. Achilles tendon rupture is relatively common injury for active sports people. Ultrasonography is cost-effective, irradiation -free, effective for evaluation of soft tissues and dynamic analysis. It has been growing importance in Achilles tendon rupture. Ultrasonography is a diagnostic tool in Achilles tendon rupture. Physical examination and patient history is needed to diagnose Achilles tendon without image, but it is missed up by 20% in private clinic. Discontinuity of normal fibrillar architecture seen on an ultrasonographic image is diagnostic for Achilles tendon rupture, and can be accentuated by the performance of dorsi-flexion and plantar flexion, while observing in real time. And ultrasonography is a reliable method for serial observation after surgical treatment or conservative treatment. 정형외과적 영역에서 족부 족관절 부의의 손상은 흔한 문제이다. 비록 손상들이 생명을 위협하지는 않지만 정확한 진단이나 치료가 지연됐을 시에는 하지의 기능에 장애를 유발 할 수 있으므로 정확한 진단이 장기간의 합병증을 예방 할 수 있다. 초음파는 비용-효과면에서 우수하고 방사선 피폭의 염려가 없으며 연부 조직의 검사에 유용하고 역동적 검사를 시행할 수 있어서 아킬레스건 파열에서 그 유용성이 증가하고 있다. 초음파 영상은 아킬레스건 파열의 진단적 도구이다. 영상의학적 검사 없이 아킬레스건 파열을 진단하기 위해서는 신체 검사와 환자의 병력에 필요하지만 개인 의원에서는 약 20%에서 파열을 놓지는 것으로 알려져 있다. 초음파 영상 하에서 정상적인 섬유 구조의 단절이 아킬레스건 파열의 진단이 되며 실시간으로 족배 굴곡 및 족저 굴곡을 함으로써 단절이 더 확대되는 것을 관찰 할 수 있다. 그리고 수술 후나 보존적인 치료를 시행하는 경우에도 추시 관찰 기간 동안 지속적으로 초음파를 통해 건의 상태를 관찰할 수 있는 유용한 도구이다.

편평족의 진단

이태훈,최서우,김학준,Lee, Tae Hoon,Chay, Suh Woo,Kim, Hak Jun 대한족부족관절학회 2016 대한족부족관절학회지 Vol.20 No.1

Flatfoot is defined as loss of medial arch with hindfoot valgus, but normal condition is obscure due to wide individual variance. Loss or decreasing of medial longitudinal arch with radiographic image is clinically diagnosed as flatfoot. Flatfoot without symptoms is not an indication for treatment. The etiologies of flatfoot are congenital cause, hypermobility, tarsal coalition, neuromuscular disease, post-traumatic deformity, Charcot arthropathy, and posterior tibial tendon dysfuction. The flatfoot is classified as congenital and acquired, flexible, and rigid. The diagnosis is made by physical examination and radiographic findings. In particular, the posterior tibial tendon dysfunction is known as adult acquired flatfoot.

대만 뉴웨이브 영화의 사회의제 표현 분석 연구 - 허우 샤오시엔과 에드워드 양이 중심으로

이태훈,장이란,Lee, Tae-hoon,ZHANG, YIRAN 한국디지털정책학회 2021 디지털융복합연구 Vol.19 No.7

1980년대, 홍콩 장르영화가 빠르게 발전함에 따라 홍콩 뉴웨이브 영화의 신화가 시작되었으며, 이는 같은 시기의 대만 영화에도 깊은 영향을 끼쳤다. 이 과정에서 대만의 뉴웨이브 영화들은 독특한 영상언어를 통해 대만의 그릇된 사회현실을 지적하고, 역사문화에 대해 반성을 표현하는 사회의제로 시대정신을 발현, 예술적 가치를 구현하였다. 본 논문에서는 대만 뉴웨이브의 대표적인 감독인 허우 샤오시엔과 에드워드 양의 작품 속 영상 스타일을 통한 주제 표현, 영상언어, 등에 대해 대중 예술적 가치를 분석하였다. 또한 이러한 대만 뉴웨이브 영화의 영상표현적인 특징을 통해 표출된 감독의 의도 등으로 동아시아 영화산업의 대중 예술적 가치에 대한 시사점을 도출했으며, 신세대 영화인들의 창작과 혁신을 위해 다채로운 영화창작 구도를 제시하였다. 또한 사회계몽적인 측면에서 향후 중국 영화를 발전시키는데 중요한 시사점을 제안하려 한다. In the 1980s, the rapid development of Hong Kong genre films began the myth of Hong Kong's New Wave films, which had a profound impact on Taiwanese films of the same period. Later, two leading film directors, Hou Xiaoxien and Edward Yang, appeared in the process of being influenced by Taiwanese film Ganyu Wave. In this paper, we conducted research on the art style, theme style, film language, and aesthetic narrative methods of films of Hou Xiaoxien and Edward Yang against the backdrop of Taiwan's New Wave era. In addition, the visual characteristics of Taiwan's New Wave films, and the two directors have drawn suggestions on Taiwan's new generation of directors and the Taiwanese film industry, and presented a colorful film creation scheme for the creation and innovation of the new generation of filmmakers.