• Journal of the Korean School Mathematics Society
• /
• v.20 no.2
• /
• pp.119-139
• /
• 2017

The construction in the ancient Greek era had more meanings than a construction in the present education. Based on this fact, this study examines the meaning of the current textbook. In contrast, we have extracted the meaning of the constructions in Euclid Elements. In addition, we have been thinking about what benefits can come up if the meaning of the construction in Euclid Elements was reflected in current education, and suggested a way to exploit that advantage. As results, it was confirmed that the construction in the current textbook was merely a means for introducing and understanding the congruent conditions of the triangle. On the other hand, the construction had four meanings in Euclid Elements; Abstract activities that have been validated by the postulates, a mean of demonstrating the existence of figures and obtaining validity for the introduction of auxiliary lines, refraining from intervening in the argument except for the introduction of auxiliary lines, a mean of dealing with numbers and algebra. Finally we discussed the advantages of using the constructions as a means of ensuring the validity of the introduction of the auxiliary line to the argument. And we proposed a viewpoint of construction by intervention of virtual tools for auxiliary lines which can not be constructed with Euclid tool.

• 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].

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.47
• /
• pp.219-232
• /
• 1998

A lot of difficulties exist in analyzing the structure of a system owing to the complex and organic relations in the systems we face in reality. Focuses have been put on the research of optimal solution in a defined structure, however, on the assumption that the structure of the system has been already defined. With the grasping of the structure as the most prior condition, ISM(Interpretive Structural Modeling) and FSM(Fuzzy Structural Modeling) are suggested as solutions in this paper. ISM uses the systematic application of some elementary notions of graph theory and boolean algebra, FSM uses Fuzzy conception for representing relationship between elements. In FSM, the entries in the relation matrix are taken to value on the interval [0,1] by virtue of a fuzzy binary relation. Numeric examples are used as the actual application as follows.

• 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.

• Steel and Composite Structures
• /
• v.3 no.5
• /
• pp.307-320
• /
• 2003

This paper presents an efficient approach to the determination of the buckling loads of down-aisle, spliced, unbraced, pallet rack structures subjected to vertical and horizontal loads. A pallet rack structures is analysed by considering the stability equations of an equivalent free-sway column. The effects of semi-rigid beam-to-upright, splice-to-upright and base-plate-to-upright connections are fully incorporated into the analysis. Each section of upright between successive beam levels in the pallet rack is considered to be a single column element with two rotational degrees of freedom. A computer algebra package was used to determine modified stability equations for column elements containing splices. The influence of the position of splices in a pallet rack is clearly demonstrated.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.20 no.5
• /
• pp.1-7
• /
• 1983

Generally, multiple-valued logic algebra is based on the number system of modulo-M. In this paper, characters a, b, c‥… each of them represents the independent state, are regarded as the elements of the symbolic multiple-valued logic. By using the set theory, the symbolic multiple - valued logic and their functions are defined. And Varation for the symbolic logic function due to the variation of a variable and their properties are suggested and analized. With these variations, the MacLaurin's and Taylor's Series expansions of the symbolic logic functions are proposed and proved.

• 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.

• The Pure and Applied Mathematics
• /
• v.20 no.3
• /
• pp.137-148
• /
• 2013

In this paper, we study the Lie-generalized Fibonacci sequence and the root system of rank 2 symmetric hyperbolic Kac-Moody algebras. We derive several interesting properties of the Lie-Fibonacci sequence and relationship between them. We also give a couple of sufficient conditions for the existence of the integral points on the hyperbola $\mathfrak{h}^a:x^2-axy+y^2=1$ and $\mathfrak{h}_k:x^2-axy+y^2=-k$ ($k{\in}\mathbb{Z}_{>0}$). To list all the integral points on that hyperbola, we find the number of elements of ${\Omega}_k$.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.886-889
• /
• 2004

A simple macro triangle with drilling d.o.f.'s is proposed for plane stress problems based on IET(Individual element test) and finite element template. Three-node triangular element has geometrical advantages in preprocessing but suffers from bad performance comparing to other shapes of elements -especially quadrilateral. Main purpose of this study is to construct a high-performance linear triangular element with limited supplementary d.o.f.'s. A triangle is divided by three sub-triangles with drilling d.o.f.'s. The sub-triangle stiffness come from IET passing force-lumping matrix, so this assures the consistency of the element. The macro element strategy takes care of the element‘s stability and accuracy like higher-order stiffness in the F.E. template. The resulting element fits on the uses of conventional three-node. Benchmark examples show proposed element in closed form stiffness from CAS (Computer algebra system) gives the improved results without more computational efforts than others.

• Journal for History of Mathematics
• /
• v.30 no.3
• /
• pp.137-162
• /
• 2017

The Chinese algebraic method, the tian yuan shu, was developed during Song period (960-1279), of which Li Ye's works contain the earliest testimony. Two 18th century editors commentated on his works: the editor of the Siku quanshu and Li Rui, the latter responding to the former. Korean scholar Nam Byeong-gil added another response in 1855. Differences can be found in the way these commentators considered mathematical objects and procedures. The conflicting nature of these commentaries shows that the same object, the quadratic equation, can beget different interpretations, either a procedure or an assertion of equality. Textual elements in this paper help modern readers reconstruct different authors' understandings and reconsider the evolution of the definition of the object we now call 'equation'.