• Journal of applied mathematics & informatics
• /
• v.31 no.5_6
• /
• pp.813-823
• /
• 2013

In this paper, a new iterative algorithm involving quasi-nonexpansive mapping in Hilbert space is proposed and proved to be strongly convergent to a point which is simultaneously a fixed point of a quasi-nonexpansive mapping, a solution of an equilibrium problem and the set of solutions of a variational inequality problem. The results of the paper extend previous results, see, for instance, Takahashi and Takahashi (J Math Anal Appl 331:506-515, 2007), P.E.Maing $\acute{e}$ (Computers and Mathematics with Applications, 59: 74-79,2010) and other results in this field.

• Journal of Engineering Education Research
• /
• v.13 no.5
• /
• pp.66-71
• /
• 2010

Recently, engineering work become very important for the leaders of the information society for the future knowledge in the 21st century and the goal of engineering education is to prepare people to practice engineering as a profession and also to spread technological literacy, increase student interest in technical careers through science and math education. The College of Engineering (COE) of Korea Maritime University (KMU) aims to be the center of both IT-related high industrial technology and the industries related to port, shipbuilding and the ocean. Especially COE focuses on the educational principles to contribute to the development of the country and the regional communities by educating specialists that have international competitiveness. With the need to expand international collaboration in terms of engineering work, it is proposed to initiate a new state of the Asian-Pacific body of engineering conference. To the extent possible the basic discussion was made to expose elements and supports as full-scale illustration of the engineering conference. The result is a body that evokes multi agreement and joint declaration among members.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.11
• /
• pp.1137-1143
• /
• 2009

This paper presents the FPGA implementation of efficient algorithms for approximating exponential function based on floating point format data. The Taylor-Maclaurin expansion as a conventional approximation method becomes inefficient since high order expansion is required for the large number to satisfy the approximation error. A format converter is designed to convert fixed data format to floating data format, and then the real number is separated into two fields, an integer field and an exponent field to separately perform mathematic operations. A new assembly command is designed and added to previously developed command set to refer the math table. To test the proposed algorithm, assembly program has been developed. The program is downloaded into the Altera DSP KIT W/STRATIX II EP2S180N Board. Performances of the proposed method are compared with those of the Taylor-Maclaurin expansion.

• Journal for History of Mathematics
• /
• v.28 no.1
• /
• pp.31-44
• /
• 2015

The cycloid curve had been studied by many mathematicians in the period from the 16th century to the 18th century. The results of those studies played important roles in the birth and development of Analytic Geometry, Calculus, and Variational Calculus. In this period mathematicians frequently used the cycloid as an example to apply when they presented their new mathematical methods and ideas. This paper overviews the history of mathematics on the cycloid curve and presents proofs of its important properties.

• Journal for History of Mathematics
• /
• v.26 no.4
• /
• pp.245-257
• /
• 2013

Hermann Grassmann classified mathematics and extended the dimension of vector spaces by using dialectics of contrasts. In this paper, we investigate his mathematical idea and its background, and the process of the classification of mathematics. He made a synthetic concept of mathematics based on his idea of 'equal' and 'inequal', 'discrete' and 'indiscrete' mathematics. Also, he showed a creation of new mathematics and a process of generalization using a dialectic of contrast of 'special' and 'general', 'real' and 'formal'. In addition, we examine his unique development in using 'real' and 'formal' in a process of generalization of basis and dimension of a vector space. This research on Grassmann will give meaningful suggestion to an effective teaching and learning of linear algebra.

• Journal of Computing Science and Engineering
• /
• v.6 no.4
• /
• pp.267-278
• /
• 2012

The state-of-the-art techniques in multicore timing analysis are limited to analyze multicores with shared instruction caches only. This paper proposes a uniform framework to analyze the worst-case performance for both shared instruction caches and data caches in a multicore platform. Our approach is based on a new concept called address flow graph, which can be used to model both instruction and data accesses for timing analysis. Our experiments, as a proof-of-concept study, indicate that the proposed approach can accurately compute the worst-case performance for real-time threads running on a dual-core processor with a shared L2 cache (either to store instructions or data).

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.831-845
• /
• 2014

In this paper, we obtain new generating functions involving families of pairs of inverse functions by using a generalization of the Srivastava's theorem [H. M. Srivastava, Some generalizations of Carlitz's theorem, Pacific J. Math. 85 (1979), 471-477] obtained by Tremblay and Fug$\grave{e}$ere [Generating functions related to pairs of inverse functions, Transform methods and special functions, Varna '96, Bulgarian Acad. Sci., Sofia (1998), 484-495]. Special cases are given. These can be seen as generalizations of the generalized Bernoulli polynomials and the generalized degenerate Bernoulli polynomials.

• Journal of the Korean earth science society
• /
• v.27 no.7
• /
• pp.715-722
• /
• 2006

This study intended to find evidence of changes in teacher beliefs of teaching and learning and a case of infusing research experiences in teaching modules since their research participation. As part of this study, twenty three science and math teachers in Korea were provided with science research labs and field experiences in the University of Iowa for three weeks. The research units that teachers participated in for three weeks covered seven fields of subjects such as: geology, astronomy, chemistry, physics, mathematics, computer science, and environmental engineering. In the course of this study, the effectiveness of science research participation program was explored in terms of changing teacher beliefs and their production of teaching modules based on their research. This study especially focused on identifying changes of beliefs on science teaching and learning after participating in the research. A case study of a participant teacher was also conducted by comparing descriptively teaching modules before and after experiencing the program. It was found that the program affected the new modules and the research experiences affected participants' beliefs toward student centeredness.

• Journal of Educational Research in Mathematics
• /
• v.12 no.1
• /
• pp.125-143
• /
• 2002

The concept of "set" in school mathematics has undergone many changes according to the revision of curriculum and the transition of the paradigm in mathematics education. In the discipline-centered curriculum, a set was a representative concept which reflected the spirit of New Math. After the Back to Basics period, the significance of a set concept in school mathematics has been diminished. First, this paper elaborated several controversial aspects of the terms related to set, such as a collection and a set, a subset, and an empty set. In addition, the changes of the significance imposed to a set concept in school mathematics were investigated. Finally, this paper provided two alternative approaches to introduce and explain a set concept which emphasized both mathematical rigor and learner's psychology.

• Journal of applied mathematics & informatics
• /
• v.27 no.5_6
• /
• pp.1293-1305
• /
• 2009

Molodtsov [D. Molodtsov, Soft set theory First results, Comput. Math. Appl. 37 (1999) 19-31] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to the theory of BCC-algebras. The notion of (trivial, whole) soft BCC-algebras and soft BCC-subalgebras are introduced, and several examples are provided. Relations between a fuzzy subalgebra and a soft BCC-algebra are given, and the characterization of soft BCC-algebras is established.