• 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.31 no.3
• /
• pp.241-255
• /
• 2017

The 4th industrial revolution is coming. In order to prepare for the new learning environment with it, we may need digital mathematics textbooks that fully utilize all possible technologies. So various attempts have been made in elementary and middle school mathematics education. However, despite the importance of higher mathematics, we haven't seen a best possible math digital textbooks yet in Korea. In this paper, we introduce our new model of interactive math digital textbook about Linear Algebra/ Calculus/ Differential Equations/ Statistics/ Engineering Math. Especially, this manuscript focuses on our experience of using digital contents and interactive labs for developing a new model for linear algebra digital textbook. We introduce our works on linear algebra digital textbooks which include pdf e-book, web contents, video clips of lectures, interactive lab. Using this linear algebra digital textbook, students can freely use any mobile devices to access diverse learning materials, lessons, and hands-on exercises without any limitations. Also, times saved in the computation, coding, and typing process can be used to have more discussions for deeper understanding of mathematical concepts. This type of linear algebra digital textbook, which contains all interactive free cyber-lab with codes and all lectures for each sections, can be considered as a new model for the next generation of math digital textbook.

• Research in Mathematical Education
• /
• v.12 no.4
• /
• pp.283-291
• /
• 2008

The extension to a wide population of secondary education in many advanced countries seems to have led to a weakening of the mathematics curriculum. In response, many students have been classified as "gifted" so that they can access a stronger program. Apart from the difficulties that might arise in actually determining which students are gifted (Is it always clear what the term means?), there are dangers inherent in programs that might be devised even for those that are truly talented. Sometimes students are moved ahead to more advanced mathematics. Elementary students might be taught algebra or even subjects like trigonometry and vectors, and secondary students might be taught calculus, differential equations and linear algebra. It is my experience over thirty-five years of contact with bright students that acceleration to higher level mathematics is often not a good idea. In this paper, I will articulate some of the factors that have led me to this opinion and suggest alternatives. First, I would like to emphasize that in matters of education, almost every statement that can be made to admit counterexamples; my opinion on acceleration is no exception. Occasionally, a young Gauss or Euler walks in the door, and one has no choice but to offer the maximum encouragement and allow the student to go to the limit of his capabilities. A young genius can demonstrate an incredible amount of mathematical insight, maturity and mastery of technique. A classical example is probably the teen-age Euler, who in the 1720s was allowed regular audiences with Jean Bernoulli, the foremost mathematician of his day.

• Communications of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.809-823
• /
• 2020

Let C[0, T] denote the space of continuous, real-valued functions on the interval [0, T] and let C₀[0, T] be the space of functions x in C[0, T] with x(0) = 0. In this paper, we introduce a Banach algebra ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ on C[0, T] and its equivalent space ${\bar{\mathcal{F}}}({\mathcal{H}}) $, a space of transforms of equivalence classes of measures, which generalizes Fresnel class 𝓕(𝓗), where 𝓗 is an appropriate real separable Hilbert space of functions on [0, T]. We also investigate their properties and derive an isomorphism between ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ and ${\bar{\mathcal{F}}}({\mathcal{H}}) $. When C[0, T] is replaced by C₀[0, T], ${\bar{\mathcal{F}}}({\mathcal{H}}) $ and ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ reduce to 𝓕(𝓗) and Cameron-Storvick's Banach algebra 𝓢, respectively, which is the space of generalized Fourier-Stieltjes transforms of the complex-valued, finite Borel measures on L²[0, T].

• Communications of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.371-399
• /
• 2020

Let P_s := 𝔽₂[x₁, x₂, …, x_s] = ⊕_n⩾0(P_s)_n be the polynomial algebra viewed as a graded left module over the mod 2 Steenrod algebra, ${\mathfrak{A}}$. The grading is by the degree of the homogeneous terms (P_s)_n of degree n in the variables x₁, x₂, …, x_s of grading 1. We are interested in the hit problem, set up by F. P. Peterson, of finding a minimal system of generators for ${\mathfrak{A}}$-module P_s. Equivalently, we want to find a basis for the 𝔽₂-graded vector space ${\mathbb{F}}_2{\otimes}_{\mathfrak{A}}$ P_s. In this paper, we study the hit problem in the case s = 5 and the degree n = 5(2^t - 1) + 6 · 2^t with t an arbitrary positive integer.

• 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 Internet Computing and Services
• /
• v.20 no.6
• /
• pp.21-28
• /
• 2019

Process mining is state-of-the-art technology in the workflow field. Recently, process mining becomes more important because of the fact that it shows the status of the actual behavior of the workflow model. However, as the process mining get focused and developed, the material of the process mining - workflow event log - also grows fast. Thus, the process mining algorithms cannot operate with some data because it is too large. To solve this problem, there should be a lightweight process mining algorithm, or the event log must be divided and processed partly. In this paper, we suggest a set of operations that control and edit XES based event logs for process mining. They are designed based on relational algebra, which is used in database management systems. We designed three operations for tailoring XES event logs. Select operation is an operation that gets specific attributes and excludes others. Thus, the output file has the same structure and contents of the original file, but each element has only the attributes user selected. Union operation makes two input XES files into one XES file. Two input files must be from the same process. As a result, the contents of the two files are integrated into one file. The final operation is a slice. It divides anXES file into several files by the number of traces. We will show the design methods and details below.

• The Mathematical Education
• /
• v.47 no.1
• /
• pp.75-89
• /
• 2008

Internet has been widely spread out and the need of convenient mathematical expression in the internet has been in need. In this paper, we discvss how MathML and JAVA have been developed for mathematical expressions in the internet. And we introduce our JAVA applet tools that adapted the object oriented programming techniques of the MathML and JAVA. Most of our JAVA toots have been developed for linear algebra course whose method can be applied to other subject as well. Then we discuss how we use those tools and output from the use of them in our class.