• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.12 no.3
• /
• pp.103-113
• /
• 2013

Shock wave model describes the propagation speed of kinematic waves in traffic flow. It was first presented by Lighthill and Whitham and has been deployed to solve many traffic problems. A recent paper pointed out that there are some traffic situations in which shock waves are not observable in the field, whereas the model predicts the existence of waves. The paper attempted to identify how such a counterintuitive conclusion results from the L-W model, and resolved the problem by deriving a new asymptotical shock wave model. Although the asymptotical model successfully eliminated the paradox of the L-W model, the validation of the new model is confined within the realm of the deceleration flow situation since the model was derived under such constraint. The purpose of this paper is to derive the remaining counter asymptotical shock wave model for acceleration traffic flow. For this, the vehicle trajectories in a time-space diagram modified to accommodate the continuously increased speed at every instant in such a way that the relationship between the spacing from the preceding vehicle and the speed of the following vehicle strictly follows Greenshield's model. To verify the validity of the suggested model, it was initially implemented to a constant flow where no shock wave exists, and the results showed that there exists no imaginary shock wave in a homogeneous flow. Numerical applications of the new model showed that the shock wave speeds of the asymptotical model for the acceleration flow tend to lean far toward the forward direction consistently. This means that the asymptotical models performs in a systematically different way for acceleration and for declaration flows. Since the output difference among the models is so distinct and systematic, further study on identifying which model is more applicable to an empirical site is recommended.

• Journal of Environmental Policy
• /
• v.14 no.4
• /
• pp.23-44
• /
• 2015

The policy aimed at introducing a Bonus-Malus system to reduce GHG and raise the market share of small cars is scheduled to go into effect in South Korea in 2020. Although the policy was originally planned to be enforced from 2015, the Ministry of Trade, Industry and Energy argued that the system brings low reduction effect and relative disadvantage to domestic small cars and brought arguments in 2014. As a result, the enforcement was pushed back. Related studies are mainly focused on offering statistical estimation of the policy's effect to support the arguments, and few theoretical studies were published given that there was not enough time until 2015 back then. The author approached the issue with mathematical modeling in order to give theoretical basis for sophisticated empirical studies. If car suppliers have market power and strategically set their prices, the impact of Bouns-Malus on car prices would be lower than what was originally intended. In case only a part of the car market loses its market power, the effect of the policy would be improved. Assume that the Bonus-Malus is currently at an optimal level and the car market structure is undergoing changes, then the direction of the new optimal level would depend on the elasticity of demand of each market and substitute elasticity. For example, if the car market becomes more monopolistic while the demand for big cars is elastic, demand for small cars is inelastic and substitution elasticity is low, then the new optimal level of Bonus-Malus should be higher.

• Journal of the Korea Concrete Institute
• /
• v.26 no.3
• /
• pp.401-409
• /
• 2014

This research develops tools and strategies for optimizing RC column sections applied in tall buildings. Optimization parameters are concrete strength and section shape, the objective function for which is subject to several predefined constraints drawn from the original structural design. For this purpose, we developed new components for StrAuto, a parametric modeling and optimization tool for building structure. The components receive from external analysis solvers member strengths calculated from the original design model, and output optimized column sections satisfying the minimum cost. Using these components, optimized sections are firstly obtained for each predefined concrete strength applied to the whole floors in the project building. The obtained results for each concrete strength are comparatively examined to determine the fittest sections which will also result in the fittest vertical zoning for concrete strength. The main optimization scenario for this is to search for the vertical levels where the identical optimized sections coincide for the two different concrete strengths in concern, and select those levels for the boundaries where a concrete strength will be changed to another. The optimization process provided in this research is a product of an intensive development designed for a specific member in a specific project. Thus, the algorithm suggested takes on a microscopic and mathematical approach. However, the technique has a lot of potential that it can further be extensively developed and applied for future projects.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2484-2496
• /
• 2000

High speed switches have been developing to interconnect a large number of nodes. It is important to analyze the switch performance under various conditions to satisfy the requirements. Queueing analysis, in general, has the intrinsic problem of large state space dimension and complex computation. In fact, The petri net is a graphical and mathematical model. It is suitable for various applications, in particular, manufacturing systems. It can deal with parallelism, concurrence, deadlock avoidance, and asynchronism. Currently it has been applied to the performance of computer networks and protocol verifications. This paper presents a framework for modeling and analyzing ATM switch using stochastic activity networks (SANs). In this paper, we provide the ATM switch model using SANs to extend easily and an approximate analysis method to apply A TM switch models, which significantly reduce the complexity of the model solution. Cell arrival process in output-buffered Queueing A TM switch with finite buffer is modeled as Markov Modulated Poisson Process (MMPP), which is able to accurately represent real traffic and capture the characteristics of bursty traffic. We analyze the performance of the switch in terms of cell-loss ratio (CLR), mean Queue length and mean delay time. We show that the SAN model is very useful in A TM switch model in that the gates have the capability of implementing of scheduling algorithm.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.6
• /
• pp.78-86
• /
• 2014

In this paper, a novel intensity-based fiber optic vibration sensor using a mass-spring structure, which consists of four serpentine flexure springs and a rectangular aperture within a proof mass, is proposed and its feasibility test is given by the simulation and experiment. An optical collimator is used to broaden the beam which is modulated by the displacement of the rectangular aperture within the proof mass. The proposed fiber optic vibration sensor has been analyzed and designed in terms of the optical and mechanical parts. A mechanical structure has been designed using theoretical analysis, mathematical modeling, and 3D FEM (Finite Element Method) simulation. The relative aperture displacement according to the base vibration is given using FEM simulation, while the output beam power according to the relative displacement is measured by experiment. The simulated sensor sensitivity of $15.731{\mu}W/G$ and detection range of ${\pm}6.087G$ are given. By using reference signal, the output signal with 0.75% relative error shows a good stability. The proposed vibration sensor structure has the advantages of a simple structure, low cost, and multi-point sensing characteristic. It also has the potential to be made by MEMS (Micro-Electro-Mechanical System) technology.

• Horticultural Science & Technology
• /
• v.30 no.3
• /
• pp.270-277
• /
• 2012

Greenhouse industry has been growing in many countries due to both the advantage of stable year-round crop production and increased demand for fresh vegetables. In greenhouse cultivation, $CO_2$ concentration plays an essential role in the photosynthesis process of crops. Continuous and accurate monitoring of $CO_2$ level in the greenhouse would improve profitability and reduce environmental impact, through optimum control of greenhouse $CO_2$ enrichment and efficient crop production, as compared with the conventional management practices without monitoring and control of $CO_2$ level. In this study, a mathematical model was developed to estimate the $CO_2$ emission from soil as affected by environmental factors in greenhouses. Among various model types evaluated, a linear regression model provided the best coefficient of determination. Selected predictor variables were solar radiation and relative humidity and exponential transformation of both. As a response variable in the model, the difference between $CO_2$ concentrations at the soil surface and 5-cm depth showed are latively strong relationship with the predictor variables. Segmented regression analysis showed that better models were obtained when the entire daily dataset was divided into segments of shorter time ranges, and best models were obtained for segmented data where more variability in solar radiation and humidity were present (i.e., after sun-rise, before sun-set) than other segments. To consider time delay in the response of $CO_2$ concentration, concept of time lag was implemented in the regression analysis. As a result, there was an improvement in the performance of the models as the coefficients of determination were 0.93 and 0.87 with segmented time frames for sun-rise and sun-set periods, respectively. Validation tests of the models to predict $CO_2$ emission from soil showed that the developed empirical model would be applicable to real-time monitoring and diagnosis of significant factors for $CO_2$ enrichment in a soil-based greenhouse.

• School Mathematics
• /
• v.7 no.2
• /
• pp.139-168
• /
• 2005

The purpose of this study is to investigate children's informal knowledge of the fractional multiplication and to develop a teaching material connecting the informal and the formal knowledge. Six lessons of the pre-teaching material are developed based on literature reviews and administered to the 7 students of the 4th grade in an elementary school. It is shown in these teaching experiments that children's informal knowledge of the fractional multiplication are the direct modeling of using diagram, mathematical thought by informal language, and the representation with operational expression. Further, teaching and learning methods of formalizing children's informal knowledge are obtained as follows. First, the informal knowledge of the repeated sum of the same numbers might be used in (fractional number)$\times$((natural number) and the repeated sum could be expressed simply as in the multiplication of the natural numbers. Second, the semantic meaning of multiplication operator should be understood in (natural number)$\times$((fractional number). Third, the repartitioned units by multiplier have to be recognized as a new units in (unit fractional number)$\times$((unit fractional number). Fourth, the partitioned units should be reconceptualized and the case of disjoint between the denominator in multiplier and the numerator in multiplicand have to be formalized first in (proper fractional number)$\times$(proper fractional number). The above teaching and learning methods are melted in the teaching meterial which is made with corrections and revisions of the pre-teaching meterial.

• Journal of Navigation and Port Research
• /
• v.34 no.6
• /
• pp.479-485
• /
• 2010

To handle container effectively is one of the most important factors in a port because working time is linked soon into cost. Since the middle of 1990s, RMGC(Rail-Mounted Gantry Crane) and RTGC(Rubber-Tired Gantry Crane) have been developed and widely used to operate containers in the yard. The RTGC is more difficult than RMGC in the automatic control system design. Although, the RTGC is largely advantaged to free driving environment, it has some considerable disadvantages in the system operating. In general, the problems are due to tire slip and lack of tire pressure etc. Therefore, a desirable research result has not been shown in this time. So, in this paper, we propose a new approach to design tracking control system for the RTGC in which the mathematical modeling is included. From the simulation results, the control performance of the designed control systems is evaluated.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.36 no.12
• /
• pp.1185-1192
• /
• 2012

The typical operating temperature of an automotive fuel cell is lower than that of an internal combustion engine, which necessitates a refined strategy for thermal management. In particular, the performance of the cooling module has to be higher for a fuel cell system because the temperature difference between the fuel cell and the surrounding is lower than in the case of the internal combustion engine. Even though the cooling system of an automotive fuel cell determines the operating temperature and temperature distribution of the fuel cell, it has attracted little research attention. This study presents the mathematical model of a cooling system for an automotive fuel cell system using Matlab/$Simulink^{(R)}$. In particular, a radiator model is developed for design optimization from the development stage to the operating stage for an automotive fuel cell. The cooling system model comprises a fan, pump, and radiator. The pump and fan model have an empirical relation, and the dynamics of the pump and fan are only explained by motor dynamics. The basic design study was conducted, and the geometric setup of the radiator was investigated. When the control logic was applied, the pump senses the coolant inlet temperature and the fan senses the coolant out temperature. Additionally, the cooling module is integrated with the fuel cell system model so that the performance of the cooling module can be investigated under realistic operating conditions.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.38 no.2
• /
• pp.349-356
• /
• 2018

This paper attempts to develop a connection model based on FE analysis that can be applied to the evaluation of earthquake fragility of Steel Storage Racks lacking research in Korea. In order to accomplish this goal, shaking table tests, modal tests, and various member tests (8 case, push-over test) for structural members have been conducted to understand the behavior of steel storage racks. Based on the experimental results, detailed modeling of the joints was conducted using the NX-Nastran program in order to develop a connection model for Steel storage racks to be applied to the seismic vulnerability assessment. Especially, surface to surface contact element and spring element are applied to simulate the connection between the column member and the beam member connected by the simple latch method. Spring element model developed and applied ARX (Auto Regressive eXogenous) based mathematical model. The simulation results based on the FE model showed excellent reliability with a mutual error rate of less than 8% when compared with the member test results. As a result, it was confirmed that the FE model based connection model developed in the study can be applied to the analytical model for the seismic vulnerability assessment of Steel storage racks.