• Journal for History of Mathematics
• /
• v.22 no.3
• /
• pp.187-206
• /
• 2009

On this study, the historical flow of the notation was briefly examined and the direction of mathematical investigation activity of the content of notation by analogy was explored and teaching learning materials were developed. Diverse mathematical facts were investigated on the basis of decimal system and binary system which are learned in middle school. First, the way of progressing analytic activity with algebraic material was examined. Second, on the basis of the notation which are learned in the first grade of middle school, the definition of the scale of a -notation, -a -notation, $\frac{1}{a}$notation, $\sqrt{a}$-notation was extended by analogy. The result of this study will be expected to establish the curriculum of mathematics and provide teaching and learning with the meaningful current events.

• Journal of Korea Spatial Information System Society
• /
• v.4 no.1 s.7
• /
• pp.5-14
• /
• 2002

The generalization of geospatial data is an important way in deriving a new database from an original one. The generalization of a geospatial object changes not only its geometric and aspatial attributes but also results in propagation to other objects along their relationship. We call it generalization propagation of geospatial databases. Without proper handling of the propagation, it brings about an inconsistent database or loss of semantics. Nevertheless, previous studies in the generalization have focused on the derivation of an object by isolating it from others. And they have proposed a set of generalization operators, which were intended to change the geometric and aspatial attributes of an object. In this paper we extend the definition of generalization operators to cover the propagation from an object to others. In order to capture the propagation, we discover a set of rules or constraints that must be taken into account during generalization procedure. Each generalization operator with constraints is expressed in relational algebra and it can be converted to SQL statements with ease. A prototype system was developed to verify the correctness of extended operators.

• Journal of Korea Spatial Information System Society
• /
• v.4 no.1 s.7
• /
• pp.39-46
• /
• 2002

In distributed spatial database systems, users nay issue a query that joins two relations stored at different sites. The sheer volume and complexity of spatial data bring out expensive CPU and I/O costs during the spatial join processing. This paper shows a new spatial join method which joins two spatial relation in a parallel way. Firstly, the initial join operation is divided into two distinct ones by partitioning one of two participating relations based on the region. This two join operations are assigned to each sites and executed simultaneously. Finally, each intermediate result sets from the two join operations are merged to an ultimate result set. This method reduces the number of spatial objects participating in the spatial operations. It also reduces the scope and the number of scanning spatial indices. And it does not materialize the temporary results by implementing the join algebra operators using the iterator. The performance test shows that this join method can lead to efficient use in terms of buffer and disk by narrowing down the joining region and decreasing the number of spatial objects.

• Journal of Educational Research in Mathematics
• /
• v.15 no.4
• /
• pp.505-522
• /
• 2005

In this article we studied the role of spreadsheet in teaching function and modeling activity by some examples and students' activity performed by the six 10th graders. We especially focused the role of spreadsheet in understanding of various kinds of functions and the families of functions, and in the explanation of the given modeling problem situations. The functions of automatic copy, graphic and the cell reference of spreadsheet can be used to make students observe the causes and effects of changes of the various kind of mathematical representations of functions such as algebraic formulas, tables and graphs. Especially those functions give students a chance to identify family of functions by changing the parameters and this may lead them to the discovery of mathematical facts. In modeling activities they play a key role in the stages of the analysis of the model, explanation of the results of model and conjecture of the real world situations. As well as they make students find the rules underlying in the real world by making spreadsheet as simulation environments, which are almost impossible to make in paper and pencil environments, and give them a chance to justify their findings using mathematics.

• School Mathematics
• /
• v.8 no.2
• /
• pp.139-160
• /
• 2006

It seems that North Korea has been trying to reorganize its educational system as well as its economic system on a large scale since July 1, 2002. There has been a decrease in quantity of math textbooks by about 30% decrease. Until the 1990's, geometry and algebra had been kept apart from each other in North Korea, but they are put together now. Moreover many changes have been made in both contents and methods of teaching. For example, an area model is used in North Korea to teach operation of fraction, which makes the learning period shorter. This idea will provide us with many implication when we need to ready for decreasing the quantities in the future. Moreover teaching methods of division algorithms need to be reconsidered since the visual algorithm of division could help save the thinking in problem solving.

• Journal of the Korean School Mathematics Society
• /
• v.18 no.4
• /
• pp.411-429
• /
• 2015

In this study we investigated the effects of using GSP in solving geometric problems. Especially we focused the effects of GSP in leveled students' connection of geometry and algebra. High leveled students prefer to use algebraic formula to solve geometric problems. But when they did not know the geometric meaning of their algebraic formula, they could recognize the meaning after using GSP. Middle and low leveled students usually used GSP to obtain hints to solve the problems. For the low leveled students GSP was usually used to understand the meaning of the problem, but it did not make them solve the problem.

• Journal of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.787-811
• /
• 1999

Let M be the maximal ideal space of the Banach algebra $H^{\infty}$ of bounded analytic functions on the open unit disc $\triangle$. For a positive singular measure ${\mu}\;on\;{\partial\triangle},\;let\;{L_{+}}^1(\mu)$ be the set of measures v with $0\;{\leq}\;{\nu}\;{\ll}\;{\mu}\;and\;{{\psi}_{\nu}}$ the associated singular inner functions. Let $R(\mu)\;and\;R_0(\mu)$ be the union sets of $\{$\mid$\psiv$\mid$\;<\;1\}\;and\;\{$\mid${\psi}_{\nu}$\mid$\;<\;0\}\;in\;M\;{\setminus}\;{\triangle},\;{\nu}\;\in\;{L_{+}}^1(\mu)$, respectively. It is proved that if $S(\mu)\;=\;{\partial\triangle}$, where $S(\mu)$ is the closed support set of $\mu$, then $R(\mu)\;=\;R0(\mu)\;=\;M{\setminus}({\triangle}\;{\cup}\;M(L^{\infty}(\partial\triangle)))$ is generated by $H^{\infty}\;and\;\overline{\psi_{\nu}},\;{\nu}\;{\in}\;{L_1}^{+}(\mu)$. It is proved that %d{\theta}(S(\mu))\;=\;0$ if and only if there exists as Blaschke product b with zeros $\{Zn\}_n$ such that $R(\mu)\;{\subset}\;{$\mid$b$\mid$\;<\;1}\;and\;S(\mu)$ coincides with the set of cluster points of $\{Zn\}_n$. While, we proved that $\mu$ is a sum of finitely many point measure such that $R(\mu)\;{\subset}\;\{$\mid${\psi}_{\lambda}$\mid$\;<\;1}\;and\;S(\lambda)\;=\;S(\mu)$. Also it is studied conditions on \mu for which $R(\mu)\;=\;R0(\mu)$.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.11-15
• /
• 1985

Manddelberg [9] has shown that a Clifford algebra of a free quadratic space over an arbitrary semi-local ring R in Brawer-Wall group BW(R) is determined by its rank, determinant, and Hasse invariant. In this paper, we prove a corresponding result when R is a full ring.Throughout this paper, unless otherwise specified, we assume that R is a commutative ring having 2 a unit. A quadratic space (V, B, .phi.) over R is a finitely generated projective R-module V with a symmetric bilinear mapping B: V*V.rarw.R which is non-degenerate (i.e., the natural mapping V.rarw.Ho $m_{R}$(V,R) induced by B is an isomorphism), and with a quadratic mapping .phi.: V.rarw.R such that B(x,y)=1/2(.phi.(x+y)-.phi.(x)-.phi.(y)) and .phi.(rx) = $r^{2}$.phi.(x) for all x, y in V and r in R. We denote the group of multiplicative units of R by U9R). If (V, B, .phi.) is a free rank n quadratic space over R with an orthogonal basis { $x_{1}$,.., $x_{n}$}, we will write < $a_{1}$,.., $a_{n}$> for (V, B, .phi.) where the $a_{i}$=.phi.( $x_{i}$) are in U(R), and denote the space by the table [ $a_{ij}$ ] where $a_{ij}$ =B( $x_{i}$, $x_{j}$). In the case n=2 and B( $x_{1}$, $x_{2}$)=1/2 we reserve the notation [a $a_{11}$, $a_{22}$] for the space. A commutative ring R having 2 a unit is called full [10] if for every triple $a_{1}$, $a_{2}$, $a_{3}$ of elements in R with ( $a_{1}$, $a_{2}$, $a_{3}$)=R, there is an element w in R such that $a_{1}$+ $a_{2}$w+ $a_{3}$ $w^{2}$=unit.TEX>=unit.t.t.t.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1531-1548
• /
• 2016

Let C[0, t] denote the space of real-valued continuous functions on [0, t] and define a random vector $Z_n:C[0,t]{\rightarrow}\mathbb{R}^n$ by $Z_n(x)=(\int_{0}^{t_1}h(s)dx(s),{\ldots},\int_{0}^{t_n}h(s)dx(s))$, where 0 < $t_1$ < ${\cdots}$ < $ t_n=t$ is a partition of [0, t] and $h{\in}L_2[0,t]$ with $h{\neq}0$ a.e. Using a simple formula for a conditional expectation on C[0, t] with $Z_n$, we evaluate a generalized analytic conditional Wiener integral of the function $G_r(x)=F(x){\Psi}(\int_{0}^{t}v_1(s)dx(s),{\ldots},\int_{0}^{t}v_r(s)dx(s))$ for F in a Banach algebra and for ${\Psi}=f+{\phi}$ which need not be bounded or continuous, where $f{\in}L_p(\mathbb{R}^r)(1{\leq}p{\leq}{\infty})$, {$v_1,{\ldots},v_r$} is an orthonormal subset of $L_2[0,t]$ and ${\phi}$ is the Fourier transform of a measure of bounded variation over $\mathbb{R}^r$. Finally we establish various change of scale transformations for the generalized analytic conditional Wiener integrals of $G_r$ with the conditioning function $Z_n$.

• Journal of Advanced Navigation Technology
• /
• v.15 no.2
• /
• pp.181-188
• /
• 2011

A small UAVs(Unmaned Aerial Vehicles) have limited by the payload capacity which requires miniaturization of a navigation system. In this paper, the performance of the lightweight and small sized AHRS(Attitude Heading Reference System), which is self-developed, is evaluated at low acceleration environment. The designed AHRS adopts the commercial low-cost MEMS sensors. A quaternion-based attitude calculation method, which eliminates singularity with relatively simple algebra, is used. In an attitude correction algorithm, the Kalman filter is used with accelerometers and magnetometers combined. The fabricated AHRS is also evaluated with reference to a COTS(Commercial Off-The-Shelf) AHRS which reports a number of successful applications to a small UAVs. The test results show that the measurements from the fabricated AHRS provide proper attitude output data with acceptable amount of differences(horizontal axis 0.5$^{\circ}$, vertical axis 1.5$^{\circ}$) in test environment.