• Journal of the Korean Association of Geographic Information Studies
• /
• v.23 no.2
• /
• pp.21-35
• /
• 2020

Vegetation information is a very important factor used in various fields such as urban planning, landscaping, water resources, and the environment. Vegetation varies according to canopy density or chlorophyll content, but vegetation vitality is not considered when classifying vegetation areas in previous studies. In this study, in order to satisfy various applied studies, a study was conducted to set a threshold value of vegetation index considering vegetation vitality. First, an eBee fixed-wing drone was equipped with a multi-spectral camera to construct optical and near-infrared orthomosaic images. Then, GIS calculation was performed for each orthomosaic image to calculate the NDVI, GNDVI, SAVI, and MSAVI vegetation index. In addition, the vegetation position of the target site was investigated through VRS survey, and the accuracy of each vegetation index was evaluated using vegetation vitality. As a result, the scenario in which the vegetation vitality point was selected as the vegetation area was higher in the classification accuracy of the vegetation index than the scenario in which the vegetation vitality point was slightly insufficient. In addition, the Kappa coefficient for each vegetation index calculated by overlapping with each site survey point was used to select the best threshold value of vegetation index for classifying vegetation by scenario. Therefore, the evaluation of vegetation index accuracy considering the vegetation vitality suggested in this study is expected to provide useful information for decision-making support in various business fields such as city planning in the future.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.28 no.12
• /
• pp.933-940
• /
• 2017

A wireless power transfer system with a negative impedance converter(NIC) was designed and tested. The system was investigated to identify the effects of ferrites and conductors. To improve the power transfer efficiency(PTE), the Q-factor of the transmitter was enhanced by the negative resistance generated by the NIC. The NIC was composed of an Op-Amp and resistors. The negative resistance was obtained with respect to a resistor connected in a feedback loop. The dimension of the Tx coil was $250mm{\times}250mm{\times}0.8mm$. The impedance and Q-factor were $31+j1874{\Omega}$ and 60, respectively. The negative resistance was selected to be $30{\Omega}$, and the Q-factor was increased to 900 by reduction of the transmitter resistance, which was about 15 times higher than that of a conventional transmitter. The measured PTE was greatly improved in comparison to that of a conventional system. These results demonstrate that the PTE is enhanced by using the NIC.

• The Journal of the Korea Contents Association
• /
• v.10 no.3
• /
• pp.53-63
• /
• 2010

Recently, various monitoring systems are implemented actively by using wireless sensor networks(WSN). When implementing WSN-based monitoring system, there are three important issues to consider. At First, we need to consider a sensor node failure detection method to support the ongoing monitoring. Secondly, because sensor nodes use limited battery power, we need an efficient data filtering method to reduce energy consumption. At Last, a reducing processing overhead method is necessary. The existing Kalman filtering scheme has good performance on data filtering, but it causes too much processing overhead to estimate sensed data. To solve these problems, we, in this paper, propose a new data filtering scheme based on data statical analysis. First, the proposed scheme periodically aggregates node survival massages to support a node failure detection. Secondly, to reduce energy consumption, it sends the sample data with a node survival massage and do data filtering based on those messages. Finally, it analyzes the sample data to estimate filtering range in a server. As a result, each sensor node can use only simple compare operation for filtering data. In addition, we show from our performance analysis that the proposed scheme outperforms the Kalman filtering scheme in terms of the number of sending messages.

• Journal of KIISE:Software and Applications
• /
• v.37 no.12
• /
• pp.882-891
• /
• 2010

Many automated dynamic test data generation technique have been proposed. The techniques evaluate fitness of test data through executing instrumented Software Under Test (SUT) and then generate new test data based on evaluated fitness values and optimization algorithms. Previous researches and experiments have been showed that these techniques generate effective test data. However, optimization algorithms in these techniques incur much time to generate test data, which results in huge test case generation cost. In this paper, we propose a technique for reducing the time of evaluating a fitness of test data among steps of dynamic test data generation methods. We introduce the concept of Fitness Evaluation Program (FEP), derived from a path constraint of SUT. We suggest a test data generation method based on FEP and implement a test generation tool, named ConGA. We also apply ConGA to generate test cases for C programs, and evaluate efficiency of the FEP-based test case generation technique. The experiments show that the proposed technique reduces 20% of test data generation time on average.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.4
• /
• pp.876-884
• /
• 2014

A hardware design of LDPC decoder which is based on the improved normalized min-sum(INMS) decoding algorithm is described in this paper. The designed LDPC decoder supports 19 block lengths(576~2304) and 6 code rates(1/2, 2/3A, 2/3B, 3/4A, 3/4B, 5/6) of IEEE 802.16e mobile WiMAX standard and 3 block lengths(648, 1296, 1944) and 4 code rates(1/2, 2/3, 3/4, 5/6) of IEEE 802.11n WLAN standard. The decoding function unit(DFU) which is a main arithmetic block is implemented using sign-magnitude(SM) arithmetic and INMS decoding algorithm to optimize hardware complexity and decoding performance. The LDPC decoder synthesized using a 0.18-${\mu}m$ CMOS cell library with 100 MHz clock has 284,409 gates and RAM of 62,976 bits, and it is verified by FPGA implementation. The estimated performance depending on code rate and block length is about 82~218 Mbps at 100 MHz@1.8V.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.8
• /
• pp.502-507
• /
• 2016

The transition from a carbon economy based on fossil fuels to a hydrogen economy is necessary to ensure energy security and to combat climate change. In order to pursue the transition to a hydrogen economy while achieving sustainable economic growth, a preliminary study into the establishment of the necessary infrastructure for the future hydrogen economy needs to be carried out. This study addresses the economic and environmental interactions in a dynamic computable general equilibrium (CGE) model focusing on the economic effects of the introduction of renewable energy into the Korean energy system. Firstly, the introduction of hydrogen results in an increase in the investment in hydrogen production and the reduction of the production cost, ultimately leading to GDP growth. Secondly, the mandatory introduction of renewable energy and associated government subsidies bring about a reduction in total demand. Additionally, the mandatory introduction of hydrogen energy into the power sector helps to reduce CO2 emissions through the transition from a carbon economy-based on fossil energy to a hydrogen economy. This means that hydrogen energy needs to come from non-fossil fuel sources in order for greenhouse gases to be effectively reduced. Therefore, it seems necessary for policy support to be strengthened substantially and for additional studies to be conducted into the production of hydrogen energy from renewable sources.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.6
• /
• pp.237-247
• /
• 2008

A virtual screening is the process of reducing an unmanageable number of compounds to a limited number of compounds for the target of interest by means of computational techniques such as molecular docking. And it is one of a large-scale scientific application that requires large computing power and data storage capability. Previous applications or softwares for molecular docking such as AutoDock, FlexX, Glide, DOCK, LigandFit, ViSION were developed to be run on a supercomputer, a workstation, or a cluster-computer. However the virtual screening using a supercomputer has a problem that a supercomputer is very expensive and the virtual screening using a workstation or a cluster-computer requires a long execution time. Thus we propose a service-based virtual screening system using Grid computing technology which supports a large data intensive operation. We constructed 3-dimensional chemical molecular database for virtual screening. And we designed a resource broker and a data broker for supporting efficient molecular docking service and proposed various services for virtual screening. We implemented service based virtual screening system with DOCK 5.0 and Globus 3.2 toolkit. Our system can reduce a timeline and cost of drug or new material design.

• Journal of Korean Society of Transportation
• /
• v.21 no.1
• /
• pp.91-102
• /
• 2003

There are two goals in this paper. The one is development of existing CA(Cellular Automata) model to explain more realistic deceleration process to stop. The other is the application of the updated CA model to forecasting simulation to predict short term link travel time that takes a key rule in finding the shortest path of route guidance system of ITS. Car following theory of CA models don't makes not response to leading vehicle's velocity but gap or distance between leading vehicles and following vehicles. So a following vehicle running at free flow speed must meet steeply sudden deceleration to avoid back collision within unrealistic braking distance. To tackle above unrealistic deceleration rule, “Slow-to-stop” rule is integrated into NaSch model. For application to interrupted traffic flow, this paper applies “Slow-to-stop” rule to both normal traffic light and random traffic light. And vehicle packet method is used to simulate a large-scale network on the desktop. Generally, time series data analysis methods such as neural network, ARIMA, and Kalman filtering are used for short term link travel time prediction that is crucial to find an optimal dynamic shortest path. But those methods have time-lag problems and are hard to capture traffic flow mechanism such as spill over and spill back etc. To address above problems. the CA model built in this study is used for forecasting simulation to predict short term link travel time in Kangnam district network And it's turned out that short term prediction simulation method generates novel results, taking a crack of time lag problems and considering interrupted traffic flow mechanism.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.28 no.5
• /
• pp.265-276
• /
• 2016

The 2011 Tohoku, Japan Tsunami, which occurred on March 11, 2011, reached the Korean Peninsula and was recorded at numerous tide stations. In the records of the north-eastern tide stations, tsunami forerunners were found in only about a few minutes after the earthquake, which was much earlier than the expected arrival time based on a numerical simulation. Murotani et al. (2015) found out that the bathymetry effect is related to the tsunami forerunners observed in Japan and Russia. In this study, the tsunami forerunners observed in Korea were well reproduced by a numerical simulation considering the bathymetry effect. This indicates that it is important to consider the bathymetry effect for a tsunami caused by an earthquake on shallowly dipping fault plane(e.g. 2011 Tohoku, Japan Earthquake). However, since the bathymetry effect requires additional computation time, it is necessary to examine the problems that results from applying the bathymetry effect to the tsunami warning system.

• Journal of Educational Research in Mathematics
• /
• v.17 no.4
• /
• pp.453-475
• /
• 2007

School algebra starts with introducing algebraic expressions which have been one of the cognitive obstacles to the students in the transfer from arithmetic to algebra. In the recent studies on the teaching school algebra, algebraic thinking is getting much more attention together with algebraic expressions. In this paper, we examined the processes of the transfer from arithmetic to algebra and ways for teaching early algebra through algebraic thinking factors. Issues about algebraic thinking have continued since 1980's. But the theoretic foundations for algebraic thinking have not been founded in the previous studies. In this paper, we analyzed the algebraic thinking in school algebra from historico-genetic, epistemological, and symbolic-linguistic points of view, and identified algebraic thinking factors, i.e. the principle of permanence of formal laws, the concept of variable, quantitative reasoning, algebraic interpretation - constructing algebraic expressions, trans formational reasoning - changing algebraic expressions, operational senses - operating algebraic expressions, substitution, etc. We also identified these algebraic thinking factors through analyzing mathematics textbooks of elementary and middle school, and showed the middle school students' low achievement relating to these factors through the algebraic thinking ability test. Based upon these analyses, we argued that the readiness for algebra learning should be made through the processes including algebraic thinking factors in the elementary school and that the transfer from arithmetic to algebra should be accomplished naturally through the pre-algebra course. And we searched for alternative ways to improve algebra curriculums, emphasizing algebraic thinking factors. In summary, we identified the problems of school algebra relating to the transfer from arithmetic to algebra with the problem of teaching algebraic thinking and analyzed the algebraic thinking factors of school algebra, and searched for alternative ways for improving the transfer from arithmetic to algebra and the teaching of early algebra.