• Korean Journal of Mathematics
• /
• v.23 no.3
• /
• pp.479-489
• /
• 2015

We study the GMGHS spacetime to analyze anisotropic cosmology model which represents homogeneous but anisotropically expanding(contracting)cosmology. In this paper we investigate the solution of GMGHS spacetime in form of doubly warped products possessing warping functions and find the Ricci curvature associated with three phases in the evolution of the universe.

• Journal for History of Mathematics
• /
• v.13 no.2
• /
• pp.87-94
• /
• 2000

This paper investigates history and modern developments concerning spatial decay estimates for solutions in a semi-infinite cylinder or strip, in which model equations are defined with appropriate homogeneous lateral boundary conditions and initial conditions but left end boundary data are assumed. Our aim is to show this Saint-Venant type decay rate dependent critically on the Poincare constant resulting from characterizing variational principles.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.16 no.2
• /
• pp.95-103
• /
• 2016

In a dynamic environment autonomous robots often encounter unexpected situations that the robots have to deal with in order to continue proceeding their mission. We propose an adaptive goal-based model that allows cyber-physical systems (CPS) to update their environmental model and helps them analyze for attainment of their goals from current state using the updated environmental model and its capabilities. Information exchange approach utilizes Human-Agent-Robot-Machine-Sensor (HARMS) model to exchange messages between CPS. Model validation method uses NuSMV, which is one of Model Checking tools, to check whether the system can continue its mission toward the goal in the given environment. We explain a practical set up of the model in a situation in which homogeneous robots that has the same capability work in the same environment.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.7 no.4
• /
• pp.7-14
• /
• 2011

Infinite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rate per fault (hazard function). This infinite non-homogeneous Poisson process is model which reflects the possibility of introducing new faults when correcting or modifying the software. In this paper, polynomial hazard function have been proposed, which can efficiency application for software reliability. Algorithm for estimating the parameters used to maximum likelihood estimator and bisection method. Model selection based on mean square error and the coefficient of determination for the sake of efficient model were employed. In numerical example, log power time model of the existing model in this area and the polynomial hazard function model were compared using failure interval time. Because polynomial hazard function model is more efficient in terms of reliability, polynomial hazard function model as an alternative to the existing model also were able to confirm that can use in this area.

• Proceedings of the KSRS Conference
• /
• 2005.10a
• /
• pp.241-244
• /
• 2005

Many building detection methods mainly rely on line segments extracted from aerial or satellite imagery. Building detection methods based on line segments, however, are difficult to succeed in high resolution satellite imagery such as IKONOS imagery, for most buildings in IKONOS imagery have small size of roofs with low contrast between roof and background. In this paper, we propose an efficient method to extract line segments and group them at the same time. First, edge preserving filtering is applied to the imagery to remove the noise. Second, we segment the imagery by watershed method, which collects the pixels with similar intensities to obtain homogeneous region. The boundaries of homogeneous region are not completely coincident with roof boundaries due to low contrast in the vicinity of the roof boundaries. Finally, to resolve this problem, we set up snake model with segmented region boundaries as initial snake's positions. We used a greedy algorithm to fit a snake to roof boundary. Experimental results show our method can obtain more .correct roof boundary with small size and low contrast from IKONOS imagery. Snake algorithm, building roof detection, watershed segmentation, edge-preserving filtering

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1992.04a
• /
• pp.58-64
• /
• 1992

It is usual that underground structures are constructed within multi-layered medium. In this paper, an efficient numerical model ling of multi-layered structural systems is studied using coupled analysis of finite elements and boundary elements. The finite elements are applied to the area in which the material nonlinearity is dominated, and the boundary elements are applied to the far field area where the nonlinearity is relatively weak. In the boundary element model 1 ins of the multi-layered medium, fundamental solutions are restricted. Thus, methods which can utilize existing Kelvin and Melan solution are sought for the interior multi-layered domain problem and semi infinite domain problem. Interior domain problem which has piecewise homogeneous layers is analyzed using boundary elements with Kelvin solution; by discretizing each homogeneous subregion and applying compatibility and equilibrium conditions between interfaces. Semi-infinite domain problem is analyzed using boundary elements with Melan solution, by superposing unit stiffness matrices which are obtained for each layer by enemy method. Each methodology is verified by comparing its results which the results from the finite element analysis and it is concluded that coupled analysis using boundary elements and finite elements can be reasonable and efficient if the superposition technique is applied for the multi-layered semi-infinite domain problems.

• 한국전산유체공학회:학술대회논문집
• /
• 2007.10a
• /
• pp.249-257
• /
• 2007

A high resolution numerical method aimed at solving gas-liquid two-phase flow is proposed and applied to gas-liquid two-phase shock tube problem. The present method employs a finite-difference 4th-order Runge-Kutta method and Roe's flux difference splitting approximation with the MUSCL TVD scheme. By applying the homogeneous equilibrium cavitation model, the present density-based numerical method permits simple treatment of the whole gas-liquid two-phase flow field, including wave propagation and large density changes. The speed of sound for gas-liquid two-phase media is derived on the basis of thermodynamic relations and compared with that by eigenvalues. By this method, a Riemann problem for Euler equations of one dimensional shock tube was computed. Numerical results such as detailed observations of shock and expansion wave propagations through the gas-liquid two-phase media and some data related to computational efficiency are made. Comparisons of predicted results and exact solutions are provided and discussed.

• Journal of computational fluids engineering
• /
• v.17 no.1
• /
• pp.78-85
• /
• 2012

Cavitation causes a great deal of noise, damage to components, vibrations, and a loss of efficiency in devices, such as propellers, pump impellers, nozzles, injectors, torpedoes, etc., Thus, cavitating flow simulation is of practical importance for many engineering systems. In this study, a two-phase flow solver based on the homogeneous mixture model has been developed. The flow characteristics around an axisymmetric cylinder were calculated and then validated by comparing with the experimental results in the cavitation water tunnel at the Korea Ocean Research & Development Institute. The results show that this solver is highly suitable for simulating the cavitating flows. After the code validation, the cavity length with changes of water depth, angle of attack and velocity were obtained.. Cavitation inception was also calculated for various operational conditions.

• Journal of computational fluids engineering
• /
• v.19 no.2
• /
• pp.17-23
• /
• 2014

Cavitation causes a great deal of noise, damage to components, vibrations, and a loss of efficiency in devices, such as propellers, pump impellers, nozzles, injectors, torpedoes, etc. Thus, the cavitating flow simulation is of practical importance for many engineering systems. In the present work, a two-phase flow solver based on the homogeneous mixture model has been developed. The solver employs an implicit preconditioning, dual time stepping algorithm in curvilinear coordinates. The flow characteristics around Clark-Y hydrofoil were calculated and then validated by comparing with the experimental data. The lift and drag coefficients with changes of angle of attack and cavitation number were obtained. The results show that cavity length and lift, drag coefficient increase with increasing angle of attack.

• Journal of ILASS-Korea
• /
• v.24 no.4
• /
• pp.185-193
• /
• 2019

The effervescent atomizer is one of twin-fluid atomizers that aeration gas enters into bulk liquid and two-phase flow is formed in the mixing section. The effervescent atomizer requires low injection pressure and small amount of aeration gas, as compared to other twin-fluid atomizers. In this study, cold flow test was conducted to investigate the spray characteristics of aerated impinging jets. The present effervescent impinging atomizers were composed of the aerator device and like-on-like doublet impinging atomizer which had different impinging angles. To analyze the spray characteristics such as breakup length and droplet size distribution, the image processing technique was adopted by using instantaneous images at each flow condition. Non-dimensional parameters, induced by the homogeneous flow model, were used to predict the breakup length. The breakup length was decreased with the mixture Reynolds number and impinging angle increasing. The result of droplets showed that the size distribution was axisymmetric about the center of the injector and their diameter tended to decrease with increasing GLR.