• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.6
• /
• pp.387-396
• /
• 2014

Recently, there have been continuous efforts and progresses regarding the research on diverse network control and management platforms for SDN (Software Defined Networking). SDN is defined as a new technology to enable service providers/network operators easily to control and manage their networks by writing a simple application program. In SDN, incomplete or malicious programmable entities could cause break-down of underlying networks shared by heterogeneous devices and stake-holders. In this sense, any misunderstanding or diverse interpretations should be completely avoided. This paper proposes a new framework for SDN application verification and a prototype based on the formal method, especially with process algebra called pACSR which is an extended version of Algebra of Communicating Shared Resources (ACSR).

• Journal for History of Mathematics
• /
• v.18 no.3
• /
• pp.91-106
• /
• 2005

History of mathematics must be analysed to discuss mathematical reality and thinking. Analysis of history of mathematics is the method of understanding mathematical activity, by these analysis can we know how historically mathematician' activity progress and mathematical concepts develop. In this respects, we investigate teaching algebra through historico-genetic analysis and propose historico-genetic analysis as alternative method to improve of teaching school algebra. First the necessity of historico-genetic analysis is discussed, and we think of epistemological obstacles through these analysis. Next we focus two concepts i.e. letters(unknowns) and negative numbers which is dealt with school algebra. To apply historico-genetic analysis to school algebra, some historical texts relating to letters and negative numbers is analysed, and mathematics educational discussions is followed with experimental researches.

• 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.27 no.1
• /
• pp.1-17
• /
• 2013

This work started with recent students' conception on Linear Algebra. We were trying to help their understanding of Linear Algebra concepts by adding visualization tools. To accomplish this, we have developed most of needed tools for teaching of Linear Algebra class. Visualizing concepts of Linear Algebra is not only an aid for understanding but also arouses students' interest on the subject for a better comprehension, which further helps the students to play with them for self-discovery. Therefore, visualizing data should be prepared thoroughly rather than just merely understanding on static pictures as a special circumstance when we would study visual object. By doing this, we carefully selected GeoGebra which is suitable for dynamic visualizing and Sage for algebraic computations. We discovered that this combination is proper for visualizing to be embodied and gave a variety of visualizing data for undergraduate mathematics classes. We utilized GeoGebra and Sage for dynamic visualizing and tools used for algebraic calculation as creating a new kind of visual object for university math classes. We visualized important concepts of Linear Algebra as much as we can according to the order of the textbook. We offered static visual data for understanding and studied visual object and further prepared a circumstance that could create new knowledge. We found that our experience on visualizations in Linear Algebra using Sage and GeoGebra to our class can be effectively adopted to other university math classes. It is expected that this contribution has a positive effect for school math education as well as the other lectures in university.

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

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.443-451
• /
• 2005

The notion of grisly deductive systems of a BL-algebra is introduced. Conditions for a deductive system to be a grisly deductive system are given. Extension property for a grisly deductive system is established

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2012.05a
• /
• pp.279-280
• /
• 2012

• Korean Journal of Mathematics
• /
• v.17 no.1
• /
• pp.91-102
• /
• 2009

Using the fixed point method, we prove the generalized Hyers-Ulam stability of homomorphisms in Banach algebras and of derivations on Banach algebras for the 3-variable Cauchy functional equation.

• Journal of the Chungcheong Mathematical Society
• /
• v.26 no.4
• /
• pp.683-690
• /
• 2013

In this paper, we introduce the concept of a right derivation in incline algebras and give some properties of incline algebras. Also, the concept of d-ideal is introduced in an incline algebra with respect to right derivation.

• Honam Mathematical Journal
• /
• v.28 no.1
• /
• pp.45-56
• /
• 2006

We give characterizations of a deductive system of a BL-algebra, and discuss how to generate a deductive system by a set.