• Journal of KIISE
• /
• v.41 no.12
• /
• pp.1013-1017
• /
• 2014

A variety of applications that are accessible through app markets provide useful features and functions. However, those applications can present many GUI bugs due to the deficiency of testing processes. Even though various approaches have been developed for mobile app testing, GUI bugs in applications are still difficult to be identified due to the absence of efficiency, lack of automation, and necessity of access to the source code. In this paper, we propose an automated black-box testing method for efficient GUI bug detection. Our experimental results show that the proposed method achieves better code coverage and uncovers GUI bugs when compared with existing black-box testing called Monkey.

• Korean Journal of Cognitive Science
• /
• v.4 no.2
• /
• pp.145-180
• /
• 1994

In this paper,we present an efficient morphological analysis model for Korean which produces from an input word all the feasible sequences of morphemes in the word.This model is deterministic in applying spelling rules,and has few redundant computations in processing complex and ambiguous words.This is the effect of three types of new techniques:first,a new method for interpreting speilling rules;second,predictive rule applications which restrict to the spelling rules suitable for the input word;third,the use of dynamic programming which enables the analyzer to avoid recomputing analyzed substring in case the input word is morphologically ambiguous.our model has been experimented with 413,975 word randomly selected from the corpus of Korean elementary textbooks.Experimental results show that our model guarantees fast and reliable processing.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2016.05a
• /
• pp.207-208
• /
• 2016

By according to increase the research for autonomous vehicle in automobile industries, the efficient of autonomous cargo truck instead of conventional driver cargo truck will be analyzed in logistics areas. The inland transportation has been serious problem such as traffic accident, traffic congestion in downtown, air pollution, noise and etc. even if it have a great effect to logistics industries. Especially there have to be improved its transportation schedule and sleepy driving in night which induced heavy accident in highway. In this study, the effectiveness of autonomous cargo truck will be analysed by considering the logistics cost including social effects.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.9
• /
• pp.2783-2796
• /
• 2000

In electronic commerce systems, for the purchase of package goods to be processed in realtime, the stock of their components has to be

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.3
• /
• pp.42-47
• /
• 2016

The quality of CAD models affects the efficiency of the product development process. However, it seems that CAD modeling education in colleges simply focuses on the creation of CAD models without considering the quality or the applicability of the models. In this paper, we propose educational modeling approaches to help improve the quality and applicability of CAD models. These methods teach students to create models that include a rich set of information, facilitate downstream applications, and are precisely made with the fewest operations. A survey was carried out with students to validate these approaches.

• The Korean Journal of Applied Statistics
• /
• v.28 no.6
• /
• pp.1113-1120
• /
• 2015

We propose a multi-proportions randomized response model by stratified simple random sampling for surveys of sensitive issues of a polychotomous population composed of several stratum. We also systemize a theoretical validity to apply multi-proportions randomized response model (Abul-Ela et al.' model, Eriksson's model) to stratified simple random sampling and derive the estimate and its dispersion matrix of the proportion of sensitive characteristic of population using the suggested model. Two types of sample allocations (proportional allocation and optimum allocation) are considered under the fixed cost. In efficiency, the Eriksson's model by stratified sampling are compared to the Abul-Ela et al.' model.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1879_1880
• /
• 2009

본 논문에서는 제어상황에 따라 Type-1 Fuzzy Logic Controller가 선택적으로 rule을 사용하도록 rule 선택 알고리즘을 제안 한다. 그리고 이를 통해 연산 효율성을 높이는 방법에 관해 논한다. Type-1 Fuzzy Logic Controller는 기존의 제어기에 비해 설계하기 쉽고 성능이 더 뛰어나다. 그러나 제어 변수가 많아질수록 rule의 개수가 늘어나 연산량이 증가하게 된다. 연산량이 많아지면 고성능의 컴퓨터에서는 실시간 연산에 문제가 없으나 산업용 micro controller에서는 실시간 연산을 구현하는데 한계가 발생한다. 본 논문에서는 Type-1 Fuzzy Logic System의 논리구조에 근거하여 Type-1 Fuzzy Logic Controller의 연산량을 감소시킬 수 있는 알고리즘을 제안한다. 제안한 알고리즘은 제어상황에 따라 필요한 rule들만 선택적으로 제어값 도출을 위한 연산에 관여하도록 한다. Matlab 시뮬레이션을 통해 제안한 알고리즘의 유용성과 연산량을 실험하였다. 실험대상은 2륜 이동로봇으로 하였고 step 응답과 전/후진 시 결과를 관찰하였다. 실험 결과 제안한 알고리즘이 기존의 Type-1 Fuzzy Logic Controller에 비해 제어상황에 따라 필요한 rule들만 선택적으로 사용하는 것을 확인하였다. 결과적으로 연산 효율성이 향상되었다.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.14 no.2
• /
• pp.46-51
• /
• 2000

The generation of the intensive ultrasonic waves depend mainly on the energy conversion efficiency depending on high frequency oscillation of the generator and the control performance of stable output depending on load variation, respectively. In this dissertation, a new configuration of ultrasonic generator is specially proposed and designed for improving both efficiency and stability. The generating frequency is turned by a PLL. which is controlled through the detection on phase difference between outputs and currents of the loads and the output amplitude of MOSFET, Q1 are controlled by their products through the multiplier, which results in the control of the amplitude of voltage controlled oscillation. And finally, the proposed and designed ultrasonic generator is composed by the combination of the function in mentioned above. the analysis results of the proposed circuit shows a good agreement between simulations and experiments.

• 한국신재생에너지학회:학술대회논문집
• /
• 2007.06a
• /
• pp.626-629
• /
• 2007

국내외에 아직 개발 실적이 없는 발전소의 해수방류수를 이용한 조류식발전시스템의 개발을 위하여, 현재 하동화력발전소 해수방수로를 대상으로 헬리컬 수차를 이용한 조류식발전 시험설비를 제작 완료하고, 성능 시험이 진행 중이며, 본 연구에서는 성능 시험 과정에서 나타난 제반 문제점을 제시하고 그에 대한 원인 및 대책을 분석해 보았다. 본 시험설비는 인공수로에서 수평 배열 헬리컬수차로서 기계장치의 안정성 및 수차의 효율을 평가하고자 하였다. 조류식 시험장치는 배수로의 빠른 유속으로 인하여 시공이 매우 어려웠으며, 인공수로임에도 불구하고 유지관리를 위한 적정 구조 선정이 곤란한 상황이었다. 또한, 헬리컬 수차는 서로 직렬연결되어 운전할 수 있는 장점이 있으나, 본 연구와 같이 다수의 수차가 연결될 경우, 보다 높은 축정렬 정확성, 커플링, 베어링 정밀도 등이 요구되어 효율 감소의 원인이 됨을 확인하였다. 본 장치는 시험용으로서 정밀한 베어링 및 수밀구조, 증속장치를 채택하지 않았으나, 상업용에서는 이를 개선할 필요성이 있다고 판단된다. 또한, 수차의 설치와 유지관리 조건 향상, 수차 통과부의 유황 개선, 수차의 효율 향상을 위하여 조류식 수차에도 유도수로와 casing, draft tube와 같은 Confined flow 구조를 일부 채택할 필요성이 있다고 판단된다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2013.02a
• /
• pp.676-676
• /
• 2013

무기물 양자점을 광감응 염료로 사용하는 경우 양자점의 사이즈 조절만으로 밴드갭을 조절할 수 있어 광학적 특성 조절이 용이하며, 유기 염료보다 광흡수 능력이 뛰어난 장점을 가진다. 특히 카드뮴 계열의 CdS, CdSe 양자점을 순차적으로 증착하여 사용하는 경우 가시광 전 영역을 효율적으로 흡수, 이용할 수 있어 광전기화학 셀의 광전극으로 사용 시 높은 성능을 기대할 수 있다. 하지만, 카드뮴 계열 양자점의 경우 광전기화학 셀로의 구동에 있어 안정성이 낮은 문제점이 있으며, 이는 양자점에 남아있는 정공이 관여하는 양자점 부식 반응으로 인한 것이다. 본 연구에서는 보다 안정적이면서도 고효율의 광전기화학적 수소생산 시스템을 위해, CdSe/CdS 양자점 감응형 ZnO 나노선 광전극에 IrO2 촉매물질을 증착하였다. CdSe/CdS 양자점이 가시광 전 영역을 흡수하며, ZnO 나노선 구조를 통해 생성된 광전자를 효율적으로 포집하여 높은 광전류 특성을 기대할 수 있다. 나아가 산소생산용 조촉매로 많이 사용하는 $IrO_2$ 촉매 물질의 추가증착을 통해 양자점에서 생긴 정공을 빼 줌으로서 정공이 관여하는 양자점 부식 반응을 방지할 수 있다. 실험결과 촉매물질의 증착 이후 광전류 생성 특성 및 수소생산량이 증가하였으며, 안정성 또한 상당히 향상된 것을 확인할 수 있었다.