• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.731-733
• /
• 1996

In this paper, a new time-domain reduction method for unbalanced 3 phase power systems will be represented. The impulse response of the system is used to identify a discrete-time equivalent filter model. The model is formulated directly in the phase domain. Each phase has a self-mode equivalent model and two mutual-mode equivalent models. The equivalent model is determined by the transfer function identification technique based on the Prony analysis. The model is implemented in EMTDC and tested with an unbalanced 3 phase network. The result of test showed that the equivalent model is accurate.

• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Nuclear Engineering and Technology
• /
• v.54 no.1
• /
• pp.49-60
• /
• 2022

Motivated by the high-resolution properties of high-order Weighted Essentially Non-Oscillatory (WENO) and flux limiter (FL) for steep-gradient problems and the robust convergence of Jacobian-free Newton-Krylov (JFNK) methods for nonlinear systems, the preconditioned JFNK fully implicit high-order WENO and FL schemes are proposed to solve the transient two-phase two-fluid models. Specially, the second-order fully-implicit BDF2 is used for the temporal operator and then the third-order WENO schemes and various flux limiters can be adopted to discrete the spatial operator. For the sake of the generalization of the finite-difference-based preconditioning acceleration methods and the excellent convergence to solve the complicated and various operational conditions, the random vector instead of the initial condition is skillfully chosen as the solving variables to obtain better sparsity pattern or more positions of non-zero elements in this paper. Finally, the WENO_JFNK and FL_JFNK codes are developed and then the two-phase steep-gradient problem, phase appearance/disappearance problem, U-tube problem and linear advection problem are tested to analyze the convergence, computational cost and efficiency in detailed. Numerical results show that WENO_JFNK and FL_JFNK can significantly reduce numerical diffusion and obtain better solutions than traditional methods. WENO_JFNK gives more stable and accurate solutions than FL_JFNK for the test problems and the proposed finite-difference-based preconditioning acceleration methods based on the random vector can significantly improve the convergence speed and efficiency.

• Journal of KIISE
• /
• v.42 no.6
• /
• pp.748-754
• /
• 2015

This paper proposes a sequential state estimation model consisting of continuous and discrete variables, as a way of generalizing all discrete-state factorial HMM, and gives a design of gait motion model based on the idea. The discrete state variable implements a Markov chain that models the gait dynamics, and for each state of the Markov chain, we created a Gaussian process over the space of the continuous variable. The Markov chain controls the switching among Gaussian processes, each of which models the rotation or various views of a gait state. Then a particle filter-based algorithm is presented to give an approximate filtering solution. Given an input vector sequence presented over time, this finds a trajectory that follows a Gaussian process and occasionally switches to another dynamically. Experimental results show that the proposed model can provide a very intuitive interpretation of video-based gait into a sequence of poses and a sequence of posture states.

• Journal of the Korean earth science society
• /
• v.27 no.6
• /
• pp.606-619
• /
• 2006

In this paper we investigated the types of the explanatory consistency of preservice secondary teachers in explaining the lunar phase. The explanatory consistencies were proposed into four discrete mental models depending on their attributes. The four types based on the explanatory consistency by the preservice secondary teachers' explanations are as follows: ad hoc expansion, competitive theory addition, transition of unexplainable each, and transition using in context of several situations.

• Journal of the Korean Society for Railway
• /
• v.9 no.3 s.34
• /
• pp.271-276
• /
• 2006

Insight into behaviour of pedestrians as welt as tools to assess passenger flow condition is important in such instances as planning and geometric design of railway station under regular and safety-critical circumstances. Algorithm for passenger flow analysis based on DEM (Discrete Element Method) is newly developed. There are lots of similarity between particle-laden two phase flow and passenger flow. The velocity component of 1st phase corresponds to the unit vector of calculation cell, each particle to passenger, volume fraction to population density and the particle velocity to the walking velocity, etc. And, the walking velocity of passenger is also represented by the function of population density. Key algorithms are developed to determine the position of passenger, population density and numbering to each passenger. To verify the effectiveness of new algorithm, passenger flow analysis for the basic models of railway station is conducted.

• Proceedings of the KSR Conference
• /
• 2006.11b
• /
• pp.387-391
• /
• 2006

Insight into behaviour of pedestrians as well as tools to assess passenger flow conditions are important in for instance planning and geometric design of railway station under regular and safety-critical circumstances. Algorithm for passenger flow analysis based on DEM(Discrete Element Method) is newly developed. There are lots of similarity between particle-laden two phase flow and passenger flow. The velocity component of 1st phase corresponds to the unit vector of calculation cell, each particle to passenger, volume fraction to population density and the particle velocity to the walking velocity, etc. And, the walking velocity of passenger is also represented by the function of population density. Key algorithms are developed to determine the position of passenger, population density and numbering to each passenger. To verify the effectiveness of new algorithm, passenger flow analysis for the basic models of railway station is conducted.

• Korean Journal of Remote Sensing
• /
• v.17 no.4
• /
• pp.335-344
• /
• 2001

Texture is extensively studied in a variety of image processing applications such as image segmentation and classification because it is an important property to perceive regions and surfaces. This paper focused on the analysis and synthesis of textured single and multiband images using Markov Random Field model considering the existent spatial correlation. Especially, for multiband images, the cross-channel correlation existing between bands as well as the spatial correlation within band should be considered in the model. Although a local interaction is assumed between the specified neighboring pixels in MRF models, during the maximization process, short-term correlations among neighboring pixels develop into long-term correlations. This result in exhibiting phase transition. In this research, the role of temperature to obtain the most probable state during the sampling procedure in discrete Markov Random Fields and the stopping rule were also studied.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2017.05a
• /
• pp.766-774
• /
• 2017

Software has been developed for simulating particle dispersion in a circular pipe with sudden-expansion, which models the fuel feeding system of a combustor that uses metal powder like aluminum as fuel. The Lagrangian based discrete tracer point method was employed for a plug flow of particles that satisfies local turbulent velocity fluctuations. A radial velocity component was created to improve the flow turning outwards in the recirculation zone. The particle distribution patterns from both with and without the component were directly compared with the experiments near the reattachment.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.21 no.1
• /
• pp.13-20
• /
• 2008

Graded layers in which two different constituent particles are mixed are inserted into functionally graded material such that the volume fractions of constituent particles vary continuously and functionally over the entire material domain. The material properties of this dual-phase graded region, which is essential for the numerical analysis of the thermo-mechanical behavior of FGM, have been predicted by traditional homogenization methods. But, these methods are limited to predict the global equivalent material properties of FGMs because the detailed geometry information such as the particel shape and the dispersion structure is not considered. In this context, this study intends to investigate the characteristics of these homogenization methods through the finite element analysis utilizing the discrete micromechanics models of the graded layer, for various volume fractions and external loading conditions.