• The Mathematical Education
• /
• v.47 no.1
• /
• pp.49-59
• /
• 2008

In this paper, we discuss two representations of a curve. One is a static representation as set of points, the other is a dynamic representation using time parameter. And we suggest needs of designing a computer microword where we can represent a curve both statically and dynamically. We also emphasize the importance of translation activity from a static representation to a dynamic representation. For this purpose, we first consider constructionism and 'computers and mathematics education' as a theoretical backgrounds. We focus the curve of a parabola in this paper since this is common in mathematics curriculum and is related to realistic situation such as throwing ball. And we survey the mathematics curriculum about parabola representation. And we introduce JavaMAL microworld that is integrated microworld between LOGO and DGS. In this microworld, we represent a parabola using a dynamic action, and connect this dynamic parabola action to recursive patterns. Finally, we remake a parabola for a realistic situation using this dynamic representation. And we discuss the educational meaning of dynamic representation and its computer microworld.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.212-217
• /
• 1992

In this paper, a two ports machine(TPM) model for discrete event dynamic systems(DEDS) is proposed. The proposed model is a finite state machine which has two inputs and two outputs. Inputs and outputs have two components, events and informations. TPM is different from other state machine models, since TPM has symmetric input and output. This symmetry enables the block diagram representation of the DEDS with TPM blocks, summing points, multiplying points, branch points, and connections. The graphical representation of DEDS is analogous to that of control system theory. TPM has a matrix representation of its transition and information map. This matrix representation simplifies the analysis of the DEDS.

• School Mathematics
• /
• v.13 no.3
• /
• pp.447-468
• /
• 2011

For the instruction of units dealing with the conic section, the most important factor that we need to consider is the connections. In other words, the algebraic approach and the geometric approach should be instructed in parallel at the same time. In particular, for the students of low proficiency who are not good at algebraic operation, the geometric approach that employs visual representation, expressing the conic section's characteristic in a dynamic manner, is an important and effective method. For this, during this research, to suggest the importance of dynamic visual representation based on GeoGebra in teaching Quadratic Curve, we taught an experimental class that suggests the instruction method which maximizes the visual representation and analyzed changes in the representation of students by analyzing the part related to the unit of a parabola from units dealing with a conic section in the "Geometry and Vector" textbook and activity book.

• International Journal of Contents
• /
• v.11 no.1
• /
• pp.21-30
• /
• 2015

A simulated realistic virtual environment is inhabited by autonomous cyber-humans who play the roles of agents in events. A key element, which enables this realism, is the historical context formed by time and space. A knowledge-representation scheme, composed of both spatial and temporal aspects needed by the agent to respond to dynamically changing situations, is essential for the design of a realistic virtual agent. In this work, spatial and temporal aspects of dynamic situations in the virtual environment have been formalized as a key component of our knowledge-representation scheme. This scheme provides a mathematical framework to construct realistic virtual situations that change with time, and background knowledge for agents in the simulated environment to deduce new pieces of information and plan against changing situations.

• Journal of IKEEE
• /
• v.17 no.4
• /
• pp.478-483
• /
• 2013

This paper presents an adaptive Retinex algorithm for improving dynamic range of image representation. The proposed Retinex algorithm detects degraded brightness by using skewness and the degraded components are compensated with local statistics. In particular, we propose a new compensation function for dynamic range so that effectinve image representation can be achieved. Experimental results show that the proposed algorithm has the capability to improve the dynamic range with reduction of color degradation.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• pp.667-674
• /
• 2006

Dynamic analysis of the electrical transmission system including transmission towers and cables is carried out by a general purpose structural analysis computer program for examining the wind-resistance of the system The spectral representation method is introduced to generate dynamic wind loads by using the Kaimal's spectrum and the measured wind velocities from wind tunnel tests, respectively. The numerical simulation results show that the responses in the case of the measured wind velocities is slightly larger than those in the case of the code.

• The Journal of the Korea Contents Association
• /
• v.10 no.9
• /
• pp.97-106
• /
• 2010

Various time series representation methods have been suggested in order to process time series data efficiently and effectively. SAX is the representative time series representation method combining segmentation and discretization techniques, which has been successfully applied to the time series classification task. But SAX requires a large number of segments in order to represent the meaningful dynamic patterns of time series accurately, since it loss the dynamic property of time series in the course of smoothing the movement of time series. Therefore, this paper suggests a new time series representation method that combines PIPs detection and Persist discretization techniques. The suggested method represents the dynamic movement of high-diemensional time series in a lower dimensional space by detecting PIPs indicating the important inflection points of time series. And it determines the optimal discretizaton ranges by applying self-transition and marginal probabilities distributions to KL divergence measure. It minimizes the information loss in process of the dimensionality reduction. The suggested method enhances the performance of time series classification task by minimizing the information loss in the course of dimensionality reduction.

• Proceedings of the KIEE Conference
• /
• 2000.11d
• /
• pp.615-617
• /
• 2000

Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

• Language and Information
• /
• v.12 no.1
• /
• pp.1-26
• /
• 2008

This paper proposes a dynamic approach to anaphoric resolution in conjunction phrases, in terms of Discourse Representation Theory. Unlike Kamp, van Genabith, and Reyle (forthcomming)'s analysis, it proposes two different types of discourse representation structures for conjunction phrases; one for coordinate phrases such as and conjunction phrases and the other one for subordination conjunction phrases such as when subordination phrases. Following Chung (1992), Chung (2004), every element is processed in the order of occurrence and conjunction operators in a non-sentence-initial position cause the ongoing DR to split in two with the same index. DRS conditions and accessibility are accordingly modified so that DRs for conjunction clauses can be accessible from DRs for main clauses.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1962-1969
• /
• 1999

Active contours are deformable energy minimizing curves controlled by internal energy and external energy. The internal energy is constraint to preserve a smooth curve, and the external energy guides the curve towards image features. B-spline representation of active contours can be of great benefits in the segmentation and description whose shape is characterized by its defining polygon or control points. Menet et al proposed B-spline representation of active contours based on dynamic programming. The method is simple and efficient by comparing over finite difference method.