• 한국농공학회논문집
• /
• 제52권5호
• /
• pp.77-86
• /
• 2010

Hydrologic Simulation Program-Fortran (HSPF) coupled with PEST which is optimization program was calibrated and validated at Bochung watershed by using monitoring data of water quantities and nutrient loading. Although the calibrated data were limited, model parameters of each land use type were optimized and coefficient of determinations were ranged from 0.94 to 0.99 for runoff, from 0.89 to 1.00 for TN loading, and from 0.92 to 1.00 for TP loading. The optimized hydrological parameters indicated that the forested land could retain rainfall within soil layer with high soil layer depth and infiltration rate compared with other land use type. Hydrological characteristics of paddy rice field are low infiltration rate and coefficient of roughness. The calibrated parameters related to nutrient loading indicated generation of nutrient pollution from agricultural area including upland and paddy rice field higher than other land use type resulting from fertilizer application. Overall PEST program is useful tool to calibrate HSPF automatically without consuming time and efforts.

• 한국환경과학회지
• /
• 제33권6호
• /
• pp.435-442
• /
• 2024

We investigated the accuracy of surface air temperature prediction according to the selection of land-use data and initial meteorological data using the Weather Research and Forecasting model-v4.2.1. A numerical experiment was conducted at the Daegu Dyeing Industrial Complex. We initially used meteorological input data from GFS (Global forecast system)and GDAPS (Global data assimilation and prediction system). High-resolution input data were generated and used as input data for the weather model using the land cover data of the Ministry of Environment and the digital elevation model of the Ministry of Land, Infrastructure, and Transport. The experiment was conducted by classifying the terrestrial and topographic data (land cover data) and meteorological data applied to the model. For simulations using high-resolution terrestrial data(10 m), global data assimilation, and prediction system data(CASE 3), the calculated surface temperature was much closer to the automatic weather station observations than for simulations using low-resolution terrestrial data(900 m) and GFS(CASE 1).

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2003년도 ICCAS
• /
• pp.433-437
• /
• 2003

Quantitative Feedback Theory (QFT) is one of effective methods of robust controller design. In QFT design we can considers the phase information of the perturbed plant so it is less conservative than $H_{\infty}$ and ${\mu}$-synthesis methods and as be shown, it is more transparent than the sensitivity reduction methods mentioned . In this paper we want to overcome the major drawback of QFT method which is lack of an automatic method for loop-shaping step of the method so we focus on the following problem: Given a nominal plant and QFT bounds, synthesize a controller that achieves closed-loop stability and satisfies the QFT boundaries. The usual approach to this problem involves loop-shaping in the frequency domain by manipulating the poles and zeros of the nominal loop transfer function. This process now aided by recently developed computer aided design tools proceeds by trial and error and its success often depends heavily on the experience of the loop-shaper. Thus for the novice and First time QFT user, there is a genuine need for an automatic loop-shaping tool to generate a first-cut solution. Clearly such an automatic process must involve some sort of optimization, and while recent results on convex optimization have found fruitful applications in other areas of control theory we have tried to use LMI theory for automating the loop-shaping step of QFT design.

• 한국CDE학회논문집
• /
• 제1권3호
• /
• pp.189-202
• /
• 1996

Complex geometric shapes can be defined simply and efficiently by combining and operating various surface primitives. These primitives and their intersection curves are used in finite element mesh generation to form an easy and intuitive procedure for finite element modelling of curved surfaces. This paper proposes techniques of automatic mesh generation on surface primitives with arbitrarily shaped boundaries and control curves, which may be created by surface to surface intersection. A method of automatic mesh generation on plane, which was previously developed by the author, has been modified for application to the surface mesh generation. Owing to the mesh generation-wise differences between planes and surfaces, the surfaces should be transformed into conceptual plane so that the modified plane mesh generation method can be applied. Surface development, mapping and mesh reconstruction are the key techniques suggested in this paper. The selection of the technique to apply can be determined automatically on the basis of the developability, existence of singularity and other characteristics of the surfaces on which the mesh is to be generated. The suggested techniques were implemented into parts of mesh generation functions of the finite element software, MacTran. Their validity and practicality were manifested by the actual use of this software.

• 한국멀티미디어학회논문지
• /
• 제18권9호
• /
• pp.997-1007
• /
• 2015

In this paper, we propose a method for automatically analyzing the bone formation in a mouse model of frontal bone defect. We perforate two holes of 0.8mm diameter in the frontal bone and observe the bone formation process using a micro CT. Because the conventional analysis software of the micro CT does not support automatic analysis of the bone formation status, we have to use a manual analysis method. However the manual analysis is very cumbersome and requires a lot of time, we propose an automatic analysis method. It rotates the image around three axes directions so that the mouse's skull come into regular position. It calculates the cumulative image of the voxel values for the perforated bone surface. It estimates the hole location by finding the darkest point in the cumulative image. The proposed method was applied to 24 CT images of saline administration group and PTH administration group and hole location was estimated. BV/TV index was calculated for the estimated hole to evaluate the bone formation status. Experimental results showed that bone formation process is more active in PTH administration group. The method proposed in this paper could replace successfully the cumbersome and time consuming manual job.

• 전기학회논문지
• /
• 제59권3호
• /
• pp.645-650
• /
• 2010

In this paper we present the Bimodal-tram simulator using the PXI embedded real-time controllers. The Bimodal-tram is developed in KRRI (Korea Railroad Research Institute). The vehicle can be automatically operated by navigation control system (NCS). For the automatic driving, the vehicle lanes will be marked with permanent magnets that are placed in the ground. The vehicle is controlled by NCS. NCS governs the manual mode and automatic mode driving. The simulator is designed by an identical conception with the real control condition. The dynamic motion of vehicle is simulated by the nonlinear dynamic model. The control computer calculates the control values. The signal interface is linked by CAN communication. The simulation is processed by real-time base. The test driver can see the graphic motion of vehicle and can operate the steering wheel, gas and brake pedal to control direction and velocity of vehicle during the simulation. At present, the simulator is only operated by manual mode. The automatic mode will be linked after the control algorithm is finished. We will use the simulator to develop the control algorithm in the automatic mode. This paper shows the simulator designed for Bimodal-tram using real-time based controller. The results of the test using the simulator are presented and discussed.

• 대한전자공학회논문지SP
• /
• 제41권6호
• /
• pp.99-108
• /
• 2004

본 논문에서는 CCD(charge-coupled device) 영상 기반의 자동 표적 탐지 시스템(ATD System : Automatic Target Detection System)에 적합한 빠른 탐색 방법을 제안한다. 무기체계에서의 활용을 위해서는 빠른 연산이 주요한 변수인 만큼 이 논문에서는 적은 계산량으로 다양한 표적을 탐지할 수 있는 능력에 주안점을 두고 있다. 표적 훈련(train)단계에서는 구간별 수직 방향 프로젝션을 이용하여 1D의 템플릿을 구성하고 K-means clustering과 이진 트리 구조(binary tree structure)를 활용하여 실제 시험 단계에서 템플릿 정합하는 횟수를 최소화한다. 또한 Correlation-based Adaptive Predictive Search(CAPS)를 이용하여 각각의 템플릿에 적응적인 skip-width를 사용하여 탐색 속도를 높이고 클러터 제거 단계에서는 윤곽선으로부터 추출한 Fourier Descriptor계수를 비교함으로써 초기 탐지에서 타겟으로 오인된 클러터를 모양 정보에 기반해서 제거하는 방법을 사용한다.

• 디지털콘텐츠학회 논문지
• /
• 제14권3호
• /
• pp.303-311
• /
• 2013

기존의 정적인 전시의 관람객이 있든 없든 무한 반복 재생되는 전시물의 형태는 몰입감과 집중력을 떨어트린다. 따라서 본 논문에서는 기존의 일반 전시물에 분할 차영상을 이용한 전시 자동 스크린세이버를 도입함으로써, 체험형 전시물로 변환할 수 있는 기법을 새로이 제안하였다. 영상처리의 한 기술인 차영상을 개량한 분할 차영상을 이용해 움직임을 판단하여 상태를 유지 혹은 전이시키는 매커니즘을 제안하고, 이 제안기법을 적용한 전시 자동 스크린세이버를 구현하였으며, 테스트를 통하여 집중력 있는 체험형 전시물의 긍정적 측면에서의 사용 가능성을 보였다.

• Journal of Biosystems Engineering
• /
• 제27권5호
• /
• pp.425-432
• /
• 2002

This study was carried out to develop an automatic mixing system of nutrient solution for closed-loop hydroponics using ion electrodes. The results of the study are summarized as follows: 1. It appeared that ion-electrodes had not to be soaked into nutrient solution for a long time since it was much less durable than EC or PH sensors. Once ion-electrodes were soaked into real nutrient solution for a long time, they became unstable. 2. ion measurement modules, which were able to sample recirculated nutrient solution and easily wash and dry ion-electrodes, were developed in order to use ion-electrodes continuously. 3. The results of calibration tests on three kinds of ion electrodes presented that the time required to read measurement data was over 30 seconds. Using the calibration data the regression equations for the ion electrodes were developed. 4. An automatic nutrient-solution mixing system using the three kinds of ion electrodes was developed and then its accuracy was examined. The control errors of the mixing system using ion electrodes were in the range of 9.8 to 12%.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제12권9호
• /
• pp.4248-4270
• /
• 2018

This research aims at a new practical Intent fuzzing tool for detecting Intent vulnerabilities of Android apps causing the robustness problem. We proposed two new ideas. First, we designed an Intent specification language to describe the structure of Intent, which makes our Intent fuzz testing tool flexible. Second, we proposed an automatic tally method classifying unique failures. With the two ideas, we implemented an Intent fuzz testing tool called Hwacha, and evaluated it with 50 commercial Android apps. Our tool offers an arbitrary combination of automatic and manual Intent generators with executors such as ADB and JUnit due to the use of the Intent specification language. The automatic tally method excluded almost 80% of duplicate failures in our experiment, reducing efforts of testers very much in review of failures. The tool uncovered more than 400 unique failures including what is unknown so far. We also measured execution time for Intent fuzz testing, which has been rarely reported before. Our tool is practical because the whole procedure of fuzz testing is fully automatic and the tool is applicable to the large number of Android apps with no human intervention.