• Transactions of the Korean Society of Automotive Engineers
• /
• v.20 no.5
• /
• pp.71-80
• /
• 2012

To improve the $NO_X$ conversion over a SCR (selective catalytic reduction) catalyst, the DOC (diesel oxidation catalyst) is usually placed upstream of the SCR catalyst to enhance the fast SCR reaction ($4NH_3+2NO+2NO_2{\rightarrow}4N_2+6H_2O$) using equimolar amounts of NO and $NO_2$. Here, a ratio of $NO_2/NO_X$ above 50% should be avoided, because the reaction with $NO_2$ only ($4NH_3+4NO+O_2{\rightarrow}4N_2+6H_2O$) is slower than the standard SCR reaction ($4NH_3+4NO+O_2{\rightarrow}4N_2+6H_2O$). In order to accurately predict the performance characteristics of SCR catalysts, it is therefore desired to develop a more simple and reliable mathematical and kinetic models on the oxidation kinetics of nitric oxide over a DOC. In the present work, the prediction accuracy and limit of three different chemical reaction kinetics models are presented to describe the chemicophysical characteristics and conversion performance of DOCs. Steady-state experiments with DOCs mounted on a light-duty four-cylinder 2.0-L turbocharged diesel engine then are performed, using an engine-dynamometer system to calibrate the kinetic parameters such as activation energies and preexponential factors of heterogeneous reactions. The reaction kinetics for NO oxidation over Pt-based catalysts is determined in conjunction with a transient one-dimensional (1D) heterogeneous plug flow reactor (PFR) model with diesel exhaust gas temperatures in the range of 115~$525^{\circ}C$ and space velocities in the range of $(0.4{\sim}6.5){\times}10^5\;h^{-1}$.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.47 no.12
• /
• pp.856-864
• /
• 2019

The weapon-target assignment (WTA) problem is a matter of effectively allocating weapons to a number of threats. The WTA in a rapidly changing dynamic environment of engagement must take into account both of properties of the threat and the weapon and the effect of the previous decision. We propose a method of applying the Greedy Randomized Adaptive Search Procedure (GRASP) algorithm, a kind of meta-heuristic method, to derive optimal solution for a dynamic WTA problem. Firstly, we define a dynamic WTA problem and formulate a mathematical model for applying the algorithm. For the purpose of the assignment strategy, the objective function is defined and time-varying constraints are considered. The dynamic WTA problem is then solved by applying the GRASP algorithm. The optimal solution characteristics of the formalized dynamic WTA problem are analyzed through the simulation, and the algorithm performance is verified via the Monte-Carlo simulation.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.5
• /
• pp.13-21
• /
• 2010

The Optimal results of Kalman Filtering on the Inverted Pendulum System requires an effective factor such as the noise covariance matrix Q, the measurement noise covariance matrix R and the initial error covariance matrix $P_0$. We present a special case where the optimality of the filter is not destroyed and not sensitive to scaling of these covariance matrix because these factors are unknown or are known only approximately in the practical situation. Moreover, the error covariance matrices issued by this method predict errors in the state estimate consistent with the scaled covariance matrices and not the issued state estimates. Various results using the scalar gain $\delta$ are derived to described the relations among the three covariance matrices, Kalman Gain and the error covariance matrices. This paper is described as follows: Section III a brief overview of the Inverted Pendulum system. Section IV deals with the mathematical dynamic model of the system used for the computer simulation. Section V presents a various simulation results using the scalar gain.

• Spatial Information Research
• /
• v.19 no.6
• /
• pp.43-54
• /
• 2011

This study proposes a rule-based image classification method for the time-series analysis of changes in the land surface of the Seongnam-Yongin area using satellite-image data from 2000 to 2009. In order to identify the change patterns during each period, 11 classes were employed in accordance with statistical/mathematic rules. A generalized algorithm was used so that the rules could be applied to the unsupervised-classification method that does not establish any training sites. The results showed that the urban area of the object increased by 145% due to housing-site development. The image data from 2009 had a classification accuracy of 98%. For method verification, the results were compared to land-cover changes through Post-classification comparison. The maximum utilization of the available data within multiple images and the optimized classification allowed for an improvement in the classification accuracy. The proposed rule-based image-classification method is expected to be widely employed for the time-series analysis of images to produce a thematic map for urban development and to monitor urban development and environmental change.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.3
• /
• pp.449-457
• /
• 2017

In this paper, we analyze the security and performance of the Quantis Quantum random number generator in terms of cryptography through experiments. The Quantis' post-processing is designed to output full-entropy via bit-matrix-vector multiplication based on mathematical background, and we used the min-entropy estimating test of NIST SP 800-90B so as to verify whether the output is full-entropy. Quantis minimizes the effect on the random bit rate by using an optimization technique for bit-matrix-vector multiplication, and compared the performance to conditioning functions of NIST SP 800-90B by measuring the random bit rate. Also, we have distinguished what is in Quantis' post-processing to the standard model of NIST in USA and BSI in Germany, and in case of applying Quantis to cryptographic systems in accordance with the CMVP standard, it is recommended to use the output of Quantis as the seed of the approved DRBG.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.7
• /
• pp.1030-1040
• /
• 2018

In Distributed Mobility Management (DMM) protocol, the mobility functions are distributed to network edge closer to mobile users. DMM protocol has some advantages of low-cost traffic delivery, optimized routing path, high scalability. However, it needs many mobile anchors to exchange signaling messages and it results in a high signaling cost. Thus, previous works suggested the hybrid DMM protocol to reduce the high signaling cost for long-live sessions and this paper extends a hybrid scheme to the NEMO environment. The mobile routers are installed at vehicles and can move together with several mobile devices. So we can define the high-mobility property for mobile routers and suggest the hybrid scheme using this property. According to the high-mobility property of mobile routers, we can distribute the mobile anchors or allocate a centralized mobile anchor. In this paper, we mathematically analyze the performance of the proposed NEMO-enabled hybrid DMM protocol and show superior performance.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.1
• /
• pp.560-567
• /
• 2020

Incremental Sheet Forming (ISF) is a unique sheet-forming technique. The process is a die-less sheet metal manufacturing process for rapid prototyping and small batch production. In the forming process, the critical parameters affecting the formability of sheet materials are the tool diameter, step depth, feed rate, spindle speed, etc. This study examined the effects of these parameters on the formability in the forming of the varying wall angle conical frustum model for a pure Al3004 sheet with 1mm in thickness. Using Minitab software based on Back Propagation Neural Network (BPNN) and Genetic Algorithm (GA), a second order mathematical prediction model was established to predict and optimize the wall angle. The results showed that the maximum forming angle was 87.071° and the best combination of these parameters to give the best performance of the experiment is as follows: tool diameter of 6mm, spindle speed of 180rpm, step depth of 0.4mm, and feed rate of 772mm/min.

• 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.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.04a
• /
• pp.93-96
• /
• 2011

A genetic algorithm (GA) has been employed to optimize the major design variables of the liquid rocket engine. Mass flow rate to the main thrust chamber, mass flow rate to the gas generator and chamber pressure have been selected as design variables. The target engine is the open gas generator cycle using the LO2/RP-1 propellant. The objective function of design optimization is to maximize the specific impulse with condition of energy balance between the pump and the turbine. The properties of the combustion chamber have been obtained from CEA2. Pump & turbine efficiencies and properties of the gas generator have been modeled mathematically from reference data. The result shows 3~4% errors for the specific impulse and 2~6% errors for the pump power of the gas generator cycle compared to references.