• School Mathematics
• /
• v.14 no.4
• /
• pp.445-468
• /
• 2012

This study is tried in order to link informal arithmetic reasoning to formal algebraic reasoning. In this study, we investigated elementary school student's non-formal algebraic reasoning used in algebraic problem solving. The result of we investigated algebraic reasoning of 839 students from grade 1 to 6 in two schools, Korea, we could recognize that they used various arithmetic reasoning and pre-formal algebraic reasoning which is the other than that is proposed in the text book in word problem solving related to the linear systems of equation. Reasoning strategies were diverse depending on structure of meaning and operational of problems. And we analyzed the cause of failure of reasoning in algebraic problem solving. Especially, 'quantitative reasoning', 'proportional reasoning' are turned into 'non-formal method of substitution' and 'non-formal method of addition and subtraction'. We discussed possibilities that we are able to connect these pre-formal algebraic reasoning to formal algebraic reasoning.

• Journal of Engineering Education Research
• /
• v.9 no.4
• /
• pp.46-62
• /
• 2006

The purpose of this study is to identify characteristics which are related with design problem solving. For this, an effective problem solver and an ineffective problem solver have been compared and analyzed in terms of the process of design problem solving with a population of students who are enrolled in College of Engineering. This study can be concluded as follows. First, the process of design problem solving was performed in non-linear form and it was varied depending on individuals. Second, the results of problem solving could be varied according to the qualitative level of performance in each stage rather than according to the differences of consumption time by each stage. Third, the main activities in process of design problem solving were identifying a design brief, identifying requirements, exploring a problem solution, and idea modeling. Fourth, the making activities took place most frequently and the longest time in the entire process, meanwhile exploring a problem solution was related to the results of design problem solving.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.13 no.4
• /
• pp.44-55
• /
• 2004

In order to meet the requirement for higher thickness accuracy in tandem cold rolling processes, it is strongly necessary to have good performance in control units. To meet this requirement, this paper suggested an output regulating control system with a roll-eccentricity estimator for each rolling stand of tandem cold mills. Considering entry thickness variation and roll eccentricity simultaneously as the major disturbances, a synthesis of multivariable control systems was presented based on H$\infty$ control theory, which could reflect the knowledge of input direction and spectrum of disturbance signals on design. Then, to effectively reject roll eccentricity, a weight function having some poles on the imaginary axis was introduced. This lead to a non-standard H$\infty$ control problem, and the design procedures for solving this problem were analytically presented. The effectiveness of the proposed control method was evaluated through computer simulations and compared to that of the conventional linear quardratic control and feedforward control methods for roll eccentricity.

• 한국항공운항학회:학술대회논문집
• /
• 2016.05a
• /
• pp.269-275
• /
• 2016

This paper considers the arrival, airport and departure capacity as a whole, through which, the network effect between airports is fully emphasized, the flight action is coordinated, and the flight demand pattern is reasonably assigned. The optimization problem of flight queues in multi-airport is studied in detail; the mathematical model of multi-airport opening non-real time flow management in terminal area is established, and related problems such as the parameters, the simplification and the solving of the model are discussed in detail to some extent. Appropriate decision making variables are taken to make the multi-airport network system linear 0-1 integer programming model, thus, the solving of the model is available and the central flow management is realized. The heuristic implicit enumeration presented in this paper can effectively solve this kind of problems. Through the simulation of some airports network system, we not only validate the algorithm presented in this paper, but also give a deep analysis of the results, which would produce reference for later practicable use. The simulation proves that this algorithm offers a good way to settle the problem of multi-airport flight queue optimization in air traffic management automation system in terminal area.

• Journal of Environmental Impact Assessment
• /
• v.18 no.5
• /
• pp.281-291
• /
• 2009

In Total Water Pollutant Load Management System of Korea, unit load approach based on land register data is currently used for the estimation of non-point pollutant load. However, a problem raised that land register data could not always reflect the actual land surface coverages which determine runoff characteristics of non-point pollution sources. As a way to overcome this, we tried to establish quantitative relationships between the aerial images (0.4m resolution) which reflect actual land surface coverages and the land registration maps according to the 19 major designated land-use categories in Kyeongan watershed. Analyses showed different relationships according to the land-use categories. Only a few land-use categories including forestry, road and river showed essentially identical and some categories such as orchard, parking lot and sport utility site showed no relationships at all between image data and land register data. Except for the two cases, all the other categories showed statistically significant linear relationships between image data and land register data. The analyses indicate that using high resolution aerial maps is a better way to estimate non-point pollutant load. If the aerial maps are not available, application of the linear relationships as conversion factors of land register data to image data could be an possible option to estimate non-point pollutant loads for the specific land-use categories in Kyeongan watershed.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.6
• /
• pp.755-760
• /
• 2011

This paper presents a method for improving the positioning accuracy of the laser navigation. As a wireless navigation system, the laser navigation which is more flexible than a wired guidance system is used for the localization and control of an AGV(automatic guided vehicle). However, the laser navigation causes the large positioning error while the AGV turns or moves fast. To solve the problem, we propose the method for improving the positioning accuracy of the laser navigation using particle filter which has robust and reliable performance in non-linear/non-gaussian systems. For the experiment, we use the actual fork-type AGV. The AGV has a gyro, two encoders and a laser navigation. To verify the performance, the proposed method is compared with the laser navigation which is a product. In the experimental result, we verified that the proposed method could improve the positioning accuracy by approximately 66.5%.

• ETRI Journal
• /
• v.38 no.4
• /
• pp.746-756
• /
• 2016

Owing to the intermittent power generation of renewable energy sources (RESs), future wireless cellular networks are required to reliably aggregate power from retailers. In this paper, we propose a distributed power allocation (DPA) scheme for base stations (BSs) powered by retailers with heterogeneous RESs in order to deal with the unreliable power supply (UPS) problem. The goal of the proposed DPA scheme is to maximize our well-defined utility, which consists of power satisfaction and unit power costs including added costs as a non-subscriber, based on linear and quadratic cost models. To determine the optimal amount of DPA, we apply dual decomposition, which separates the master problem into sub-problems. Optimal power allocation from each retailer can be obtained by iteratively coordinating between the BSs and retailers. Finally, through a mathematical analysis, we show that the proposed DPA can overcome the UPS for BSs powered from heterogeneous RESs.

• The Transactions of the Korean Institute of Electrical Engineers C
• /
• v.53 no.10
• /
• pp.539-545
• /
• 2004

In this paper, we consider the problem of capacitance matrix calculation for strip-line and other interconnects crossings. The problem is formulated in the spectral domain using the method of moments. Sinc-functions are employed as basis functions. Conventionally, such a formulation leads to a large, non-sparse system of linear equations in which the calculation of each of the coefficient requires the evaluation of a Fourier-Bessel integral. Such calculations are computationally very intensive. In the method proposed here, we provide simplified expressions for the coefficients in the moment method matrix. Using these simplified expressions, the coefficients can be calculated very efficiently. This leads to a fast evaluation of the capacitance matrix of the structure. Computer simulations are provided illustrating the validity of the method proposed.

• Publications of The Korean Astronomical Society
• /
• v.15 no.spc2
• /
• pp.65-71
• /
• 2000

We have investigated the numerical methods to calculate model atmosphere for the analysis of spectral lines emitted from the sun and stars. Basic equations used in our calculations are radiative transfer, statistical equilibrium and charge-particle conservations. Transfer equation has been solved to get emitting spectral line profile as an initial value problem using Adams-Bashforth-Moulton method with accuracy as high as 12th order. And we have calculated above non linear differential equations simultaneously as a boundary value problem by finite difference method of 3 points approximation through Feautrier elimination scheme. It is found that all computing programs coded by above numerical methods work successfully for our model atmosphere.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.170-174
• /
• 2003

In this research, we consider an integrated manufacturing/distribution planning problem in supply chain (SC) which has non-integer time lags. We focus on a capacitated manufacturing planning and capacity allocation problem for the system. We develop a mixed binary integer linear programming (MBLP) model and propose an efficient heuristic procedure using an adaptive genetic algorithm, which is composed of a regeneration procedure for evaluating infeasible chromosomes and the reduced costs from the LP-relaxation of the original model. The proposed an adaptive genetic algorithm was tested in terms of the solution accuracy and algorithm speed during numerical experiments. We found that our algorithm can generate the optimal solution within a reasonable computational time.