• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.18 no.4
• /
• pp.69-78
• /
• 2008

We propose to analyze a weakness of quantum key distribution and quantum authentication which use entangled state were proposed by Bao-sen Shi(2001) and to improve the security of the protocol. The existing protocol had a weakness against an impersonation attack of an eavesdropper, because of a only process which authenticated a third party(Center) by users. In this paper, we propose improving the security of the protocol that authenticates users by a third party using check mode which applies CHSH inequality.

• The Mathematical Education
• /
• v.17 no.2
• /
• pp.25-28
• /
• 1979

• Communications of Mathematical Education
• /
• v.25 no.2
• /
• pp.403-430
• /
• 2011

The purpose of the study was to investigate how the use of graphing calculators influence on forming students' mathematical concept of algebra, students' mathematical connection, and attitude toward mathematics. First, graphing calculators give instant feedback to students as they make students compare their written answers with the results, which helps students learn equations and linear inequalities for themselves. In respect of quadratic inequalities they help students to correct wrong concepts and understand fundamental concepts, and with regard to functions students can draw graphs more easily using graphing calculators, which means that the difficulty of drawing graphs can not be hindrance to student's learning functions. Moreover students could understand functions intuitively by using graphing calculators and explored math problems volunteerly. As a result, students were able to perceive faster the concepts of functions that they considered difficult and remain the concepts in their mind for a long time. Second, most of students could not think of connection among equations, equalities and functions. However, they could understand the connection among equations, equalities and functions more easily. Additionally students could focus on changing the real life into the algebraic expression by modeling without the fear of calculating, which made students relieve the burden of calculating and realize the usefulness of mathematics through the experience of solving the real-life problems. Third, we identified the change of six students' attitude through preliminary and an ex post facto attitude test. Five of six students came to have positive attitude toward mathematics, but only one student came to have negative attitude. However, all of the students showed positive attitude toward using graphing calculators in math class. That's because they could have more interest in mathematics by the strengthened and visualization of graphing calculators which helped them understand difficult algebraic concepts, which gave them a sense of achievement. Also, students could relieve the burden of calculating and have confidence. In a conclusion, using graphing calculators in algebra and function class has many advantages : formulating mathematics concepts, mathematical connection, and enhancing positive attitude toward mathematics. Therefore we need more research of the effect of using calculators, practical classroom materials, instruction models and assessment tools for graphing calculators. Lastly We need to make the classroom environment more adequate for using graphing calculators in math classes.

• Journal of Korean Society of Transportation
• /
• v.20 no.6
• /
• pp.99-113
• /
• 2002

The multi-class traffic assignment problem is the most typical one of the multi-solution traffic assignment problems and, recently formulation of the models and the solution algorithm have been received a great deal of attention. The useful solution algorithm, however, has not been proposed while formulation of the multi-class traffic assignment could be performed by adopting the variational inequality problem or the fixed point problem. In this research, we developed a hybrid solution algorithm which combines GA algorithm, diagonal algorithm and clustering algorithm for the multi-class traffic assignment formulated as a variational inequality Problem. GA algorithm and clustering algorithm are introduced for the wide area and small cost. We also performed an experiment with toy network(2 link) and tested the characteristics of the suggested algorithm.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.3
• /
• pp.285-290
• /
• 2007

In this paper, we presents robust digital redesign (DR) method for observer-based linear time-invariant (LTI) system. The term of DR involves converting an analog controller into an equivalent digital one by considering two condition: state-matching and stability. The design problems viewed as a convex optimization problem that we minimize the error of the norm bounds between interpolated linear operators to be matched. Also, by using the bilinear and inverse bilinear approximation method, we analyzed the uncertain parts of given observer-based system more precisely, When a sampling period is sufficiently small, the conversion of a analog structured uncertain system to an equivalent discrete-time system have proper reason. Sufficiently conditions for the state-matching of the digitally controlled system are formulated in terms of linear matrix inequalities (LMIs).

• Communications of Mathematical Education
• /
• v.24 no.3
• /
• pp.543-562
• /
• 2010

The purpose of this thesis is to analyze the error happening in the process of solving the simultaneous inequality with two unknown qualities and to propose the correct teaching method. We first introduce a problem about the simultaneous inequality with two unknown qualities. And we will see the solution which a student offers. Finally we propose the correct teaching method by analyzing the error happening in the process of solving the simultaneous inequality with two unknown qualities. The cause of the error are a wrong conception which started with the process of solving the simultaneous equality with two unknown qualities and an insufficient curriculum in connection with the simultaneous inequality with two unknown qualities. Especially we can find out the problem that the students don't look the interrelation between two valuables when they solve the simultaneous inequality with two unknown qualities. Therefore we insist that we must teach students looking the interrelation between two valuables when they solve the simultaneous inequality with two unknown qualities.

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.2
• /
• pp.17-27
• /
• 1995

We propose a framework for representing and processing uncertain knowledge on the basis of constraint satisfaction. A system of equations and/or inequalities can be considered as a set of constraints that should be solved, and each constraint in the set is transformed into a corresponding logical formula which can be solved through a constraint solving program. Most of rule-based systems, for instance, use a simple probabilistic theory in order to maintain uncertain knowledge, therefore uncertain knowledge can be represented and processed in the constraint satisfaction program quite efficiently.

• Journal of the Korea Society of Computer and Information
• /
• v.6 no.3
• /
• pp.72-77
• /
• 2001

The method of connection admission control is presented by using the equations related with traffic classes for real-time connection admission control. without assuming the cell arrival processes in the multi-level structure of ATM traffic control. The equations related with traffic classes are obtained by 3 or 4 of first order inequalities from the admissible ranges of connection considering the expected total instantaneous demand to guarantee the required quality of services of each class.

• Journal of the Korean School Mathematics Society
• /
• v.20 no.3
• /
• pp.277-302
• /
• 2017

Educational objectives for mathematics in the curriculum revised in 2009 and the curriculum revised in 2015 put great emphasis on practical use of math, but perception of that lacks at schools. Accordingly, this research is recognizing the need for paying attention to curriculum focusing on mathematical connectivity and is inspecting CMP curriculum which has been developed over the years to reinforce problem solving competence and improve communication skills. This study analyzes CMP textbooks published as third edition in 2014 after several revisions, focusing on equations, inequalities and functions. First, this thesis analyzes mathematical connectivity using a new analysis framework which applied the modes of representation(situations, verbal description/ tables/ graphs/ formulae) made by Janvier(1987). Second, this research analyzes connectivities between different units, various sections, other subjects and practical contents related to the real life. The results: CMP textbooks use various practical materials for specific situations. They represent twelve processes of connectivity according to the modes of representation of Janvier. The books also show relationship between equations and functions, between inequalities and functions. And CMP textbooks include other subjects and practical contents.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.24 no.1
• /
• pp.133-141
• /
• 2020

Korea Infrastructure Safety and Technology Corporation (KISTEC) specifies that the safety inspection and precise safety diagnosis of concrete structures shall be conducted in accordance with the 'Special Law on Safety Management of Infrastructure'. The detailed safety inspection and precise safety diagnosis guidelines presented by KISTEC, however, gives only the grade of members and structures, and thus it is impossible to quantify remaining service life (RSL) of the structures and to quantitatively reflect the effect of differential settlements on the RSL. Therefore, this study aims to develop a RSL evaluation model considering the differential settlements. To this end, a simple equation was proposed based on the correlations between differential settlements and angular distortion, by which the angular distortion of structures was then reflected in nominal strengths of structural members. In addition, the effects of the differential settlements on the RSL of structures were analyzed in detail by using the safety diagnosis results of actual concrete structure.