http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김동우,전재용,Kim, Dongwoo,Chun, Jae-Yong Korean Society of Applied Entomology 2014 한국응용곤충학회지 Vol.53 No.1
최근 5년 동안 식물검역 현장에서 검출된 뿌리썩이선충속 선충을 분류하여 Pratylenchus crenatus, P. fallax, P. kumamotoensis, P. panamaensis, P. penetrans로 동정하였다. 이 종들의 진단형질은 구순부의 주름 수, 두부의 형태, 구침의 길이, 수컷의 유무, 측대의 구조, 수정낭의 형태, 후부자궁낭의 길이, 미부의 형태 등을 포함한다. 이들의 사진과 측정치 및 형태적 특징을 기술하였다. We identified the five root-lesion nematode species, Pratylenchus crenatus, P. fallax, P. kumamotoensis, P. panamaensis and P. penetrans from intercepted in quarantine inspection over the past five years. Their diagnostic characters are including number of lip annuli, stylet length, shape of the labial region, presence or absence of males, structure of lateral fields, shape of spermatheca, length of the post-vulval uterine sac and shape of tail and so forth. We described the photos, measurements and morphological characters.
AHP를 활용한 중소도시 생활SOC 주요지표의 중요도 평가
김동우,한다혁,이민석,Kim, Dongwoo,Han, Da-hyuck,Lee, Min-seok 한국농촌건축학회 2020 농촌건축 : 한국농촌건축학회논문집 Vol.22 No.4
This study evaluated the importance between the major indicators of living SOC in small and medium cities. AHP layer analysis was performed on a group of experts and their importance and priorities were evaluated. The results of the assessment are as follows: First, the village(walking) living zone was considered relatively more important than the local hub(vehicle) living zone. Second, the importance of health care in the local hub(vehicle) living area was assessed to be the most important in the comprehensive evaluation. Third, medical care, care, education and convenience in the village(walking) living area were ranked second, third, fourth and fifth, respectively. Fourth, the relative importance of physical education, learning, physical education, learning, relaxation, culture and village(walking) living areas in the local hub(vehicle) living areas were valued low. It is necessary to seek living SOC policies and directions in consideration of the special nature of urban social structure in small and medium-sized cities in Korea.
혼합물분석을 통해 최적화된 TiO<sub>2</sub>/HAP/Ge 촉매를 이용한 Lincomycin 제거특성 연구
김동우,장순웅,Kim, Dongwoo,Chang, Soonwoong 한국지반환경공학회 2014 한국지반환경공학회논문집 Vol.15 No.1
본 연구에서는 UV-A 조사를 통해 titanium dioxide($TiO_2$), hydroxyapatite(HAP)와 germanium(Ge)의 다양한 복합촉매를 통한 항생제(lincomycin, LM)의 광촉매 제거를 조사하였다. 우선, 다양한 복합촉매의 향상된 광촉매능을 비교하였고, 도출된 제거효율은 $TiO_2/HAP/Ge$ > $TiO_2/Ge$ > $TiO_2/HAP$ 순으로 관찰되었다. $TiO_2/HAP/Ge$의 조성은 반응표면법의 하나인 혼합물분석(mixture analysis)에 기초하여 통계적 방안이 수행되었다. 각 인자별 6개의 조건을 포함하도록 설정한 독립변수 $TiO_2(X_1)$, HAP($X_2$)와 Ge($X_3$)의 LM($Y_1$)과 TOC($Y_2$) 제거에 대한 영향을 살펴보았다. 분산분석(ANOVA)의 회귀분석항은 유의한 p값(p<0.05)과 높은 결정계수 값($R^2$ of $Y_1=99.28%$ and $R^2$ of $Y_2=98.91%$)을 나타냈다. 등고선도와 반응곡선을 통해 UV-A 조사조건에서 $TiO_2$/HAP/Ge 조성에 따른 LM의 제거를 나타냈다. TOC($Y_2$) 제거를 기준으로 도출된 최적조성비는 코드화 값으로 $X_1=0.6913$, $X_2=0.2313$과 $X_3=0.0756$으로 나타났다. 실제 적용에 따른 비교 실험 결과는 LM과 TOC의 평균제거율이 각각 99.2%와 49.3%로 나타나 모델의 예측과 잘 부합하였다. In this study, it was found that determined the photocatalytic degradation of antibiotics (lincomycin, LM) with various catalyst composite of titanium dioxide ($TiO_2$), hydroxyapatite (HAP) and germanium (Ge) under UV-A irradiation. At first, various type of complex catalysts were investigated to compare the enhanced photocatalytic potential. It was observed that in order to obtain the removal efficiencies were $TiO_2/HAP/Ge$ > $TiO_2/Ge$ > $TiO_2/HAP$. The composition of $TiO_2/HAP/Ge$ using a statistical approach based on mixture analysis design, one of response surface method was investigated. The independent variables of $TiO_2$ ($X_1$), HAP ($X_2$) and Ge ($X_3$) which consisted of 6 condition in each variables was set up to determine the effects on LM ($Y_1$) and TOC ($Y_2$) degradation. Regression analysis on analysis of variance (ANOVA) showed significant p-value (p < 0.05) and high coefficients for determination value ($R^2$ of $Y_1=99.28%$ and $R^2$ of $Y_2=98.91%$). Contour plot and response curve showed that the effects of $TiO_2/HAP/Ge$ composition for LM degradation under UV-A irradiation. And the estimated optimal composition for TOC removal ($Y_2$) were $X_1=0.6913$, $X_2=0.2313$ and $X_3=0.0756$ by coded value. By comparison with actual applications, the experimental results were found to be in good agreement with the model's predictions, with mean results for LM and TOC removal of 99.2% and 49.3%, respectively.
김동우(Kim, Dongwoo),김주희(Kim, Ju Hee),한다혁(Han, Da-Hyuck),오세규(Oh, Se-gyu) 대한건축학회 2017 대한건축학회 학술발표대회 논문집 Vol.37 No.1
The conclusion of the study is as follows. First, in addition to the plan for the revitalization of the declining city, required to establish a comprehensive system for the sustainable urban management plan such as the underdevelopment and overcrowding of the social population in the modern city. Second, there is a need for improvement measures for sustainable urban environment improvement through pedestrian rights settlement, Third, required to select various objective indicators evaluating a series of processes such as selection of business - establishment of promotion strategy - result etc. and a comparative analysis methodology between indicators using Big Data should be developed.
효과적인 멀티태스크 프로그램 검증을 위한 KLEE와 CBMC의 오경보 식별 성능 비교
김동우(Dongwoo Kim),최윤자(Yunja Choi) 한국정보과학회 2021 정보과학회논문지 Vol.48 No.2
OiL-CEGAR[1]는 정확한 검증을 위해 정형 운영체제 모델을 사용하고 프로그램을 정형모델로 변환해 검증함으로써 운영체제와 프로그램 모두를 고려하여 검증하였다. 하지만, 프로그램의 추상화로 인한 오경보가 보고될 수 있었으며 이를 제거하기 위한 실행 가능성 검사는 고비용이 요구되어 검증 성능개선을 위해서는 오경보 식별 성능의 개선이 꼭 필요하다. 본 연구에서는 실행 가능성 검사를 위한 두 가지 방법을 소개하고 비교하였다. 첫 번째 방법은 CBMC를 이용하며 전체 프로그램의 수식을 만들고 반례에 나타난 모든 블록의 도달 가능성을 한 번에 확인한다. 두 번째 방법은 KLEE를 이용하며 이진 탐색 기반 실행 가능성 검사를 통해 반례의 실행 불가능한 블록을 식별한다. 실험에서는 차량전장용 창문 제어프로그램의 검증에 각 실행 가능성 검사를 적용한 결과 KLEE를 이용했을 때 실행 가능성 검사 시간을 1/2000 수준으로 낮추었으며 전체 검증 시간을 11.78% 단축할 수 있었다. OiL-CEGAR[1] verifies the composition of a formal OS model and an abstracted application program for accurate verification. Due to the use of the abstract program, however false-alarms can be reported and executability checking for identifying false-alarms requires a high cost. Therefore, efficient executability checking is essential to improve verification performance. To find an effective executability checking method, this study introduces and compares two different techniques that perform executability checking. The first one collects the Boolean formula for the entire program and checks the reachability of all the program blocks in the counterexample by using CBMC. While the second one uses KLEE and identifies non-executable blocks in the counterexample through the binary search-based executability checking. The suggested executability checking methods are applied to a window controller program from the automotive domain. Results show that executability checking using KLEE takes only 1/2000 time compared to that of CBMC and reduces 11.78% of OiL-CEGAR verification costs.