• Journal of the Korea Society of Computer and Information
• /
• v.12 no.3
• /
• pp.251-258
• /
• 2007

With the increase of a web service technology, a new access control mechanism has developed for XML documents. As a result, as legacy access control systems, access control systems has become an active research topic. In this paper, we propose a methodology to translate access control policies for XML documents into formal specification language CSP. To do this, first, we introduce a method to translate a hierarchical access to XML documents using XPath language into CSP process algebra. Second, we explain a method to represent a XML schema as a formal model like automata. Third, we present a method for representing the semantics of access control policies such as the scope of rules and confliction resolution into a process algebra language. Finally, a CSP specification example of an XML schema and path expressions aye shown to illustrate the validity of our approach.

• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.69-82
• /
• 2012

The objective of this paper is to study De Morgan's perspective on teaching and learning complex numbers. De Morgan's didactical approaches reflect the process of development of his thoughts about algebra from universal arithmetic, symbolic algebra to meaning algebra. De Morgan develop his perspective on algebra by justifying and explaining complex numbers. This implies that teaching and learning complex numbers is a catalyst for mathematical development of De Morgan.

• International journal of advanced smart convergence
• /
• v.3 no.2
• /
• pp.6-9
• /
• 2014

SaaS provides software hosted on the cloud computing in a form of service. Thus, it enables the extension of service functions by combining or reusing the existing software. As an analysis technique, this paper suggests a method of verifying the reusability of a process by analyzing it with the process algebra. The suggested method can confirm the reusability of existing software, ensure the consistency of modifications by tenants or requests, and provide probabilities of combining processes.

• Journal of Korean Society for Quality Management
• /
• v.20 no.1
• /
• pp.11-21
• /
• 1992

The Purpose of this paper contribute to design the multistate Markov process for the reliability of a system when the transition-rates of each unit depend on the current state of the system. The system transition-rate matrix has the form of the kronecker sum of transition rate matrices for the units, is analyzed and investigated. As a result, the system which has the state-dependent units is detaily analyzed and introduced by the approach of an algorithm for the system transition-rate matrix based on the kronecker algebra.

• The Mathematical Education
• /
• v.43 no.1
• /
• pp.87-96
• /
• 2004

For finding the optimal strategy in Blackout game which was introduced in the homepage of popular mono "Beautiful mind", we develope a mathematical proof and an algorithm with a software. We only use the concept of basis and knowledge of basic linear algebra. This process can be extended to the fullsize Go table problem and shows why we have to study mathematics at the college level.

• Proceedings of the Korean Society of Computational and Applied Mathematics Conference
• /
• 2002.09a
• /
• pp.25.1-25
• /
• 2002

• The Mathematical Education
• /
• v.52 no.3
• /
• pp.271-301
• /
• 2013

The purpose of the study was to investigate how students generalize and prove the factoring of $x^n-1$ using a Computer Algebra System application and the role of CAS in this process. The theoretical framework consists of the anthropological and the instrumental approach. In particular, the basis of the Task-Technique-Theorization(T-T-T) frame adapted form Chevallard's anthropological approach of Didactics is utilized. We found that Technique-Theorization emerges in mutual interaction between paper-and-pencil techniques and computer algebra techniques. And this interaction led to the students' theoretical reflection and conceptual understanding. In this process, we could identify three epistemic role of CAS : the role of checking the result, the role of cognitive stimulation and the role of extending thinking. Therefore CAS plays on a epistemic role of checking the result of a task, stimulating the student' cognition and extending their thinking as well as pragmatic role of producing the result of a input.

• Journal of Educational Research in Mathematics
• /
• v.17 no.1
• /
• pp.67-90
• /
• 2007

The purpose of this study is to understand students' thinking process in the algebra problem solving, on the base of the works of Vinner(1997a, 1997b). Thus, two middle school students were evaluated in this case study to examine how they think to solve algebra word problems. The following question was considered to analyze the thinking process from the similarity-based perspective by focusing on the process of solving algebra word problems; What is the relationship between similarity and the characteristics of thinking process at the time of successful and unsuccessful problem solving? The following results were obtained by analyzing the success or failure in problem solving based on the characteristics of thinking process and similarity composition. Successful problem solving can be based on pseudo-analytical thought and analytical thought. The former is the rule applied in the process of applying closed formulas that is constructed structural similarity not related with the situations described in the text. The latter means that control and correction occurred in all stages of problem solution. The knowledge needed for solutions was applied with the formulation of open-end formulas that is constructed structural similarity in which memory and modification with the related principles or concepts. In conclusion, the student's perception on the principles involved in a solution is very important in solving algebraic word problems.

• Research in Mathematical Education
• /
• v.11 no.2
• /
• pp.143-151
• /
• 2007

Nowadays there are practically no mathematical courses in which Computer Algebra Systems (CAS) programs, such as MATHEMATlCA, Maple, and TI-89/92, are not used to some extent. However, generally the usage of these programs is reduced to illustration of computing processes: calculation of integrals, differentiation, solution of various equations, etc. This is obtained by usage of standard command of type: Solve [...] in MATHEMATICA. At the same time the main difficulties arise at teaching nonconventional mathematical courses such as coding theory, discrete mathematics, cryptography, Scientific computing, which are gaining the increasing popularity now. Now it is impossible to imagine a modern engineer not having basic knowledge in discrete mathematics, Cryptography, coding theory. Digital processing of signals (digital sound, digital TV) has been introduced in our lives.

• The Mathematical Education
• /
• v.52 no.1
• /
• pp.97-109
• /
• 2013

Research in undergraduate mathematics education has been active very recently. The purpose of the paper is to investigate how college students make ion from some known informations about integer and rational numbers in algebra. Three college students were involved in the study. We analyze student's personal answers in order to find where their misunderstandings and difficulties come from based on the theoretical frameworks on mathematical understanding such as APOS-model and P-K-model. Finally we discuss about constructivist teaching ways for algebra and propose new paradigm for teaching undergraduate mathematics.