• The Journal of Engineering Geology
• /
• v.2 no.1
• /
• pp.58-69
• /
• 1992

Change in atmospheric pressure produce sizable fluctuafions in wells penetrafing confined aquifers. The relationship is inverse; that is, increases in atmospheric pressure produce decreases in water levels, and conversely. When atmospheric pressure changes are expressed in terms of a column of water, the raflo of water level change to pressure change expresses the barometric efficiency of an aquifer. In the study area, aquifers are developed in the fractures, joints, bedding planes and occasionally in solufion cavities of marl interbeds. The barometric efficiency of the aquifer varies from 8 to 90%, indicating that Confined, Unconfined and Semi-Confined condifions exist locally. The barometric efficiency is characteristic of the aquifer itself and observed in the field is inversely proportional to specific storage or the storage coefficient. It is remalned in question to derive the relationship between B.E. and S.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.193-196
• /
• 2011

공간적으로 다양하게 재구성되며 이동하는 분산/이동/실시간 시스템을 명세 및 분석하기 위한 기존의 프로세스 대수들은 명세/분석 과정에서 텍스트 기반의 명세 언어를 사용한다. 이로 인하여 프로세스 사이의 이동성과 프로세스들의 공간적 분포를 대한 명세 및 분석 방법은 매우 큰 복잡도가 존재한다. 이를 극복하기 위하여 일반 프로세스 대수를 시각적인 형태로 표현하는 다양한 기법들이 제안되었다. 이러한 시각화 언어들은 시스템의 특정 상태를 명세하거나, 시스템의 속성을 공간적 분포와 링크정보로 분리하는 방법들이 사용되었지만, 명세하고자 하는 시스템의 전체 행위에 대한 효율적인 명세 방법이 존재하지 않고, 시각화 언어임에도 불구하고 텍스트기반의 프로세스 대수와 병행되어 사용되어야만 하는 제약들이 존재한다. 이러한 제약들을 극복하기 위한 하나의 방법으로 본 논문에서는 프로세스 대수를 위한 새로운 시각화 언어인 Onion Visual Language를 제안한다. Onion Visual Language는 프로세스 사이에서 발생하는 이동과 상호작용 등의 전체 행위를 원형의 양파껍질과 같은 형태로 표현하며, 각 프로세스들 사이에서 발생하는 행위들의 관계를 액션으로 표현한다. 또한, 계층화된 프로세스 구조, 프로세스의 상태정보, 프로세스의 미래 행위 정보, 비결정적 행위정보를 포함하여 매우 복잡한 시스템의 특징을 효율적으로 명세/분석 가능하도록 하였다.

• Korean Journal of Logic
• /
• v.12 no.1
• /
• pp.1-24
• /
• 2009

이 논문에서 우리는 집합의 두 점 사이의 관계를 소개하고, '가깝다'와 '충분히 가깝다'의 위상적인 개념을 다양하게 정의할 수 있음을 보인다. 또한 직관주의 논리와 관계가 있는 De Morgan frame을 소개하고 pre-order에 의하여 정의된 동치관계로 만들어진 동치류들의 집합을 기저로 생성된 위상 공간이 extremally disconnected 임을 보인다.

• The Mathematical Education
• /
• v.60 no.4
• /
• pp.409-429
• /
• 2021

This study investigated instructional methods for fractional division emphasizing algebraic thinking with sixth graders. Specifically, instructional elements for fractional division emphasizing algebraic thinking were derived from literature reviews, and the fractional division instruction was reorganized on the basis of key elements. The instructional elements were as follows: (a) exploring the relationship between a dividend and a divisor; (b) generalizing and representing solution methods; and (c) justifying solution methods. The instruction was analyzed in terms of how the key elements were implemented in the classroom. This paper focused on the fractional division instruction with problem contexts to calculate the quantity of a dividend corresponding to the divisor 1. The students in the study could explore the relationship between the two quantities that make the divisor 1 with different problem contexts: partitive division, determination of a unit rate, and inverse of multiplication. They also could generalize, represent, and justify the solution methods of dividing the dividend by the numerator of the divisor and multiplying it by the denominator. However, some students who did not explore the relationship between the two quantities and used only the algorithm of fraction division had difficulties in generalizing, representing, and justifying the solution methods. This study would provide detailed and substantive understandings in implementing the fractional division instruction emphasizing algebraic thinking and help promote the follow-up studies related to the instruction of fractional operations emphasizing algebraic thinking.

• Journal for History of Mathematics
• /
• v.20 no.3
• /
• pp.59-72
• /
• 2007

In this paper we find the germ of geometric interpretation of complex number in the Euclid Element and try to show the evolution of geometric interpretation of complex number by through Descarte, Wallis, Vessel. As a result, relations and differences between them are found. They related line with complex number and interpreted complex number geometrically by generalizing the multiplication operation.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.202-211
• /
• 2003

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• School Mathematics
• /
• v.16 no.2
• /
• pp.355-386
• /
• 2014

Algebraic generalization of patterns is based on the capability of grasping a structure inherent in several objects with awareness that this structure applies to general cases and ability to use it to provide an algebraic expression. The purpose of this study is to investigate how students generalize patterns using an algebraic object such as parameters and what are difficulties in geometric-arithmetic pattern tasks related to algebraic generalization and to determine whether the students can use parameters meaningfully through pattern generalization tasks that this researcher designed. During performing tasks of pattern generalization we designed, students differentiated parameters from letter 'n' that is used to denote a variable. Also, the students understood the relations between numbers used in several linear equations and algebraically expressed the generalized relation using a letter that was functions as a parameter. Some difficulties have been identified such that the students could not distinguish parameters from variables and could not transfer from arithmetical procedure to algebra in this process. While trying to resolve these difficulties, generic examples helped the students to meaningfully use parameters in pattern generalization.

• The Mathematical Education
• /
• v.60 no.3
• /
• pp.297-319
• /
• 2021

The present study explored a relationship between mathematical understandings of teachers and ways in which their knowledge transferred in designing lessons for hypothetical students from Gess-Newsome (1999)'s transformative perspective of pedagogical content knowledge. To this end, we conducted clinical interviews with four secondary mathematics teachers of their solving and teaching of equation writing. After analyzing the teacher participants' attention to Key Developmental Understandings (Simon, 2007) in solving equation writing, we sought to understand the relationship between their mathematical knowledge of the problems and mathematical knowledge in teaching the problems to hypothetical students. Two of the four teachers who attended the key developmental understandings solved the problems more successfully than those who did not. The other two teachers had trouble representing and explaining the problems, which involved reasoning with improper fractions or reciprocal relationships between quantities. The key developmental understandings of all four teachers were reflected in their pedagogical actions for teaching the equation writing problems. The findings contribute to teacher education by providing empirical data on the relationship between teachers' mathematical knowledge and their knowledge for teaching particular mathematics.

• Education of Primary School Mathematics
• /
• v.19 no.1
• /
• pp.1-18
• /
• 2016

Patterns are of great significance to develop algebraic thinking of elementary students. This study analyzed teaching methods of patterns in current elementary mathematics textbook series in terms of three main activities related to pattern generalization (i.e., analyzing the structure of patterns, investigating the relationship between two variables, and reasoning and representing the generalized rules). The results of this study showed that such activities to analyze the structure of patterns are not explicitly considered in the textbooks, whereas those to explore the relationship between two variables in a pattern are emphasized throughout all grade levels using function table. The activities to reason and represent the generalized rules of patterns are dealt in a way both for lower grade students to use informal representations and for upper grade students to employ formal representations with expressions or symbols. The results of this study also illustrated that patterns in the textbooks are treated rather as a separate strand than as something connected to other content strands. This paper closes with several implications to teach patterns in a way to foster early algebraic thinking of elementary school students.

• School Mathematics
• /
• v.10 no.1
• /
• pp.23-42
• /
• 2008

The purpose of this study was to describe characteristics of thinking in elementary gifted students' solutions to algebraic tasks. Especially, this paper was focused on the students' strategies to develop generalization while problem solving, the justifications on the generalization and metacognitive thinking emerged in stildents' problem solving process. To find these issues, a case study was conducted. The subjects of this study were four 6th graders in elementary school-they were all receiving education for the gifted in an academy for the gifted attached to a university. Major findings of this study are as follows: First, during the process of the task solving, the students varied in their use of generalization strategies and utilized more than one generalization strategy, and the students also moved from one strategy toward other strategies, trying to reach generalization. In addition, there are some differences of appling the same type of strategy between students. In a case of reaching a generalization, students were asked to justify their generalization. Students' justification types were different in level. However, there were some potential abilities that lead to higher level although students' justification level was in empirical step. Second, the students utilized their various knowledges to solve the challengeable and difficult tasks. Some knowledges helped students, on the contrary some knowledges made students struggled. Specially, metacognitive knowledges of task were noticeably. Metacognitive skills; 'monitoring', 'evaluating', 'control' were emerged at any time. These metacognitive skills played a key role in their task solving process, led to students justify their generalization, made students keep their task solving process by changing and adjusting their strategies.