• Proceedings of the KSR Conference
• /
• 2007.11a
• /
• pp.107-114
• /
• 2007

In this paper, the equations of motion by which the natural vibration of rotating thick ring can be analyzed accurately are presented. These equations are derived from the theory of finite deformation and the principle of virtual work. The effects of variation in curvature across the ring cross-section can be considered in these equations. The ring models are called as thick ring model and thin ring model respectively as the effects of variation in curvature are considered or neglected. The radial displacement of ring which is rotating at constant angular velocity is determined by a non-linear equation derived from the principle of virtual work. The equations of the in-plane and out-of-plane vibrations at disturbed state are also formulated from the principle of virtual work. They can be expressed as the combination of the radial displacement at the steady state and the disturbed displacements about the steady state. The natural vibrations of rings with different thickness are analyzed by using the presented ring models and 3-dimensional finite element method to verify accuracy of the presented equations of motion. Its results are compared and discussed.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1996.03a
• /
• pp.47-51
• /
• 1996

Unsteady-state temperature distributions and thermal deformations of a spindle system are studied in this paper. Three dimensional model is built for analysis, and the amount of heat generation of bearing and the thermal characteristic values including heat transfer coefficient are estimated. Temperature distributions and thermal deformations of a model are analyzed using the finite element method and the termal boundary values. Numerical results are compared with the measured data. The results show that thermal deformations and temperature distributions of a high precision spindle system can be reasonably estimated using the three dimensional model and the finite element method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.109-111
• /
• 2002

기존의 많은 동기화 모델 중 EFSM(Extended Finite State Machine)기반 동기화 모델을 수정 보완한 MFSM(Modified Finite State Machine)을 제안한다. MFSM은 미디어간 동기화를 위한 Intermedia Synchronization 역할을 Sync Master와 Sync Slave로 나누어 기존 논문의 단점을 보완한다. 3GPP2 환경에서 멀티미디어 데이터 송수신시에 미디어 소스간에 동기화를 위해서 MRF(Media Resource Function)가 데이터를 중계하는 MFSM기반의 동기화 모델을 제안한다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.5
• /
• pp.1383-1391
• /
• 1996

The steady-state response for a coupled structure-acoustic-cavity systme has been investigated by numerical technique using a directly coupled finite element method(FEM) and Boundary Element Method(BEM) model. The Laplace tranformed matrix equations for the structure and the acoustic cavity are coupled directly satisfying the necessary equilibrium and compatibility conditions. The coupled FEM-BEM code is verified by comparing its prediction for an example with known analytical, numerical and experimental results. The example involves a coupled structure-acoustic-cavity system which is a box-type cavity with one end as experimentally excited pinned-pinned plate.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.642-648
• /
• 2003

In this paper, we are interested in checking equivalence of FSMs(finite state machines). Two FSMs are equivalent if and only if their responses are always equal with each other with respect to the same external stimuli. Equivalence checking FSMs makes complicated FSM be substituted for simpler one, if they are equivalent. We can also determine the system satisfies the requirements, if they are all written in FSMs. In this paper, we regard equivalence checking problem as model checking one. For doing so, we construct the product model $M ={M_A} {\beta}{M_B} from two FSMs ${M_A} and {M_B}$. And we also get the temporal logic formula ${\Phi}$ from the equivalence checking definition. Then, we can check with model checker whether if satisfies ${\Phi}$, written $M= {.\Phi}$. Two FSMs are equivalent, if $M= {.\Phi}$ Otherwise, it is not equivalent. In that case, model checker generates counterexamples which explain why FSMs are not equivalent. In summary, we solve the equivalence checking problem with model checking techniques. As a result of applying to several examples, we have many satisfiable results.

• Journal of Korea Game Society
• /
• v.10 no.3
• /
• pp.93-102
• /
• 2010

This paper is to design and implement the system to simulate spontaneously the group behaviors for the various states of doves. To do this, the group behaviors of doves were divided into the four action models such as 'Flying', 'Landing', 'Eating' and 'Taking off'. The steering forces composing of each action model were found and each action model was designed by using the finite state machine. The designed system was implemented by integrating the Ogre engine. From the simulations of the implemented system, the values of the parameters for the steering forces were found so that it can represent the spontaneous group behaviors of doves.

• Advances in biomechanics and applications
• /
• v.1 no.3
• /
• pp.143-158
• /
• 2014

Forearm fractures in children are very common among all pediatric fractures. However, biomechanical investigations on the pediatric forearm are rather scarce, partially due to the complex anatomy, closely situated, interrelated structures, highly dynamic movement patterns, and lack of appropriate tools. The purpose of this study is to develop a computational tool for child forearm investigation and characterize the mechanical responses of a backward fall using the computational model. A three-dimensional 10-year-old child forearm finite element (FE) model, which includes the ulna, radius, carpal bones, metacarpals, phalanges, cartilages and ligaments, was developed. The high-quality hexahedral FE meshes were created using a multi-block approach to ensure computational accuracy. The material properties of the FE model were obtained by scaling reported adult experimental data. The design of computational experiments was performed to investigate material sensitivity and the effects of relevant parameters in backward fall. Numerical results provided a spectrum of child forearm responses with various effective masses and forearm angles. In addition, a conceptual L-shape wrist guard design was simulated and found to be able to reduce child distal radius fracture.

• Interaction and multiscale mechanics
• /
• v.1 no.3
• /
• pp.369-379
• /
• 2008

A combined stochastic diffusion and mean-field model is developed for a systematic study of the grain growth in a pure single-phase polycrystalline material. A corresponding Fokker-Planck continuity equation is formulated, and the interplay/competition of stochastic and curvature-driven mechanisms is investigated. Finite difference results show that the stochastic diffusion coefficient has a strong effect on the growth of small grains in the early stage in both two-dimensional columnar and three-dimensional grain systems, and the corresponding growth exponents are ~0.33 and ~0.25, respectively. With the increase in grain size, the deterministic curvature-driven mechanism becomes dominant and the growth exponent is close to 0.5. The transition ranges between these two mechanisms are about 2-26 and 2-15 nm with boundary energy of 0.01-1 J $m^{-2}$ in two- and three-dimensional systems, respectively. The grain size distribution of a three-dimensional system changes dramatically with increasing time, while it changes a little in a two-dimensional system. The grain size distribution from the combined model is consistent with experimental data available.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1987.07a
• /
• pp.113-122
• /
• 1987

A numerical simulation technique of three-dimensional finite difference model is developed to study the groundwater flow system in Dcjima, an upland area which faces Kasumigaura Lake. For general perspectives of the groundwater flow system, a steady state three-dimentional model is simulated. For the sedimentary mud formations which are found in the representative formation, three situations of hydraulic conductivity are considered, representing an isotropic condition and situations where the horizontal permeability is equal to 10 times and 100times of the vertical one. The finite difference grid used in the simulation has 60x50x30=90,000 nodes. A converged solution with a tolerance of 0.001 meter of hydraulic head is set. Having determined the flow net by using a steady state three-dimensional model. the results for the three cases of hydraulic conductivity are compared with the results of tracer methods (Bae and Kayane 1987) With the aid of four representative vertical cross-sections, groundwater flow systems in the study area are assumed. Water balances for the three cases indicate very good agreement between total recharge and discharge in each case Analyses of groundwater flow system based on the tritium concentrations and water quality measurements (Bae and Kayane 1987) are confirmed by the numerical simulation and the results obtained by these two methods appeared to be in close agreement.

• Journal of the military operations research society of Korea
• /
• v.11 no.1
• /
• pp.111-129
• /
• 1985

Markov chains with large transition probability matrices occur in many applications such as manpowr models. Under certain conditions the state space of a stationary discrete parameter finite Markov chain may be partitioned into subsets, each of which may be treated as a single state of a smaller chain that retains the Markov property. Such a chain is said to be 'lumpable' and the resulting lumped chain is a special case of more general functions of Markov chains. There are several reasons why one might wish to lump. First, there may be analytical benefits, including relative simplicity of the reduced model and development of a new model which inherits known or assumed strong properties of the original model (the Markov property). Second, there may be statistical benefits, such as increased robustness of the smaller chain as well as improved estimates of transition probabilities. Finally, the identification of lumps may provide new insights about the process under investigation.