• The Mathematical Education
• /
• v.55 no.1
• /
• pp.91-106
• /
• 2016

The aim of this study was to analyze characteristics of teachers' knowledge about reductio ad absurdum. In order to achieve the aim, this study conducted didactical analysis about reductio ad absurdum through examining previous researches and developed a questionnaire with reference to the results of the analysis. The questionnaire was given to 34 high school teachers and qualitative methods were used to analyze the data obtained from the written responses by the participants. This study also elaborated the framework descriptors for interpreting the teachers' responses in the light of the didactical analysis and the data was elucidated in terms of this framework. The specific features of teachers' knowledge about reductio ad absurdum were categorized into five types as a result. This study raised several implications for teachers' professional development for effective mathematics instruction related to reductio ad absurdum.

• Proceedings of the Korea Contents Association Conference
• /
• 2012.05a
• /
• pp.193-194
• /
• 2012

Most of the Historic Preservation Areas are very weak to fire disasters. The aim of this study is to build a proposal-scheme for evacuation routes planning at a large-scale disaster in a historic preservation area. The study area is a preservation area called "Hizen-Hama-Shuku" which has many straw-roofed wooden houses in Kashima city, Japan. To achieve this aim, outline of the scheme is discussed. The proposal-scheme of evacuation routes consists of objectives to propose, target time to evacuate for the refuge place, evaluation method, and procedures. The existing condition and the measures are evaluated using the software "SimTread".

• The Journal of the Korea Contents Association
• /
• v.10 no.12
• /
• pp.173-180
• /
• 2010

Cultural contents industry is a kernel industry based on knowledge. This study is to suggest some complements by watching and analyzing cultural industry policy and status of especially animation America, England, France and Japan and that of Korea to aim at American market. I described financial resources, creation and technology, development of human resources, export method, improvement of legal system for the supplementary method of animation export strategy. This reports could be applicable as a information to plan industry policy or to develop detail program.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.6
• /
• pp.497-502
• /
• 2013

In this paper, we aim to evaluate the performance of the digital signal processing (DSP) algorithm used in [8] in order to improve the resolution of spectrometers with fixed number of low-cost, non-ideal filters. In such spectrometers, the resolution is limited by the number of filters. We aim to demonstrate via new experiments that the resolution improvement by six times over the conventional limit is possible by using the DSP algorithm as claimed by [8].

• Journal of Digital Contents Society
• /
• v.11 no.4
• /
• pp.453-461
• /
• 2010

Specifying and designing the election algorithm in mobile ad hoc distributed systems is very difficult task. It is because mobile ad hoc systems are more prone to failures than conventional distributed systems. The aim of this paper is to propose a specification and design of the election algorithm in a specific ad hoc mobile computing environment. For this aim, we specify and design an election algorithm in this paper. In addition, we formally verify it and show that it is correct. This solution is based on the nodes detection algorithm that is a classical one for synchronous distributed systems.

• Journal of applied mathematics & informatics
• /
• v.28 no.5_6
• /
• pp.1467-1476
• /
• 2010

The aim of this paper is to propose a cubic convergent regula falsi iterative method for solving the nonlinear equation f(x) = 0, where f : [a,b] $\subset$ R $\rightarrow$ R is a continuously differentiable. In [3,6] a quadratically convergent regula falsi iterative methods for solving this nonlinear equations is proposed. It is shown there that both the sequences of diameters and iterative points sequence converge to zero simultaneously. So The aim of this paper is to accelerate further the convergence of these methods from quadratic to cubic. This is done by replacing the parameter p in the iteration of [3,5,6] by a function p(x) defined suitably. The convergence analysis is carried out for the method. The method is tested on number of numerical examples and results obtained shows that our methods are better and more effective and comparable to well-known methods.

• Steel and Composite Structures
• /
• v.10 no.4
• /
• pp.331-348
• /
• 2010

Ample research effort has been oriented into developing damage indices with the aim of estimating in a reasonable manner the consequences, in terms of structural damage and deterioration, of severe plastic cycling. Although several studies have been devoted to calibrate damage indices for steel and reinforced concrete members; currently, there is a challenge to study and calibrate the use of such indices for the practical evaluation of complex structures. The aim of this paper is to introduce an energy-based damage index for multi-degree-of-freedom steel buildings that accounts explicitly for the effects of cumulative plastic deformation demands. The model has been developed by complementing the results obtained from experimental testing of steel members with those derived from analytical studies regarding the distribution of plastic demands on several steel frames designed according to the Mexico City Building Code. It is concluded that the approach discussed herein is a promising tool for practical structural evaluation of framed structures subjected to large energy demands.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.727-730
• /
• 2002

In this paper. we propose an algorithm to automatically generate a novel scene along the alternated viewing positions using the bidirectional disparity morphing. To compute the disparity between two reference images, we use the 2-step block based matching algorithm and define three occluding patterns so as to smooth the computed disparities, especially for occluded regions. We discuss the advantages of this algorithm compared to the commonly used schemes and show some experimental results with real data.

• Journal of the Korean Institute of Navigation
• /
• v.18 no.4
• /
• pp.11-21
• /
• 1994

Final aim of this paper is a study on simulation of automatic steering of a ship in random seas. In order to achieve this aim, we need excitation due to random seas. The excitation may be estimated from energy spectrum of irregular waves and response functions of manoeuvring motion of a ship in regular waves. This paper deals with response functions of manoeuvring motion of a ship in regular waves. We discussed New Strip Method(NSM) of sway-yaw-roll coupled motions in regular waves. NSM is defined in space axes system and that has been used to predict seakeeping performance of a ship in waves. But ship manoeuvring is defined in body fixed axes system. So we cannot use NSM theory itself in predicting manoeuvring performance of a ship in waves. We introduced relationship between space axes system and body fixed axes system. And we developed modified NSM which was defined in body fixed axes system and was able to be used in manoeuvring motion of a ship in waves. We calculated sway and yaw response functions of manoeuvring motion of a bulk carrier in regular waves.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2000.11a
• /
• pp.506-511
• /
• 2000

The aim of this study is to suggest a fundamental data to improve the sound insulation performance of floor. To achieve the aim of this study, 8 types of sound-absorbing and sound insulation materials were installed under the slab, and the floor systems were compared to the general floor system which was composed of slab, timber frame, gypsum board and wallpaper.