• Journal of KIISE:Computer Systems and Theory
• /
• v.32 no.5
• /
• pp.260-267
• /
• 2005

To search efficiently a text T of length n for a pattern P over an alphabet 5, suffix trees and suffix arrays are widely used. In case of a large text, suffix arrays are preferred to suffix trees because suffix ways take less space than suffix trees. Recently, O(${\mid}P{\mid}{\codt}{\mid}{\Sigma}{\mid}$-time and O(${\mid}P{\mid}P{\cdot}log{\mid}{\Sigma}{\mid}$)-time search algorithms in suffix ways were developed. In this paper we present time and space efficient search algorithms in suffix arrays. One algorithm runs in O(${\mid}P{\mid}$) time using O($n{\cdot}{\mid}{\Sigma}{\mid}$)-bits space, and the other runs in O($n{\cdot}{\mid}{\Sigma}{\mid}$ time using O($nlog{\mid}{\Sigma}{\mid}+{\mid}{\Sigma}{\mid}{\cdot}$nlog log n/logn)-bits space, which is more space efficient and still fast. Experiments show that our algorithms are efficient in both time and space when compared to previous algorithms.

• Journal of Korea Game Society
• /
• v.7 no.2
• /
• pp.11-20
• /
• 2007

This paper proposes a real-time simulation technique for thin shells undergoing large deformation. Shells are thin objects such as leaves and papers that can be abstracted as 2D structures. Development of a satisfactory physical model that runs in real-time but produces visually convincing animation of thin shells has been remaining a challenge in computer graphics. Rather than resorting to shell theory which involves the most complex formulations in continuum mechanics, we adopt the energy functions from the discrete shells proposed by Grinspun et al. For real-time integration of the governing equation, we develop a modal warping technique for shells. This new simulation framework results from making extensions to the original modal warping technique which was developed for the simulation of 3D solids. We report experimental results, which show that the proposed method runs in real-time even for large meshes, and that it can simulate large bending and/or twisting deformations with acceptable realism.

• The Journal of Korean Physical Therapy
• /
• v.10 no.1
• /
• pp.181-191
• /
• 1998

The age of specialization is upon physical therapy, as evidenced by the many special interest group. One of the special interest is manual therapy, which is the study of neurology, biomechanic, behavior science and pathology as well as the application of evaluative and treatment techniques of the neuromusculoskeletal system. Trend of manual therapy cover the whole medical in Europe. but America has two categories which is the neurologic manual therapy and the orthopedic manual therapy. The neurologic manual therapy was integrated with theory of PNF, Bobath technique, Vojta which is neurophysiologic approach concept. It is called motor control. A key aspect of the motor control requires a through knowledge of neurobiologic, biomechanic, and behavioral science. The orthopedic manual therapy runs to the evaluation and treatment of joints and their surrounding structures increase or decrease mobility and Fain control. In this article has to define and clarify the basic concepts of orthopedic manual therapy by comparing the general concepts, evaluation schemes, and treatment procedures of John McM Mennell, James Cyriax, Geoffrey Maitland, Freddy Kaltenborn and Ola Grimsby.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.911-914
• /
• 2005

Soft tissue characterization and modeling based on living tissues has been investigated in order to provide a more realistic behavior in a virtual reality based surgical simulation. In this paper, we characterize the nonlinear viscoelastic properties of intra-abdominal organs using the data from in vivo animal experiments and inverse FE parameter estimation algorithm. In the assumptions of quasi-linear-viscoelastic theory, we estimated the nonlinear material parameters to provide a physically based simulation of tissue deformations. To calibrate the parameters to the experimental results, we developed a three dimensional FE model to simulate the forces at the indenter and an optimization program that updates new parameters and runs the simulation iteratively. The comparison between simulation and experimental behavior of pig intra abdominal soft tissue are presented to provide a validness of the tissue model using our approach.

• Journal of the Korea Computer Graphics Society
• /
• v.12 no.1
• /
• pp.21-25
• /
• 2006

This paper proposes a real-time simulation technique for thin shells undergoing large deformation. Thin shells are almost two-dimensional structures visually well approximated as surfaces, such as leaves, paper sheets, hats, aluminum cans. Unfortunately accurate simulation of these structures requires one of the most complex formulations in continuum mechanics, shell theory [4]. Moreover, there has not yet been any work reported to produce visually convincing animation of them while achieving real-time performance. Motivated by discrete shells [5] and modal warping [3], we formulate dynamics of thin shells using mass-spring models instead of finite element models, and then apply the modal warping technique to cope with large rotational deformation of thin shells. Experiments show that the proposed technique runs in real-time, and that it can simulate large bending and/or twisting deformations with acceptable realism.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1998.04a
• /
• pp.45-50
• /
• 1998

The coupled vibration occurs between traveling vehicle and bridge, when vehicle runs on it. The natural frequency of this coupled system is dependent on the contact position of vehicle and bridge, that is, time-varying system. The calculations of these natural frequencies are very complicated, and often carried out by using Green function theory, series. But, these methods have any limitations, such as, supporting condition, boundary condition. In this paper, on the coupled system constructed by the concentrated mass and elastically supported beam, an analytical method of natural frequency is proposed by using Fourier sine transformation. The results are compared and discussed with numerically calculated ones.

• IE interfaces
• /
• v.15 no.1
• /
• pp.99-106
• /
• 2002

A recently developed alternative to traditional production planning and control systems such as material requirement planning(MRP) and just-in-time(JIT) is the drum-buffer-rope(DBR). The DBR now being implemented in growing number of manufacturing organizations enables better scheduling and decision making on the shop floor. In implementing the DBR, however, an information system is usually needed to transmit the signal that runs from the constraint to material release. In this paper we propose a different mechanism to transmit the signal in the case that the demand of product is stable, which uses the well-known Kanban system. To improve the reality, this paper shows and example of the Kanban format, its operation, and calculation of the number of Kanbans.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.79-83
• /
• 2001

A cone-shaped active magnetic bearing spindle system for high speed internal grinding is designed and tested. The cone-shaped AMB system consists of only 4 couples of magnet, it can be smaller and lighter than conventional radial-axial-type AMB system. In this paper, the cone-shaped electromagnets are designed by magnetic circuit theory, and de-coupled direct feedback PID controller is applied to control the coupled magnetic bearings. The designed cone-shaped AMB spindle system is built and constructed with a digital control system, and tested its stbility and dynamic performances. As the results of the tests, this spindle runs up to 40,000 rpm with about 5 ${\mu}{\textrm}{m}$ of runout, and the AMB system provides high damping ratio eliminating overshoot and resonance speed.

• Journal of the Korean Data and Information Science Society
• /
• v.14 no.3
• /
• pp.707-714
• /
• 2003

Because of complex aliasing, nonregular designs have traditionally been used for screening only main effects. However, complex aliasing actually may allow some interactions entertained and estimated without making additional runs. According to hierarchical principle, the minimum aberration has been used as an important criterion for selecting regular fractional factorial designs. The criterion is not applicable to nonregular designs. In this paper, we give a criterion for choosing fractional factorial designs based on the fan theory. The criterion is focused on the partial ordering given by set inclusion on estimable sets which is called leaves.

• Journal of Mechanical Science and Technology
• /
• v.17 no.5
• /
• pp.698-707
• /
• 2003

A new quadratic response surface modeling method is presented. In this method, the incomplete small composite design (ISCD) is newly proposed to .educe the number of experimental runs than that of the SCD. Unlike the SCD, the proposed ISCD always gives a unique design assessed on the number of factors, although it may induce the rank-deficiency in the normal equation. Thus, the singular value decomposition (SVD) is employed to solve the normal equation. Then, the duality theory is used to newly develop the conservative least squares fitting (CONFIT) method. This can directly control the ever- or the under-estimation behavior of the approximate functions. Finally, the performance of CONFIT is numerically shown by comparing its'conservativeness with that of conventional fitting method. Also, optimizing one practical design problem numerically shows the effectiveness of the sequential approximate optimization (SAO) combined with the proposed ISCD and CONFIT.