• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.11a
• /
• pp.329-333
• /
• 2003

This study presents supplier buyer models representing the interactions between supplier and buyer under a long-term replenishment contract in a supply chain system. We established the models according to the economic power of each party. Analysis based on Stackelberg game theoretic approach is tried for each model. We develop methods for each agent to follow to complete a contract for the best interest of each participant.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.14 no.1
• /
• pp.87-87
• /
• 1989

There have been lots of research on temporal data management for the past two decades. Most of them are based on some logical data model, especially on the relational data model, although there are some conceptual data models which are independent of logical data models. Also, many properties or issues regarding temporal data models and temporal query languages have been studied. But some of them were shown to be incompatible, which means there could not be a complete temporal data model, satisfying all the desired properties at the same time. Many modeling issues discussed in the papers, do not have to be done so, if they take object-oriented data model as a base model. Therefore, this paper proposes a temporal data model, which is based on the object-oriented data model, mainly discussing the most essential issues that are common to many temporal data models. Our new temporal data model and query language will be illustrated with a small database, created by a set of sample transaction.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.30 no.1
• /
• pp.75-94
• /
• 2005

Research in the decision sciences has continued to develop a variety of mathematical models as well as software tools supporting corporate decision-making. Yet. in spite of their potential usefulness, the models are little used in real-world decision making since the model solution processes are too complex for ordinary users to get accustomed. This paper proposes an intelligent and flexible model-solver integration framework that enables the user to solve decision problems using multiple models and solvers without having precise knowledge of the model-solution processes. Specifically, for intuitive model-solution, the framework enables a decision support system to suggest the compatible solvers of a model autonomously without direct user intervention and to solve the model by matching the model and solver parameters intelligently without any serious conflicts. Thus, the framework would improve the productivity of institutional model solving tasks by relieving the user from the burden of leaning model and solver semantics requiring considerable time and efforts.

• Journal of the military operations research society of Korea
• /
• v.7 no.1
• /
• pp.81-117
• /
• 1981

Mathematical models for hit probabilities of small arms are developed in order to estimate the expected hits on an aircraft for certain altitudes and air speeds. A model for the firing lead angle is developed for cases when the distribution of hits is normal and the firing angle is from 20 degrees to 160 degrees. probabilities of hit for single and multiple shots at various altitudes are calculated. Tables are given showing the probability of hits and kill for targets flying at high speed above 500 feet from ground level.

• Journal of the military operations research society of Korea
• /
• v.2 no.1
• /
• pp.101-109
• /
• 1976

The goal of tactical war-gaming is to create an environment for two opposing teams allowing them to make tactical decisions that would correlate with the decision which they would make under the same circumstances while at sea. Therefore the real time war-gaming methodology should be developed to achieve the goal of tactical war-gaming. Surface to surface engagement models for the real time war-gaming such as maneuvering, tracking and damage assessment models were discussed in this paper. Concurrently system flow diagram to aid war-gaming effort was suggested in appendix.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.30 no.2
• /
• pp.131-142
• /
• 2005

This paper proposes queueing models for a Web server system which is composed of an infinite-buffer main server and finite-buffer auxiliary server(s). The system is modeled by the level-dependent quasi-birth- death (QBD) process. Utilizing the special structure of the QBD, we convert the infinite level-dependent QBD into a finite level-independent QBD and compute the state probabilities. We then explore the operational characteristics of the proposed web-server models and draw some useful conclusions.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.25 no.3
• /
• pp.125-135
• /
• 2000

Many different statistical and artificial intelligent techniques have been applied to improve the predictability of credit rating. Hybrid models and systems have also been developed by effectively combining different modeling processes or combining the outcomes of individual models. In this paper, we introduced the rough set theory and developed a hybrid credit rating system that combines individual outcomes in terms of rough set theory. An experiment was conducted to compare the prediction capability of the system with those of other methods. The proposed system based on rough set method outperformed the others.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.10 no.1
• /
• pp.54-64
• /
• 1985

This paper deals with analysis on complex and dynamic Primary Health Care (PHC) Systems in rural community to increase understanding of the nature of PHC feedback systems. Because Industrial Dynamics can be very useful for the analysis of such complex and dynamic systems. We used that as a basic tool of Modelling and simulation running. Even If PHC system-models require many assumptions, simulations based on these models can lead decision makers to a better way of problem solving.

• Journal of the military operations research society of Korea
• /
• v.17 no.1
• /
• pp.130-145
• /
• 1991

The literature has recorded many models dealing with manpower forecasting and planning. The approaches used by the various authors are clearly disparate. This paper presents a taxonomy for manpower planning and forecasting methodologies and classifies the landmark developments in this field. The taxonomical schema is then applied to unify the models in consideration of the methods and the decision factors used for forecasting and/or planning. The taxonomy allows for the most complex model structure containing all the factors considered germane in the existing literature.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.14 no.2
• /
• pp.97-104
• /
• 1989

This paper extends the existence proofs of a Nash equilibrium to a more general class of differentila game models with constraints on the control spaces. With the assumptions of continuity, convexity, and compactness, the existence is proved using Kakutani Theorem and via a path-following approach. Furthermore, the proof for a period-by-period optimization of multi-period problems provides an insight to a numerical solution algorithm to differential game models with constraints.