• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2009.10a
• /
• pp.40-41
• /
• 2009

In general, ships are towed to keep the safe operations in harbor or channel by tug boats. Due to increase in ocean traffic, many accidents are happened in harbor or channel in these days. Therefore it is necessary to predict manoeuvrability of tug-barge system, and to assure the safety of that system. Turg-barge system is composed of tug boat, barge, and towing cable, connecting both ships. Manoeuvring equations of tug-barge system are suggested, and the scopes of model tests are discussed to establish the mathematical models for tug boats in this paper.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.42 no.3
• /
• pp.577-584
• /
• 2017

Long Term Evolution device-to-device (LTE D2D) is a key technology to mitigate data traffic load in a cellular system. It facilitates direct data exchange between neighboring users, which is preceded by D2D discovery. Each device advertises its presence to neighboring devices by broadcasting its discovery message. In this paper, we develop a mathematical analysis to assess the probability that discovery messages are successfully transmitted at the D2D discovery stage. We make use of stochastic geometry for modeling spatial statistics of nodes in a two dimensional space. It reflects signal to noise plus interference ratio (SINR) degradation due to resource collision and in-band emission, which leads to the discovery message reception probability being modeled as a function of the distance between the transmitter and the receiver. Numerical results verify that the newly developed analysis accurately estimates discovery message reception probabilities of nodes at the D2D discovery stage.

• KIPS Transactions on Computer and Communication Systems
• /
• v.1 no.2
• /
• pp.109-118
• /
• 2012

As a result of the prevalence of smartphone, various mobile services became faster by LTE networks. Because many mobile devices are used more wireless services, heavy signaling traffic for authentication could be generated. Authentication is an important factor in wireless networks to identify devices; it is the start of wireless networks. This paper analyzes previous patterns for more effective authentication in accessing of another external networks. We propose a fast authentication scheme for minimizing of signaling cost between the authentication server and external networks. And we calculate the rate of authentication occurrence in LTE networks using mathematical modeling as well as the change of signaling cost for authentication in various network environments. Finally, we calculate the optimized number of authentication data and show the effectiveness for authentication signaling costs.

• The KIPS Transactions:PartA
• /
• v.12A no.2 s.92
• /
• pp.171-180
• /
• 2005

In distributed systems data are replicated and stored at several nodes to increase the availability and overall performance. Here Quorum protocol doffing a certain set of replicas required for read/write operation exists for global concurrency control. One of the representative replication Protocols - the Tree Quorum protocol - has a drawback of rapidly growing number of replicas as the level increases, while the Grid protocol requires the same operation cost even without any failure. In this paper, thus, we propose a new replication protocol called hybrid protocol which capitalizes the merits of the existing protocols and solves the problems of them at the same time. The proposed hybrid protocol has very low operation cost in the absence of failure like the tree quorum protocol, and has relatively lower operation cost and higher availability than existing protocols when failure occurs by employing tree architecture as the overall organization while each level of the tree is organized as a row of a grid architecture. It is thus effective to be applied to survival storage system. We conduct cost and availability analysis of the proposed protocol through mathematical modeling, and response time and throughput are compared with those of the Tree Quorum protocol through computer simulation.

• Proceedings of the KOSOMBE Conference
• /
• v.1996 no.11
• /
• pp.80-85
• /
• 1996

The various function of the cardiovascular system(CVS) and the dynamic characteristics on each part of human body can be acquired in the electric analog circuit model. According to the performed outcome by other researchers, viscos resistance, flow inertia, and vascular compliance in the CVS are analogous to resister, inductor, and capacitor in electric circuit, so the CVS models were represented by the electric circuit models. these approaches were to propose the suitable models interest part of body and to simulate the various characteristics on the CVS. In this paper, the electric circuit model considering the characteristics of morphologic structure is represented, the parameter values of model is sotted up, and the dynamic characteristics of the the CVS is simulated using VisSim, one of the simulation tools. The observed simulation results are similar to the cardiovascular functions of nomal adults who have no heart failure. Besides, the simulation is operated to observe the pathophysiological abnomal symptoms(for example, bleeding within a certain period). The controller by baroreceptor, which is one of controllers to control the CVS, is appended in the model. and the dynamic response characteristics and the procedure to return normal state is observed in simulation when the bleeding last within a certain period.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.5
• /
• pp.3455-3461
• /
• 2015

LTE and Wi-Fi networks provide wireless communication services to passengers in subway where the number of network access fluctuates according to passenger movement. While the number of network access increase, LTE can provide stable communication service but Wi-Fi suffers temporal access delay to network. This paper analyzes the increase in access delay of Wi-Fi network according to increasing user in subway section by making mathematical modeling of Wi-Fi network and simulation study. The access delay characteristics of Wi-Fi network is measured along an subway line and the results are compared to the theoretical study. These results can be applied to the connection method to build an efficient network structure between LTE and Wi-Fi interworking network and the future introduction of LTE-R.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.2
• /
• pp.963-969
• /
• 2015

Bicycle is one of the most popular mode of transport due to the increase of interest in the well-being and environment pollution. Before fabricating a continuously variable transmission that is applied to the actual bicycle, for reducing the problems in the early stage, the reliable simulation program has been applied and the financial problem can be solved. In this paper, in order to confirm the design factor, the stress analysis has been applied. In all models, each link and the joint portion are assumed to be a major design factors, and impact of each link and joints received stress during the operation and it is confirmed by using the CAE. Also, for the analysis region, the special code has been developed to calculate pulsation phenomenon through appropriate mathematical modeling.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.3
• /
• pp.1040-1044
• /
• 2013

The present paper has been accomplished to elucidate the characteristics of temperature change in a car washer heater system for removal of frost formed at the surface of a car. The previous studies had used a simplified mathematical modeling to analyse the temperature change characteristics for a car washer heater system. In the present study, an unsteady computational fluid flow and heat transfer analysis for a washer heater system has been done by using computational fluid dynamic analysis method. From the present CFD analysis, the time dependent temperature change in a car washer heater system has been analysed and derived the heating time and ejection temperature of the washer liquid to establish the optimal design basis for a washer heater system.

• Journal of the Korean Institute of Gas
• /
• v.6 no.1 s.17
• /
• pp.1-9
• /
• 2002

This paper presents simple models for flow and the PIG dynamics when it passes through a $90^{\circ}$ curved section of pipeline. The simulation has been done with two different operational boundary conditions. The solution fur non-linear hyperbolic partial equations for flow is given by using MOC. The Runge-Kuta method is used to solve the initial condition equation fur flow and the PIG dynamics equation. The simulation results show that the proposed model and solution can be used fur estimating the PIG dynamics when the pig runs in the pipeline including curved section. In this paper, dynamic modeling and its analysis for the PIG flow through $90^{\circ}$ curved pipe with compressible and unsteady flow are studied. The PIG dynamics model is derived by using Lagrange equation under assumption that it passes through 3 different sections in the curved pipeline such that it moves into, inside and out of the curved section. The downstream and up stream flow dynamics including the curved sections are solved using MOC. The effectiveness of the derived mathematical models is estimated by simulation results fur a low pressure natural gas pipeline including downward and upward curved sections. The simulation results show that the proposed model and solution can be used for estimating the PIG dynamics when we pig the pipeline including curved section.

• Journal of Soil and Groundwater Environment
• /
• v.9 no.3
• /
• pp.20-26
• /
• 2004

In-situ photolysis is one of the most promising ways to clean up a soil contaminated with 2,3,7,8-tetrachlorodibenzo-p-dioxin (TCDD). This study focuses on the mathematical description and model development of the convective upward transport of an organic solvent driven by evaporation and photodecomposition at the surface as the major transport mechanism in the clean up process. A finite-element-based numerical model was proposed to incorporate effects of multiphase flow on the distribution of each fluid, gravity as a driving force, and the use of van Genutchen equation for more accurate description of k-S-p relations. This paper presents results of extensive numerical calculations conducted to investigate the various parameters that play a role in the solvent migration through a laboratory-scale unsaturated soil column. The numerical results indicate that gravity affects significantly on the fluids distribution and evaporation for highly permeable soils. The soil texture has a profound influence on the fluid saturation profile during evaporation process. The amount of solvent convective motion increases with increasing evaporation rates and decreasing initial water saturation. Simulations conducted in this study have shown that the developed model is very useful in analyzing the effects of various parameters on the convective migration of an organic solvent in the soil environments.