• Journal of the Korean School Mathematics Society
• /
• v.6 no.2
• /
• pp.39-53
• /
• 2003

We study the dynamic geometry software suitable for the Internet Environment. First, we look into the necessity of dynamic geometry software and compare the functions and the features of commercial softwares, GSP, Cabri and Cinderella. Secondly, we introduce the process of development and the structure of the new software DRC(Digital Ruler and Compass) designed by authors and discuss the learning program with DRC and Internet, and view the upgrade of the software in the future.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.412-421
• /
• 2000

In spite that the main contents of mathematical and scientific learning are understanding principles and their applications, most of existing educational softwares are based on rote learning, thus resulting in limited educational effects. In the artificial intelligence research, some progress has been made in developing automatic tutors based on proving and simulation, by adapting the techniques of knowledge representation, search and inference to the design of tutors. However, these tutors still fall short of being practical and the turor, even a prototype model, for learning problem solving is yet to come out. The geometry problem-solving tutor proposed by this research involves dynamic inference performed in parallel with learning. As an ontology for composing the problem space within a real-time setting, we have employed the notions of propositions, hypotheses and operators. Then we investigated the mechanism of interactive learning of problem solving in which the main target of inference involves the generation and the test of these components. Major accomplishment from this research is a practical model of a problem tutor embedded with a series of inference techniques for algebraic manipulation, which is indispensable in geometry problem solving but overlooked by previous research. The proposed model is expected to be applicable to the design of problem tutors in other scientific areas such as physics and electric circuitry.

• Journal of the Korean School Mathematics Society
• /
• v.20 no.3
• /
• pp.325-344
• /
• 2017

Since PISA2006, the computer based assessment in mathematics(CBAM) was introduced for the first times and at last PISA2015 used all items in CBAM for problem solving. In this study, we focused on which important properties were considered in constructing geometric 'fence items' used in PISA 2015 to find the future direction over our teacher education, especially for constructing 'computer based assessment items.' For the purpose of the study, we analyzed the fence items on three components such as dependency, invariant, and path found in dragging activities, within a computer environment using the dynamic Geometry Software, GSP. Also, for the future, we provided an open-ended problem related to the fence items, which we could use as the merit of computer-based environment.

• School Mathematics
• /
• v.11 no.1
• /
• pp.131-145
• /
• 2009

This research was designed to investigate the possibility to teach function concept and graph representation of functions in explicit manner toward at elementary level. Eight class-hours instruction was given to four Grade 5(age 11) students, and dynamic geometry software GSP was partially used in the class. Results indicate that the students could conceptualize the function relation, interpret linear function graphs, recognize the meaning of their slopes, and discuss the relationships among linear graphs and real life situation. Results also indicate that GSP helped students to recognize the relation between dots and the linear graph clearly and that GSP-line graph did decisive role for children to understand the meaning of graph representation of function.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.04a
• /
• pp.501-503
• /
• 2015

Malicious(악의적인) + Code 즉, 악의적인코드를 포함한 소프트웨어라는 의미로 줄여 Malware(Malicious + Software) 라고 불리는 악성코드는 최근 네트워크와 컴퓨터의 급속한 발전에 따라 기하급수적으로 증가하고 있는 추세이다. 폭발적인 증가율 추세를 보이고 있는 악성코드의 위협을 대비하기 위해 악성코드에 대한 분석이 필요한데 그 분석의 종류로는 초기분석, 동적 분석, 정적분석으로 나누고 장, 단점을 정리하였다. 또한 악성코드 대량화에 따른 효율적인 분석과 빠른 의사결정을 위한 악성코드 유사도에 대한 연구를 소개하고 API Call Sequence와 분류된 API를 이용한 악성행위 유사도 판별법을 제시하고 실험하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.12
• /
• pp.549-564
• /
• 2017

Not only services that are provided by a single system have been various with the development of the Internet of Things and autonomous software but also new services that are not possible before are provided through collaboration between systems. The collaboration between autonomous systems is similar to the ecosystem configuration in terms of biological viewpoints. Thus, it is called the IT Ecosystem, and this concept has arisen newly in recent years. The IT Ecosystem refers to a concept that achieves a mission of each of a number of heterogeneous systems rather than a single system utilizing their own autonomy as well as achieving the objectives of the overall system simultaneously in order to meet a single common goal. In our previous study, we proposed architecture of elementary level and as well as basic several meta-models to implement the IT Ecosystem. This paper proposes comprehensive reference architecture framework to implement the IT Ecosystem by cleansing the previous study. Among them, a utility function based on cost-benefit model is proposed to solve the dynamic re-configuration problem of system components. Furthermore, a measure of using genetic algorithm is proposed as a solution to reduce the dynamic re-configuration overhead that is increased exponentially according to the expansion of the number of entities of components in the IT Ecosystem. Finally, the utilization of the proposed orchestration framework is verified quantitatively through probable case studies on IT Ecosystem for unmanned forestry management.

• Communications of Mathematical Education
• /
• v.35 no.1
• /
• pp.119-136
• /
• 2021

We performed the research and education programs using engineering tools such as Mathematica, Microsoft Excel and GeoGebra for the students in mathematics mentorship program of the institute of science education for the gifted. We used the engineering tools to solve the problems and found the rules by observing the solutions. Then we generalized the rules to theorems by proving the rules. Mathematica, the professional mathematical computation program, was used to calculate and find the length of the repeating portion of the repeating decimal. Microsoft Excel, the spreadsheet software, was used to investigate the Beatty sequences. Also GeoGebra, the dynamic geometric software, was used to investigate the Voronoi diagram and develop the Voronoi game. Using GeoGebra, we designed the Voronoi game plate for the game. In this program, using engineering tools improved the mathematical creativity and the logical thinking of the gifted students in mathematics mentorship program.

• Journal of Educational Research in Mathematics
• /
• v.16 no.4
• /
• pp.367-386
• /
• 2006

There are two strands for considering tile relationships between education and technology. One is the viewpoint of 'learning from computers' and the other is that of 'learning with computers'. In this paper, we call mathematics education with computers as 'computers and mathematics education' and this computer environments as microworlds. In this paper, we first suggest theoretical backgrounds ai constructionism, mathematization, and computer interaction. These theoretical backgrounds are related to students, school mathematics and computers, relatively As specific strategies to design a microworld, we consider a physical construction, fuctiionization, and internet interaction. Next we survey the different microworlds such as Logo and Dynamic Geometry System(DGS), and reform each microworlds for mathematical level-up of representation. First, we introduce the concept of action letters and its manipulation for representing turtle actions and recursive patterns in turtle microworld. Also we introduce another algebraic representation for representing DGS relation and consider educational moaning in dynamic geometry microworld. We design an integrating microworld between Logo and DGS. First, we design a same command system and we get together in a microworld. Second, these microworlds interact each other and collaborate to construct and manipulate new objects such as tiles and folding nets.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.34 no.1
• /
• pp.341-353
• /
• 2014

In order to deliver a centimeter-level kinematic positioning solution with GPS carrier-phase measurements, it is prerequisite to use correctly resolved integer ambiguities. Based on the mathematical modeling of GPS network with application of its geometrical constraints, this research has investigated an instantaneous ambiguity resolution procedure for the so-called 'integer constrained least-squares' technique which can be effectively implemented in real-time structure monitoring. In this process, algorithms of quality control for the float solutions and hypothesis tests using the constrained baseline for the ambiguity validation are included to enhance reliability of the solutions. The proposed procedure has been implemented by MATLAB, the language of technical computing, and processed field trial data obtained at a cable-stayed bridge to access its real-world applicability. The results are summarized in terms of ambiguity successful rates, impact of the stochastical models, and computation time to demonstrate performance of the instantaneous ambiguity resolution proposed.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.1
• /
• pp.17-24
• /
• 2020

The traveling salesman problem is an algorithmic problem tasked with finding the shortest route that a salesman visits, visiting each city and returning to the started city. Due to the exponential time complexity of TSP, it's hard to implement on cases like amusement park or delivery. Also, TSP is hard to meet user's demand that is associated with multi-dimensional attributes like travel time, interests, waiting time because it uses only one attribute - distance between nodes. This paper proposed Top-n Skyline-Multi Dimension TSP to resolve formerly adverted problems. The proposed algorithm finds the shortest route faster than the existing method by decreasing the number of operations, selecting multi-dimensional nodes according to the dominance of skyline. In the simulation, we compared computation time of dynamic programming algorithm to the proposed a TS-MDT algorithm, and it showed that TS-MDT was faster than dynamic programming algorithm.