• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1243-1256
• /
• 1997

Object modeling has been cinsidered as an efficient technique for eleciting user requirements and communicat-ing between developers and customers. But model itself is not easy to understand what recult will be after coding and whether it will be meet with the requirements of customers. In this paper, we developed the envuroment for visualization of object model for validating with rewuirnent at the early stage. Therefore, we defined correct and complete rules which can transform the object model.the delierables of Shler/Mellor's method, into a for-mal specification language of VDM(Vienna Development Methods) with a mathematical basis. This basis provides the means of proving that a specification is realizable and proving properties of a system.Therefore.the completeness, preciceness of object model can be verified by proving the transformed VDM specification and prototyping by constructing a visualization supporting enviroment.

• Communications of Mathematical Education
• /
• v.30 no.4
• /
• pp.435-452
• /
• 2016

This study was designed to explore students' instrumentalization in relation to the van Hiele's teaching method within a technology environment using GeoGebra. To carry out the study, a total of 4 lesson units was developed based on van Hiele teaching method for two slow learners in Gyeonggi province, Korea. The results of study were as follows. Instrumentalization of students was actualized from preparation, to adaptation, and to application stages. In preparation, and adaptation stages, depending on visualization, students used a trial-and-error method a lot, however in application stage the role of GeoGebra was just to check the solution of what they conjectured. Therefore, a teacher should prepare geometric tasks according to the processes of instrumentalization based on geometric teaching method. During instrumentalization and instrumentation of users, usage scheme(US) and instrumented action scheme(IAS) should be concrete.

• School Mathematics
• /
• v.16 no.1
• /
• pp.57-81
• /
• 2014

This study was to investigate how the underachievers of mathematics in a non-leveling excellent high school would overcome the errors through the lessons based on the inductive thinking model in the equation of a circle. The results showed that when there were many stages to solve the problem, the students gave it up or forgot the stage they reached. In this case, if they had a revisit-opportunity to review their thinking process by planning ahead the stage to solve the problem and recording it, the omission error of the solving process and the error of wrong conclusions would be dramatically decreased. Moreover, they understood the mathematical concept, principle, and formula and remembered the learning contents extremely well through thinking by themselves in exploration-based activities and by using visualization for the problem and could solve the problem through these pictures besides algebraic expressions.

• Communications of Mathematical Education
• /
• v.24 no.1
• /
• pp.177-193
• /
• 2010

The purpose of this study is to explore normal distribution in probability distributions of the area of statistics in high school mathematics. To do this these contents such as approximation of normal distribution from binomial distribution, investigation of normal distribution curve and the area under its curve through the method of Monte Carlo, linear transformations of normal distribution curve, and various types of normal distribution curves are explored with CAS calculator. It will not be ablt to be attained for the objectives suggested the area of probability distribution in a paper-and-pencil classroom environment from the perspectives of tools of CAS calculator such as trivialization, experimentation, visualization, and concentration. Thus, this study is to explore various properties of normal distribution curve with CAS calculator and derive from pedagogical implications of teaching and learning normal distribution curve.

• Communications of Mathematical Education
• /
• v.36 no.3
• /
• pp.335-353
• /
• 2022

The purpose of this study is to identify the characteristics and types of errors in the conceptual image of Korean language learners according to the types of terms in mathematics that are the basis for solving mathematical word problems, and to prepare basic data for effective teaching and learning methods in solving the word problems of Korean language learners. To do this, a case study was conducted targeting four Korean language learners to analyze the specific conceptual images of terms registered in curriculum and terms that were not registered in curriculum but used in textbooks. As a result of this study, first, it is necessary to guide Korean language learners by using sufficient visualization material so that they can form appropriate conceptual definitions for terms in school mathematics. Second, it is necessary to understand the specific relationship between the language used in the home of Korean language learners and the conceptual image of terms in school mathematics. Third, it is necessary to pay attention to the passive term, which has difficulty in understanding the meaning rather than the active term. Fourth, even for Korean language learners who do not have difficulties in daily communication, it is necessary to instruct them on everyday language that are not registered in the curriculum but used in math textbooks. Fifth, terms in school mathematics should be taught in consideration of the types of errors that reflect the linguistic characteristics of Korean language learners shown in the explanation of terms. This recognition is expected to be helpful in teaching word problem solving for Korean language learners with different linguistic backgrounds.

• Communications of Mathematical Education
• /
• v.37 no.4
• /
• pp.635-652
• /
• 2023

This study conducts a comprehensive analysis of the curricular progression of the concepts and learning sequences of 'lines', specifically, 'line segments', 'straight lines', and 'rays', at the elementary school level. By examining mathematics curricula and textbooks, spanning from 2nd to 7th and 2007, 2009, 2015, and up to 2022 revised version, the study investigates the timing and methods of introducing these essential geometric concepts. It also explores the sequential delivery of instruction and the key focal points of pedagogy. Through the analysis of shifts in the timing and definitions, it becomes evident that these concepts of lines have predominantly been integrated as integral components of two-dimensional plane figures. This includes their role in defining the sides of polygons and the angles formed by lines. This perspective underscores the importance of providing ample opportunities for students to explore these basic geometric entities. Furthermore, the definitions of line segments, straight lines, and rays, their interrelations with points, and the relationships established between different types of lines significantly influence the development of these core concepts. Lastly, the study emphasizes the significance of introducing fundamental mathematical concepts, such as the notion of straight lines as the shortest distance in line segments and the concept of lines extending infinitely (infiniteness) in straight lines and rays. These ideas serve as foundational elements of mathematical thinking, emphasizing the necessity for students to grasp concretely these concepts through visualization and experiences in their daily surroundings. This progression aligns with a shift towards the comprehension of Euclidean geometry. This research suggests a comprehensive reassessment of how line concepts are introduced and taught, with a particular focus on connecting real-life exploratory experiences to the foundational principles of geometry, thereby enhancing the quality of mathematics education.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.11 no.5
• /
• pp.201-209
• /
• 2003

Virtual human models are widely used to save time and expense in vehicle safety studies. A human model is an essential tool to visualize and simulate a vehicle driver in virtual environments. This research is focused on creation and application of a human model fer virtual reality. The Korean anthropometric data published are selected to determine basic human model dimensions. These data are applied to GEBOD, a human body data generation program, which computes the body segment geometry, mass properties, joints locations and mechanical properties. The human model was constituted using MADYMO based on data from GEBOD. Frontal crash and bump passing test were simulated and the driver's motion data calculated were transmitted into the virtual environment. The human model was organized into scene graphs and its motion was visualized by virtual reality techniques including OpenGL Performer. The human model can be controlled by an arm master to test driver's behavior in the virtual environment.

• International Journal of Contents
• /
• v.10 no.3
• /
• pp.84-89
• /
• 2014

The mass-spring model has been typically employed in physical-based simulators for clothes or patches. The mass-spring model frequently utilizes equal mass and the gravity factor. The model structure of masses supports a shape applicable to fishing nets. Therefore, to create a simulation model of a fishing net, we consider the mass-spring model and adopt the tidal-current and buoyancy effects in underwater environments. These additional factors lead to a more realistic visualization of fishing-net simulations. In this paper, we propose a new mass-spring model for a fishing-net and a method to simplify the calculation equations for a real-time simulation of a fishing-net model. Our 3D mass-spring model presents a mesh-structure similar to a typical mass-spring model except that each intersection point can have different masses. The motion of each mass is calculated periodically considering additional dynamics. To reduce the calculation time, we attempt to simplify the mathematical equations that include the effect of the tidal-current and buoyancy. Through this research, we expect to achieve a real-time and realistic simulation for the fishing net.

• 한국가시화정보학회:학술대회논문집
• /
• 2007.11a
• /
• pp.88-91
• /
• 2007

Animal cells show different behaviors in response to the mechanical properties of the substrates. We hypothesize that the rigidity of the substrates also affects the bacterial motility and controls the colony dynamics. It is found that the colony size of Escherichia colis and Bacillus subtilis grown on the agar plates is correlated with agarose gel concentrations and thus with the substrate rigidity. High- resolution microscopic imaging reveals that bacteria in single colonies form different aggregation patterns on the agar plates with varying gel concentration. We measured the apparent diffusion coefficients in the agarose gel plates made with different gel concentrations. Mathematical modeling and quantitative imaging of dye dispersion in the agar plates suggest that there is a close connection between the diffusion rate and the colony size. Nanoscale pore structures and kinetic constraints in the porous media may have an effect on bacterial colony dynamics.

• Korean Journal of Remote Sensing
• /
• v.28 no.6
• /
• pp.683-691
• /
• 2012

High resolution satellite images are now widely used for a variety of mapping applications including photogrammetry, GIS data acquisition and visualization. As the spectral and spatial data size of satellite images increases, a greater processing power is needed to process the images. The solution of these problems is parallel systems. Parallel processing techniques have been developed for improving the performance of image processing along with the development of the computational power. However, conventional CPU-based parallel computing is often not good enough for the demand for computational speed to process the images. The GPU is a good candidate to achieve this goal. Recently GPUs are used in the field of highly complex processing including many loop operations such as mathematical transforms, ray tracing. In this study we proposed a technique for parallel processing of high resolution satellite images using GPU. We implemented a spectral radiometric processing algorithm on Landsat-7 ETM+ imagery using CUDA, a parallel computing architecture developed by NVIDIA for GPU. Also performance of the algorithm on GPU and CPU is compared.