한글 체크리스트로부터 테스트 케이스 자동 생성 방안

김현동,김대준,정기현,최경희,박호준,이용윤,Kim, Hyun Dong,Kim, Dae Joon,Chung, Ki Hyun,Choi, Kyung Hee,Park, Ho Joon,Lee, Yong Yoon 한국정보처리학회 2017 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.6 No.8

본 논문에서는 임베디드 시스템 테스트에 많이 사용되는 테스트 항목이 기술된 체크리스트를 기반으로 테스트 케이스를 자동으로 생성하기 위한 방법을 제안한다. 일반적으로 체크리스트에는 테스트하고자 하는 항목이 정의되어 있다. 하지만 대부분의 테스트 케이스 생성 전략에서는 테스트 하고자하는 항목뿐만 아니라 다양한 변이 조건에서도 테스트하기를 권하고 있다. 제안하는 방법은 한글로 기술된 체크리스트를 분석하여 시스템 입출력과 연산 정보를 찾아낸다. 그리고 찾아낸 정보와 설정하는 테스트 케이스 생성 전략에 따라 테스트 케이스를 자동으로 생성한다. 이 방법은 테스트 케이스를 수동으로 생성할 때, 일으킬 수 있는 오류를 줄일 수 있을 뿐만 아니라, 체크리스트에는 기술되지 않는 다양한 변이 테스트 케이스도 생성할 수 있다. 제안된 방법은 구현되고, 실제 의료기기용 임베디드 시스템의 체크리스트를 사용하여 실험을 진행한다. 실험에서는 체크리스트로부터 여러 커버리지에 적절한 테스트 케이스가 오류 없이 통계적으로 정확히 생성되었음을 확인할 수 있어서 제안된 방법의 유용성을 보여준다. This paper proposes a method to generate test cases in an automatic manner, based on checklist containing test cases used for testing embedded systems. In general, the items to be tested are defined in a checklist. However, most test case generation strategies recommend to test a system with not only the defined test items but also various mutated test conditions. The proposed method parses checklist in Korean file and figures out the system inputs and outputs, and operation information. With the found information and the user defined test case generation strategy, the test cases are automatically generated. With the proposed method, the errors introduced during manual test case generation may be reduced and various test cases not defined in checklist can be generated. The proposed method is implemented and the experiment is performed with the checklist for an medical embedded system. The feasibility of the proposed method is shown through the test cases generated from the checklist. The test cases are adequate to the coverages and their statistics are correct.

콘센트 및 플러그의 열변형 후 형태식별 실험

김현동,강한석,Kim, Hyeon-Dong,Gang, Han-Seok 한국화재조사학회 2003 한국화재조사학회 논문지 Vol.2 No.1

다중경로 전송 채널 특성에 강건한 적응 MIMO-OFDM 시스템

김현동,최상호,Kim, Hyun-Dong,Choe, Sang-Ho 한국통신학회 2007 韓國通信學會論文誌 Vol.32 No.7a

적응 전송 MIMO(multiple input multiple output)-OFDM(orthogonal frequency division multiplexing) 시스템은 CSI(channel state information)의 되먹임을 이용하여 각 부반송파의 채널 상황에 따라 변조 방식을 다르게 전송하는 시스템이다. CSI 되먹임 채널인 상향링크 채널에는 송수신기 처리지연, 전송 지연, 프레임 지연 등 다중 지연 요소가 존재한다. 이러한 다중 지연요소로 인한 CSI 불일치는 채널 상황에 따라 적절한 변조 방식을 결정하는데 오류를 발생시키게 되어 시스템 성능을 떨어트린다. 본 논문에서는 적응 시스템에 내장되는 다중 지연 채널 예측 방식인 CTSBP(comb type samples based prediction)와 BTSBP(block type samples based prediction)에 대해 전송 지연 및 채널 신호 대 잡음비에 따른 MSE (mean square error), 데이터 율 등 성능을 비교한다. 이를 통하여 악조건 다중경로 채널환경에 강건한 적응 전송 SISO(single input single output)-OFDM/MIMO-OFDM을 설계한다. 또한 CSI 되먹임 오버헤드를 줄이기 위한 방안으로 선형보간 방법을 제안하고 선형 보간 간격에 따른 MSE를 도출한다. Adaptive MIMO-OFDM (Orthogonal Frequency Division Multiplexing) system adaptively changes modulation scheme depending on feedback channel state information (CSI). The CSI feedback channel which is the reverse link channel has multiple symbol delays including propagation delay, processing delay, frame delay, etc. The unreliable CSI due to feedback delay degrades adaptive modulation system performance. This paper compares the MSE and data capacity with respect to delay and channel signal to noise ratio for the two multi-step channel prediction schemes, CTSBP and BTSBP, such that robust adaptive SISO-OFDM/MIMO-OFDM is designed over severe mobile multipath channel conditions. This paper presents an interpolation method to reduce feedback overhead for adaptive MIMO-OFDM and shows MSE with respect to interpolation interval.

Ultrasonographic Measurement of Transverse Abdominis in Stroke Patients

김현동,Jun Myeong You,한나미,Mi-Ja Eom,Jong Gil Kim 대한재활의학회 2014 Annals of Rehabilitation Medicine Vol.38 No.3

Objective To compare transverse abdominis (TrA) contractility in stroke patients with hemiparesis and healthy adults using musculoskeletal ultrasonography.Methods Forty-seven stroke patients with hemiparesis and 25 age-matched healthy control subjects participated in this study. Stroke patients were divided into three groups on the basis of their degree of ambulation. Group A consisted of 9 patients with wheelchair ambulation, group B of 23 patients with assisted ambulation, and group C of 15 patients with independent ambulation. Inter-rater reliability regarding ultrasonographic measurement of abdominal muscle thickness in the control group was assessed by two examiners. The TrA contraction ratio (TrA contracted thickness/TrA resting thickness) was measured during abdominal drawing-in maneuver and was compared between the patients and the control group and between the ambulation groups.Results The inter-rater reliability ranged from 0.900 to 0.947. The TrA contraction ratio was higher in the non-paretic side than in the paretic side (1.40±0.62 vs. 1.14±0.35, p<0.01). The TrA contraction ratio of the patient group was lower in the non-paretic side as well as in the paretic side than that of the control group (right 1.85±0.29, left 1.92±0.42; p<0.001). No difference was found between the ambulation regarding the TrA contraction ratio.Conclusion The TrA contractility in hemiparetic stroke patients is significantly decreased in the non-paretic side as well as in the paretic side compared with that of healthy adults. Ultrasonographic measurement can be clinically used in the evaluation of deep abdominal muscles in stroke patients.

치과 진료실에서 3D 프린트의 활용

김현동,Kim, Hyun Dong 대한심미치과학회 2018 Journal of the Korean Academy of Esthetic Dentistr Vol.27 No.2

3D 프린팅은 삼차원 이미지 정보를 이용하여 레이어로 분할한 후 선택한 소재를 적층하여 가공하는 방법을 말한다. 소재를 적층하는 방법에 따라 다양한 종류의 3D 프린팅이 존재하는데 최근 치과분야에서는 SLA방식과 DLP방식으로 광원을 이용한 경화를 통해 적층 가공하는 3D 프린팅이 널리 보급되어 사용되고 있다. 전악 범위의 3D프린팅 치과용 모델은 전통적인 인상 채득으로 제작된 스톤모델보다는 다소 정확성이 부족한 것으로 보고되었으나, 같은 STL파일을 이용하여 4분악 범위를 3D 프린팅한 모델은 밀링 방법으로 가공한 모델보다 정확하였다. 디자인 소프트웨어의 활용도에 따라 보철치료의 진단, 임시 보철물의 제작, 의치의 제작이 가능하였다. 교정에서는 투명 교정 모델과 브라켓 간접 부착을 위한 트레이 제작이 가능하였다. 임플란트 수술에 있어서 CT를 기반으로 한 정확한 위치에 임플란트를 식립하는 가이드 제작에 활용하고 있다. 출력 방식의 발전으로 인하여 3D 프린터의 출력시간이 계속적으로 단축되고 있으며, 이로 인해 치과 진료실 내에서 3D 프린터가 기존의 전통적인 가공 방법을 대체할 수 있을 것으로 기대한다. 3D printing is a process of producing 3d object from a digital file in STL format by joining, bonding, sintering or polymerizing small volume elements by layer. The various type of 3d printing is classified according to the additive manufacturing strategies. Among the types of 3D printer, SLA(StereoLithography Apparatus) and DLP(Digital Light Processing) 3D printer which use polymerization by light source are widely used in dental office. In the previous study, a full-arch scale 3d printed model is less precise than a conventional stone model. However, in scale of quadrant arch, a 3d printed model is significantly precise than a five-axis milled model. Using $3^{rd}$ Party dental CAD program, full denture, provisional crowns and diagnostic wax-up model are fabricated by 3d printer in dental office. In Orthodontics, based on virtual setup model, indirect bracket bonding tray can be generated by 3d printer. And thermoforming clear aligner can be fabricated on the 3d printed model. 3D printed individual drilling guide enable the clinician to place the dental implant on the proper position. The development of layer additive technology enhance the quality of 3d printing object and shorten the operating time of 3D printing. In the near future, traditional dental laboratory process such as casting, denture curing will be replaced by digital 3D printing.

AN EXPLICIT NUMERICAL ALGORITHM FOR SURFACE RECONSTRUCTION FROM UNORGANIZED POINTS USING GAUSSIAN FILTER

김현동,CHAEYOUNG LEE,JAEHYUN LEE,JAEYEON KIM,TAEYOUNG YU,GENE CHUNG,김준석 한국산업응용수학회 2019 Journal of the Korean Society for Industrial and A Vol.23 No.1

We present an explicit numerical algorithm for surface reconstruction from unorganized points using the Gaussian filter. We construct a surface from unorganized points and solve the modified heat equation coupled with a fidelity term which keeps the given points. We apply the operator splitting method. First, instead of solving the diffusion term, we use the Gaussian filter which has the effect of diffusion. Next, we solve the fidelity term by using the fully implicit scheme. To investigate the proposed algorithm, we perform computational experiments and observe good results.

임플란트 가이드 수술시 고려사항

김현동,Kim, Hyun Dong 대한심미치과학회 2019 Journal of the Korean Academy of Esthetic Dentistr Vol.28 No.1

우리나라 치과의 CBCT 보급률은 세계적으로 높은 편으로, 최근 1만대 보급을 돌파하고 있는 것으로 파악된다. 또한 최근 각 치과 제조업체마다 DLP방식의 In-House방식의 3D 프린터 보급률 또한 가파르게 상승하고 있다. 이에 맞춰 최근 개원가에서 CBCT와 구강 스캔 정보를 이용한 컴퓨터 가이드 임플란트 수술의 활용도가 증가하고 있는 상황이다. 현재 컴퓨터 가이드를 이용한 임플란트 수술 방법에 대해 문헌상 고찰을 통해 리뷰해보고, 또한 정확성 및 신뢰성이 보장되는 가이드 수술을 위한 고려사항에 대해 정리해보고자 한다. Nowadays, Cone-Beam CT is widely supplied in dental clinics, the distribution rate in south korea is highly ranked worldwidely. Recently, The number of Cone-Beam CTs reached 10 thousands according to national healthcare system report. Also, dental manufacturers released many kinds of In-house 3D digital printers, the distribution rate of which rises rapidly in dental clinics. Accordingly, using Cone-Beam CT data and Intraloral scan data, the application of implant guide surgery is widespread in a unit of private clinic. Through the previous articles, the latest methods of computer-guided implant surgery are reviewed, and also the considerations for precise and reliable guide surgery are summarized.

서울시 노인여가점수 지표 제작 및 취약지역 선정

김현동 ( Hyundong Kim ),강재훈 ( Jae Hoon Kang ),임주연 ( Ju Yeon Lim ),김소은 ( So Eun Kim ),정우성 ( Woo Sung Jung ),김화정 ( Hwa Jung Kim ),김형후 ( Hyung Hu Kim ),김진 ( Jin-kim ) 한국정보처리학회 2023 한국정보처리학회 학술대회논문집 Vol.30 No.2

본 연구의 목적은 최근 증가하고 있는 고령 인구를 위해 여러 가지 요인을 고려하여 노인만을 대상으로 하는 여가 만족도를 산출하는 것이다. 노인의 여가 만족도에 영향을 주는 요인으로 ‘여가시설’, ‘노인인구’, ‘노인 건강’, ‘노인 소득’을 산정하였다. 해당 요인들에 가중치를 분배하여 산정하기 위한 방법으로 PCA와 선형회귀를 사용하였다. 위 과정을 통해 제작된 노인 여가 만족도 지표에 인자값을 투입하여 자치구별로 노인 여가 만족도 점수를 산출하였고, 스코어 카드를 통해 현황을 살펴보았다. 본 연구는 산출된 각 자치구별 여가 만족도 점수와 인자에 해당하는 점수를 파악하여, 여가만족도가 낮은 지역들의 취약 분야를 파악하고 취약 분야를 중점으로 여가 만족도를 개선해나갈 것을 제안한다.

VOC 회수를 위한 이젝터 시스템에 관한 수치모사 및 실험적 연구

김현동(Hyun Dong Kim),이동엽(Dong Yeop Lee),김윤기(Yoon Kee Kim),정원택(Won Taek Jeong),안주하(Joo Ha Ahn),김경천(Kyung Chun Kim) 한국가시화정보학회 2011 한국가시화정보학회지 Vol.9 No.2

This paper is a basic study on volatile organic compounds(VOC) recovery system in a crude oil carrier. VOC is easily evaporated in cargo tankers during loading and transportation of crude oil, causes serious environmental contamination and a huge economic loss. An ejector system is designed to mix VOC gas into crude oil flow to reduce VOC concentration. Detail two-phase flow inside the ejector is simulated using a commercial CFD code. To verify the numerical prediction, a scale-down experiment is conducted. Instead of crude oil and VOC, water and air are used as the working fluids. Flow characteristics and main parameters are obtained by two-phase flow visualization and PIV measurements. Air volume flow rate induced by the ejector is compared with respect to the volume flow rate of water using experimental and numerical results. Overall performance of the two-phase ejector predicted by the CFD simulation agrees well with that of the experiment.

VOC 회수를 위한 Eductor Mixer 의 전산 해석 및 유동가시화 실험

김현동(Hyun Dong Kim),김윤기(Yoon Kee Kim),정원택(Won Taek Jeong),Chen Juan,Lu Qian,김경천(Kyung Chun Kim) 한국가시화정보학회 2010 한국가시화정보학회 학술발표대회 논문집 Vol.2010 No.11

Losses of Volatile Organic Compounds(VOC) are also money and energy lost. One of the major sources of VOC emissions is the oil industry. Worldwide, the annual evaporation from oil tanker represents the volume of about 20VLCCs of oil. In this study, venture-type VOC recovery unit is numerically simulated using CFX computational fluid dynamic code. The fluid property is used according to that of the general crude oil and pressurized gas at 25℃. The steady state volume fraction field shows good performance as the required specification. The gas entrainment linearly increases as the increase of the crude oil flowrate and gas inlet pressure. Finally, experimental flow visualization process is to be done for the system validation.