• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.719-743
• /
• 2013

Proportional reasoning is considered as a difficult concept to most elementary school students and might be connect to functional thinking, algebraic thinking, and mathematical thinking later. The purpose of this study is to analyze the sixth graders' development level of proportional reasoning so that children's problem solving processes on different proportional problem items were investigated in a way how the problem type of proportion and the degree of ill-structured affect to their levels. Results showed that the greater part of participants solved problems on the level of proportional reasoning and various development levels according to type of problem. In addition, they showed highly the level of transition and proportional reasoning on missing value problems rather than numerical comparison problems.

• Journal of Korea Water Resources Association
• /
• v.31 no.6
• /
• pp.685-694
• /
• 1998

Protection of groundwater resources from contamination has been of increasing concern throughout the past decades. In practice, however, groundwater monitoring is performed based on the experience and intuition of experts or on the convenience. In dealing with groundwater contamination, we need to know what contaminants have the potential to threat the water quality and the distribution and concentration of the plumes. Monitoring of the subsurface environment through remote geophysical techniques or direct sampling from wells can provide such information. Once known, the plume can be properly managed. Evaluation of existing methodologies for groundwater monitoring network design revealed that one should select an appropriate design method based on the purpose of the network and the availability of field information. Integer programming approach, one of the general purpose network design tools, and a cost to-go function evaluation approach for special purpose network design were tested for field applicability. For the sam contaminated aquifer, two approaches resulted in different well locations. The amount of information, however, was about the same.

• Journal of the Korea Society for Simulation
• /
• v.25 no.1
• /
• pp.45-52
• /
• 2016

In this study, we consider a capacity planning problem of reentrant hybrid flowshops. High-tech electronic products such as semiconductor or TFT-LCD, are produced from manufacturing systems which can be considered as reentrant hybrid flowshops. In the considered capacity planning problem, we determine the number of machines at each stage in the manufacturing system. We introduce criteria indicating which stage needs additional machines or which stage needs reduction of machines considering the characteristics of the product types and the manufacturing system. The objective function of the problem is maximizing throughput rate of the system, of which values are obtained from the simulation model depicting the hybrid flowshops. The performance of the proposed methods were evaluated through a series of computational experiments. The simulation model was also used for conducting the comparison experiments among the proposed method and benchmarks.

• Journal of the Korean Geotechnical Society
• /
• v.33 no.7
• /
• pp.29-41
• /
• 2017

There are uncertainties about the seismic load caused by seismic waves, which cannot be predicted due to the characteristics of the earthquake occurrence. Therefore, it is necessary to consider these uncertainties by probabilistic analysis. In this paper, procedures to develop a fragility curve that is a representative method to evaluate the safety of a structure by stochastic analysis were proposed for cut slopes. Fragility curve that considers uncertainties of soil shear strength parameters was prepared by Monte Carlo Simulation using pseudo static analysis. The fragility curve considering the uncertainty of the input ground motion was developed by performing time-history seismic analysis using selected 30 real ground input motions and the Newmark type displacement evaluation analysis. Fragility curves are represented as the cumulative probability distribution function with lognormal distribution by using the maximum likelihood estimation method.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2005.10a
• /
• pp.43-46
• /
• 2005

The detectability of radar depends on RCS(radar cross section). The RCS for complex radar targets may be only approximately calculated by using low-frequency or high-frequency scattering methods, while the RCS for simple rob targets can be exactly obtained by applying an eigen-function method. However, the conventional methods for calculation of RCS are computationally complex. We propose an approximation method for RCS calculation by MUSIC algorithm In this research, it is assumed toot the radar target is considered as a ring of scatterers. The amplitudes of scatterers may be statistically distributed. As the result, the radar signal model is proposed to use MUSIC, and the RCS is calculated by a simple linear algebraic method.

• The Journal of Engineering Geology
• /
• v.18 no.4
• /
• pp.439-446
• /
• 2008

We have developed a method to evaluate pumping rates from a system of pumping-well family. For a given system actual pumping rates depend on pump characteristics and the sum of the static head and the dynamic head. The static head is the elevation difference between the natural groundwater level and the outlet of the pipeline that connects all the wells. Major components of the dynamic head are groundwater drawdown in the well and pipeline head loss. The dynamic head and the pump characteristics depend on the pumping rates. Actual pumping rates are determined at the intersections of the system total-head curves and the pump characteristic curves. The Newton-Raphson's method is used to solve the nonlinear simultaneous equations. The method is applied to a hypothetical well family. Impacts of various design and operational parameters on the pumping rates are analyzed.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.464-464
• /
• 2012

수문분야에 있어서 빈도해석의 목적은 특정 재현기간에 대한 발생 가능한 수문량의 규모를 파악하는데 있으며, 빈도해석의 정확도는 적합한 확률분포모형의 선택과 매개변수 추정방법에 의존하게 된다. 일반적으로 각 확률분포모형의 특성을 대표하는 매개변수를 추정하기 위해서는 모멘트 방법, 확률가중 모멘트 방법, 최대우도법 등을 이용하게 된다. 모멘트 방법에 의한 매개변수 추정은 해를 구하기 위한 과정이 단순한 반면, 비대칭형의 왜곡된 분포를 갖는 자료들에 대해서는 부정확한 결과를 나타내게 된다. 확률가중 모멘트 방법은 표본의 크기가 작거나 왜곡된 자료일 경우에도 비교적 안정적인 결과를 제공하는 반면, 확률 가중치가 정수로만 제한되는 단점을 갖고 있다. 그리고 대수 우도함수를 이용하여 매개변수를 추정하게 되는 최우도법은 가장 효율적인 매개변수 추정치를 얻을 수 있는 것으로 알려져 있으나, 비선형 연립방정식으로 표현되는 해를 구하기 위해서는 Newton-Raphson 방법을 사용하는 등 절차가 복잡하며, 때로는 수렴이 되지 않아 해룰 구하지 못하는 경우가 발생되게 된다. 이에 반해, 최근의 Genetic Algorithm, Ant Colony Optimization 및 Simulated Annealing과 같은 Meta-Heuristic Algorithm들은 복잡합 공학적 최적화 문제 있어서 효율적인 대안으로 주목받고 있으며, Hassanzadeh et al.(2011)에 의해 수문학적 빈도해석을 위한 매개변수 추정에 있어서도 그 적용성이 검증된바 있다. 본 연구의 목적은 연 최대강수 자료의 빈도해석에 적용되는 확률분포모형들의 매개변수 추정을 위해 Meta-Heuristic Algorithm을 적용하고자 함에 있다. 따라서 본 연구에서는 매개변수 추정을 위한 방법으로 Genetic Algorithm 및 Harmony Search를 적용하였고, 그 결과를 최우도법에 의한 결과와 비교하였다. GEV 분포를 이용하여 Simulation Test를 수행한 결과 Genetic Algorithm을 이용하여 추정된 매개변수들은 최우도법에 의한 결과들과 비교적 유사한 분포를 나타내었으나 과도한 계산시간이 요구되는 것으로 나타났다. 하지만 Harmony Search를 이용하여 추정된 매개변수들은 최우도법에 의한 결과들과 유사한 분포를 나타내었을 뿐만 아니라 계산시간 또한 매우 짧은 것으로 나타났다. 또한 국내 74개소의 강우관측소 자료와 Gamma, Log-normal, GEV 및 Gumbel 분포를 이용한 실증연구에 있어서도 Harmony Search를 이용한 매개변수 추정은 효율적인 매개 변수 추정치를 제공하는 것으로 나타났다.

• Journal of Korea Water Resources Association
• /
• v.45 no.12
• /
• pp.1243-1258
• /
• 2012

The objective of this study is to develop the relational formula to estimate the streamflow depletion due to groundwater pumping near stream, which has been statistically derived by using the simulated data. The integrated surface water and groundwater model, SWAT-MODFLOW was applied to the Sinduncheon and Juksancheon watersheds to obtain the streamflow depletion data under various pumping conditions. Through the multiple regression analyses for the simulated streamflow depletion data, the relational formula between the streamflow depletion rate and various factors such as pumping rate, distance between well and stream, hydraulic properties in/near stream, amount of rainfall was obtained. The derived relational formula is easy to apply for assessing the effects of groundwater pumping on near stream, and is expected to be a tool for estimate the streamflow contribution to the pumped water.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.3
• /
• pp.617-631
• /
• 2019

In the four-step demand model, a gravity mode is used most commonly at the trip distribution stage. The purpose of this study was to develop a new friction factor that can express the accessibility property as a single friction factor to compensate for the variable limits of the gravity model parameters (travel time, travel cost). To derive a new friction factor, a new friction factor was derived using the space syntax that can quantify the characteristics of the urban space structure, deriving the link-unit integration degree and then using the travel time and travel distance relationship. Calibration of the derived friction factor resulted in a similar level to that of the existing friction factor. As a result of verifying the various indicators, the explanatory power was found to be excellent in the short - and long - distance range. Therefore, it is possible to derive and apply the new friction factor using the integration index, which can complement the accessibility beyond the limit of the existing shortest distance, and it is believed to be more advantageous in future utilization.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.1
• /
• pp.139-146
• /
• 2003

In this paper we demonstrate a cryptanalysis of the stream cipher LILI-128. Our approach to analysis on LILI-128 is to solve an overdefined system of multivariate equations. The LILI-128 keystream generato $r^{[8]}$ is a LFSR-based synchronous stream cipher with 128 bit key. This cipher consists of two parts, “CLOCK CONTROL”, pan and “DATA GENERATION”, part. We focus on the “DATA GENERATION”part. This part uses the function $f_d$. that satisfies the third order of correlation immunity, high nonlinearity and balancedness. But, this function does not have highly nonlinear order(i.e. high degree in its algebraic normal form). We use this property of the function $f_d$. We reduced the problem of recovering the secret key of LILI-128 to the problem of solving a largely overdefined system of multivariate equations of degree K=6. In our best version of the XL-based cryptanalysis we have the parameter D=7. Our fastest cryptanalysis of LILI-128 requires $2^{110.7}$ CPU clocks. This complexity can be achieved using only $2^{26.3}$ keystream bits.