• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.4
• /
• pp.1344-1367
• /
• 2014

Mobile traffic is increasing a masse because of the propagation of the Internet and the development of wireless mobile technology. Accordingly, the Network Local Mobility Management (NETLMM) working group [1] of the Internet Engineering Task Force (IETF) has standardized Proxy Mobile IPv6 (PMIPv6) [2] as a protocol for accomplishing the transmissibility of mobile terminals. PMIPv6 is a network-led IP-based mobility management protocol, which can control terminal mobility without depending on the type of access system or the capability of the terminal. By combining PMIPv6 and the mobility of Session Initiation Protocol (SIP), we can establish terminal mobility and session mobility through a more effective route. The mobility function can be improved and the overlap of function reduced as compared to that in the case of independent operation. PMIPv6 is appropriate for a non-real-time service using TCP, and SIP is appropriate for a real-time service using RTP/UDP. Thus, in the case of a terminal using both services, an effective mobility management is possible only by using PMIPv6 together with SIP. In order to manage mobility in this manner, researches on PMIPv6-SIP are in progress. In line with this trend, this paper suggests a new PMIPv6-SIP architecture where when a mobile terminal conducts a handover, a network-led handover while maintaining the session without the addition of a special function or middleware is possible along with effective performance evaluation through mathematical modeling by comparing the delay and the packet loss that occur during the handover to the Pure-SIP.

• Journal of Korea Society of Industrial Information Systems
• /
• v.20 no.5
• /
• pp.1-11
• /
• 2015

This paper is focused on how the trajectory of launch vehicle could be optimally estimated by the quadratic regression of trajectory data mining for the operation of telemetry ground system in NARO space center during real-time. To receive the telemetry data, the telemetry ground system has to track the space launch vehicle without tracking loss, and it is possible by the well-designed algorithm to estimate a flight position in real-time. For this reason, the quadratic regression model instead of interpolation was considered to estimate the exact position data of launch vehicle and the improvement of antenna performance. For analysis, the real trajectory data which had been logged during NARO 1st launch mission were used, the estimation result of launcher current position was analyzed by the mathematical modeling. In conclusion, the algorithm using quadratic regression based on trajectory data mining showed the better performance than previous interpolation algorithm to estimate the next flight position and the antenna driving performance.

• Journal of the Korea Society for Simulation
• /
• v.15 no.4
• /
• pp.69-77
• /
• 2006

In most positioning and allocation practices, many mathematical models are proposed in various fields. The set covering (SC) problem has many practical applications of modeling not only real world problem but also in military. As our air defense weapon systems are getting older and declining the performance, new plans far acquisition of high-tech air defense weapon system are being conducted. In this paper we established simulation model for optimal allocation of KDX which carries new missile defense weapon system by using partial set covering considering both attacker and defender side. By implementating simulation model, we assess the available scenarios and show the optimal pre-positioning of KDX and interceptor's allocation. Furthermore, we provide a variety of experiments and extensive scale sized situations for Korea Indigenous Missile Defense (KIMD) and support decision-making for efficient positioning of unit.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.219-227
• /
• 2008

The DEVS (Discrete Event Systems Specification) formalism supports specification of discrete event models in a hierarchical modular manner. MATLAB/Simulink is widely used for modeling, simulating and analyzing continuous and discrete time systems. This paper proposes a realization of the DEVS formalism in MATLAB/ Simulink. The proposed design enables to use a great amount of mathematical packages and functions included in MATLAB /Simulink. The design is also employed as real time simulation and hybrid system simulation which is a mixture of continuous systems and discrete event systems. The paper introduces Simulink-DEVS model, in which a simulation algorithm is embedded. The model consists of a Simulink-atomic model and a Simulink-coupled model. In addition, the time advance algorithm to simulate the model is suggested. The algorithm handles the time synchronization and the accommodation of different concepts specific to continuous and discrete event models. Two experimental results are presented for a pure discrete event model and a hybrid model.

• Journal of Korean Society on Water Environment
• /
• v.24 no.5
• /
• pp.603-610
• /
• 2008

A mathematical model was developed to understand how the presence of plants affects vertical profiles of electron acceptors, their reduced species, and trace metals in the wetland sediments. The model accounted for biodegradation of organic matter utilizing sequential electron acceptors and subsequent chemical reactions using stoichiometric relationship. These biogeochemical reactions were affected by the combined effects of oxygen release and evapotranspiration driven by wetland plants. The measured data showed that $SO_4{^{2-}}$ concentrations increased at the beginning of the growing season and then gradually decreased. Based on the measured data, it was hypothesized that the limitation of the solid phase sulfide in direct contact with the roots may result in the gradual decrease of $SO_4{^{2-}}$ concentrations. With the dynamic formulation for the limitation of the solid phase sulfide, model simulated time variable sulfate profiles using published model parameters. Oxygen release from roots produced divalent metal species (i.e. $Cd^{2+}$) as well as oxidized sulfur species (i.e. $SO_4{^{2-}}$) in the sediment pore water. Evapotranspiration-induced advection increased flux of divalent metal species from the overlying water column into the rhizosphere. The increased divalent metal species were converted to the metal sulfide with sufficient FeS around the rhizosphere, which contributed to the decrease of bioavailability and toxicity of divalent metal activity in the pore water. Since the divalent metal activity is a good predictor of the metal bioavailability, this model with a proper simulation of solid phase sulfide plays an essential role to predict the dynamics of trace metals in the wetland sediments.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1243-1256
• /
• 1997

Object modeling has been cinsidered as an efficient technique for eleciting user requirements and communicat-ing between developers and customers. But model itself is not easy to understand what recult will be after coding and whether it will be meet with the requirements of customers. In this paper, we developed the envuroment for visualization of object model for validating with rewuirnent at the early stage. Therefore, we defined correct and complete rules which can transform the object model.the delierables of Shler/Mellor's method, into a for-mal specification language of VDM(Vienna Development Methods) with a mathematical basis. This basis provides the means of proving that a specification is realizable and proving properties of a system.Therefore.the completeness, preciceness of object model can be verified by proving the transformed VDM specification and prototyping by constructing a visualization supporting enviroment.

• The Journal of the Korea Contents Association
• /
• v.16 no.12
• /
• pp.373-382
• /
• 2016

Carbon dioxide Capture and Storage/Sequestration (CCS) technology has attracted attention as an ideal method for most carbon dioxide reduction needs. When the collected carbon dioxide is transported to storage via pipelines, the direct transport is made if the storage is close, otherwise it can also be transported via an intermediate storage hub. Determining the number and the location of the intermediate storage hubs is an important problem. A decision-making algorithm using a mathematical model for solving the problem requires considerably more variables and constraints to describe the multi-objective decision, but the computational complexity of the problem increases and it also does not guarantee the optimality. This research proposes an algorithm to determine the location and the number of the intermediate storage hub and develop a simulator for the connection network of the carbon dioxide emission site. The simulator also provides the course of transportation of the carbon dioxide. As a case study, this model is applied to Korea.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.16 no.4
• /
• pp.60-68
• /
• 2012

This study describes an analytical and experimental investigation of the pedestrian steel-deck truss bridge in the City of Rochester, New York, U.S.A. This investigation was undertaken to provide assurance that this important bridge continues to be functional for this use. An ambient vibration experiment on full-scale structures is a way of assessing the reliability of the various assumptions employed in the mathematical models used in analysis. It is also the most reliable way of determining the structural parameters of major importance in structural dynamics, such as the mode shapes and the associated natural frequencies. Pedestrian-induced vibrations have been measured on the bridge to determine the displacement and the vertical and transverse dynamic characteristics of the steel deck truss. In the analytical modeling, three-dimensional finite element analysis was developed and validated against the ambient tests.

• Journal of the Korea Society for Simulation
• /
• v.24 no.2
• /
• pp.19-29
• /
• 2015

M&S techniques are utilized for various purposes on the national defense, and its importance is increasing than ever. For analyzing RAM (Reliability, Availability and Maintainability) of weapon system, using M&S techniques can be more effective and practical way than deterministic approach, because M&S approach can consider uncertain variables and various constraints in the ILS (Integrated Logistics support) field. For design of ILS M&S, we first set up a purpose of M&S, attributes of real system and other similar ILS M&S tool. Then, we convert real system into model which consists of mathematical formula and logical expression. In this thesis, we introduce modeling procedures of M&S that describes total life cycle of 'OO guided weapon system' and the contents proposed in this paper can provide references for developing other M&S tool.

• Journal of Adhesion and Interface
• /
• v.5 no.2
• /
• pp.14-26
• /
• 2004

For reliable determination of mechanical characteristics of adhesively bonded joints used e.g. as input data for computer-aided design of complex components, the thick-adherend tensile-shear test according to ISO 11003-2 is the most important material testing method. Although the total displacement of the joint is measured across the polymer layer directly in the overlap zone in order to minimize the influence of the stepped adherends, the substrate deformation must be taken into account within the framework of the evaluation of the shear modulus and the maximum shear strain, at least when high-strength adhesives are applied. In the standard ISO 11003-2 version of 1993, it was prescribed to perform the substrate deformation correction by means of testing a one-piece reference specimen. The authors, however, pointed to the excessive demands on the measuring accuracy of the extensometers connected with this technique in industrial practice and alternatively proposed a numerical deformation analysis of a dummy specimen. This idea of a mathematical correction was included in the revised ISO 11003-2 version of 2001 but in the simplified form of an analytical method based on Hooke's law of elasticity for small strains. In the present work, it is shown that both calculation techniques yield considerably discordant results. As experimental assessment would require high-precision distance determination (e.g. laser extensometer), finite element analyses of the deformation behavior of the bonded joint are performed in order to estimate the accuracy of the obtained substrate deformation corrections. These simulations reveal that the numerical correction technique based on the finite element deformation modeling of the reference specimen leads to considerably more realistic results.