• Journal of Information Processing Systems
• /
• v.6 no.3
• /
• pp.335-346
• /
• 2010

The present study investigates the difficulty of solving the mathematical problem, namely the DLP (Discrete Logarithm Problem) for ephemeral keys. The DLP is the basis for many public key cryptosystems. The ephemeral keys are used in such systems to ensure security. The DLP defined on a prime field $Z^*_p of random prime is considered in the present study. The most effective method to solve the DLP is the ICM (Index Calculus Method). In the present study, an efficient way of computing the DLP for ephemeral keys by using a new variant of the ICM when the factors of p-1 are known and small is proposed. The ICM has two steps, a pre-computation and an individual logarithm computation. The pre-computation step is to compute the logarithms of a subset of a group and the individual logarithm step is to find the DLP using the precomputed logarithms. Since the ephemeral keys are dynamic and change for every session, once the logarithms of a subset of a group are known, the DLP for the ephemeral key can be obtained using the individual logarithm step. Therefore, an efficient way of solving the individual logarithm step based on the newly proposed precomputation method is presented and the performance is analyzed using a comprehensive set of experiments. The ephemeral keys are also solved by using other methods, which are efficient on random primes, such as the Pohlig-Hellman method, the Van Oorschot method and the traditional individual logarithm step. The results are compared with the newly proposed individual logarithm step of the ICM. Also, the DLP of ephemeral keys used in a popular password key exchange protocol known as Chang and Chang are computed and reported to launch key recovery attack.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.12 no.20
• /
• pp.123-138
• /
• 1989

The primary objective of the agency research in the game theory lives in the maintenance of Pareto is optimal condition for the optimal incentive contract. The basic concepts which are related to this objective are reviewed in connection with the general assumptions to model it, the moral hazard and adverse selection which arised from the information asymmetry, and finally the problem of risk distribution. The demand for auditing and the role of auditor have been addressed by ASOBAC. Issues which an auditor is explicitly introduced in a principal-agent framework have been addressed in this paper. These issues must be confronted to appropriately with the auditor, and to achieve an adequate understanding of optimal confronting arrangement with the auditor. The first step in introducing an auditor into this analysis is to examine the game-theoretic foundation of such a expended agency model. The Mathematical program formulated may not yield solution that are resonable. This arises because the program may call for the auditor and manager to play dominated Nash equilibra in some subgame. The nontrivial natures of the subgame implies that randomized strategies by the auditor and manager nay be of crucial importance. The possibilities for overcoming the randomized strategy problem were suggested; change the rule of the game and or impose covexity condition. The former seems unjustifiable in on auditing context, and the latter promising but difficult to achieve. The discussion ended with an extension of the revelation principle to the owner manager-auditor game, assuming strategies. An examination of the restriction and improvement direction of the basic concept of agency theory was addressed in the later part of this paper. Many important aspects of auditor incentives are inherently multiple-agent, multiple-period, multiple-objectine, phenomena and require further analyses and researches.

• Korean journal of applied entomology
• /
• v.56 no.1
• /
• pp.1-18
• /
• 2017

Temperature-dependent development model is an essential component for forecasting models of insect pests as well as for insect population models. This study reviewed the nonlinear models which explain the relationship between temperature and development rate of insects. In the present study, the types of models were classified largely into empirical and biophysical model, and the groups were subdivided into subgroups according to the similarity of mathematical equations or the connection with original idea. Empirical models that apply analytical functions describing the suitable shape of development curve were subdivided into multiple subgroups as Stinner-based types, Logan-based types, performance models and Beta distribution types. Biophysical models based on enzyme kinetic reaction were grouped as monophyletic group leading to Eyring-model, SM-model, SS-mode, and SSI-model. Finally, we described the historical development and characteristics of non-linear development models and discussed the availability of models.

• Journal of Korea Game Society
• /
• v.17 no.1
• /
• pp.7-16
• /
• 2017

The 3D game graphic technology has become an important factor in the contents field with the game contents development. In particular, game character technology provides a realistic technique and visual pleasure, as well as an intermediate step in the immersion of the game in which the game might create an optical illusion that enables the player to enjoy heroic adventure in the game. The high expression level of characters in 3D games is a key factor in the development process, with details and carefulness of the character setting work [3]. In this paper, we propose a character representative technique applied to mobile games using mathematical model of radiosity energy, spectral radiance model, and ray tracing model method using 3D unity game engine with sensible AI algorithm for game implementation. As a practical application to the game contents, it was found that the projection of the surface in the rendering process and the game simulation might change according to the lighting condition of the game content environment, so that the high quality of game characters was simulated.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.21 no.5
• /
• pp.719-726
• /
• 1997

The proportional pressure control valve having versatile functions and higher performance is an essential conponent in the open loop controlled rear wheel steering gear of the four wheel steering system in a passenger car. In this study, the authors suggest a new type of load pressure feedback mechanism which can make it easy to change the range of controlled pressure without changing the capacity of solenoid. The concept of suggested mechanism, composed of the pressure chamber with throttles in series, was described. The mathematical model was derived from the rear wheel steering gear consisting of a valve and a cylinder for the purpose of analyzing the valve characteristics. And the programme for computing the characteristic of the valve was developed. Experiments were performed to confirm the performance of the valve and computations were carried out to ascertain the usefulness of the developed programme. The results from computations fairly coincide with those from experiments. And the results from experiments and computations show that the performance of new valve was as good as that of the already developed one and the new valve has advantages such as the easiness of changing the range of controlled pressure and the decrease of power loss at neutral position without the decline of performance.

• Journal of the Korean School Mathematics Society
• /
• v.10 no.1
• /
• pp.91-111
• /
• 2007

This study investigated how high school students predict the rule, the sum of sequence for the concept of sequence, for the given patterns based on inductive approach using computers that provide dynamic functions and materials that are visual. Students for themselves were able to induce the formula without using the given formula in the textbook. Furthermore, this study examined how these technology and materials affect students' understanding of the concept of actual infinity for those who have the concept of the potential infinity which is the misconception of infinity in a infinity series. This study shows that students made a progress from the concept of potential infinity to that of actual infinity with technology and materials used I this study. Students also became interested in the use of computer and the visualized materials, further there was a change in their attitude toward mathematics.

• Advances in aircraft and spacecraft science
• /
• v.4 no.4
• /
• pp.353-369
• /
• 2017

Flutter is a dangerous phenomenon encountered in flexible structures subjected to aerodynamic forces. This includes aircraft, buildings and bridges. Flutter occurs as a result of interactions between aerodynamic, stiffness, and inertia forces on a structure. In an aircraft, as the speed of the flow increases, there may be a point at which the structural damping is insufficient to damp out the motion which is increasing due to aerodynamic energy being added to the structure. This vibration can cause structural failure, and therefore considering flutter characteristics is an essential part of designing an aircraft. Scientists and engineers studied flutter and developed theories and mathematical tools to analyze the phenomenon. Strip theory aerodynamics, beam structural models, unsteady lifting surface methods (e.g., Doublet-Lattice) and finite element models expanded analysis capabilities. Periodic Structures have been in the focus of research for their useful characteristics and ability to attenuate vibration in frequency bands called "stop-bands". A periodic structure consists of cells which differ in material or geometry. As vibration waves travel along the structure and face the cell boundaries, some waves pass and some are reflected back, which may cause destructive interference with the succeeding waves. This may reduce the vibration level of the structure, and hence improve its dynamic performance. In this paper, for the first time, we analyze the flutter characteristics of a wing with a periodic change in its sandwich construction. The new technique preserves the external geometry of the wing structure and depends on changing the material of the sandwich core. The periodic analysis and the vibration response characteristics of the model are investigated using a finite element model for the wing. Previous studies investigating the dynamic bending response of a periodic sandwich beam in the absence of flow have shown promising results.

• Structural Engineering and Mechanics
• /
• v.74 no.5
• /
• pp.635-655
• /
• 2020

The sag effect of long stay cables is one of the key factors restricting further increase in the span of cable-stayed bridges. Based on the formerly proposed concept of long stay cables lifted by an auxiliary suspension cable in cross-strait cable-stayed bridges, corresponding static approximate calculations and analytical theory based on catenary and parabolic cable configurations are established. Taking a main span 1400 m cable-stayed bridge as the research object, three typical lifting conditions and the whole process of auxiliary cable lifting are analyzed and discussed. The results show that the sag effect is effectively reduced. The support efficiency is only improved when the cables are lifted above the original cable chord. Reduction of the horizontal component force of the cable is limited. The equivalent elastic modulus and the vertical support stiffness of the lifted cables are significantly increased with increased horizontal projection length and not sensitive to the change of the lifting point position. The scheme of lifting the cable to the chord midpoint is more economical because of the less steel required for the auxiliary suspension cable, but its effect on improving the vertical support efficiency is limited. The support efficiency is better when the cable is lifted to the cable end tangential to the original cable chord, but the lifting force and the cross-sectional area of the auxiliary suspension cable are doubled. The approximate calculation results of the lifted cables are very close to the numerical analysis results, which verifies the applicability of the approximation method proposed in this study. The results of parabolic approximation calculations are approximately equal to that of catenary cable geometry. As the parabolic approximation analysis theory of lifted cables is more convenient in mathematical processing, it is feasible to use parabolic approximation analysis theory as the analytical method for the conceptual design of lifted cables of super-long span cable-stayed bridges.

• ETRI Journal
• /
• v.36 no.1
• /
• pp.134-140
• /
• 2014

Many reports have shown that the access pattern for geospatial tiles follows Zipf's law and that its parameter ${\alpha}$ represents the access characteristics. However, visits to geospatial tiles have temporal and spatial popularities, and the ${\alpha}$-value changes as they change. We construct a mathematical model to simulate the user's access behavior by studying the attributes of frequently visited tile objects to determine parameter estimation algorithms. Because the least squares (LS) method in common use cannot obtain an exact ${\alpha}$-value and does not provide a suitable fit to data for frequently visited tiles, we present a new approach, which uses a moment method of estimation to obtain the value of ${\alpha}$ when ${\alpha}$ is close to 1. When ${\alpha}$ is further away from 1, the method uses the associated cache hit ratio for tile access and uses an LS method based on a critical cache size to estimate the value of ${\alpha}$. The decrease in the estimation error is presented and discussed in the section on experiment results. This new method, which provides a more accurate estimate of ${\alpha}$ than earlier methods, promises more effective prediction of requests for frequently accessed tiles for better caching and load balancing.

• Journal of the Korean School Mathematics Society
• /
• v.5 no.2
• /
• pp.71-82
• /
• 2002

This study purported to develop the learning materials for the optional activities of mathematics, apply them to the students, and examine the effect on the learner's interest and attitude to mathematics. In order to conduct this study, the learning materials for the mathematics optional activities were developed according to the units of grade 8-Ga and the developed learning materials of the mathematics optional activities were inputted in two classes for 18 units after the second grade middle school students in Daejeon area received the questionnaire regarding the learning attitude and the interest in the mathematics. After that, the questionnaire regarding the learning attitude and the interest in the mathematics and the examination regarding the response to the application of the learning materials for mathematics optional activities were conducted and did t-test. The results of the study as follows : First The learning materials applied exciting games for mathematics optional activities aroused interest in mathematics and made the learners have confidence in mathematics learning. Second, There was affirmative change in the interest and attitude to the mathematics learning with the application of the mathematics optional learning materials. Third The leaning materials of the mathematics optional activities made the learners think mathematical questions connected with the real life and try various ways to solve the questions. Here are some suggestions to study the development of the learning materials such as story, game, quiz and craft. First it is necessary to develop the learning materials applied the games or the real life matters connected with mathematics for all grade middle school students and use them in the mathematics optional activities. Second, many students feel a great interest in animation. moving picture, sound graphic, etc. If the multimedia learning materials included the real life matters or the games are developed, the learners will feel more interest in mathematics. Third, the systematic and economical support is continuously needed in order that teachers are given much time to study and the opportunity to attend the training course for the understanding of the optional activities and the development of the various learning materials.