• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2002.04a
• /
• pp.342-346
• /
• 2002

불포화 층상 해안 대수층 내에서의 밀도 의존적 지하수 유동 및 염분 이동에 대한 연구를 위해 하나의 지하수 유동-용질 이동 연동 수치 모델이 제시되었다. 이 수치 모델은 밀도 의존적 지하수 유동 지배 방정식, 염분 이동 지배 방정식 및 농도와 밀도의 관계식, 그리고 유한 요소법에 기초하여 개발되었다. 서로 다른 두가지 성질의 불포화 대수층이 고려되었다. 하나는 사질토층 위에 점토층이 존재하는 층상 대수층이고, 다른 하나는 사질토층과 점토층이 혼합된 두가지 물질로 구성된 균질화된 대수층이다. 수치모델의 결과는 층상 불균질성 (layered heterogeneity)가 해안 대수층 내에서의 밀도의존적 지하수 유동과 염분 이동에 있어서 매우 중요한 역할을 하고 있음을 보여준다. 그러한 층상 불균질성의 효과는 사질토층과 점토층과의 현저한 수리학적 및 수리역학적 성질의 차이에 기인한다 따라서 실제 해안 대수층 내에서 관찰되는 점토층을 적절히 고려하는 것이 보다 합리적고 타당한 해안 대수층내에서의 밀도 의존적 지하수 유동 및 염분 이동 해석을 가능하게 할 것이다.

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

• Proceedings of the Korean Society for Rock Mechanics Conference
• /
• 1995.03a
• /
• pp.121-134
• /
• 1995

대수층의 수리상수를 산출하기 위한 양수시험 분석에 이용되는 가장 기본적인 이론은 Theis 이론이다. Theis 이론에서는 지하수의 흐름은 2차원의 방사상 흐름이다. 그러나, 1차 공극으로 이루어진 충적층 대수층이나 사암과 같은 다공질 대수층과는 달리 기반암내에 발달되어 있는 균열 대수층은 균열(fractures), 열극(fissures) 또는 단층과 같은 2차 공극으로 이루어져 있다. (중략)

• Education of Primary School Mathematics
• /
• v.19 no.3
• /
• pp.223-247
• /
• 2016

Given the importance of developing algebraic thinking from early grades, this study investigated an overall performance and main characteristics of algebraic thinking from a total of 197 third grade students. The national elementary mathematics curriculum in Korea does not emphasize directly essential elements of algebraic thinking but indicates indirectly some of them. This study compared our students' performance related to algebraic thinking with results of Blanton et al. (2015) which reported considerable progress of algebraic thinking by emphasizing it through a regular curriculum. The results of this study showed that Korean students solved many items correctly as compatible to Blanton et al. (2015). However, our students tended to use 'computational' strategies rather than 'structural' ones in the process of solving items related to equation. When it comes to making algebraic expressions, they tended to assign a particular value to the unknown quantity followed by the equal sign. This paper is expected to explore the algebraic thinking by elementary school students and to provide implications of how to promote students' algebraic thinking.

• Journal of Educational Research in Mathematics
• /
• v.17 no.3
• /
• pp.253-270
• /
• 2007

by A.C. Clairaut was written based on the historico-genetic principle such as his . In this paper, by analyzing his we can induce six principles that Clairaut adopted to teach algebra: necessity and curiosity as a motive of studying algebra, harmony of discovery and proof, complementarity of generalization and specialization, connection of knowledge to be learned with already known facts, semantic approaches to procedural knowledge of mathematics, reversible approach. These can be considered as strategies for teaching algebra accorded with beginner's mind. Some of them correspond with characteristics of , but the others are unique in the domain of algebra. And by comparing Clairaut's approaches with school algebra, we discuss about some mathematical subjects: setting equations in relation to problem situations, operations and signs of letters, rule of signs in multiplication, solving quadratic equations, and general relationship between roots and coefficients of equations.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.82-82
• /
• 2015

해안 대수층은 해수와 담수가 공존하는 지역으로 상대적으로 밀도가 큰 해수가 대수층의 담수 아래에 쐐기형태로 존재하게 된다. 이러한 쐐기형태의 해수와 담수의 경계면은 압력경도의 평형에 의해 경계면이 유지되며, 해수면 또는 지하수위가 변동할 경우 해수-담수 경계면의 균형이 무너짐과 더불어 압력경도의 평행이 이루어질 때 까지 해수-담수 경계면의 이동이 계속 진행된다. 수위 변화의 주요 원인으로는 지구온난화 및 기후변화로 인한 지속적인 해수면 상승과 도서지역의 인구증가 및 산업화로 인한 무분별한 지하수의 사용 등에 의한 지하수위 저하 등을 꼽을 수 있다. 이와 같은 원인으로 해안 및 도서지역에서는 해안 대수층의 해수침투거리가 증가하여 지하수 이용에 큰 어려움을 겪고 있다. 이에 해안 대수층의 해수침투 범위 및 거리를 추정하기 위한 많은 연구들이 다양한 분야에서 지속해서 이루어지고 있지만, 서로 밀도가 다른 해수와 담수가 공존하는 해안 대수층 내의 수리특성을 명확히 파악하기에는 아직까지 미흡한 점들이 많다. 과거에는 Darcy의 법칙 및 Ghyben-Herzberg 식에 근거한 이론적인 연구들이 주로 이루어졌고, 근래에 현장관측이나 수리모형실험이 국내 외적으로 수행되고 있으나, 모든 영역의 지하수의 특성을 조사하는 것이 사실상 불가능하다. 이에 최근에는 컴퓨터 성능의 비약적인 발전과 더불어 다양한 수치해석방법에 의한 수치모델들이 개발되어 시뮬레이션에 적용되고 있다. 하지만 거의 대부분의 수치모델은 해안 대수층 수리특성을 투수계수에 의존하고 있을 뿐, 대수층 내부의 해수-담수에 의한 밀도류의 유동특성을 전혀 고려하지 못한 채 정수압에 근거한 해수-담수 경계면에 대해 모의하고 있는 정도이다. 따라서 본 연구에서는 해안 대수층 내부의 유동현상을 투수계수에 의존하는 방법에서 탈피하여 대수층 매체의 입경, 공극, 형상 등을 고려할 수 있을 뿐만 아니라, 염분 및 온도차에 의한 밀도류를 해석할 수 있는 강비선형 수치모델을 개발하여 해수침투 현상을 직접 모의한다. 나아가 대부분의 이전 연구들에서 간과하고 있는 해안지역의 대표적 물리력인 파랑과 조석의 영향이 해안 대수층의 해수침투에 미치는 영향, 해안 대수층의 지하수위 및 해수면의 수위차에 의한 해수침투 특성 그리고 이를 제어 할 수 있는 새로운 대응기술을 제안하는 것을 목적으로 한다.

• Journal of Korean Society of Transportation
• /
• v.20 no.4
• /
• pp.177-185
• /
• 2002

본 논문의 목적은 링크통행시간 자료를 수집하는 시스템에서 소요 프로브차량대수에 영향을 주는 요소들을 규명하고. 최적의 소요 프로브차량대수를 결정하는 모형을 개발하는데 있다. 자가용승용차, 택시, 버스, 택배차량 등 여러 종류의 차량들이 프로브차량으로 사용될 수 있다. 그러나 일정한 정확도 이상의 교통정보를 수집하기 위해서 얼마나 많은 프로브차량이 필요한지에 대한 연구는 그다지 깊이 있게 이루어지지 않았다. 적정 소요 프로브차량대수는 링크통행시간 자료수집 기술 수집대상 링크의 공간적 범위, 프로브차량의 종류 및 운행 특성, 자료수집 시스템의 신뢰도, 수집되는 자료의 정확도 등에 영향을 받게 된다. 소요 프로브차량대수를 결정하는 링크당 평균 통행시간 자료수, 프로브차량 밀도의 최소 확률, 그리고 자료 미수집링크의 허용비율의 3가지 결정기준이 정의되었다. 또한 이러한 결정기준에 대해 소요 프로브차량대수를 산출하는 모형이 개발되었다. 일반적으로 주기당, 링크당 평균 필요 통행시간 자료수$(d_R)$, 단위길이당 프로브차량의 대수 또는 밀도$(n_{min} or {\alpha})$, 일정 프로브차량밀도 이상의 확률($\beta$), 그리고 자료 미수집링크의 비율($\gamma$)이 클수록 소요 프로브차량대수는 증가한다. 민간 교통정보회사의 통행시간 수집시스템에서 소요 프로브차량대수를 산정하는 사례연구가 수행되었으며, 여러가지 조건에서 소요 프로브차량대수가 산출되었다.

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

• Communications of Mathematical Education
• /
• v.18 no.2 s.19
• /
• pp.93-108
• /
• 2004

Wassily Leontief가 미국 경제의 모델에 선형 대수를 적용한 이론으로 1973년에 노벨 경제학상을 받은 후로는 인문${\cdot}$사회 과학(특히 상경(商經) 분야)을 전공하는 사람에게도 선형 대수는 큰 관심 분야가 되었다. 그래서 1980년대 부터는 대학의 기초 과목으로써 선형 대수를 가르치는 것은 유행처럼 퍼졌고 또 가르침에 관한 연구도 활발하여졌다. 현행 우리나라의 초${\cdot}$중${\cdot}$고등 학교의 수학과 교육과정(이른바 “제 7차 개정”) 속에는 선형대수의 내용이 어느 정도 있으나 학생들에게 확실한 개념을 갖도록 가르치고 있지 않다. 수직선, 순서 쌍, n-겹수, 직교 좌표, 벡터 등 해석기하적인 내용과 선형 방정식계의 풀이법(가우스${\cdot}$조르단 소거법을 쓰지 않는 풀이법) 등 일반 대수적인 내용은 다루지만 선형 변환, 벡터 공간의 구조 등은 다루지 않는다. m${\sim}$n 행렬은 수학II에 나와 있긴 하나 소개하는 정도에 그친다. 한편 과학 계열 고등학교 학생을 위한 "고급 수학"에는 비교적 많은 양의 선형 대수의 내용이 있다. 일반 계열 고등학교의 수학에서도 선형 대수의 내용을 확장하고 학생들에게 확실한 개념을 갖도록 가르쳐서 이들이 대학에 진학하여 전공 분야에서 아무 어려움이 없도록 하는 것이 바람직하다.

• Korean Journal of Logic
• /
• v.17 no.3
• /
• pp.441-461
• /
• 2014

This paper deals with one sort of Kripke-style semantics for three-valued paraconsistent logic: algebraic Kripke-style semantics. We first introduce two three-valued systems, define their corresponding algebraic structures, and give algebraic completeness results for them. Next, we introduce algebraic Kripke-style semantics for them, and then connect them with algebraic semantics.