http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 김동우(DongWoo Kim) (검색결과 279 건)
- 무료
- 기관 내 무료
- 유료
-
김동우,전재용,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.
-
김동우(Dongwoo Kim),유승호(Seungho Yu),장순웅(Soonwoong Chang),이정아(Junga Lee) 한국지반환경공학회 2014 한국지반환경공학회논문집 Vol.15 No.8
구제역 가축 매몰지 침출수(이하 구제역침출수)의 생태계 위해성 평가 기법을 개발하기 위한 기초자료를 도출하고자 구제역 가축 매몰지의 유공관 또는 관측정에서 채취한 시료에 대하여 이화학적 분석과 생태독성시험을 수행하였다. 이화학적 분석은 환경부 기준 구제역침출수 유출판별지표 항목 중 염소이온(Cl-)과 암모니아성질소(NH₄+-N)농도, 그리고 한국원자력연구원에서 제안한 구제역침출수 유출판별지표인 NRN(Ninhydrin-Reactive Nitrogen)농도를 분석하였고, 생태독성시험은 발광박테리아(V. fischeri), 담수미세녹조류(P. subcapitata), 그리고 물벼룩(D. magna)을 생물종으로 이용하여 수행하였다. 이화학적 분석 결과와 V. fischeri에 대한 독성영향과의 상관관계를 분석하여 상관도가 높은 구제역침출수 유출판별기준 인자를 도출하였고 회귀분석식을 이용하여 반수독성을 유발하는 지표항목의 농도를 산출하였으며 생태독성영향과 구제역침출수의 수계유출관리법과의 연계성을 평가하였다. 본 연구의 결과는 구제역 가축 매몰지에 의한 생태계 위해성을 평가하고 향후 관리 기준을 설정하는데 활용될 수 있을 것으로 예측한다. In this study, chemical analysis and ecotoxicity tests of leachate from disposal site for foot-and-mouth disease carcasses (FMD leachate) were conducted to collect fundamental data that will be used to develop environmental risk assessment tools for FMD leachate. For chemical analysis, concentration of Cl-, NH₄+-N, Korea standard method indicators for detection of leachate released from animal carcasses burial site into groundwater and NRN (Ninhydrin-Reactive Nitrogens), a newly suggested screening test indicator to detect groundwater contamination by FMD leachate, were assessed. For ecotoxicity tests, luminescent bacteria (V. fischeri), micro-algae (P. subcapitata) and water flea (D. magna) were selected as test species. Correlation analysis between the concentration of Cl-, NH₄+-N, NRN and the toxicity to V. fischeri was performed to identify the better indicators to monitor FMD leachate contamination. From regression analysis, the concentration of the indicators in FMD leachate contaminated sample that induced halfmaximal toxic effect to V. fischeri was evaluated. Results obtained from this study can be applied to assess the risk by FMD leachate and to establish the guideline to manage risk in relation to FMD leachate.
-
이동 에이전트 환경에서 역할 기반 접근 제어와 키 관리 기법
김동우 ( Dongwoo Kim ),송창환 ( Changhwan Song ),엄영익 ( Young Ik Eom ) 한국정보처리학회 2008 한국정보처리학회 학술대회논문집 Vol.15 No.2
이동 에이전트는 기존의 클라이언트-서버 환경을 대체하는 분산 컴퓨팅 패러다임이다. 특히 이동 에이전트는 목표를 달성할 때까지 스스로 인터넷 환경을 떠돌며 정보를 수집하고 분석할 수 있도록 설계할 수 있다. 하지만 이동 에이전트가 문제없이 활동하기에 인터넷은 개방적인 환경이며, 많은 경우에 있어 이동 에이전트는 여러 적대적인 호스트들과 접할 수 있다. 이로 인해 이동 에이전트가 안전하게 인터넷상에서 이주 하도록 만드는 것이 큰 관건이 되고 있다. 최근 Volker와 Mehrdad가 이동 에이전트 환경에 있어서 효율적인 접근 제어와 키 관리 메커니즘을 제안하였다. 하지만 이 기법은 이동 에이전트의 이주 대상을 한정시키고, 이주 대상이 많아질수록 키를 관리하는 구조가 커지는 문제점이 있다. 본 논문에서는 이동 에이전트에 역할 모델을 적용함으로써 키 관리에 있어서 그 크기를 줄이고, 인증 센터를 사용하여 이동 에이전트의 이주 대상 호스트를 미리 한정짓지 않도록 하여 이동 에이전트가 자유롭게 이주할 수 있는 접근제어 기법을 제안한다. 본 기법을 이동 에이전트에 적용하면 에이전트의 크기를 줄이고, 이동할 수 있는 호스트의 제약을 줄일 수 있다.
-
-
-
-
효과적인 멀티태스크 프로그램 검증을 위한 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.
-
ScienceON
코리아스칼라연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
