• Korean Journal of Mathematics
• /
• v.30 no.4
• /
• pp.643-652
• /
• 2022

In this paper, we will describe affine homogeneous domains in the complex plane. For this study, we deal with the Lie algebra of infinitesimal affine transformations, a structure of the hyperbolic metric involved with affine automorphisms. As a consequence, an affine homogeneous domain is affine equivalent to the complex plane, the punctured plane or the half plane.

• Journal of Korean Institute of Industrial Engineers
• /
• v.3 no.2
• /
• pp.73-81
• /
• 1977

Mission effectiveness, which is the probability of successfully completing the assigned mission, is introduced as an appropriate measure of effectiveness for a military system. The model of mission effectiveness is developed for a system which is required to carry out various types of a mission. Each mission type is characterized by the maximum allowable time that determines the success of a given mission type. A given type of a mission is successful if and only if (i) the system is available at the start of a mission and (ii) the system completes its mission within the maximum allowable duration of time that this given mission type specifies without any failure during this period. Both analytic and simulation approaches are employed. Difficulties involved in the anayticl approach are discussed. The model is proposed as a useful tool for consistent system evaluation and optimum test design.

• Journal of Korean Institute of Industrial Engineers
• /
• v.19 no.1
• /
• pp.47-59
• /
• 1993

Recently, Broadband ISDN(B-ISDN) has received increased attention as a communication architecture which can support multimedia applications. Also, Asynchronous Transfer Mode(ATM) is considered as a promising technique to transfer and switch various kinds of media, such as telephone speech, data and motion video. Comparisons among a variety of ATM switching systems which have already been proposed will provide quite useful information for the new ATM switching system design. To facilitate the comparison, we introduce the design requirements and classification criteria for the ATM switch, and propose a performance analysis model for the Banyan network which is the basic switching fabric of most multi-stage ATM switching systems. The model is based on the standard discrete-time Markov chain analysis and can be conveniently used for extensive Banyan network analysis. The computational results are also presented.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.29-53
• /
• 2001

This note presents a an indirect adaptive control scheme for first-order continuous-time systems. The estimated plant model is controllable and then the adaptive scheme is free from singularities. The singularities are avoided through a modification of the estimated plant parameter vector so that its associated Sylvester matrix is guaranteed to be nonsingular. That properties is achieved by ensuring that the absolute value of its determinant does not lie below a positive threshold. A modification scheme based on the achievement of a modified diagonally dominant Sylvester matrix of the parameter estimates is also given as an alternative method. This diagonal dominance is achieved through estimates modification as a way to guarantee the controllability of the modified estimated model when a controllability measure of the ‘a priori’ estimated model fails. In both schemes, the use of a hysteresis switching function for the modification of the estimates is not required to ensure the nonsingularity of the Sylvester matrix of the estimates.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.28 no.1
• /
• pp.178-190
• /
• 1999

This study was conducted to develop a simulation model for the growth dynamics of pigs and to describe quantitatively protein deposition depending on the amino acid composition of feed protein. In the model it is assumed that the essential processes that determine the utilization of feed protein in the whole body are protein synthesis, breakdown of protein, and oxidation of amino acid. Besides, it is also assumed that occurrence of protein deposition depends on genetic potential and amino acid composition of feed protein. The genetic potential for the protein deposition is the maximum capacity of protein synthesis, being dependent on the protein mass of the whole body. To describe the effect of amino acid composition of feed on the protein deposition, a factor, which consist of ten amino acid functions and lie between 0 and 1, is introduced. Accordingly a model was developed, which is described with 15 flux equations and 11 differential equations and is composed of two compartments. The model describes non linear structure of the protein utilization system of an organism, which is in non steady state. The objective function for the simulation was protein deposition(g/day) cal culated according to the empirical model, PAF(product of amino acid functions) of Menke. The mean of relative difference between the simulated protein deposition and PAF calculated values, lied in a range of 11.8%. The simulated protein synthesis and breakdown rates(g/day) in the whole body showed a parallel behavior in the course of growth.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.01a
• /
• pp.224-229
• /
• 2001

When a semiconductor package is assembled, various materials such as die attach adhesive, lead frame, EMC (Epoxy Molding Compound), and gold wire are used. For better preconditioning performance, the combination between the packaging materials by studying the compatibility of their properties as well as superior packaging material selection is important. But it is not an easy task to find proper packaging material sets, since a variety of factors like package design, substrate design, substrate size, substrate treatment, die size, die thickness, die passivation, and customer requirements should be considered. This research applies case-based reasoning(CBR) technique to solve this problem, utilizing prior cases that have been experienced. Our particular interests lie in building decision support model to aid the selection of proper die attach adhesive. The preliminary results show that this approach is promising.

• Journal of Korean Institute of Industrial Engineers
• /
• v.34 no.2
• /
• pp.160-171
• /
• 2008

MU's mobility patterns can be found from a movement history data. The prediction accuracy and model complexity depend on the degree of application of history data. The more data we use, the more accurate the prediction is. As a result, the location management cost is reduced, but complexity of the model increases. In this paper, we classify MU's mobility patterns into four types. For each type, we find the respective optimal number of application of history data, and predictive location area by using the simulation. The optimal numbers of four types are shown to be different. When we use more than three application of history data, the simulation time and data storage are shown to increase very steeply.

• Journal of Biomedical Engineering Research
• /
• v.29 no.2
• /
• pp.146-150
• /
• 2008

In order to study cortical properties in human, it is necessary to obtain an accurate and explicit representation of the cortical surface in individual subjects. Among many approaches, surface-based method that reconstructs a 3-D model from contour lines on cross-section images is widely used. The conventional method detects match points of contours using the minimum straight distance between any pair of contour points which lie on different contours. Then, it generates a triangle strip. In general, however, it might yield small mismatches between contours in case of brain due to complex anatomical structures. In this paper, therefore, we present an improved method for tilting operation that uses the curvature values calculated from surface information. The usefulness of the proposed method has been verified using brain image.

• Journal of Korean Institute of Industrial Engineers
• /
• v.23 no.2
• /
• pp.385-401
• /
• 1997

In this paper, we evaluate the performance of zone-based registration and distance-based registration. First, we propose the mobility model which can be used to analyze the performance of both zone-based registration and distance-based registration. And using the proposed mobility model, we obtain several performance measures and perform numerical computation to compare the performance of two registration methods. Numerical results show that in general zone-based registration needs less number of registration than distance-based registration. On the other hand, if distance-based registration is used, registration load is equally distributed to all cells in a location area and ping-pong phenomenon is not occurred. And when a VLR area is composed of a few location areas, distance-based registration may need less registration load than zone-based registration. Therefore, a proper registration method should be selected considering system circumstances and implementation complexity, and the selected method should be implemented so as to change system parameters according to system circumstances.

• Ocean Science Journal
• /
• v.40 no.4
• /
• pp.201-208
• /
• 2005

An accurate particle tracking method for a finite difference method model is developed using a constant acceleration method. Being assumed constant temporal and spatial gradients, the new method permits temporal-spatial variability of particle velocity. Test results in a solid rotating flow show that the new method has second-order accuracy. The performance of the new method is compared with that of other methods; the first-order Euler forward method, and the second-order Euler predictor-corrector method. The new method is the most efficient method among the three. It is more accurate and efficient than the other two.