• Proceedings of the Korea Contents Association Conference
• /
• 2003.05a
• /
• pp.406-410
• /
• 2003

B. M. Schein([1]) considered systems of the form (${\Phi}$; ${\circ}$,-), where ${\Phi}$ is a set of functions closed under the composition "${\circ}$" of functions and the set theoretic subtraction "-". In this structure, (${\Phi}$; ${\circ}$) is a function semigroup and (${\Phi}$;-) is a subtraction algebra in the sense of [1]. He proved that every subtraction semigroup is isomorphic to a difference semigroup of invertible functions. Also this structure is closely related to the mathematical logic, Boolean algebra, Bck-algera, etc. In this paper, we define the near subtraction semigroup as a generalization of the subtraction semigroup, and define the notions of strong for it, and then we will search the general properties of this structure, the properties of ideals, and the application of it.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.6
• /
• pp.1375-1380
• /
• 2014

SaaS at a cloud computing is a framework to provide a software as a service. Depending on the difference of the tenant and the use, if the service provider re-establish a service, they are required resources In terms of costs and managerial. So we propose a technique for analysis of software structure using the process algebra to reuse existing software. A process algebra analyze the structure of the software, express in different languages and verify that it can be reused. CCS in a process algebra is useful to convert the business process or XML, by using this, we structure a process as process view and propose meta storage for comparison and management a structured document.

• Communications of Mathematical Education
• /
• v.37 no.4
• /
• pp.569-590
• /
• 2023

The purpose of this case study is to compare and analyze the covariational reasoning levels of two middle school students revealed in the process of solving and generalizing algebra word problems. A class was conducted with two middle school students who had not learned quadratic equations in school mathematics. During the retrospective analysis after the class was over, a noticeable difference between the two students was revealed in solving algebra word problems, including situations where speed changes. Accordingly, this study compared and analyzed the level of covariational reasoning revealed in the process of solving or generalizing algebra word problems including situations where speed is constant or changing, based on the theoretical framework proposed by Thompson & Carlson(2017). As a result, this study confirmed that students' covariational reasoning levels may be different even if the problem-solving methods and results of algebra word problems are similar, and the similarity of problem-solving revealed in the process of solving and generalizing algebra word problems was analyzed from a covariation perspective. This study suggests that in the teaching and learning algebra word problems, rather than focusing on finding solutions by quickly converting problem situations into equations, activities of finding changing quantities and representing the relationships between them in various ways.

• Journal of the Korean School Mathematics Society
• /
• v.24 no.3
• /
• pp.261-282
• /
• 2021

This study identified the meaning of mathematical justification and its characteristics for middle school math gifted students. 17 middle school math gifted students participated in questionnaires and written exams. Results show that the gifted students recognized justification in various meanings such as proof, systematization, discovery, intellectual challenge of mathematical justification, and the preference for deductive justification. As a result of justification exams, there was a difference in algebra and geometry. While there were many deductive justifications in both algebra and geometry questionnaires, the difference exists in empirical justifications: there were many empirical justifications in algebra, but there were few in geometry questions. When deductive justification was completed, the students showed satisfaction with their own justification. However, they showed dissatisfaction when they could not deductively justify the generality of the proposition using mathematical symbols. From the results of the study, it was found that justification education that can improve algebraic translation ability is necessary so that gifted students can realize the limitations and usefulness of empirical reasoning and make deductive justification.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1141-1158
• /
• 2018

Hahn difference operator $D_{q,{\omega}}$ which is defined by $$D_{q,{\omega}}g(t)=\{{\frac{g(gt+{\omega})-g(t)}{t(g-1)+{\omega}}},{\hfill{20}}\text{if }t{\neq}{\theta}:={\frac{\omega}{1-q}},\\g^{\prime}({\theta}),{\hfill{83}}\text{if }t={\theta}$$ received a lot of interest from many researchers due to its applications in constructing families of orthogonal polynomials and in some approximation problems. In this paper, we investigate sufficient conditions for stability of the abstract linear Hahn difference equations of the form $$D_{q,{\omega}}x(t)=A(t)x(t)+f(t),\;t{\in}I$$, and $$D^2{q,{\omega}}x(t)+A(t)D_{q,{\omega}}x(t)+R(t)x(t)=f(t),\;t{\in}I$$, where $A,R:I{\rightarrow}{\mathbb{X}}$, and $f:I{\rightarrow}{\mathbb{X}}$. Here ${\mathbb{X}}$ is a Banach algebra with a unit element e and I is an interval of ${\mathbb{R}}$ containing ${\theta}$.

• Research in Mathematical Education
• /
• v.1 no.1
• /
• pp.1-5
• /
• 1997

We discuss some aspects of mathematics for teachers such as algebra for teachers, geometry for teachers, statistics for teachers, etc., which can be taught in teacher preparation courses. Mathematics for teachers should consider the followings: (a) Various solutions for a problem, (b) The dynamics of a problem introduced by change of condition, (c) Relationship of mathematics to real life, (d) Mathematics history and historical issues, (e) The difference between pure mathematics and pedagogical mathematics, (f) Understanding of the theoretical backgrounds, and (g) Understanding advanced mathematics.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.5 no.1
• /
• pp.49-53
• /
• 1980

Since Zadeh had published the fuzzy set theory at 1965, it has been applied to many fields such as realizability of communication nets, automatic control, learning systems, switching circuits. In this paper, the method of applying a fuzzy logic to a pattern classification is studied and the difference of fuzzy logic from Boolean algebra is discussed. Classfication experiment is carried out 16 persons' photos of three families by fourty male and female observers and recognition rate 94% is obtained.

• Proceedings of the KSR Conference
• /
• 1998.11a
• /
• pp.137-143
• /
• 1998

Numerical simulation is conducted to clarify the heat transfer and fluid flow characteristics of traction motor for electric car SIMPLE algorithm based on finite volume method is used to make linear algebra equation. The governing equations are solved by TDMA(TriDiagonal Matrix Algorithm) with line-by-line method and block correction. From the results of simulation, the characteristics of cooling pattern is strongly affected by the size of hole in stator core. In the case of high rotational speed of rotor, temperature difference along the axial direction is more decreased than that of low rotational speed.

• Journal for History of Mathematics
• /
• v.23 no.4
• /
• pp.101-122
• /
• 2010

Chinese Taipei won the first place at the mathematics achievement of TIMSS 2007. Especially, there was a significant difference in the percentage of correct answers between Chinese Taipei and Korea, and Chinese Taipei' percentage of correct answers was higher than Korea. This study compared the education system, mathematics instruction environment, and instructional activities of two countries. And for algebra, curriculum and textbooks were compared between two countries based on TIMSS 2007 framework. It was found that Chinese Taipei emphasized homework and test, and MCFL of that was low. Their textbook was formal, and induced the hasty abstraction, Also, some themes were introduced earlier than Korea and repeated across different grades.

• The Journal of the Korea Contents Association
• /
• v.14 no.12
• /
• pp.1083-1099
• /
• 2014

The purpose of this study is to analyze that The arithmetic and algebraic word problem solving skill, strategy preference, and assessment ability of elementary preservice teachers is investigated using a statistical methodology. The research findings are as follows. First, elementary preservice teachers demonstrated logical and delicate problem solving behaviors in arithmetic and algebraic word problem solving. And elementary preservice teachers prefer to create a formula and table strategy in problem solving of the arithmetic question. Second, there was meaningful difference in the math and english elementary preservice teachers' appreciations with significant level of 0.05. And there was not meaningful difference in the 1 and 4 grade elementary preservice teachers' appreciations with significant level of ${\alpha}=0.05$. Results of the study suggest that teachers education course need to improve elementary preservice teachers' word problem solving skill, strategy preference, and assessment ability in the arithmetic and algebraic.