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

이태훈,남일현,문기혁,이영현,안길영,이영훈,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.

임베디드 시스템을 위한 신뢰성 있는 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.

대용변수를 이용한 $\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.

무선 전송환경의 링크품질을 고려한 개선된 AODV 라우팅프로토콜

이태훈,전승우,김영호,Lee, Tae-Hoon,Jeun, Sung-Woo,Kim, Young-Ho 한국정보통신학회 2016 한국정보통신학회논문지 Vol.20 No.10

오늘날 MANET에 대한 관심의 증대와 더불어 효율적인 MANET 라우팅프로토콜에 대한 연구가 활발히 진행중에 있다. 본 논문은 전술적 MANET 환경에서 Topology의 빈번한 변화와 제한적 무선환경에 적응된 라우팅 프로토콜을 개선하기 위해, 기존의 AODV라우팅 경로설정과정에서 Hop-Count만을 참조하던 방식에서 각 구간의 채널용량을 참조하는 LQA-AODV를 제안하였다. 제안된 LQA-AODV는 기존의 AODV라우팅프로토콜의 경로탐색과정에서 발생하는 RREQ메시지 포맷에 채널용량에 대한 Cost값을 추가하고 경로설정 시 구간별 누적 Cost값을 비교하여 경로를 설정하도록 하였다. 성능검증을 위해 NS2.35를 사용하였으며, 전술무선환경이 반영하기 위해 Link-Qualty모델을 적용하였다. 시뮬레이션은 LQA-AODV와 기존의 AODV를 비교분석하였으며, 그 결과 Packet Delivery Ratio와 End-to-End Delay 측면에서 성능이 일부 개선된 것을 확인할 수 있었다. As interest in MANET is increasing nowadays, research upon an efficient MANET routing protocol is actively under way. A LQA(Link Qualty Aware)-AODV routing protocol to deal with frequent changes of topology and wireless link variations under tactical operating conditions is proposed in this paper. The suggested LQA-AODV takes into account the channel capacity of each hop during the route request process of the traditional AODV protocol. In detail, LQA-AODV adds a channel capacity cost value to the RREQ message format that occurs during the routing process of the existing AODV Routing Protocol causing the accumulated channel capacity cost values of each sections to be compared before establishing a route. To verify the performance of LQA-AODV, NS2.35 was utilized and the Link-Quality Model was applied in order to reflect the tactical wireless environment. The simulation compares and analyzes LQA-AODV and the existing AODV, showing a large improvement over the traditional AODV in regards to the Packet Delivery Ratio, and End-to-End Delay.

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

이태훈,이희동,김학준,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,Sim,Ju-Yeol,Cho,Yong-Sik 한국방재학회 2008 한국방재학회 학술발표대회논문집 Vol.2008 No.1

The huge economical damage and environmental pollution have been occurred for decades because of using of fossil fuel. So the development of alternative energy is urgent. In the west sea of Korea, a proper area for tidal power plant, development and investigation for economical efficient of tidal power plant are preceeding. The water turbine generator with the capacity of 25.4MW was used to compare single-basin flood tide generation with ebb tide generation while considering the water depth and tide in the vicinity of Sukmodo.

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

이태훈,권기현,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.