• School Mathematics
• /
• v.6 no.4
• /
• pp.411-433
• /
• 2004

Many researchers have reported that 7th graders have severe difficulties in using letters and algebraic expressions. This study investigated the way Microsoft Excel contributes to student's understanding of letters and algebraic expressions. For six hours through two weeks, four 7th grade students experienced various activities with Excel after school and both before and after the experimentation, the interviews to check their understanding was conducted. The results were as follows; First, after the experimentation, students used various letters to express formulas and recognized that letters represent not only some objects but also changing objects. Also they accepted that same objects could be represented by different letters and different objects could be represented by the same letters. Second, Excel improved students' abilities to discriminate variables and invariables in the problem and to find mathematical relationships among variables. And with Excel students could divide the whole calculation procedure into several steps in order to handle it more easily. Also, Excel made immediate numerical feedback possible and it made students express the calculation in a more formalized way than a paper and pencil environment did.

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

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

• Journal of KIISE
• /
• v.43 no.3
• /
• pp.314-326
• /
• 2016

Some process algebras were applied to enterprise business modelling for formal specification and verification. ${\pi}$-calculus and mobile ambient can be considered for the distributed and mobile, especially to represent the movements of distributed real-time business processes. However there are some limitations to model the movements: 1) ${\pi}$-calculus passes the name of port for indirect movements, and 2) mobile ambient uses ambient to synchronize asynchronous movements forcefully. As a solution to the limitations, this paper presents a new process algebra, called ${\delta}$-calculus, to specify direct and synchronous movements of business processes over geo-temporal space. Any violation of safety or security of the systems caused by the movements can be indicated by the properties of the movements: synchrony, priority and deadline. A tool, called SAVE, was developed on ADOxx metamodelling platform to demonstrate the concept.

• Communications of Mathematical Education
• /
• v.22 no.3
• /
• pp.337-347
• /
• 2008

'Slope' is an invariant of a straight line and 'Linear Equation' is an algebraic representation of a straight line in the cartesian plane. The concept 'slope' is necessary for algebraically representing a geometrical figure, line. In this article, we investigate how those concepts are dealt with in school mathematics and suggest some improvement methods.

• Communications of Mathematical Education
• /
• v.22 no.2
• /
• pp.137-164
• /
• 2008

Given the importance of early experience in algebraic thinking, we designed six consecutive lessons in which $4^{th}$ graders were encouraged to recognize patterns in the process of finding the relationships between two quantities and to represent a given problem with various mathematical models. The results showed that students were able to recognize patterns through concrete activities with manipulative materials and employ various mathematical models to represent a given problem situation. While students were able to represent a problem situation with algebraic expressions, they had difficulties in using the equal sign and letters for the unknown value while they attempted to generalize a pattern. This paper concludes with some implications on how to connect algebraic thinking with students' arithmetic or informal thinking in a meaningful way, and how to approach algebra at the elementary school level.

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

• School Mathematics
• /
• v.10 no.2
• /
• pp.297-317
• /
• 2008

This study was designed to gain insight to adopt CAS into secondary level algebra education in Korea. Most inactive usage of calculators in math and most negative effects of calculators on their achievements of Korean students were shown in International studies such as TIMSS-R. A comparative study was carried out with consideration of mathematical backgrounds and technological environments. 8 Korean students and 26 US students in Grade 11 were participated in this study. Subjects' Problem solving process and their strategies of CAS usage in classical Box-problem with CAS were analyzed. CAS helped modeling by providing symbolic manipulation commands and graphs with students' mathematical knowledge. Results indicates that CAS requires shifts focus in algebraic contents: recognition of decimal & algebraic presentations of numbers; linking various presentations, etc. The extent of instrumentation effects on the selection of problem solving strategies among Korea and US students. Instrumentation

• Journal of the Korean School Mathematics Society
• /
• v.11 no.1
• /
• pp.133-157
• /
• 2008

This paper is based on theory of Usiskin who defined inclusively the various concepts of algebra among many theories classifying a type of the algebra. For this purpose, we examined the curriculum of the algebra of Korea, America and Japan, then analyzed where the problems in "Letter and Formula" of the textbooks fall under Usiskin's concepts of algebra.

• Journal of the Korea Society for Simulation
• /
• v.24 no.2
• /
• pp.11-17
• /
• 2015

Although systems with finite capacities have been the topic of much study, there are as of yet no analytic expressions for (higher) moment and tail probability of stationary waiting times in systems with even constant processing times. The normal queueing theory cannot properly handle such systems due to the difficulties caused by finite capacity. In this study, for a DBR (Drum-Buffer-Rope) line production system with constant processing times, we introduce analytic expressions by using previous results obtained using a max-plus algebraic approach.

• Journal for History of Mathematics
• /
• v.10 no.1
• /
• pp.12-18
• /
• 1997

수학의 각 분야 중에서 선형성을 가지는 부분은 그 이론이 가장 정연하게 처리되나 이것이 선형대수학이라는 학문으로 형성된 것은 최근의 일이며, 더욱이 선형대수는 그 광범위한 응용성으로 인하여 더욱 중요시되게 되었다. 선형대수의 교육적 의의는 함수의 특수한 경우인 선형변환을 다룸으로서 선형성을 지닌 수학의 구조를 쉽게 파악할 수 있다는 것이며 더욱이 해석기하 등에도 쉽게 응용할 수 있게 된다. 본 논문에서는 타인, 쌍곡선, 포물선인 이차곡선을 행렬을 이용하여 표현하고, 좌표축의 회전이동과 평행이동을 통하여 행렬을 대각화하고, 고유치의 부호에 의하여 이차곡선의 변환과 분류를 다루었으며 더불어 곡선의 개형을 알아보았다.