• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.731-737
• /
• 1994

Let $(\Omega, F, P)$ be a probability space with F a $\sigma$-algebra of subsets of the measure space $\Omega$ and P a probability measures on $\Omega$. Suppose $a > 0$ and let $(F_t)_{t \in [0,a]}$ be an increasing family of sub-$\sigma$- algebras of F. If $r > 0$, let $J = [-r, 0]$ and $C(J, R^n)$ the Banach space of all continuous paths $\gamma : J \to R^n$ with the sup-norm $\Vert \gamma \Vert_C = sup_{s \in J} $\mid$\gamma(x)$\mid$$ where $$\mid$\cdot$\mid$$ denotes the Euclidean norm on $R^n$. Let E and F be separable real Banach spaces and L(E,F) be the Banach space of all continuous linear maps $T : E \to F$ with the norm $\Vert T \Vert = sup {$\mid$T(x)$\mid$_F : x \in E, $\mid$x$\mid$_E \leq 1}$.

• Journal of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1333-1348
• /
• 2013

Given a faithful flow ${\alpha}$ on a $C^*$-algebra A, when A is ${\alpha}$-simple we will show that the closed subalgebra of A consisting of elements with non-negative Arveson spectra is maximal if and only if the crossed product of A by ${\alpha}$ is simple. We will also show how the general case can be reduced to the ${\alpha}$-simple case, which roughly says that any flow with the above maximality is an extension of a trivial flow by a flow of the above type in the ${\alpha}$-simple case. We also propose a condition of essential maximality for such closed subalgebras.

• Progress in Superconductivity
• /
• v.3 no.2
• /
• pp.183-187
• /
• 2002

In this paper we analyzed the electromagnetic behavior of high $-T_{c}$ superconductor under the quench state using finite element method. Poisson equation was used in finite element analysis as a governing equation and was solved using algebra equation using Gallerkin method. We first investigate d the electromagnetic behavior of U-type superconductor. Finally we applied our analysis techniques to 5.5 kVA meander-line superconducting fault current limiters (SFCL) which are currently developed by many power-system researcher in the world. Meshes of 14,600 elements were used in analysis of this SFCL. Analysis results show that the distribution of current density was concentrated to inner curvature in meander-line type-superconductors and maximum current density 14.61 $A/\m^2$ and also maximum Joule heat was 6,420 W/㎥. We concluded that this meander line-type SFCL was not pertinet fur uniform electromagnetic field distribution.n.

• Nuclear Engineering and Technology
• /
• v.44 no.4
• /
• pp.405-414
• /
• 2012

In this paper, we propose a reliability estimation method for DI&C systems. At the system level, a fault tree model is suggested and Boolean algebra is used to obtain the minimal cut sets. At the component level, an exponential distribution is used to model hardware failures, and Bayesian estimation is suggested to estimate the failure rate. Additionally, a binomial distribution is used to model software failures, and a recently developed software reliability estimation method is suggested to estimate the software failure rate. The overall system reliability is then estimated based on minimal cut sets, hardware failure rates and software failure rates.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.1
• /
• pp.43-46
• /
• 1989

In this paper, we are concerned with the pointwise-hypoellipticity (see Definition 2.1) of an m-dimensional Frobenious Lie algebra L of analytic complex vector fields in somel open subset .ohm. of $R^{m+1}$. That is, L is a set of complex vector fields in .ohm. with (real-) analytic coefficients satisfying: (A) each point of .ohm. has an open neighborhood in which L is generated by m linearly independent elements of L; (B) L is closed under the commutation bracket [A, B]. The pointwise-analytic hypoellipticity of L is completely characterized by M.S. Baouendi and F. Treves in [1]. Here, we shall prove that if L is hypoelliptic at a point then it must be analytic hypoelliptic in a full neighborhood of the same point. When the coefficients are $C^{\infty}$, hypoellipticity of L was discussed in [2].2].

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.451-459
• /
• 2019

Let ${\mathcal{A}}$ and ${\mathcal{B}}$ be two operator ${\ast}$-rings such that ${\mathcal{A}}$ is prime. In this paper, we show that if the map ${\Phi}:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ is bijective and preserves Jordan or ${\ast}$-Jordan triple product, then it is additive. Moreover, if ${\Phi}$ preserves Jordan triple product, we prove the multiplicativity or anti-multiplicativity of ${\Phi}$. Finally, we show that if ${\mathcal{A}}$ and ${\mathcal{B}}$ are two prime operator ${\ast}$-algebras, ${\Psi}:{\mathcal{A}}{\rightarrow}{\mathcal{B}}$ is bijective and preserves ${\ast}$-Jordan triple product, then ${\Psi}$ is a ${\mathbb{C}}$-linear or conjugate ${\mathbb{C}}$-linear ${\ast}$-isomorphism.

• Journal of applied mathematics & informatics
• /
• v.11 no.1_2
• /
• pp.431-436
• /
• 2003

Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;:\;y_i,\;for\;i\;=\;1,\;2,\;{\cdots},\;n$. In this article, we obtained the following : $Let\;x\;=\;\{x_i\}\;and\;y=\{y_\}$ be two vectors in a separable complex Hilbert space H such that $x_i\;\neq\;0$ for all $i\;=\;1,\;2;\cdots$. Let L be a commutative subspace lattice on H. Then the following statements are equivalent. (1) $sup\;\{\frac{\$\mid${\sum_{k=1}}^l\;\alpha_{\kappa}E_{\kappa}y\$\mid$}{\$\mid${\sum_{k=1}}^l\;\alpha_{\kappa}E_{\kappa}x\$\mid$}\;:\;l\;\in\;\mathbb{N},\;\alpha_{\kappa}\;\in\;\mathbb{C}\;and\;E_{\kappa}\;\in\;L\}\;<\;\infty\;and\;$\mid$y_n\$\mid$x_n$\mid$^{-1}\;=\;1\;for\;all\;n\;=\;1,\;2,\;\cdots$. (2) There exists an operator A in AlgL such that Ax = y, A is a unitary operator and every E in L reduces, A, where AlgL is a tridiagonal algebra.

• School Mathematics
• /
• v.13 no.4
• /
• pp.581-598
• /
• 2011

Given the growing agreement that algebra should be taught in the early stage of the curriculum, considerable studies have been conducted with regard to early algebra in the elementary school. However, there has been lack of research on how to organize mathematic lessons to develop of algebraic reasoning ability of the elementary school students. This research attempted to gain specific and practical information on effective algebraic teaching and learning in the elementary school. An exploratory qualitative case study was conducted to the fourth graders. This paper focused on the associative law of the multiplication. This paper showed what kinds of activities a teacher may organize following three steps: (a) focus on the properties of numbers and operations in specific situations, (b) discovery of the properties of numbers and operations with many examples, and (c) generalization of the properties of numbers and operations in arbitrary situations. Given the steps, this paper included an analysis on how the students developed their algebraic reasoning. This study provides implications on the important factors that lead to the development of algebraic reasoning ability for elementary students.

• Education of Primary School Mathematics
• /
• v.27 no.3
• /
• pp.281-301
• /
• 2024

Many students have experienced difficulties due to the discontinuity in instruction between arithmetic and algebra, and in the field of elementary education, algebra is often treated somewhat implicitly. However, algebra must be learned as algebraic thinking in accordance with the developmental stage at the elementary level through the expansion of numerical systems, principles, and thinking. In this study, algebraic thinking-based classes were developed and conducted for 6th graders in elementary school, and the effect on the ability to solve word-problems in fraction division was analyzed. During the 11 instructional sessions, the students generalized the solution by exploring the relationship between the dividend and the divisor, and further explored generalized representations applicable to all cases. The results of the study confirmed that algebraic thinking-based classes have positive effects on their ability to solve fractional division word-problems. In the problem-solving process, algebraic thinking elements such as symbolization, generalization, reasoning, and justification appeared, with students discovering various mathematical ideas and structures, and using them to solve problems Based on the research results, we induced some implications for early algebraic guidance in elementary school mathematics.

• Communications of Mathematical Education
• /
• v.27 no.4
• /
• pp.449-472
• /
• 2013

Instructional materials including problem situations or problems or tasks on real-life situations are considered as an important and significant factor to lead a successful math instruction. MiC Textbook is a representative one showing good examples and tasks including fluent realistic situations on the basis of the background of the Freudenthal's theory. This study explores concretely and in detail the type of level of mathematical tasks, by the subject of MiC Textbook. To accomplish this, this study reconstructs and establishes an elaborated analysis framework using 'the cognitive demand level' suggested by Stein, et, al. The cognitive demand level is comprized of four elements such as Memorization Tasks, Procedures Without Connections Tasks, Procedures With Connections Tasks, and Doing Mathematics Tasks. Memorization Tasks and Procedures Without Connections Tasks are considered as low level tasks, and Procedures With Connections Tasks and Doing Mathematics Tasks are as high level tasks. MiC Textbook is comprized of the four areas of 'number', 'algebra', 'geometry and measurement', and 'data analysis and statistics'. This study deals with the tasks relevant to Function content dealt with in MiC 3 level Textbook, and explore the level of cognitive demands on each task.