• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.1
• /
• pp.62-66
• /
• 2009

Recently developed compilers perform some optimizations in order to speed up the execution time of source program. These optimizations require the transformation of the sequence of program statements. This transformation does not give any problems in a single-threaded program. However, the transformation gives some significant errors in a multi-threaded program. State-of-the-art model checkers such as Java-Pathfinder do not consider the transformation resulted in the optimization step in a compiler since they just consider a single memory model. In this paper, we describe a new technique which is based on SMT solver. The Java Memory Model Simulator based on SMT Solver can compute all possible output of given multi-thread program within one second which, in contrast, Traditional Java Memory Model Simulator takes one minute.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2010.03a
• /
• pp.427-434
• /
• 2010

Load Resistance Factor Design method is used increasingly in geotechnical design world widely and resistance factors for drilled shafts are suggested by AASHTO. However, these resistance factors are determined for intact rock conditions, by comparison most of bedrocks in Korea are weathered condition, so that applying the AASHTO resistance factors is not reasonable. Thus, this study suggests the proper resistance factors for design of drilled shaft in Korea. The 22 cases of pile load test data from 8 sites were chosen and reliability-based approach is used to analyze the data. Reliability analysis was performed by First Order Second Moment Method (FOSM) applying 4 bearing capacity equations. As a result, when the Factor of Safety(FOS) were selected as 3.0, the target reliability index($\beta_c$) were evaluated about 2.01~2.30. Resistance factors and load factors are determined from optimization based on above results. The resistance factors ranged between 0.48 and 0.56 and load factor for dead load and live load are evaluated approximately 1.25 and 1.75 respectively. However, when the target reliability are considered as 3.0, the resistance factors are evaluated as approximately 50% of results when the target reliability index were 2.0.

• Journal of Service Research and Studies
• /
• v.6 no.4
• /
• pp.35-45
• /
• 2016

This study derives the critical success factors through discussion of expert group in operation stage of ERP system that is suggested by the prior study. Relative importance of the derived critical success factors are analyzed using Analytic Hierarchy Process(AHP). In the first layer of the hierarchy, organizational/ human resource factors are appeared to be the most important factors. In the second layer of the hierarchy, CEO support is evaluated as the most important success factor considering the weight of the 1st layer of the hierarchy followed by process optimization, change management, support of the operation department, and maintenance of process innovation organization. This study suggests that, in order to maximize the introducing effect, continuous support and attention of management is not the only requirement. Proper change management to handle the internal environment change caused by the introduction of the ERP system, support of operation department dedicated to ERP system, and separate department for continuous innovation of process are also required.

• Applied Chemistry for Engineering
• /
• v.24 no.3
• /
• pp.299-304
• /
• 2013

A 17-run Box-Behnken design was used to optimize the synthesis conditions of a monolithic sorbent. The effects of the amount of monomer (mL), crosslink (mL) and porogen (mL) were investigated. The experimental data were fitted to a second-order polynomial equation by the multiple regression analysis and examined using statistical methods. The adjusted coefficient of determination ($R^2$) of the model was 0.9915. The probability value (p < 0.0001) demonstrated a high significance for the regression model. A mean amount of polymer as 2120.15 mg was produced under the following optimum synthesis conditions: the optimized volumes of monomer, crosslink and porogen are 0.30, 1.40, and 1.47 mL, respectively. This was in good agreement with the predicted model value.

• Journal of the Korean Institute of Gas
• /
• v.18 no.2
• /
• pp.69-72
• /
• 2014

If LNG is leaked from 9% Ni steel inner tank by damage, LNG is retained by outer concrete tank. Then large tensile stress can be caused at cylindrical bottom of outer tank by temperature difference between outer and inner surface of outer tank. Therefore, in order to reduce the tensile stress is caused by temperature difference, corner-protection is installed with insulation and 9% Ni steel as a second barrier. In this paper, using finite element method, structural analysis was performed for rectangular and circular shape of knuckle and based on the results, fatigue life of welds of corner protection was predicted. As a consequence of structural analysis, safety factor of circular knuckle shows 33% bigger than rectangular one shows, and circular knuckle has 25% bigger fatigue life time than rectangle has. These results can be applied to life time assessment and design optimization in the future.

• 한국생물공학회:학술대회논문집
• /
• 2002.04a
• /
• pp.381-384
• /
• 2002

Response surface methodology (RSM) was successfully applied to optimize for the production of Ganoderma lucidum in batch fermentations using the whey (40,000 mg latose/L) as substrate. This study was performed according to the central composite design (CCD) with respect to pH and temperature, where the designed intervals were 3.3$22.9^{\circ}C$$37.1^{\circ}C$, respectively. A second-order factorial design of the experiments was used to build empirical models providing a quantitative interpretation of the relationships between the two variables. The optimum conditions to maximize the production of G. lucidum were pH 4.2 and $28.3^{\circ}C$. At optimum conditions, the mycelial dry weight (MDW) and residual soluble COD (SCOD) were simultaneously used to evaluate the biokinetic coefficients assocoated with substrate inhibition model by nonlinear least squares method with 95% confidence interval. The. maximum microbial growth rates (${\mu}m$), half saturation coefficient ($K_s$), and the inhibition substrate concentration ($K_{is}$) were determined to be 0.095 l/hr, 128,000 mg SCOD/L and 49,000 mg SCOD/L, respectively. And the microbial yield coefficient (Y), biomass decay rate coefficient ($K_d$), and the maintenance energy coefficient ($m_s$) were determined to be 0.37 mg MDW/mg SCOD, 0.001 1/hr, and 0.0015 1/hr, respectively.

• Journal of Communications and Networks
• /
• v.16 no.5
• /
• pp.548-558
• /
• 2014

Load distribution is vital to the performance of multipath transport. The task becomes more challenging in real-time multimedia applications (RTMA), which impose stringent delay requirements. Two key issues to be addressed are: 1) How to minimize end-to-end delay and 2) how to alleviate packet reordering that incurs additional recovery time at the receiver. In this paper, we propose sub-packet based multipath load distribution (SPMLD), a new model that splits traffic at the granularity of sub-packet. Our SPMLD model aims to minimize total packet delay by effectively aggregating multiple parallel paths as a single virtual path. First, we formulate the packet splitting over multiple paths as a constrained optimization problem and derive its solution based on progressive approximation method. Second, in the solution, we analyze queuing delay by introducing D/M/1 model and obtain the expression of dynamic packet splitting ratio for each path. Third, in order to describe SPMLD's scheduling policy, we propose two distributed algorithms respectively implemented in the source and destination nodes. We evaluate the performance of SPMLD through extensive simulations in QualNet using real-time H.264 video streaming. Experimental results demonstrate that: SPMLD outperforms previous flow and packet based load distribution models in terms of video peak signal-to-noise ratio, total packet delay, end-to-end delay, and risk of packet reordering. Besides, SPMLD's extra overhead is tiny compared to the input video streaming.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.13 no.2
• /
• pp.72-82
• /
• 2005

The objective of this paper is to describe the optimization of design parameters in a large-sized commercial bus heater system by using CFD(computational fluid dynamics) analysis and Taguchi method. In order to obtain the best combination of each control factor which results in a desired performance of heater system, the parameter design of the Taguchi method is adopted for the robust design considering the dynamic characteristic. The research activity may be divided into four phases. The first one is analyzing the problem, i.e., ascertaining the influential factors. In the second phase the levels were set in such a way that their variation would significantly influence the response. In the third phase the experimental runs were designed. In the final phase the planned runs were carried out numerically to evaluate the optimal combination of factors which is able to provide the best response. In this study, eight factors were considered for the analysis: one with two level and seven with three level combinations comprising the $L_{18}(2^1{\times}3^7)$ orthogonal array. The results of this study can be summarized as follows ; (i)The optimum condition of control factor is a set of <$A_2\;B_1\;C_3\;D_3\;E_1\;F_2\;G_3\;H_2$> where A is shape of the outer fin, B is pitch of the outer fin, C is height of the outer fin, D is the inner fin number, E is the inner fin height, F is length of the flame guide, G is diameter of the heating element and H is clearance between air guide and heating element. (ii)The heat capacity of heated discharge air under the optimum condition satisfies the equation y=0.6M w here M is a signal factor. (iii)The warm-up rate improves about three times, more largely as com pared with the current condition, which results in about 9.2minutes reduction.

• Journal of Convergence for Information Technology
• /
• v.10 no.2
• /
• pp.82-88
• /
• 2020

The purpose of this study is to obtain basic data on the optimization of firing process conditions for enamel coating in chemical heat exchanger. The method of increasing the firing temperature in order to apply enamel coating to shell & tube type heat exchanger was examined. The temperature distribution of the heat exchanger in the firing kiln was numerically calculated using a commercial CFD program. The structural safety of the heat exchanger was confirmed by thermal stress analysis using the FSI method. Numerical analysis and experimental results show that there is a problem of safety due to temperature difference when the heat exchanger at room temperature is directly put into a firing kiln at 860℃. Therefore, a preheating process is need to reduce the temperature difference. As in Case2 with fewer firing steps, the first stage preheating temperature of 445℃and the second stage firing temperature of 860 ℃are considered to be most suitable.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.16 no.1
• /
• pp.105-111
• /
• 2003

Wheel for passenger car support the car weight with tires, and they transmit rolling and braking power into the ground. Whittling away at wheel weight is more effective to boost fuel economy than lighting vehicle body structure. A shape of hole in disk is optimized for minimizing the weight of steel wheel. Pro/ENGINEER program is used for formulating the design model, and ANSYS package is selected for analyzing the design model. It has difficulties to interface these commercial software directly. For Combining both programs, response surface methodology is applied to construct approximation functions for maximum stresses and maximum displacements are obtained by full factorial design of five levels. This steel wheel is modeled in 14-inch diameter of rim, and wide parameter of hole in disk is only selected as design variable for reducing the weight of steel whee. PLBA(Pshenichny-Lim-Belegundu-Arora) algorithm, which used the second-order information in the direction finding problem and uses the active set strategy, is used for solving optimization problems.