• Korean Journal of Logic
• /
• v.19 no.2
• /
• pp.295-322
• /
• 2016

This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for fuzzy logics based on uninorms (so called uninorm-based logics). First, we recall algebraic semantics for uninorm-based logics. In the general framework of uninorm-based logics, we next introduce various types of general algebraic Kripke-style semantics, and connect them with algebraic semantics. Finally, we analogously consider particular algebraic Kripke-style semantics, and also connect them with algebraic semantics.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.12A
• /
• pp.1983-1989
• /
• 2001

A new two-step soft output Viterbi algorithm (SOVA) for turbo decoder is proposed and analyzed in 7his paper. Due to the algebraic structure of the proposed algorithm, slate and branch metrics can be obtained wish parallel processing using matrix arithmetic. As a result, the number of multiplications to calculate state metrics of each stage and total memory size can be decreased tremendously. Therefore, it can be expected that the proposed algebraic two-step SOVA is suitable for applications in which low computational complexity and memory size are essential.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.6
• /
• pp.1355-1364
• /
• 1996

A complex object model is one of the value based data model which extends the existing relational data model for supporting complex structured data. This paper studies a method for designing algebra for the complex object model. For this some others' algebra supporting complex objects are compared and analysed in terms of the applicability of a algebraic optimization strategics. The complex object algebra is designed, based on four principles, simple and clear definitions, no restriction on input data, single specification system. The central nature of this paper is to keep the basis of algebraic optimization method through simplicity, safety and the applicability of algebraic optimization strategy. Finally, it shown that the designed algebra has the equivalent or enhanced expressability with other's algebra.

• Journal of the Korean School Mathematics Society
• /
• v.8 no.3
• /
• pp.367-382
• /
• 2005

In this paper, we deal with various contents relating to the group concept in school mathematics and teaching of algebraic structures indirectly by combining these contents. First, we consider structure of knowledge based on Bruner, and apply these discussions to the teaching of algebraic structure in school algebra. As a result of these analysis, we can verify that the essence of algebraic structure is group concept. So we investigate the previous researches about group concept: Piaget, Freudenthal, Dubinsky. In our school, the contents relating to the group concept have been taught from elementary level indirectly. Tn elementary school, the commutative law and associative law is implicitly taught in the number contexts. And in middle school, various linear equations are taught by the properties of equality which include group concept. But these algebraic contents is not related to the high school. Though we deal with identity and inverse in the binary operations in high school mathematics, we don't relate this algebraic topics with the previous learned contents. In this paper, we discussed algebraic structure focusing to the group concept to obtain a connectivity among school algebra. In conclusion, the group concept can take role in relating these algebraic contents and teaching the algebraic structures in school algebra.

• Korean Journal of Logic
• /
• v.21 no.3
• /
• pp.353-371
• /
• 2018

This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.

• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.155-174
• /
• 2018

This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.

• School Mathematics
• /
• v.14 no.4
• /
• pp.445-468
• /
• 2012

This study is tried in order to link informal arithmetic reasoning to formal algebraic reasoning. In this study, we investigated elementary school student's non-formal algebraic reasoning used in algebraic problem solving. The result of we investigated algebraic reasoning of 839 students from grade 1 to 6 in two schools, Korea, we could recognize that they used various arithmetic reasoning and pre-formal algebraic reasoning which is the other than that is proposed in the text book in word problem solving related to the linear systems of equation. Reasoning strategies were diverse depending on structure of meaning and operational of problems. And we analyzed the cause of failure of reasoning in algebraic problem solving. Especially, 'quantitative reasoning', 'proportional reasoning' are turned into 'non-formal method of substitution' and 'non-formal method of addition and subtraction'. We discussed possibilities that we are able to connect these pre-formal algebraic reasoning to formal algebraic reasoning.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.20 no.6
• /
• pp.743-749
• /
• 2007

Algebraic substructuring (AS) is a state-of-the-art method in eigenvalue computations, especially for large size problems, but, originally, it was designed to calculate only the smallest eigenvalues. In this paper, an updated version of AS is proposed to calculate the interior eigenvalues over a specified range by using a shift value, which is referred to as the shifted AS. Numerical experiments demonstrate that the proposed method has better efficiency to compute numerous interior eigenvalues for the finite element models of structural problems than a Lanczos-type method.

• Journal for History of Mathematics
• /
• v.17 no.2
• /
• pp.97-103
• /
• 2004

In this paper, we will prove that a free join algebra and a universal derivation module of its subalgebras have a universal derivation module induced by its subalgebras.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2002.09a
• /
• pp.144-147
• /
• 2002

효과적인 국내 충적층 지하수의 이용을 위해서는, 충적 대수층의 내부 구조를 정밀하게 평가하여야 한다. 특히, 강변여과, 인공 침투지 등의 적극적인 충적 대수층의 활용을 위해서는 충적 대수층의 퇴적 환경에 대한 이해가 요구된다. 국내 충적층의 대부분은 하천 둔치 주변에서 하도의 수평 이동에 의해 형성된 경사 지층으로, 니질 박층이 협재하므로 내부의 분균일성에 의해 인접한 취수 공간에도 지하수체의 이동 특성 및 화학적 특성이 달라질 수 있다. 본 연구는 이러한 불균질성을 박히기 위해 지하투과레이다(GPR)를 이용하여 부여 군수리 지역의 천부 충적층에 대한 퇴적학적 분석을 시도하였다. 군수리 지역은 크게 상하 두 개의 충적층으로 구분되며, 상부 수평층은 범람에 의해 형성된 것으로 수직 불균질성이 크고 수평 불균질성은 낮다. 하부 경사층은 수평, 수직 불균질성이 모두 크다. 특히 하부 경사층내에 발달한 하도곡은 인접한 충적층과 분리되어 이 층내의 지하수체 이동은 제한적일 것이고 수질 특성 또한 크게 다를 것으로 판단된다. 본 연구는 충적 대수층에 대한 물리 화학적 특성의 정확한 해석을 위해서 퇴적학적 해석이 선행되어야 함을 시사한다.