• Transactions of the Korean Society of Mechanical Engineers
• /
• v.10 no.1
• /
• pp.70-77
• /
• 1986

Turbulent mixing field with recirculating flow which is formed by injecting gaseous fuel on the main air stream is solved numerically by a finite difference method. The turbulence model for obtaining transport properties was k-.epsilon. model, which was obtained from turbulent kinetic energy and its dissipation rate. Considering the effects of streamline curvature, modified k-.epsilon model was used. Generally, Modified k-.epsilon. model makes better predictions than standard model, and from this result, it is recognized that standard model has deficiency when applied to turbulent recirculating flows, and that modified k-.epsilon. model takes into account of streamline curvature effects properly. Meanwhile, A more study will be necessary to find the reason why large differences between predicted and experimental turbulent kinetic energy exist.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.4
• /
• pp.910-922
• /
• 2013

In 2008, Chin et al. proposed an efficient and provable secure identity-based identification scheme in the standard model. However, we discovered a subtle flaw in the security proof which renders the proof of security useless. While no weakness has been found in the scheme itself, a scheme that is desired would be one with an accompanying proof of security. In this paper, we provide a fix to the scheme to overcome the problem without affecting the efficiency as well as a new proof of security. In particular, we show that only one extra pre-computable pairing operation should be added into the commitment phase of the identification protocol to fix the proof of security under the same hard problems.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2008.10a
• /
• pp.460-463
• /
• 2008

This study tries to apply standard cost accounting model to evaluate the cost of workflow instances. Previous studies mainly focus on matching workflow activities into the elements of Activity based costing in order to assign cost drivers, but rarely examine how to evaluate their instance cost. In this study, we estimate unrealized standard cost from workflow model, and realized cost from accomplished instances. On running, workflow engine cumulates cost of finished activities and it enables to monitor the difference between the target cost and the actual cost dynamically at each step of workflow processes. We implemented a prototype which shows that the proposed work can evaluate effectively the cost of various workflow patterns.

• Journal of Astronomy and Space Sciences
• /
• v.34 no.2
• /
• pp.153-159
• /
• 2017

The Standard Model of particle physics was established after discovery of the Higgs boson. However, little is known about dark matter, which has mass and constitutes approximately five times the number of standard model particles in space. The cross-section of dark matter is much smaller than that of the existing Standard Model, and the range of the predicted mass is wide, from a few eV to several PeV. Therefore, massive amounts of astronomical, accelerator, and simulation data are required to study dark matter, and efficient processing of these data is vital. Computational science, which can combine experiments, theory, and simulation, is thus necessary for dark matter research. A computational science and deep learning-based dark matter research platform is suggested for enhanced coverage and sharing of data. Such an approach can efficiently add to our existing knowledge on the mystery of dark matter.

• Journal of the Korea Society for Simulation
• /
• v.3 no.1
• /
• pp.17-28
• /
• 1994

A statistical procedure is developed to estimate the relative difference between two parameters each obtained from either true model or approximate model. Double sample procedure is applied to find the additional number of simulation runs satisfying the preassigned absolute precision of the confidence interval. Two types of parameters, mean and standard deviation, are considered as the performance measures and tried to show the validity of the model by examining both queues and inventory systems. In each system it is assumed that there are three distinct means and their own standard deviations and they form the simultaneous confidence intervals but with control in the sense that the absolute precision for each confidence interval is bounded on the limits with preassigned confidence level. The results of this study may contribute to some situations, for instance, first, we need a statistical method to compare the effectiveness between two alternatives, second, we find the adquate number of replications with any level of absolute precision to avoid the unrealistic cost of running simulation models, third, we are interested in analyzing the standard deviation of the output measure, ..., etc.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.21 no.5
• /
• pp.461-467
• /
• 2011

This study aims to create a numerical analysis model which can investigate the dynamic interaction between pantograph and overhead contact wire used for a high-speed railway vehicle, and validate the simulation results according to EN 50318 standard. Finite element analysis models of pantograph and overhead contact line are created using SAMCEF, a commercial FE analysis program. The mean, standard deviation, maximum and minimum values of contact forces are obtained. The simulation results are validated according to EN 50318, and the possibility of simulating the collecting characteristic of an actual pantograph system by using the developed model is discussed.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.7 no.3
• /
• pp.85-91
• /
• 1998

In this paper an assessment has been proceeded about component technology that stamping car panel can be designed and manufactured efficiently. Also this study investigate standard model of CAD/CAM system in production process of automobile dies, Recently, motor companies are doing their best to increase productivity and to reduce production time. So to develop user-friendly and effective standard model of CAD/CAM system is very important. The cbtained results will lead to the reductions in lead time and man-hour required for the design and manufacture of the automobile dies.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.17 no.2
• /
• pp.129-138
• /
• 2013

A spatio-temporal models as systems of ODE which describe two-species Beddington - DeAngelis type predator-prey system living in a habitat of two identical patches linked by migration is investigated. It is assumed in the model that the per capita migration rate of each species is influenced not only by its own but also by the other one's density, i.e. there is cross diffusion present. We show that a standard (self-diffusion) system may be either stable or unstable, a cross-diffusion response can stabilize an unstable standard system and destabilize a stable standard system. For the diffusively stable model, numerical studies show that at a critical value of the bifurcation parameter the system undergoes a Turing bifurcation and the cross migration response is an important factor that should not be ignored when pattern emerges.

• Journal of Information Management
• /
• v.27 no.2
• /
• pp.33-64
• /
• 1996

The systematic classification of database technologies is being much debated issue currently in the telecommunication and database industry. Such a rapid requirement toward standard classification model will enable many experts to characterize database technologies. The purpose of this study is to obtain a general overview and suggest a draft for the development of standard model associated with classification. This presented model is concentrating on information and database system. This presentation is catalogued by 5 subjects such as : general overview, information distribution, information retrieval systems, database systems, peripheral aspects related to database.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.49 no.3
• /
• pp.102-110
• /
• 2000

In this paper, Wiener-Hopf design of the two-degree-of-freedom(2DOF) controller configuration is treated for the standard plant model. It is shown that the 2DOF structure makes it possible to treat the design of feedback properties and reference tracking problem separately. Wiener-Hopf factorization technique is used to obtain the optimal controller which minimizes a given quadratic cost index. The class of all stabilizing controllers that yield finite cost index is also characterized. An illustrative example is given for the step reference tracking problem which can not be treated by the conventional H2 controller formula.