• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1004-1006
• /
• 2015

스마트폰과 어플리케이션의 발달에 따라 과거에는 종이에 인쇄하여 사용하던 초대장들이 SNS 등을 통해 온라인으로 많이 사용되어 지고 있다. 이로 인해 시장에는 다양한 모바일 초대장을 제작해주는 대행업체들이 생겨났다. 기존의 모바일 초대장들은 모델별로 서식을 제작하여 도장 찍듯이 만들어내기 때문에 이를 사용하는 사용자 입장에서는 다른 사람이 이미 사용한 양식의 초대장을 재사용하게 될 수 있다. 보편적으로 이러한 초대장은 특별한 날이나, 기념일적인 일에 사용하는데, 남들이 사용하는 초대장과 차별성을 줄 수 없는 문제가 있다. 우리는 이러한 문제점을 해결하고자 차별화된 모바일 초대장을 만들 수 있는 도구를 구현하였다. 본 논문에서는 이 도구가 생겨난 배경과 도구 제작에 사용된 기술, 관련 연구, 구체적인 구현 방법을 설명한다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.50-61
• /
• 2000

Recently the stereo vision based on conics has received much attention by many authors. Conics have many features such as their matrix expression, efficient correspondence checking, abundance of conical shapes in real world. Extensions to higher algebraic curves met with limited success. Although irreducible algebraic curves are rather rare in the real world, lines and conics are abundant whose products provide good examples of higher algebraic curves. We consider plane algebraic curves of an arbitrary degree $n{\geq}2$ with a fully calibrated stereo system. We present closed form solutions to both correspondence and reconstruction problems. Let $f_1,\;f_2,\;{\pi}$ be image curves and plane and $VC_P(g)$ the cone with generator (plane) curve g and vertex P. Then the relation $VC_{O1}(f_1)\;=\;VC_{O1}(VC_{O2}(f_2)\;∩\;{\pi})$ gives polynomial equations in the coefficient $d_1,\;d_2,\;d_3$ of the plane ${\pi}$. After some manipulations, we get an extremely simple polynomial equation in a single variable whose unique real positive root plays the key role. It is then followed by evaluating $O(n^2)$ polynomials of a single variable at the root. It is in contrast to the past works which usually involve a simultaneous system of multivariate polynomial equations. We checked our algorithm using synthetic as well as real world images.

• 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.

• The Journal of Engineering Geology
• /
• v.31 no.4
• /
• pp.589-601
• /
• 2021

Artificial recharge technology is a method for solving problems such as groundwater level drop and ground subsidence caused by groundwater withdrawal. This study investigated the applicability of using the hydraulic conductivity of an aquifer to predict injection test results for aquifer restoration. Pumping and injection tests were performed under the same conditions as those for the artificial injection facility located in Icheon, Gyeonggi-do. The hydraulic conductivity of the aquifer, which plays a decisive role in restoring the groundwater level, was derived from the pumping test. A numerical model of a simplified on-site aquifer was constructed, and a transient analysis was applied with the same conditions as the pumping test. The correlation between the measured and the resulting model values is strong (R² = 0.78). The injection test was performed in a sedimentary layer composed of silt sand and clay sand. From the results of the injection test, an empirical formula was derived using Theim's formula, which is a common well analysis solution to determine the parameters of the aquifer from time-level data. The model values from the empirical formula have a high degree of correlation (R² = 0.99) with measured values. Under specific conditions, for areas where it is difficult to conduct an injection test, the formula from this study, which relies on the hydraulic conductivity of the aquifer determined through the pumping test, may be used to predict reliable injection rates for groundwater restoration.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.25 no.5
• /
• pp.413-420
• /
• 2012

In this study, the Kernel integration scheme for 2D linear elastic direct boundary element method has been discussed on the basis of subparametric element. Usually, the isoparametric based boundary element uses same polynomial order in the both basis function and mapping function. On the other hand, the order of mapping function is lower than the order of basis function to define displacement field when the subparametric concept is used. While the logarithmic numerical integration is generally used to calculate Kernel integration as well as Cauchy principal value approach, new formulation has been derived to improve the accuracy of numerical solution by algebraic modification. The subparametric based direct boundary element has been applied to 2D elliptical partial differential equation, especially for plane stress/strain problems, to demonstrate whether the proposed algebraic expression for integration of singular Kernel function is robust and accurate. The problems including cantilever beam and square plate with a cutout have been tested since those are typical examples of simple connected and multi connected region cases. It is noted that the number of DOFs has been drastically reduced to keep same degree of accuracy in comparison with the conventional isoparametric based BEM. It is expected that the subparametric based BEM associated with singular Kernel function integration scheme may be extended to not only subparametric high order boundary element but also subparametric high order dual boundary element.

• East Asian mathematical journal
• /
• v.37 no.4
• /
• pp.401-426
• /
• 2021

In order to propose ways to implement mathematical connection between algebra and geometry, this study reinterpreted and visualized the Khayyam's geometric method solving the cubic equations using two conic sections and the Al-Kāshi's method of constructing of angle trisection using a cubic equation. Khayyam's method is an example of a geometric solution to an algebraic problem, while Al-Kāshi's method is an example of an algebraic a solution to a geometric problem. The construction and property of conics were presented deductively by the theorem of "Stoicheia" and the Apollonius' symptoms contained in "Conics". In addition, I consider connections that emerged in the alternating process of algebra and geometry and present meaningful Implications for instruction method on mathematical connection.

• Journal of Educational Research in Mathematics
• /
• v.9 no.1
• /
• pp.321-332
• /
• 1999

This article made overtures of the relationship between interactive mathematics texts nd the prototype design of computer application with Computer Algebra System Math. Engine, linking together in the school mathematics. School teachers and researchers would try to construct mathematical materials with computers in educating students in the middle and high school grades. As the individual users come to manage hyper-media materials, so they meet with the problem of 'Who does control?'A mass user would be concerned with interactive mathematics materials directly or off-line at realtime and manipulate the process of problem-solving symbolically with MathView/sup 11)/ and ON-Math/sup 12)/. Discussion was made in developing the factor in the domestic situation and reaching out their hands for it. In conclusion, a user may reform the information of math-curriculum limitedly.

• Journal of Korean Society of Transportation
• /
• v.17 no.1
• /
• pp.105-112
• /
• 1999

Image Processing Technique has been used as an efficient method to collect traffic information on the road such as vehicle counts, speed, queues, congestion and incidents. Most of the current methods which have been used to detect vehicles by the image processing are based on point processing, dealing with the local gray level of each pixel in the small window. However, these methods have some drawbacks. Firstly, detection is restricted by image quality. Secondly, they can not deal with occlusion and perspective projection problems, In this research, a new method which possibly deals with occlusion and perspective problems will be proposed. It extracts spatial information such as the position, the relationship of vehicles in 3-dimensional space, as well as vehicle detection in the image. The main algorithm used in this research is based on an extension of the Hough Transform. The Hough Transform which is proposed to estimates parameters of vertices and directed edges analytically on the Hough Space, is a valuable method for the 3-dimensional analysis of static scenes, motion detection and the estimation of viewing parameters.

• Journal of the Korean Institute of Gas
• /
• v.25 no.4
• /
• pp.10-18
• /
• 2021

CO₂ storage technology in an aquifer is one of the most effective way to decrease global warming due to a high storage capacity and economics. A demonstration-scale offshore CO₂ storage project was performed in a geological deep aquifer in the Pohang Basin, Korea for a technological development of large-scale CO₂ storage. A challenging issue in the early design stage of the project was to establish the proper injectivity during CO₂ injection. To solve this issue, injection conditions were calculated by calculating injection rate, pressure, temperature, CO₂ phase change, and thermodynamic properties. For this study, we simulated and numerically analyzed CO₂ phase change from gas to supercritical phase and flow behavior in transport piping and injection tubing using OLGA program. Our results provide the injectivity conditions of CO₂ injection system combined with a bottomhole pressure of an aquifer.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.4
• /
• pp.1013-1024
• /
• 1997

In the traditional object modeling methodologies, the object model can be said as formal since it has been based on rich semantic model. But almost of all methodolgies lack in formality the dyamic model and modeling process. Dynamic model cannot represent exctly the timing constraints and the interaction among the objects, which are very important features in real-time and multimedia system. In this paper, we formalize the synamic moedl and modeling proxess based on object behavior and state. This model defines the object state space using the concepts in algebra stucture and defines the object behavior func-tion. Also this model can formalize object kifecycle and conurrency among the objects usint the temporal logiction. Also this model can frlmaize object lifecycle and conurrency among the objects using the tempral logic and behavior founction. We apply firing rules to behacior function for modeling the dependency of interaction among the objescts.