• Korean Management Science Review
• /
• v.4
• /
• pp.60-75
• /
• 1987

This paper introduces the outlines of the state-of-the-art in studying FMSs using analytical queueing network models. These include Jackson networks, reversible networks and approximate models of non-product-form networks. the focus is on identifying the major features of models as they relate to the operational characteristics of FMSs. Prescriptive models concerning the optimal design and/or operational control of FMS networks are also discussed. We notice that the presentation of materials in this paper basically follows Yao and Buzacott, On Queueing Network Models of Flexible Manufacturing Systems(FMSs), invited and published on Queueing Systems, Theory and Application 1(1986). For other analytical models of FMSs, refer to Buzacott and Yao, Flexible Manufacturing Systems : A Review of Analytical Models, Management Science 32, No.7(1986).

• Journal of Information Processing Systems
• /
• v.7 no.3
• /
• pp.447-458
• /
• 2011

This study presents a comprehensive solution to the collection management, which is based on the model for Cultural Objects (CCO). The developed system manages and spreads the collections that are safeguarded in museums and galleries more easily by using IT. In particular, we present our approach for a non-structured search and recovery of the objects based on the annotation of artwork images. In this methodology, we have introduced a faceted search used as a framework for multi-classification and for exploring/browsing complex information bases in a guided, yet unconstrained way, through a visual interface.

• Culinary science and hospitality research
• /
• v.23 no.5
• /
• pp.34-47
• /
• 2017

This study is designed to figure out the effects of major selection motivation on career efficacy and major satisfaction of college students majoring in culinary and foodservice management. To achieve this purpose, a survey was carried out to 209 college students. The findings showed that their major selection had a significant effect on their career efficacy and major satisfaction. But the mediating effect of their career efficacy as a mediator - which improves their major selection and major satisfaction - was partially adopted. Consequently, their internal and external participation motivation for their major selection is a facilitating mechanism to maximize their major satisfaction, and it is necessary to limit the use as a mediating variable of their career efficacy.

• International Commerce and Information Review
• /
• v.1 no.1
• /
• pp.57-66
• /
• 2008

The best value proposition for the customers of satellite-DMB (hereinafter referred to as the "S-DMB") business in an environment of fierce competition shall be securing the best killer contents and distribute them in reasonable price as a mobile contents platform provider. In an era of merging the broadcasting with the communication, although many new players tapping into the market with state-of-the-art media such as digital convergence, the key to success in the market is dependent on whether the respective digital contents providers retain competitive digital contents which suit the taste of customers. Considering such market conditions, the purpose of this study is to look over the management examples of Korean S-DMB providers which is carrying out business in digital multi-media market and opening up the market, and to analyze the management strategies of domestic S-DMB companies to be the champion in the market.

• Journal of the Korean Society for Railway
• /
• v.7 no.2
• /
• pp.71-76
• /
• 2004

In this paper, we propose a pilot study to deploy the Railway Conflict Detection and Resolution System(RCDRS) in the context of Korean Railway(KORAIL). KORAIL plans to deploy in near future RCDRS, which is a decision support module placed on the top level of the Railway Traffic Management System(RTMS). This study entails the review of the state-of-art researches and projects in the field of the railway traffic management, as well as the analysis of the traffic characteristics of the major railroad lines in KORAIL. The analysis provides a basis to choose a solution approach for the railway conflict detection and resolution problem that each individual line faces. This study plays a role as a pilot study for a full systematic approach, in which interactions between lines require further advanced analysis to take the entire KORAIL lines into consideration rather than a myopic approach.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.27 no.4
• /
• pp.87-109
• /
• 2002

A satisfiability problem in propositional logic is the problem of checking for the existence of a set of truth values of atomic prepositions that renders an input propositional formula true. This paper describes an empirical investigation of a particular integer programming approach, using the set covering model, to solve satisfiability problems. Our satisfiability engine, SETSAT, is a fully integrated, linear programming based, branch and bound method using various symbolic routines for the reduction of the logic formulas. SETSAT has been implemented in the integer programming shell MINTO which, in turn, uses the CPLEX linear programming system. The logic processing routines were written in C and integrated into the MINTO functions. The experiments were conducted on a benchmark set of satisfiability problems that were compiled at the University of Ulm in Germany. The computational results indicate that our approach is competitive with the state of the art.

• Journal of Korean Society for Quality Management
• /
• v.40 no.2
• /
• pp.176-185
• /
• 2012

After a work of Derman and Ross(1997) that considered simple main runs rules and derived ARL (Average Run Length) using Markov chain modeling, $\bar{X}$ control chart based on diverse alternative main and supplementary runs rules that is the most popular control chart for monitoring the mean of a process are proposed. This paper reviews and discusses the-state-of-art researches for these runs rules and classifies according to several properties of runs rules. ARL derivation for a proposed runs rule is also illustrated.

• Proceedings of the KIEE Conference
• /
• 2003.11a
• /
• pp.17-19
• /
• 2003

Electric arc furnace has consumed plenty of power. Hence electric arc furnace can be expected to use for demand side management. When electric arc furnace use for demand side management, electric arc furnace frequently occur a starting and a stop. Electric arc furnace irregularity change consumption of power. Due to character of time-varing and non-linear, electirc arc furnace has a problem with voltage quality(flicker, harmonics). Producted harmonic in electric art furnace is different any harmonic source because of electric arc furnace peculiar operating. Accordingly, analysis for generated harmonic in electric arc furnace operating is demanded. This paper analyze effect of harmonic by arc furnace operating.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.13 no.4
• /
• pp.612-618
• /
• 2010

In order to successfully manage of the state-of-the-art weapon system R&D program which are under the limited budget and schedule but also has a high level of technical risks, it is gaining weights to use such a scientific program management tool as TPM. Therefore, the purpose of this research is to review the concept of the TPM and its relation among MOE, MOP and TPM, and introduce an application method of TPM mainly focusing on helicopter development program. It has the organized structure, detailed procedure and 282 parameters for performance management through the TPM.

• The Korean journal of internal medicine
• /
• v.34 no.1
• /
• pp.11-43
• /
• 2019

Heart failure (HF) is an important cardiovascular disease because of its increasing prevalence, significant morbidity, high mortality, and rapidly expanding health care cost. The number of HF patients is increasing worldwide, and Korea is no exception. There have been marked advances in definition, diagnostic modalities, and treatment of HF over the past four decades. There is continuing effort to improve risk stratification of HF using biomarkers, imaging and genetic testing. Newly developed medications and devices for HF have been widely adopted in clinical practice. Furthermore, definitive treatment for end-stage heart failure including left ventricular assist device and heart transplantation are rapidly evolving as well. This review summarizes the current state-of-the-art management for HF and the emerging diagnostic and therapeutic modalities to improve the outcome of HF patients.