• Journal of Digital Forensics
• /
• v.12 no.3
• /
• pp.9-17
• /
• 2018

Smartphone have become commonplace because they have the advantage of facilitating communication with others and making life easier. The smartphone's system log stores various data related to the user actions. Since 2015, Huawei has been growing rapidly, with its sales volume increasing and it was ranked second in the world in three years. The use of Huawei smartphones by many users means that Huawei smartphones are likely to be used to detect traces of criminal investigations, so we need to study system logs of Huawei smartphones. Therefore, in this paper, we analyze system log which is forensically meaningful for Huawei smartphone. We also propose how to use logs in forensic investigation.

• Communications of Mathematical Education
• /
• v.31 no.3
• /
• pp.279-290
• /
• 2017

This study proposes a self learning material for understanding the key contents of Galois theory. This material is for teachers who have learned algebraic structures like group, field, and vector space which are related with Galois theory but do not clearly understand how algebraic structures are related with the solvability of polynomials and school mathematics. This material is likely to help them to overcome such difficulties. Even though proposed material is used mainly for self learning, the teachers may be helped once or twice by some professionals. In this article, two expressions 'solvability of polynomial' and 'solvability of equation' have the same meaning and 'teacher' means in-service mathematics teacher.

• Journal of Educational Research in Mathematics
• /
• v.25 no.1
• /
• pp.21-58
• /
• 2015

The aim of this study is to look into the didactical background for teaching proportional reasoning in elementary school mathematics and offer suggestions to improve teaching proportional reasoning in the future. In order to attain these purposes, this study extracted and examined key ideas with respect to the didactical background on teaching proportional reasoning through a theoretical consideration regarding various studies on proportional reasoning. Based on such examination, this study compared and analyzed textbooks used in the United States, the United Kingdom, and South Korea. In the light of such theoretical consideration and analytical results, this study provided suggestions for improving teaching proportional reasoning in elementary schools in Korea as follows: giving much weight on proportional reasoning, emphasizing multiplicative comparison and discerning between additive comparison and multiplicative comparison, underlining the ratio concept as an equivalent relation, balancing between comparisons tasks and missing value tasks inclusive of quantitative and qualitative, algebraic and geometrical aspects, emphasizing informal strategies of students before teaching cross-product method, and utilizing informal and pre-formal models actively.

• School Mathematics
• /
• v.18 no.1
• /
• pp.215-229
• /
• 2016

This study aims to identify Archimedes' idea used while proving proposition 23 in 'Quadrature of the Parabola' and to provide an alternative way for finding the sum of geometric series without applying the concept of limit by extending the idea though metaphor. This metaphorical model is characterized as static and thus can be complimentary to the dynamic aspect of limit concept adopted in Korean high school mathematics textbooks. In addition, middle school students can understand $0.999{\cdots}=1$ with this model in a structural way differently from the operative one suggested in Korean middle school mathematics textbooks. In this respect, I argue that the metaphorical model can be an useful educational tool for Korean secondary students to overcome epistemological obstacles inherent in the concepts of infinity and limit by making it possible to transfer from geometrical context to algebraic context.

• Proceedings of the KOR-KST Conference
• /
• 1998.10b
• /
• pp.297-297
• /
• 1998

고속도로의 교통혼잡을 관리하기 위해서는 근본적으로 혼잡지점 상류부의 진입교통량을 제어해야 한다. 이를 위한 효과적인 램프미터링 운영전략이나 고속도로 교통정보제공방안을 수립하기 위해서는 혼잡영향권(대기행렬길이)에 관한 신뢰성 있는 데이터가 반드시 필요하다. 고속도로의 대기행렬길이를 산정하기 위해 일반적으로 충격파이론과 Queueing이론을 제시하고 있다. 그러나, 기존의 충격파 이론을 포물선형의 교통량-밀도관계식을 근거로 하고 있어 충격파간에 발생하는 부수적인 충격파를 해석하는 과정이 수학적으로 불가능하여 실질적인 목적으로 사용할 수 없음은 이미 잘 알고 있는 사실이다. 최근에 이러한 한계를 극복할 수 있는 새로운 방법으로 교통량 밀도간의 관계식을 삼각형으로 가정하고 교통량 대신에 누적교통량을 사용하는 Simplified Theory of Kinematic Waves In Highway Traffic이 개발(Newell, 1993)되었지만, 이 방법을 적용하기 위해서는 기본적으로 대상 고속도로 구간의 교통량-밀도관계식을 규명해야 하는 어려움이 있다.(사실 실시간으로 밀도데이터를 수집하기란 불가능하다.) Queueing이론에서 제시하는 대기행렬은 모두 대기차량이 병목지점에 수직으로 정렬하여 도로를 점유하지 않는 Point Queue(혹은 Vertical stack Queue)로서 실제로 도로상에 정렬된 대기행렬(Real Physical Queue)과는 전혀 다르다. 이미 입증된 바 있어, Queueing이론을 이용함은 타당성이 없다. 이러한 사실에 근거하여 본 연구는 고속도로 대기행렬길이를 산정할 수 있는 모형개발을 위한 기초연구로서 혼잡상태의 연속류 특성을 분석하는데 목적이 있다. 이를 위해, 본 연구에서는 서울시 도시고속도로에서 수집한 실제 데이터를 이용하여 진입램프지점의 혼잡상태에서 대기행렬의 증가 또는 감소하는 과정을 분석하였다. 주요 분석결과는 다음과 같다. 1. 혼잡초기의 대기행렬은 다른 혼잡시기에 비해 상대적으로 급속한 속도로 증가함. 2. 혼잡초기의 대기행렬의 밀도는 다른 혼잡시기에 비해 비교적 낮음. 3. 위의 두 결과는 서로 관계가 있으며, 혼잡시 운전자의 행태(차두간격)과 혼잡기간중에도 변화함을 의미함. 4. 교통변수 중에서 대기행렬길이를 산정하는데 적합한 교통변수를 교통량과 밀도로 판단됨. 5. Queueing이론에서 제시하는 대리행렬길이 산정방법인 대기차량대수$\times$평균차두간격은 대기행렬내 밀도가 일정하지 않아 부적합함을 재확인함. 6. 혼잡초기를 제외한 혼잡기간 중 대기행렬길이는 밀도데이터 없이도 혼잡 상류부의 도착교통량과 병목지점 본선통과교통량만을 이용하여 추정이 가능함. 7. 이상에 연구한 결과를 토대로, 고속도로 대기행렬길이를 산정할 수 있는 기초적인 도형을 제시함.

• Journal of the Korean School Mathematics Society
• /
• v.19 no.4
• /
• pp.373-394
• /
• 2016

The "Figure Equation" chapter of current high school curriculum prevents students from relating the concept with what they studied in middle school Euclidean geometry. Woo(1998) concerns that the curriculum introduces the concept merely in algebraic ways without providing students with opportunities to relate it with their prior understanding of geometry, which is based on Euclidean one. In the present study, a sequence of GeoGebra-embedded-geometry lessons was designed so that students could be introduced to and solve problems of the Analytic Geometry by triggering their prior understanding of the Euclidean Geometry which they had learnt in middle school. The study contributes to the field of mathematics education by suggesting a sequence of geometry lessons where students could introduce to the coordinate geometry meaningfully and conceptually in high school.

• Journal of Educational Research in Mathematics
• /
• v.25 no.4
• /
• pp.473-498
• /
• 2015

The purpose of this study is to examine thinking process of the mathematically gifted students and how invariants affect the construction and discovery of curve when carry out activities that produce and reproduce the algebraic curves, mathematician explored from the ancient Greek era enduring the trouble of making handcrafted complex apparatus, not using apparatus but dynamic geometry software. Specially by trying research that collect empirical data on the role and meaning of invariants in a dynamic geometry environment and research that subdivide the process of utilizing invariants that appears during the mathematically gifted students creating a new curve, this study presents the educational application method of invariants and check the possibility of enlarging the scope of its appliance.

• Journal of the Korean Society of Groundwater Environment
• /
• v.6 no.2
• /
• pp.53-58
• /
• 1999

This study was carried out evaluate to identify water quality and contamination characteristics of the shallow groundwater. and their seasonal variation in the rual area of the Yongin city. Groundwater sample were collected two times (in April and September) from a total of 19 well for domestic water supply. and surface-water samples from six locations. For cations, Ca and Mg predominated. In anion competition. the influence of Cl was obvious in the april samples. However. HCO$_3$ was a major component in the september samples. Electric conductivities and the concentrations of NO$_3$-N in groundwater samples significantly decreased from the april samples to the september samples This indicates a significant seasonal variation in the shallow groundwater composition. When the shallow aquifer is connected to the surface water. then metals sorbed on the stream sediments could occur at nearby wells through the induced recharge. Contaminants at ground surface appeared to be transported to the groundwater system infiltration during the spring melt.

• Communications of Mathematical Education
• /
• v.29 no.1
• /
• pp.91-110
• /
• 2015

The purpose of this study is to investigate the understanding of pi of elementary gifted students and explore improvement direction of teaching pi. The results of this study are as follows. First, students understood insufficiently the property of approximation, constancy and infinity of pi from the fixation on 'pi = 3.14'. They mixed pi up with the approximation of pi as well. Second, they had a inclination to understand pi as algebraic formula, circumference by diameter. Third, few students understood the property of constancy and infinity of pi deeply. Lastly, the discussion activity provided the chance of finding the idea of the property of approximation of pi. In conclusion, we proposed several methods which improve the teaching of pi at elementary school.

• Korean Journal of Optics and Photonics
• /
• v.18 no.1
• /
• pp.19-23
• /
• 2007

We derived analytically the generalized curvature linear equation useful in the initial optical design of a two-mirror system with finite object distance, including an infinite object distance from paraxial ray tracing and Seidel third order aberration theory for coma coefficient. These aberration coefficients for finite object distance were described by the curvature, the inter-mirror distance, and the effective focal length. The analytical equations were solved by using a computer with a numerical analysis method. Two useful linear relationships, determined by the generalized curvature linear equations relating the curvatures of the two mirrors, for the cancellation of each aberration were shown in the numerical solutions satisfying the nearly zero condition ($<10^{-10}$) for each aberration coefficient. These equations can be utilized easily and efficiently at the step of initial optical design of a two-mirror system with finite object distance.