• 대한산업공학회지
• /
• 제23권4호
• /
• pp.661-667
• /
• 1997

We consider a generalized problem of the continuous multiple choice knapsack problem and study on the LP relaxation of the candidate problems which are generated in the branch and bound algorithm for solving the generalized problem. The LP relaxed candidate problem is called the generalized continuous multiple choice linear knapsack problem and characterized by some variables which are partitioned into continuous multiple choice constraints and the others which only belong to simple upper bound constraints. An efficient algorithm of order O($n^2logn$) is developed by exploiting some structural properties and applying binary search to ordered solution sets, where n is the total number of variables. A numerical example is presented.

• 한국경영과학회지
• /
• 제22권3호
• /
• pp.59-80
• /
• 1997

Designing highly survivable interoffice telecommunication networks is considered. The problem is formulated as a minimum-cost network design problem with three node connectivity constraints. These valid and facet-defining inequalities for the convex hull of the solution are presented. A branch and cut algorithm is proposed based on the inequalities to obtain the optimal solution. With the lower bound by the cutting plane algorithm, a delete-ink heuristic is proposed to otain a good upper bound in the branch and bound procedure. The effeciveness of the branch and cut algorithm is demonstrated with computational results for a variety of problem sets : different lower bounds, two types of link costs and large number of links. The cutting plane procedure based on the three inequalities provides excellent lower bounds to the optimal solutions.

• 한국멀티미디어학회논문지
• /
• 제8권6호
• /
• pp.844-855
• /
• 2005

This paper proposes a human action recognition scheme for Intelligent Web Browser. Based on the principle that a human action can be defined as a combination of multiple articulation movements, the inference of stochastic grammars is applied to recognize each action. Human actions in 3 dimensional (3D) world coordinate are measured, quantized and made into two sets of 4-chain-code for xy and zy projection planes, consequently they are appropriate for applying the stochastic grammar inference method. We confirm this method by experiments, that various physical actions can be classified correctly against a set of real world 3D temporal data. The result revealed a comparatively successful achievement of $93.8\%$ recognition rate through the experiments of 8 movements of human head and $84.9\%$ recognition rate of 60 movements of human upper body. We expect that this scheme can be used for human-machine interaction commands in a web browser.

• 대한수학회보
• /
• 제52권5호
• /
• pp.1423-1431
• /
• 2015

A clique-transversal set D of a graph G is a set of vertices of G such that D meets all cliques of G. The clique-transversal number is the minimum cardinality of a clique-transversal set in G. For every cubic graph with at most two bridges, we first show that it has a perfect matching which contains exactly one edge of each triangle of it; by the result, we determine the exact value of the clique-transversal number of line graph of it. Also, we present a sharp upper bound on the clique-transversal number of line graph of a cubic graph. Furthermore, we prove that the clique-transversal number of line graph of a triangle-free graph is at most the chromatic number of complement of the triangle-free graph.

• Journal of Mechanical Science and Technology
• /
• 제16권1호
• /
• pp.60-74
• /
• 2002

In this study, normal, log-normal, triangular, uniform. Weibull, Erlang and unit beta probability density functions are tried to represent the behaviour of frequency distributions of workpiece dimensions collected from various manufacturing firms. Among the distribution functions, the unit beta distribution function is found to be the best fit using the chi-square test of fit. An attempt is made for the adoption of the unit beta model to x-bar charts of quality control in manufacturing. In this direction, upper and lower control limits (UCL and LCL) of x-bar control charts of dimension measurements are estimated for the beta model, and the observed differences between the beta and normal model control limits are discussed for the measurement sets.

• 대한수학회보
• /
• 제33권4호
• /
• pp.587-592
• /
• 1996

In 1950, Nash [5] first proved the existence of equilibrium for games where the player's preferences are representable by continuous quasiconcave utilities and the strategy sets are simplexes. Next Debreu [3] proved the existence of equilibrium for abstract economies. Recently, the existence of Nash equilibrium can be further generalized in more general settings by several athors, e.g. Shafer-Sonnenschein [6], Borglin-Keiding [2], Yannelis-Prabhaker [8]. In the above results, the convexity assumption is very essential and the main proving tools are the continuous selection technique and the existence of maximal elements. Still there have been a number of generalizations and applications of equilibrium existence theorem in generalized games.

• 소음진동
• /
• 제7권2호
• /
• pp.261-272
• /
• 1997

Recently washing machines are to be in lower vibration and lower sound because of better environment. Vibration problems in washing machines occur in both washing mode and spinning mode, but vibration in spinning mode becomes main problem because of its high rotating speed and continuity. Vibration while spinning is mainly due to rigid body motion of total washing system which includes suspending rods, washing bath, spinning bath, and gear sets. In this study, some researches were done in order to analyze the rigid body motion of washing system and flexible vibration of spinning bath. A basic mathematical model was established, and the effect of position of salt water and shape change of salt water case were considered. And the effect of lengths of suspending rods, attaching angles, vertical and horizontal position, stiffness of spring on the change of vibration were also considered. To identify the effect of salt water on vibration, some measurements were done. When salt water was positioned at upper part, the effect was most and this coincides with the tendency of simulation.

• East Asian mathematical journal
• /
• 제27권3호
• /
• pp.373-380
• /
• 2011

In this paper L-fuzzy ${\omega}$-closed and L-fuzzy ${\omega}$-open sets are introduced. Also a new class of L-fuzzy topological space called L-fuzzy ${\omega}$-basically disconnected space is introduced. Several characterizations and some interesting properties are also given.

• Korean Chemical Engineering Research
• /
• 제57권1호
• /
• pp.142-147
• /
• 2019

The onset of buoyancy-driven convection in an initially isothermal and quiescent horizontal fluid layer was analyzed theoretically. It is well-known that at the critical Rayleigh number $Ra_c=669$ convective motion sets in with a constant-heat-flux cooling through the upper boundary. Here, based on the momentary instability concept, the dimensionless critical time ${\tau}_m$ to mark the onset of convective motion for Ra > 669 was analyzed theoretically. The energy method under the momentary stability concept was used to find the critical conditions as a function of the Rayleigh number Ra and the Prandtl number Pr. The predicted critical conditions were compared with the previous theoretical and experimental results. The momentary stability criterion gives more reasonable wavenumber than the conventional energy method.

• Nuclear Engineering and Technology
• /
• 제53권1호
• /
• pp.19-29
• /
• 2021

This paper presents the validation of the MCS code for critical safety analysis with burnup credit for the spent fuel casks. The validation process in this work considers five critical benchmark problem sets, which consist of total 80 critical experiments having MOX fuels from the International Criticality Safety Benchmark Evaluation Project (ICSBEP). The similarity analysis with the use of sensitivity and uncertainty tool TSUNAMI in SCALE was used to determine the applicable benchmark experiments corresponding to each spent fuel cask model and then the Upper Safety Limits (USLs) except for the isotopic validation were evaluated following the guidance from NUREG/CR-6698. The validation process in this work was also performed with the MCNP6 for comparison with the results using MCS calculations. The results of this work showed the consistence between MCS and MCNP6 for the MOX fueled criticality benchmarks, thus proving the reliability of the MCS calculations.